2502 search results - page 205 / 501 » Using probabilistic model checking in systems biology |
154
click to vote
NAACL
2007
15 years 8 months ago
2007
This paper reports experiments in which pCRU — a generation framework that combines probabilistic generation methodology with a comprehensive model of the generation space — i...
183
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
177
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
194
click to vote
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Shrinking devices to the nanoscale, increasing integration densities, and reducing of voltage levels down to the thermal limit, all conspire to produce faulty systems. Frequent oc...
168
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Understanding biological evolution prompts for a detailed understanding of the realized phenotype. Biochemical and gene regulatory dynamics are a cornerstone for the physiology o...