1222 search results - page 33 / 245 » A Bayesian Approach to Model Checking Biological Systems |
AAAI
2011
13 years 11 months ago
2011
The automated processing of multiple seismic signals to detect and localize seismic events is a central tool in both geophysics and nuclear treaty verification. This paper report...
189
click to vote
ECCB
2008
IEEE
14 years 12 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
111
click to vote
FM
2009
Springer
15 years 6 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
IWSSD
2000
IEEE
15 years 4 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
123
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: We consider the problem of parameter estimation (model calibration) in nonlinear dynamic models of biological systems. Due to the frequent ill-conditioning and multi-m...