Computational Methods in Systems Biology [electronic resource] : International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings / edited by Corrado Priami.Material type: TextLanguage: English Series: Lecture Notes in Computer Science: 4210Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: X, 323 p. Also available online. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540461678Subject(s): Computer science | Software engineering | Database management | Computer simulation | Bioinformatics | Biology -- Data processing | Computer Science | Simulation and Modeling | Bioinformatics | Computer Appl. in Life Sciences | Software Engineering | Database Management | Computation by Abstract DevicesAdditional physical formats: Printed edition:: No titleDDC classification: 003.3 LOC classification: QA76.9.C65Online resources: Click here to access online
Modal Logics for Brane Calculus -- Deciding Behavioural Properties in Brane Calculi -- Probabilistic Model Checking of Complex Biological Pathways -- Type Inference in Systems Biology -- Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods -- A Formal Approach to Molecular Docking -- Feedbacks and Oscillations in the Virtual Cell VICE -- Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins -- Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets -- Regulatory Network Reconstruction Using Stochastic Logical Networks -- Identifying Submodules of Cellular Regulatory Networks -- Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks -- A Computational Model for Eukaryotic Directional Sensing -- Modeling Evolutionary Dynamics of HIV Infection -- Compositional Reachability Analysis of Genetic Networks -- Randomization and Feedback Properties of Directed Graphs Inspired by Gene Networks -- Computational Model of a Central Pattern Generator -- Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation -- Condition Transition Analysis Reveals TF Activity Related to Nutrient-Limitation-Specific Effects of Oxygen Presence in Yeast -- An In Silico Analogue of In Vitro Systems Used to Study Epithelial Cell Morphogenesis -- A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion -- Possibilistic Approach to Biclustering: An Application to Oligonucleotide Microarray Data Analysis.
The CMSB (Computational Methods in Systems Biology) conference series was established in 2003 to help catalyze the convergence of modellers, physicists, mathematicians,andtheoreticalcomputerscientistsfrom?eldssuchaslanguage design,concurrencytheory,programveri?cation,andmolecularbiologists,phy- cians, and neuroscientists interested in a systems-level understanding of cellular physiology and pathology. The community of scientists becoming interested in this new ?eld is growing rapidly as witnessed by the increasing number of submissions. This year we received 68 papers of which we accepted 22 for publication in this volume. Luca Cardelli and David Harel gave two invited talks at the conference sh- ing the computer science perspective in the emerging ?eld of dynamical m- elling and simulation of biological systems. Orkun Soyer gave two invited talks on the systems biology perspective. Finally,weorganizedapostersessiontofavordiscussionandcross-fertilization ofdi?erent?eldsaswefeelitessentialtomakinginterdisciplinaryresearchgrow. July 2006 Corrado Priami Organization Programme Committee of CMSB 2006 Charles Au?ray, CNRS (France) Mu?y Calder, University of Glasgow (UK) Luca Cardelli, Microsoft Research Cambridge (UK) Diego Di Bernardo, Telethon Institute of Genetics and Medicine (Italy) David Harel, Weizmann Institute (Israel) Monika Heiner, University of Cottbus (Germany) Ela Hunt, University of Zurich (Switzerland) Franois Kepes, CNRS / Epigenomics Program, Evry (France) Marta Kwiatkowska, University of Birmingham (UK) Cosimo Laneve, University of Bologna (Italy) Eduardo Mendoza, LMU (Germany) and University of the Philippines-Diliman (Philippines) Bud Mishra, New York University (USA) Satoru Miyano, University of Tokyo (Japan) Christos Ouzounis, European Bioinformatics Institute (UK) Gordon Plotkin, University of Edinburgh (UK) Corrado Priami, Chair, The Microsoft Research - University of Trento Centre for Computational and Systems Biology, Italy Alessandro Quattrone, University of Florence (Italy)