Transactions on Computational Systems Biology VI [electronic resource] /
CMSB 2005(2005 :Edinburgh, Scotland)
Plotkin, Gordon.editor.
"This issue of Transactions on Computational Systems Biology contains fully-refereed selection of papers from the Fourth International Conference on Computational Methods in Systems Biology, held in Edinburgh, Scotland, April 3-5, 2005."--Pref.
Includes bibliographical references and index.
Property-Driven Statistics of Biological Networks -- On the Computational Power of Brane Calculi -- Analysis of Signalling Pathways Using Continuous Time Markov Chains -- Machine Learning Biochemical Networks from Temporal Logic Properties -- Qualitative Petri Net Modelling of Genetic Networks -- Simulating Bacterial Transcription and Translation in a Stochastic ? Calculus -- Automated Abstraction Methodology for Genetic Regulatory Networks -- P Systems, a New Computational Modelling Tool for Systems Biology -- Equivalence of Metabolite Fragments and Flow Analysis of Isotopomer Distributions for Flux Estimation -- Multiple Representations of Biological Processes.
Computers.
Life sciences.
Bioinformatics.
Mathematical logic.
Algorithms.
Theory of Computation.
Life Sciences, general.
Computation by Abstract Devices.
Bioinformatics.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.

Lecture Notes in Computer Science