1222 search results - page 1 / 245 » A Bayesian Approach to Model Checking Biological Systems |
CMSB
2009
Springer
13 years 11 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
CMSB
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
CMSB
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
JIB
2007
13 years 4 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...