129 search results - page 1 / 26 » Probabilistic Model Checking of Complex Biological Pathways |
118
Voted
CMSB
2006
Springer
15 years 4 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...
107
click to vote
SIGMETRICS
2008
ACM
15 years 7 days 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...
107
click to vote
CMSB
2009
Springer
15 years 7 months ago
2009
Springer
Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic appro...
96
Voted
ENTCS
2007
15 years 8 days ago
2007
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
99
Voted
BIBE
2007
IEEE
15 years 6 months ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...