Sciweavers

3116 search results - page 370 / 624
» Positively dependent types
Sort
View
ENTCS
2008
109views more  ENTCS 2008»
15 years 6 months ago
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
We propose a new biological framework, spatial networks of hybrid input/output automata (SNHIOA), for the efficient modeling and simulation of excitable-cell tissue. Within this f...
Ezio Bartocci, Flavio Corradini, Maria Rita Di Ber...
164
Voted
COR
2007
80views more  COR 2007»
15 years 6 months ago
A MAX-MIN ant system for unconstrained multi-level lot-sizing problems
In this paper we present an ant-based algorithm for solving unconstrained multi-level lot-sizing problems called ant system for multi-level lot-sizing algorithm (ASMLLS). We apply...
Rapeepan Pitakaso, Christian Almeder, Karl F. Doer...
CORR
2007
Springer
176views Education» more  CORR 2007»
15 years 6 months ago
Crystallization in large wireless networks
—We analyze fading interference relay networks where M single-antenna source-destination terminal pairs communicate concurrently and in the same frequency band through a set of K...
Veniamin I. Morgenshtern, Helmut Bölcskei
JTAER
2008
103views more  JTAER 2008»
15 years 6 months ago
Reducing False Reads in RFID-Embedded Supply Chains
RFID tags are increasingly being used in supply chain applications due to their potential in engendering supply chain visibility and reducing tracking errors through instantaneous...
Yu-Ju Tu, Selwyn Piramuthu
MSS
2008
IEEE
67views Hardware» more  MSS 2008»
15 years 6 months ago
Mass-mobilization with noisy conditional beliefs
We examine the role played by information in shaping popular expectations in the process of political mobilization, and the development of revolutionary movements in particular. T...
M. Koster, R. Lindelauf, I. Lindner, G. Owen