Sciweavers

158 search results - page 21 / 32
» Membrane Systems with Marked Membranes
Sort
View
FMOODS
2003
13 years 9 months ago
The Kell Calculus: Operational Semantics and Type System
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
Philippe Bidinger, Jean-Bernard Stefani
ESANN
2006
13 years 9 months ago
Saliency extraction with a distributed spiking neural network
We present a distributed spiking neuron network (SNN) for handling low-level visual perception in order to extract salient locations in robot camera images. We describe a new metho...
Sylvain Chevallier, Philippe Tarroux, Hél&e...
CORR
2008
Springer
87views Education» more  CORR 2008»
13 years 8 months ago
Portable Valve-less Peristaltic Micro-pump Design and Fabrication
This paper is to describe a design and fabrication method for a valve-less peristaltic micro-pump. The valve-less peristaltic micro-pump with three membrane chambers in a serial is...
H. Yang, T.-H. Tsai, C.-C. Hu
ENTCS
2008
120views more  ENTCS 2008»
13 years 8 months ago
Stochastic Bigraphs
In this paper we present a stochastic semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs are defined. As a sanity check, we p...
Jean Krivine, Robin Milner, Angelo Troina
ISIM
2007
13 years 10 months ago
Notes on Restricted P Colonies
We continue the investigation of P coloniesintroduced in [7], of abstract computing devices composed of independent agents, acting and evolving in a shared environment. We determin...
Lucie Ciencialová, Ludek Cienciala