1922 search results - page 162 / 385 » Systems biology, models, and concurrency |
132
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
130
click to vote
FCT
1999
Springer
15 years 5 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
125
click to vote
CAV
2010
Springer
14 years 11 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
132
click to vote
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
132
click to vote
IFM
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...