1222 search results - page 149 / 245 » A Bayesian Approach to Model Checking Biological Systems |
148
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Circadian rhythms are biological processes found in all living organisms, from plants to insects to mammals that repeat with a period close to, but not exactly, 24 hours. In the ab...
304
click to vote
SPIN
2012
Springer
13 years 6 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
124
Voted
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
136
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Modelling of time series data should not be an approximation of input data profiles, but rather be able to detect and evaluate dynamical changes in the time series dat...
181
click to vote
JBI
2002
15 years 4 months ago
2002
Discovering the complex regulatory networks that govern mRNA expression is an important but difficult problem. Many current approaches use only expression data from microarrays to...