1222 search results - page 242 / 245 » A Bayesian Approach to Model Checking Biological Systems |
100
Voted
SIAMSC
2008
14 years 9 months ago
2008
In systems biology, the stochastic description of biochemical reaction kinetics is increasingly being employed to model gene regulatory networks and signalling pathways. Mathematic...
CONNECTION
2010
14 years 7 months ago
2010
Abstract. Despite the great amount of knowledge produced by the neuroscientific literature affective phenomena, current models tackling noncognitive aspects of behavior are often b...
126
Voted
BMCBI
2011
14 years 1 months ago
2011
Background: High-throughput functional genomics technologies generate large amount of data with hundreds or thousands of measurements per sample. The number of sample is usually m...
103
click to vote
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
93
Voted
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...