Sciweavers

1922 search results - page 100 / 385
» Systems biology, models, and concurrency
Sort
View
RAS
2000
103views more  RAS 2000»
15 years 1 months ago
Biomimetic robot navigation
In the past decade, a large number of robots has been built that explicitly implement biological navigation behaviours. We review these biomimetic approaches using a framework tha...
Matthias O. Franz, Hanspeter A. Mallot
BMCBI
2007
161views more  BMCBI 2007»
15 years 1 months ago
Efficient classification of complete parameter regions based on semidefinite programming
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
Lars Kuepfer, Uwe Sauer, Pablo A. Parrilo
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
15 years 3 months ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...
TCAD
1998
95views more  TCAD 1998»
15 years 1 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
JCB
2002
131views more  JCB 2002»
15 years 1 months ago
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...
Hidde de Jong