129 search results - page 12 / 26 » Probabilistic Model Checking of Complex Biological Pathways |
165
click to vote
NAR
2011
14 years 6 months ago
2011
EcoCyc (http://EcoCyc.org) is a comprehensive model organism database for Escherichia coli K-12 MG1655. From the scientific literature, EcoCyc captures the functions of individual...
107
Voted
RECOMB
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
116
Voted
ISBI
2009
IEEE
15 years 7 months ago
2009
IEEE
Biological shape modeling is an essential task that is required for systems biology efforts to simulate complex cell behaviors. Statistical learning methods have been used to buil...
95
Voted
RECOMB
2008
Springer
16 years 20 days ago
2008
Springer
The protein inference problem represents a major challenge in shotgun proteomics. Here we describe a novel Bayesian approach to address this challenge that incorporates the predict...
102
click to vote
ACSD
2008
IEEE
15 years 2 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...