66 search results - page 2 / 14 » Stochastic Programs and Hybrid Automata for (Biological) Mod... |
ECBS
2009
IEEE
13 years 12 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
ICLP
2010
Springer
13 years 9 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
IJBRA
2008
13 years 5 months ago
2008
: In this paper, we propose a refinement of the modelling of biological regulatory networks based on the discrete approach of Ren
ACRI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Realistic simulation of biological evolution by necessity requires simplification and reduction in the dimensionality of the corresponding dynamic system. Even when this...
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...