Computational Methods in Systems Biology: International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, ProceedingsCorrado Priami Springer, 11.10.2006 - 323 Seiten 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. |
Inhalt
1 | |
Deciding Behavioural Properties in Brane Calculi | 17 |
Probabilistic Model Checking of Complex Biological Pathways | 32 |
Type Inference in Systems Biology | 48 |
Stronger Computational Modelling of Signalling Pathways Using Both | 63 |
A Formal Approach to Molecular Docking | 78 |
Feedbacks and Oscillations in the Virtual Cell VICE | 93 |
Modelling Cellular Processes Using Membrane Systems with Peripheral | 108 |
Incorporating Time Delays into the Logical Analysis of Gene Regulatory | 169 |
A Computational Model for Eukaryotic Directional Sensing | 184 |
Compositional Reachability Analysis of Genetic Networks | 212 |
Randomization and Feedback Properties of Directed Graphs Inspired | 227 |
Computational Model of a Central Pattern Generator | 242 |
Rewriting Game Theory as a Foundation for StateBased Models | 257 |
Condition Transition Analysis Reveals TF Activity Related | 271 |
An In Silico Analogue of In Vitro Systems Used to Study Epithelial | 285 |
From Boolean Networks | 127 |
Regulatory Network Reconstruction Using Stochastic Logical | 142 |
Identifying Submodules of Cellular Regulatory Networks | 155 |
A Numerical Aggregation Algorithm for the EnzymeCatalyzed | 298 |
An Application | 312 |
Häufige Begriffe und Wortgruppen
abstract activity aggregated algorithm analysis approach axioms behaviour bicluster binding biochemical biological BMPs Boolean network Brane Brane Calculus chemical clustering CMSB complex components Computer concentration consider corresponding CYST defined Definition denote differential discrete domain drug dynamics enzyme equations equilibria evolution example expression level feedback FGFR Figure finite formal free objects FRS2 function genetic regulatory networks graph Grb2 hypercycle interaction kinase labelled logic Markov chains matrix membrane metabolism model checking module molecular molecular docking molecules multiset Nash equilibria observed obtained parameters pathway PEPA Petri nets phenotype PIP3 Ppi system Priami probabilistic process algebra properties proteins protraction random reachability reaction receptor regulation regulatory intensities relation represent retraction phase rules Shp2 signal silico space specific Spry stochastic stochastic simulation structure submodules switch synaptic Systems Biology TF’s tion topology transcription factors transition system variables virus vitro yeast