Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings /
Corporate Author: | |
---|---|
Other Authors: | |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2006.
|
Series: | Lecture Notes in Computer Science,
4210 |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Table of Contents:
- 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.