05379nam 22008055 450 99646573250331620200703095356.03-642-03845-X10.1007/978-3-642-03845-7(CKB)1000000000772856(SSID)ssj0000316812(PQKBManifestationID)11276953(PQKBTitleCode)TC0000316812(PQKBWorkID)10275279(PQKB)10135667(DE-He213)978-3-642-03845-7(MiAaPQ)EBC3064501(PPN)139955208(EXLCZ)99100000000077285620100301d2009 u| 0engurnn#008mamaatxtccrComputational Methods in Systems Biology[electronic resource] 7th International Conference, CMSB 2009 /edited by Pierpaolo Degano, Roberto Gorrieri1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (X, 329 p.)Lecture Notes in Bioinformatics ;5688Bibliographic Level Mode of Issuance: Monograph3-642-03844-1 Includes bibliographical references and index.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.Lecture Notes in Bioinformatics ;5688Life sciencesComputersBioinformaticsComputer simulationNumerical analysisLife Sciences, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/L00004Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computational Biology/Bioinformaticshttps://scigraph.springernature.com/ontologies/product-market-codes/I23050Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Numeric Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I1701XBologna (2009)swdKongress.swdLife sciences.Computers.Bioinformatics.Computer simulation.Numerical analysis.Life Sciences, general.Theory of Computation.Computational Biology/Bioinformatics.Simulation and Modeling.Computation by Abstract Devices.Numeric Computing.570BIO 110fstubSS 4800rvkDegano Pierpaoloedthttp://id.loc.gov/vocabulary/relators/edtGorrieri Robertoedthttp://id.loc.gov/vocabulary/relators/edtCMSB 2009BOOK996465732503316Computational Methods in Systems Biology771864UNISA