Amazon cover image
Image from Amazon.com

Computational methods in systems biology : 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 ; proceedings / Pierpaolo Degano, Roberto Gorrieri (eds.).

By: (7th : CMSB (Conference) (7th : 2009 : Bologna, Italy)Contributor(s): Degano, Pierpaolo, 1950- | Gorrieri, RobertoMaterial type: TextTextPublisher number: 12735143Series: Serienbezeichnung | Lecture notes in computer science ; 5688. | Lecture notes in computer science. Lecture notes in bioinformatics.Publication details: Berlin : Springer-Verlag, ©2009. Description: 1 online resource (x, 327 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783642038457; 364203845XOther title: CMSB 2009Subject(s): Computational biology -- Congresses | Bioinformatics -- Congresses | Systems Biology -- methods | Models, Genetic | Models, Biological | Informatique | Bioinformatics | Computational biology | Systembiologie | Soft ComputingGenre/Form: Congress. | Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Computational methods in systems biology.DDC classification: 570.285 LOC classification: QH324.2 | .I525 2009NLM classification: 2009 J-456 | QU 26.5Other classification: SS 4800 | BIO 110f Online resources: Click here to access online
Contents:
Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks -- The Equivalence between Biology and Computation -- BlenX4Bio -- BlenX for Biologists -- 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 -- The?-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages -- 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 -- Dynamic Compartments in the Imperative?-Calculus -- Probabilistic Approximations of Signaling Pathway Dynamics -- A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties -- On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process -- CSL Model Checking of Biochemical Networks with Interval Decision Diagrams -- Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models.
Summary: This book constitutes the refereed proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, held in Bologna, Italy, August 31 - September 1, 2009. The 18 revised full papers presented together with the summaries of 3 invited papers were carefully reviewed and selected from more than 45 submissions. The papers cover theoretical or applied contributions that are motivated by a biological question focusing on modeling approaches, including process algebra, simulation approaches, analysis methods, in particular model checking and flux analysis, and case studies.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

International conference proceedings.

Includes bibliographical references and index.

Print version record.

Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks -- The Equivalence between Biology and Computation -- BlenX4Bio -- BlenX for Biologists -- 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 -- The?-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages -- 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 -- Dynamic Compartments in the Imperative?-Calculus -- Probabilistic Approximations of Signaling Pathway Dynamics -- A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties -- On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process -- CSL Model Checking of Biochemical Networks with Interval Decision Diagrams -- Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models.

This book constitutes the refereed proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, held in Bologna, Italy, August 31 - September 1, 2009. The 18 revised full papers presented together with the summaries of 3 invited papers were carefully reviewed and selected from more than 45 submissions. The papers cover theoretical or applied contributions that are motivated by a biological question focusing on modeling approaches, including process algebra, simulation approaches, analysis methods, in particular model checking and flux analysis, and case studies.

Powered by Koha