Computational Methods in Systems Biology: International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings: 4210 - Brossura

Brossura

ISBN 10: 3540461663 ISBN 13: 9783540461661

Casa editrice: Springer Berlin Heidelberg, 2010

Riassunto

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.

Su questo libro

Contenuti

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.

Product Description

Book by None

Dettagli dell'edizione

• Editore: Springer Berlin Heidelberg
• Data di pubblicazione: 2010
• Lingua: Inglese
• ISBN 10: 3540461663
• ISBN 13: 9783540461661
• Rilegatura: Copertina flessibile
• Numero di pagine: 336
• Redattore: Priami Corrado
• Contatto del produttore: non disponibile
• Persona responsabile: Palgrave Macmillan; ProductSafety@springernature.com; ; Crinan Street 4; London; N1 9XW; Regno Unito