LEADER 05742nam 22007935 450 001 996466116603316 005 20200705074811.0 010 $a1-283-43790-2 010 $a9786613437907 010 $a3-540-88562-5 024 7 $a10.1007/978-3-540-88562-7 035 $a(CKB)1000000000490416 035 $a(SSID)ssj0000316811 035 $a(PQKBManifestationID)11237039 035 $a(PQKBTitleCode)TC0000316811 035 $a(PQKBWorkID)10287214 035 $a(PQKB)10987559 035 $a(DE-He213)978-3-540-88562-7 035 $a(MiAaPQ)EBC3063658 035 $a(PPN)130185760 035 $a(EXLCZ)991000000000490416 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputational Methods in Systems Biology$b[electronic resource] $e6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings /$fedited by Monika Heiner, Adelinde M. Uhrmacher 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (X, 403 p.) 225 1 $aLecture Notes in Bioinformatics ;$v5307 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-88561-7 320 $aIncludes bibliographical references and index. 327 $aQualitative Modeling and Simulation of Bacterial Regulatory Networks -- Integrated Analysis from Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation -- Multiscale Modelling of Neuronal Signalling -- Systems Biology of Halophilic Archaea -- A Partial Granger Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-Universe -- Component-Based Modelling of RNA Structure Folding -- A Language for Biochemical Systems -- The Attributed Pi Calculus -- The Continuous ?-Calculus: A Process Algebra for Biochemical Modelling -- Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems -- Formal Analysis of Abnormal Excitation in Cardiac Tissue -- The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock -- SED-ML ? An XML Format for the Implementation of the MIASE Guidelines -- On Parallel Stochastic Simulation of Diffusive Systems -- Large-Scale Design Space Exploration of SSA -- Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway -- On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology -- A Model Checking Approach to the Parameter Estimation of Biochemical Pathways -- Compositional Definitions of Minimal Flows in Petri Nets -- On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network -- A Combinatorial Approach to Reconstruct Petri Nets from Experimental Data -- An Exact Brownian Dynamics Method for Cell Simulation -- Stochastic Analysis of Amino Acid Substitution in Protein Synthesis -- A Stochastic Single Cell Based Model of BrdU Measured Hematopoietic Stem Cell Kinetics -- Erratum: Analyzing a Discrete Model of Aplysia Central Pattern Generator. 330 $aThis book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, CMSB 2008, held in Rostock, Germany, in September 2008. The 21 revised full papers presented together with the summaries of 5 invited papers were carefully reviewed and selected from more than 60 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 ;$v5307 606 $aLife sciences 606 $aComputer simulation 606 $aSoftware engineering 606 $aBioinformatics 606 $aBioinformatics  606 $aComputational biology  606 $aLife Sciences, general$3https://scigraph.springernature.com/ontologies/product-market-codes/L00004 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputational Biology/Bioinformatics$3https://scigraph.springernature.com/ontologies/product-market-codes/I23050 606 $aComputer Appl. in Life Sciences$3https://scigraph.springernature.com/ontologies/product-market-codes/L17004 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aLife sciences. 615 0$aComputer simulation. 615 0$aSoftware engineering. 615 0$aBioinformatics. 615 0$aBioinformatics . 615 0$aComputational biology . 615 14$aLife Sciences, general. 615 24$aSimulation and Modeling. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputational Biology/Bioinformatics. 615 24$aComputer Appl. in Life Sciences. 615 24$aSoftware Engineering. 676 $a570 702 $aHeiner$b Monika$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aUhrmacher$b Adelinde M$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466116603316 996 $aComputational Methods in Systems Biology$9771864 997 $aUNISA