Overview

Inspired by the interesting contributions to the 6th Conference on Compu- tional Methods in Systems Biology (CMSB 2008) and the Dagstuhl Seminar 09091on""FormalMethods inMolecular Biology""inFebruary2009,papershave been selected for this special issue of the journal TransactionsonComputational Systems Biology, under the title Modeling Methodologies. The special issue starts with a position paper on ""Biomodel Engineering - from Structure to Behavior"", which discusses the potential that concepts from traditional computing science hold for creating more powerful models of biol- ical systems and identi?es venues for challenging future research. The technical contributions of the special issue covera broadrangeof mod- ing methodologies that have recently been developed in computational systems biology. First,twonewmodelinglanguagesarepresented.The""Attributed?-Calculus withPriorities""presentsacombinationofaconcurrentprocesslanguage,i.e.,the ?-calculus, and a sequential core language, i.e., the ?-calculus; being equipped withprioritiesthelanguageenablesthedescriptionofdiversespatialphenomena, di?erent kinetics, as well as an individual-based and population-based modeling of biological systems. It is shown how the di?erent dialects of the ? calculus, including the pi@-calculus, can be expressed. Its stochastic semantic is ?rmly rooted in CMTC's and is re?ected in the stochastic simulator.

Full Product Details

Author:   Corrado Priami ,  Rainer Breitling ,  David Gilbert ,  Monika Heiner
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Volume:   5945
Dimensions:   Width: 15.50cm , Height: 1.50cm , Length: 23.50cm
Weight:   0.454kg
ISBN:  

9783642117114

ISBN 10:   3642117112
Pages:   263
Publication Date:   18 February 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Biomodel Engineering – From Structure to Behavior.- The Attributed Pi-Calculus with Priorities.- A Language for Biochemical Systems: Design and Formal Specification.- Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks.- Modelling Self-assembly in BlenX.- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon.- Modelling and Analysis of the NF-?B Pathway in Bio-PEPA.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions