977 search results - page 8 / 196 » Logic-Based Modeling in Systems Biology |
APN
2004
Springer
14 years 24 days ago
2004
Springer
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
RECOMB
2009
Springer
14 years 8 months ago
2009
Springer
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...
GECCO
2004
Springer
14 years 24 days ago
2004
Springer
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper describes the human immune system and its functionalities from a computational viewpoint. The objective of this paper is to provide the biological basis for an artificia...
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...