2502 search results - page 249 / 501 » Using probabilistic model checking in systems biology |
210
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The identification of transcription factors (TFs) associated with a biological process is fundamental to understanding its regulatory mechanisms. From microarray data,...
174
click to vote
ICRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
131
click to vote
FMSD
2006
15 years 6 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
183
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper proposes a general modeling framework adapted to the feedback control of traffic flows in Eulerian models of the National Airspace System (NAS). It is shown that the pro...
169
click to vote
IEEEARES
2006
IEEE
16 years 19 days ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...