000 04492nam a22006015i 4500
001 978-3-642-03845-7
003 DE-He213
005 20240730190959.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642038457
_9978-3-642-03845-7
024 7 _a10.1007/978-3-642-03845-7
_2doi
050 4 _aQH301-705
072 7 _aPSA
_2bicssc
072 7 _aSCI086000
_2bisacsh
072 7 _aPSA
_2thema
082 0 4 _a570
_223
245 1 0 _aComputational Methods in Systems Biology
_h[electronic resource] :
_b7th International Conference, CMSB 2009 /
_cedited by Pierpaolo Degano, Roberto Gorrieri.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aX, 329 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Bioinformatics,
_x2366-6331 ;
_v5688
505 0 _aPrediction 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.
520 _aThis 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.
650 0 _aLife sciences.
_9144702
650 0 _aComputer science.
_99832
650 0 _aBioinformatics.
_99561
650 0 _aComputer simulation.
_95106
650 0 _aNumerical analysis.
_94603
650 1 4 _aLife Sciences.
_9144703
650 2 4 _aTheory of Computation.
_9144704
650 2 4 _aComputational and Systems Biology.
_931619
650 2 4 _aComputer Modelling.
_9144705
650 2 4 _aNumerical Analysis.
_94603
700 1 _aDegano, Pierpaolo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9144706
700 1 _aGorrieri, Roberto.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9144707
710 2 _aSpringerLink (Online service)
_9144708
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642038440
776 0 8 _iPrinted edition:
_z9783642038464
830 0 _aLecture Notes in Bioinformatics,
_x2366-6331 ;
_v5688
_9144709
856 4 0 _uhttps://doi.org/10.1007/978-3-642-03845-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c93554
_d93554