Description 
1 online resource (xii, 244 pages) : illustrations 
Series 
Lecture notes in computer science, 03029743 ; 5147 

LNCS sublibrary. SL 1, Theoretical computer science and general issues 

Lecture notes in computer science ; 5147. 03029743


LNCS sublibrary. SL 1, Theoretical computer science and general issues.

Contents 
Algorithms for Inference, Analysis and Control of Boolean Networks  Tutorial on Model Checking: Modelling and Verification in Computer Science  Differential Algebra and System Modeling in Cellular Biology  Hybrid Semantics for Stochastic?Calculus  Applying a Rigorous QuasiSteady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits  On the Computational Power of Biochemistry  The Geometry of the NeighborJoining Algorithm for Small Trees  Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets  An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions  Property Preservation along Embedding of Biological Regulatory Networks  Process Algebra Models of Population Dynamics  Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems  The Smallest Multistationary MassPreserving Chemical Reaction Network  Local Structure and Behavior of Boolean Bioregulatory Networks  Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology  An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes  Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods 
Summary 
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 
Bibliography 
Includes bibliographical references and index 
Notes 
English 

Print version record 
Subject 
Biomathematics  Congresses


Computational biology  Congresses


Bioinformatics  Congresses


Informatique.


Bioinformatics.


Biomathematics.


Computational biology.


Biomathematik


Computeralgebra

Genre/Form 
Conference papers and proceedings.


Conference papers and proceedings.


Actes de congrès.

Form 
Electronic book

Author 
Horimoto, Katsuhisa.

ISBN 
9783540851011 

3540851011 

3540851003 

9783540851004 
