1222 search results - page 9 / 245 » A Bayesian Approach to Model Checking Biological Systems |
104
click to vote
CAV
2005
Springer
15 years 5 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
ISLPED
2010
ACM
14 years 12 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
JALC
2006
14 years 11 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
FATES
2004
Springer
15 years 5 months ago
2004
Springer
BMCBI
2010
14 years 12 months ago
2010
Background: We present a statistical method of analysis of biological networks based on the exponential random graph model, namely p2-model, as opposed to previous descriptive app...