2502 search results - page 160 / 501 » Using probabilistic model checking in systems biology |
145
click to vote
PDP
2006
IEEE
16 years 13 days ago
2006
IEEE
Production grids have a potential for parallel execution of a very large number of tasks but also introduce a high overhead that significantly impacts the execution of short task...
153
click to vote
JAL
2008
15 years 6 months ago
2008
Biological systems are far more complex and robust than systems we can engineer today. One way to increase the complexity and robustness of our engineered systems is to study how ...
199
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Mocapy++ is a toolkit for parameter learning and inference in dynamic Bayesian networks (DBNs). It supports a wide range of DBN architectures and probability distribut...
149
click to vote
ISMAR
2007
IEEE
16 years 21 days ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...
168
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...