1222 search results - page 109 / 245 » A Bayesian Approach to Model Checking Biological Systems |
154
click to vote
EVOW
2009
Springer
15 years 1 months ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
140
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Switching between two modes of operation is a common property of biological systems. In continuous-time differential equation models, this is often realised by bistability, i.e. th...
135
click to vote
ECML
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Designs of micro electro-mechanical devices need to be robust against fluctuations in mass production. Computer experiments with tens of parameters are used to explore th...
141
click to vote
JSAC
2011
14 years 11 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
123
Voted
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...