1222 search results - page 18 / 245 » A Bayesian Approach to Model Checking Biological Systems |
102
click to vote
WWW
2005
ACM
16 years 13 days ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
131
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
115
click to vote
GECCO
2008
Springer
15 years 25 days ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
101
click to vote
ESAW
2008
Springer
15 years 1 months ago
2008
Springer
Complexity of today's systems prevents designers from knowing everything about them and makes engineering them a difficult task for which classical engineering approaches are ...