2502 search results - page 29 / 501 » Using probabilistic model checking in systems biology |
105
click to vote
JGO
2011
14 years 2 months ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
116
click to vote
KDD
2008
ACM
16 years 5 days ago
2008
ACM
We present an approach to reconstructing chemical reaction networks from time series measurements of the concentrations of the molecules involved. Our solution strategy combines t...
102
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
54
Voted
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
