Computational Methods in Systems Biology 系统生物学计算方法/会议文集

This book constitutes the thoroughly refereed postproceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2004, held in Paris, France in May 2004.
The 16 revised full papers and 7 revised short papers presented together with an invited paper went through two rounds of reviewing, selection and revision. The papers present a variety of techniques from computer science, such as language design, concurrency theory, software engineering, and formal methods, for biologists, physicists, and mathematicians interested in the systems-level understanding of cellular processes.

Long Papers
　An Explicit Upper Bound for the Approximation Ratio of the Maximum Gene Regulatory Network Problem
　Autonomous Mobile Robot Control Based on White Blood Cell Chemotaxis
　Beta Binders for Biological Interactions
　Biomimetic in Silico Devices
　Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing
Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States
　IMGT-Choreography: Processing of Complex Immunogenetics Knowledge
　Model Checking Biological Systems Described Using Ambient Calculus
　Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming
　Modelling Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods
　Projective Brane Calculus
　Residual Bootstrapping and Median Filtering for Robust Estimation of Gene Networks from Microarray Data
　Spatial Modeling and Simulation of Diffusion in Nuclei of Living Cells
　The Biochemical Abstract Machine BIOCHAM
　Towards Reusing Model Components in Systems Biology
　VICE: A Virtual CEll
Short Papers
　Biological Domain Identification Based in Codon Usage by Means of Rule and Tree Induction
　Black Box Checking for Biochemical Networks
　CMBSlib: A Library for Comparing Formalisms and Models of Biological　Systems
　Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems
　Developing SBML Beyond Level 2: Proposals for Development
……
Invited Contributions
Author Index