Description |
1 online resource (x, 247 pages) : illustrations |
Series |
LNCS sublibrary. SL 8, Bioinformatics |
|
Lecture notes in computer science, 0302-9743 ; 4695. Lecture notes in bioinformatics |
|
LNCS sublibrary. SL 8, Bioinformatics.
|
|
Lecture notes in computer science ; 4695.
|
|
Lecture notes in computer science. Lecture notes in bioinformatics.
|
Contents |
Chemical Master Equation and Langevin Regimes for a Gene Transcription Model -- Simultaneous Stochastic Simulation of Multiple Perturbations in Biological Network Models -- Modelling Yeast Pre-rRNA Processing -- On the Analysis of Numerical Data Time Series in Temporal Logic -- Context Sensitivity in Logical Modeling with Time Delays -- Stochastic Simulation of Biological Systems with Dynamical Compartment Structure -- Computational Simulation of Optical Tracking of Cell Populations Using Quantum Dot Fluorophores -- A Formal and Integrated Framework to Simulate Evolution of Biological Pathways -- Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks -- An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra -- Expressive Models for Synaptic Plasticity -- Modelization and Simulation of Nano Devices in nano? Calculus -- Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus -- A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets -- Reconstructing Metabolic Pathways by Bidirectional Chemical Search -- Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks |
Summary |
This book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2007, held in Edinburgh, Scotland, September 20-21, 2007. The 16 revised full papers presented were carefully reviewed and selected. 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 |
Analysis |
bioinformatics |
|
computertechnieken |
|
computer techniques |
|
simulatiemodellen |
|
simulation models |
|
computerwetenschappen |
|
computer sciences |
|
computational science |
|
levenswetenschappen |
|
life sciences |
|
databasebeheer |
|
database management |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
Subject |
Computational biology -- Congresses
|
|
Molecular biology -- Data processing -- Congresses
|
|
Bioinformatics -- Congresses
|
|
Biological models.
|
|
Systems Biology -- methods
|
|
Models, Biological
|
|
Models, Genetic
|
|
Informatique.
|
|
Biological models
|
|
Bioinformatics
|
|
Computational biology
|
|
Molecular biology -- Data processing
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Calder, M. (Muffy)
|
|
Gilmore, Stephen, 1962-
|
ISBN |
9783540751403 |
|
3540751408 |
|
9783540751397 |
|
3540751394 |
|