Computational methods in systems biology

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