2502 search results - page 34 / 501 » Using probabilistic model checking in systems biology |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for...
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
ATVA
2008
Springer
13 years 11 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
TCS
2008
13 years 9 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
BMCBI
2011
13 years 4 months ago
2011
Background: Building repositories of computational models of biological systems ensures that published models are available for both education and further research, and can provid...