The proceedings contain 21 papers. The topics discussed include: modelling biological clocks with bio-PEPA: stochasticity and robustness for the neurospora crassa circadian network; quantitative pathway logic for computational biology; a prize-collecting steiner tree approach for transduction network inference; formal analysis of the genetic toggle; control strategies for the regulation of the eukaryotic heat shock response; computing reachable states for nonlinear biological models; on coupling models using model-checking: effects of irinotecan injections on the mammalian cell cycle; approximation of event probabilities in noisy cellular processes; equivalence and discretisation in bio-PEPA; improved parameter estimation for completely observed ordinary differential equations with application to biological systems; a Bayesian approach to model checking biological systems; probabilistic approximations of signaling pathway dynamics; and a reduction of logical regulatory graphs preserving essential dynamical properties.
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009 / P. Degano; R. Gorrieri. - STAMPA. - (2009), pp. 1-327.
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009
GORRIERI, ROBERTO
2009
Abstract
The proceedings contain 21 papers. The topics discussed include: modelling biological clocks with bio-PEPA: stochasticity and robustness for the neurospora crassa circadian network; quantitative pathway logic for computational biology; a prize-collecting steiner tree approach for transduction network inference; formal analysis of the genetic toggle; control strategies for the regulation of the eukaryotic heat shock response; computing reachable states for nonlinear biological models; on coupling models using model-checking: effects of irinotecan injections on the mammalian cell cycle; approximation of event probabilities in noisy cellular processes; equivalence and discretisation in bio-PEPA; improved parameter estimation for completely observed ordinary differential equations with application to biological systems; a Bayesian approach to model checking biological systems; probabilistic approximations of signaling pathway dynamics; and a reduction of logical regulatory graphs preserving essential dynamical properties.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.