Computational Methods in Systems Biology: International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, ProceedingsSpringer Science & Business Media, 11.10.2006 - 322 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
Modal Logics for Brane Calculus | 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 action activity algorithm allow analysis applied approach associated behaviour bicluster binding biological Boolean bound Brane called cell checking clustering compartment complex components Computer concentration connections consider contains corresponding cycle defined Definition denote derived described discrete domain dynamics effects enzyme equations evolution example exists expression extended factors Figure formal FRS2 function genes genetic given glucose graph growth identified inference initial interaction introduce involved Italy labelled leads logic matrix means membrane methods molecular molecules multiset Note objects observed obtained operations parameters pathway Petri phase possible present probability problem production properties protein reaction receptor regulation regulatory network relation represent respectively response rules signal silico simulation solution space specific stochastic structure submodules switch Table tion transcription transition values variables