+612 9045 4394
Computational Methods in Systems Biology : International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings - Corrado Priami

Computational Methods in Systems Biology

International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings

By: Corrado Priami (Editor)

Paperback Published: 1st October 2006
ISBN: 9783540461661
Number Of Pages: 322

Share This Book:


or 4 easy payments of $31.24 with Learn more
Ships in 5 to 9 business days

This 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.

Modal Logics for Brane Calculusp. 1
Deciding Behavioural Properties in Brane Calculip. 17
Probabilistic Model Checking of Complex Biological Pathwaysp. 32
Type Inference in Systems Biologyp. 48
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methodsp. 63
A Formal Approach to Molecular Dockingp. 78
Feedbacks and Oscillations in the Virtual Cell VICEp. 93
Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteinsp. 108
Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Netsp. 127
Regulatory Network Reconstruction Using Stochastic Logical Networksp. 142
Identifying Submodules of Cellular Regulatory Networksp. 155
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networksp. 169
A Computational Model for Eukaryotic Directional Sensingp. 184
Modeling Evolutionary Dynamics of HIV Infectionp. 196
Compositional Reachability Analysis of Genetic Networksp. 212
Randomization and Feedback Properties of Directed Graphs Inspired by Gene Networksp. 227
Computational Model of a Central Pattern Generatorp. 242
Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulationp. 257
Condition Transition Analysis Reveals TF Activity Related to Nutrient-Limitation-Specific Effects of Oxygen Presence in Yeastp. 271
An In Silico Analogue of In Vitro Systems Used to Study Epithelial Cell Morphogenesisp. 285
A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversionp. 298
Possibilistic Approach to Biclustering: An Application to Oligonucleotide Microarray Data Analysisp. 312
Author Indexp. 323
Table of Contents provided by Ingram. All Rights Reserved.

ISBN: 9783540461661
ISBN-10: 3540461663
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 322
Published: 1st October 2006
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.67 x 15.77  x 1.91
Weight (kg): 0.49