This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held at the Castle of Hagenberg, Austria in July 2008 as part of the RISC Summer 2008, organized by the Research Institute for Symbolic Computation.
The 14 revised full papers presented together with 3 tutorial lectures were carefully reviewed and selected from 27 submissions. The conference is the interdisciplinary forum for the presentation of research on all aspects of applications of symbolic computation (computer algebra, computational logic, and related methods) to various issues in biology and life sciences as well as other problems in biology being approached with symbolic methods.
Author(s): Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamura (auth.), Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida (eds.)
Series: Lecture Notes in Computer Science 5147 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 245
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Computational Biology/Bioinformatics; Software Engineering
Front Matter....Pages -
Algorithms for Inference, Analysis and Control of Boolean Networks....Pages 1-15
Tutorial on Model Checking: Modelling and Verification in Computer Science....Pages 16-21
Differential Algebra and System Modeling in Cellular Biology....Pages 22-39
Hybrid Semantics for Stochastic π-Calculus....Pages 40-55
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits....Pages 56-64
On the Computational Power of Biochemistry....Pages 65-80
The Geometry of the Neighbor-Joining Algorithm for Small Trees....Pages 81-95
Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets....Pages 96-109
An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions....Pages 110-124
Property Preservation along Embedding of Biological Regulatory Networks....Pages 125-138
Process Algebra Models of Population Dynamics....Pages 139-155
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems....Pages 156-171
The Smallest Multistationary Mass-Preserving Chemical Reaction Network....Pages 172-184
Local Structure and Behavior of Boolean Bioregulatory Networks....Pages 185-199
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology....Pages 200-215
An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes....Pages 216-229
Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....Pages 230-244
Back Matter....Pages -
