About this product

Product Identifiers

PublisherSpringer Berlin / Heidelberg

ISBN-103540461663

ISBN-139783540461661

eBay Product ID (ePID)57028593

Product Key Features

Number of PagesX, 323 Pages

LanguageEnglish

Publication NameComputational Methods in Systems Biology : International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings

SubjectLife Sciences / Molecular Biology, Computer Simulation, Life Sciences / Biology, Research & Methodology

Publication Year2006

TypeTextbook

AuthorCorrado Priami

Subject AreaComputers, Science

SeriesLecture Notes in Computer Science Ser.

FormatTrade Paperback

Dimensions

Item Height0.3 in

Item Weight36.7 Oz

Item Length9.3 in

Item Width6.1 in

Additional Product Features

Intended AudienceScholarly & Professional

LCCN2006-933640

Dewey Edition22

Series Volume Number4210

Number of Volumes1 vol.

IllustratedYes

Dewey Decimal572.80285

Table Of ContentModal 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.

SynopsisThis book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2006, held in Trento, Italy, in October 2006. The 22 fully revised papers presented together with 2 invited talks were carefully reviewed and selected from 68 submissions. The papers present a variety of techniques from computer sciences, such as language design, concurrency theory, software engineering, and formal methods., 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)

LC Classification NumberQH324.2-324.25