Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings / edited by Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida.

Format:

Book

Contributor:

Horimoto, Katsuhisa, editor.

Regensburger, Georg, editor.

Rosenkranz, Markus, 1971- editor.

Yoshida, Hiroshi, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

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

Theoretical Computer Science and General Issues ; 5147

Language:

English

Subjects (All):

Computer logic.

Logic, Symbolic and mathematical.

Computer science--Mathematics.

Computer science.

Bioinformatics.

Software engineering.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Symbolic and Algebraic Manipulation.

Computational Biology/Bioinformatics.

Software Engineering.

Local Subjects:

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Symbolic and Algebraic Manipulation.

Computational Biology/Bioinformatics.

Software Engineering.

Physical Description:

1 online resource (XII, 245 pages).

Edition:

First edition 2008.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.

System Details:

text file PDF

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.

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 Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits

On the Computational Power of Biochemistry

The Geometry of the Neighbor-Joining 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 Mass-Preserving 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.

Other Format:

Printed edition:

ISBN:

978-3-540-85101-1

9783540851011

Access Restriction:

Restricted for use by site license.