1222 search results - page 196 / 245 » A Bayesian Approach to Model Checking Biological Systems |
158
Voted
AAAI
2012
13 years 6 months ago
2012
In conservation biology and natural resource management, adaptive management is an iterative process of improving management by reducing uncertainty via monitoring. Adaptive manag...
130
Voted
KDD
2012
ACM
13 years 6 months ago
2012
ACM
Personalization is a ubiquitous phenomenon in our daily online experience. While such technology is critical for helping us combat the overload of information we face, in many cas...
145
Voted
EVOW
2007
Springer
15 years 10 months ago
2007
Springer
Understanding the self-regulatory mechanisms controlling the spatial and temporal structure of multicellular organisms represents one of the major challenges in molecular biology. ...
156
Voted
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
157
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Signal transduction pathways are usually modelled using classical quantitative methods, which are based on ordinary differential equations (ODEs). However, some diffic...