Sciweavers

4604 search results - page 533 / 921
» Concurrency in Synchronous Systems
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 8 months ago
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenst...
APPINF
2003
15 years 8 months ago
Preventing Computational Chaos in Asynchronous Neural Networks
One of the primary advantages of artificial neural networks is their inherent ability to perform massively parallel, nonlinear signal processing. However, the asynchronous dynamics...
Jacob Barhen, Vladimir Protopopescu
ACS
2007
15 years 7 months ago
Directed Algebraic Topology, Categories and Higher Categories
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology gro...
Marco Grandis
PPL
2007
88views more  PPL 2007»
15 years 6 months ago
Terminating alternator
In this paper, we present an program that enables the transformation of a nonterminating alternator into a terminating alternator. Our solution is stabilization preserving and has...
Sandeep S. Kulkarni
CMSB
2011
Springer
14 years 6 months ago
Reversible structures
Reversible structures are computational units that may progress forward and backward. We study weak coherent structures that are primarily inspired by dna circuits and may be comp...
Luca Cardelli, Cosimo Laneve