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

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

Label
Computational methods in systems biology : 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 ; proceedings
Title
Computational methods in systems biology
Title remainder
7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 ; proceedings
Statement of responsibility
Pierpaolo Degano, Roberto Gorrieri (eds.)
Title variation
CMSB 2009
Creator
Contributor
Subject
Genre
Language
eng
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
Member of
Cataloging source
GW5XE
Dewey number
570.285
Illustrations
illustrations
Index
index present
LC call number
QH324.2
LC item number
.I525 2009
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
CMSB (Conference)
Nature of contents
  • dictionaries
  • bibliography
NLM call number
  • 2009 J-456
  • QU 26.5
NLM item number
C64901c 2009
http://library.link/vocab/relatedWorkOrContributorDate
1950-
http://library.link/vocab/relatedWorkOrContributorName
  • Degano, Pierpaolo
  • Gorrieri, Roberto
Series statement
  • Lecture notes in computer science,
  • Lecture notes in bioinformatics
Series volume
5688
http://library.link/vocab/subjectName
  • Computational biology
  • Bioinformatics
  • Systems Biology
  • Models, Genetic
  • Models, Biological
  • Informatique
  • Bioinformatics
  • Computational biology
  • Systembiologie
  • Soft Computing
Label
Computational methods in systems biology : 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 ; proceedings, Pierpaolo Degano, Roberto Gorrieri (eds.)
Instantiates
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
489218459
Dimensions
unknown
Extent
1 online resource (x, 327 pages)
Form of item
online
Isbn
9783642038457
Lccn
2009932359
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-03844-0
Publisher number
12735143
Specific material designation
remote
System control number
(OCoLC)489218459
Label
Computational methods in systems biology : 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 ; proceedings, Pierpaolo Degano, Roberto Gorrieri (eds.)
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
489218459
Dimensions
unknown
Extent
1 online resource (x, 327 pages)
Form of item
online
Isbn
9783642038457
Lccn
2009932359
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-03844-0
Publisher number
12735143
Specific material designation
remote
System control number
(OCoLC)489218459

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...