LEADER 05379nam 22008055 450 001 996465732503316 005 20200703095356.0 010 $a3-642-03845-X 024 7 $a10.1007/978-3-642-03845-7 035 $a(CKB)1000000000772856 035 $a(SSID)ssj0000316812 035 $a(PQKBManifestationID)11276953 035 $a(PQKBTitleCode)TC0000316812 035 $a(PQKBWorkID)10275279 035 $a(PQKB)10135667 035 $a(DE-He213)978-3-642-03845-7 035 $a(MiAaPQ)EBC3064501 035 $a(PPN)139955208 035 $a(EXLCZ)991000000000772856 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputational Methods in Systems Biology$b[electronic resource] $e7th International Conference, CMSB 2009 /$fedited by Pierpaolo Degano, Roberto Gorrieri 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (X, 329 p.) 225 1 $aLecture Notes in Bioinformatics ;$v5688 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-03844-1 320 $aIncludes bibliographical references and index. 327 $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. 330 $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. 410 0$aLecture Notes in Bioinformatics ;$v5688 606 $aLife sciences 606 $aComputers 606 $aBioinformatics 606 $aComputer simulation 606 $aNumerical analysis 606 $aLife Sciences, general$3https://scigraph.springernature.com/ontologies/product-market-codes/L00004 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputational Biology/Bioinformatics$3https://scigraph.springernature.com/ontologies/product-market-codes/I23050 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X 608 $aBologna (2009)$2swd 608 $aKongress.$2swd 615 0$aLife sciences. 615 0$aComputers. 615 0$aBioinformatics. 615 0$aComputer simulation. 615 0$aNumerical analysis. 615 14$aLife Sciences, general. 615 24$aTheory of Computation. 615 24$aComputational Biology/Bioinformatics. 615 24$aSimulation and Modeling. 615 24$aComputation by Abstract Devices. 615 24$aNumeric Computing. 676 $a570 686 $aBIO 110f$2stub 686 $aSS 4800$2rvk 702 $aDegano$b Pierpaolo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGorrieri$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCMSB 2009 906 $aBOOK 912 $a996465732503316 996 $aComputational Methods in Systems Biology$9771864 997 $aUNISA