05391nam 22007575 450 991014387940332120200705230838.03-540-36481-110.1007/3-540-36481-1(CKB)1000000000211934(SSID)ssj0000322040(PQKBManifestationID)11277386(PQKBTitleCode)TC0000322040(PQKBWorkID)10283243(PQKB)10333510(DE-He213)978-3-540-36481-8(MiAaPQ)EBC3072732(PPN)155176390(EXLCZ)99100000000021193420121227d2003 u| 0engurnn|008mamaatxtccrComputational Methods in Systems Biology[electronic resource] First International Workshop, CMSB 2003, Roverto, Italy, February 24–26, 2003 /edited by Corrado Priami1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (IX, 214 p.) Lecture Notes in Computer Science,0302-9743 ;2602Bibliographic Level Mode of Issuance: Monograph3-540-00605-2 Includes bibliographical references at the end of each chapters and index.Invited Papers -- Cells as Computation -- Formal Modeling of C. elegans Development: A Scenario-Based Approach -- Regular Papers -- Causal ?-Calculus for Biochemical Modelling -- Graphs for Core Molecular Biology -- Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa -- Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing -- Multiscale Modeling of Alternative Splicing Regulation -- A Method for Estimating Metabolic Fluxes from Incomplete Isotopomer Information -- Dynamic Bayesian Network and Nonparametric Regression for Nonlinear Modeling of Gene Networks from Time Series Gene Expression Data -- Discrete Event Simulation for a Better Understanding of Metabolite Channeling - A System Theoretic Approach -- Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway -- A Method to Identify Essential Enzymes in the Metabolism: Application to Escherichia Coli -- Symbolic Model Checking of Biochemical Networks -- Presentation Abstracts -- Coupled Oscillator Models for a Set of Communicating Cells -- Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude -- A Core Modeling Language for the Working Molecular Biologist (Abstract) -- Integrating Simulation Packages via Systems Biology Mark-Up Language -- Recreating Biopathway Databases towards Simulation -- How to Synthesize an Optimized Genetic ?-Switching System? A System-Theoretic Approach Based on SQP -- Simulation Sudy of the TNF? Mediated NF-?B Signaling Pathway -- Detection and Analysis of Unexpected State Components in Biological Systems -- Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis -- An Overview of Data Models for the Analysis of Biochemical Pathways -- Discrete Event Systems and Client-Server Model for Signaling Mechanisms -- Position Papers -- Enhanced Operational Semantics in Systems Biology -- Issues in Computational Methods for Functional Genomics and Systems Biology -- Integrating Biological Process Modelling with Gene Expression Data and Ontologies for Functional Genomics (Position Paper) -- Computer Simulation of Protocells -- How to Solve Semantic Puzzles of Systems Biology -- Evolution as Design Engineer -- Inference, Modeling and Simulation of Gene Networks.Lecture Notes in Computer Science,0302-9743 ;2602Life sciencesComputersAlgorithmsMathematical logicComputer simulationBioinformaticsLife Sciences, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/L00004Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Bioinformaticshttps://scigraph.springernature.com/ontologies/product-market-codes/L15001Life sciences.Computers.Algorithms.Mathematical logic.Computer simulation.Bioinformatics.Life Sciences, general.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Mathematical Logic and Formal Languages.Simulation and Modeling.Bioinformatics.572.8/0285Priami Corradoedthttp://id.loc.gov/vocabulary/relators/edtCMSB 2003BOOK9910143879403321Computational Methods in Systems Biology771864UNINA