129 search results - page 13 / 26 » Probabilistic Model Checking of Complex Biological Pathways |
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
231
Voted
COCOA
2011
Springer
14 years 5 days ago
2011
Springer
Biological networks are commonly used to model molecular activity within the cell. Recent experimental studies have shown that the detection of conserved subnetworks across several...
103
click to vote
RECOMB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Clusters of genes that have evolved by repeated segmental duplication present difficult challenges throughout genomic analysis, from sequence assembly to functional analy...
118
click to vote
CMSB
2008
Springer
15 years 2 months ago
2008
Springer
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
BMCBI
2007
15 years 14 days ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...