LEADER 04830nam 22008175 450 001 996465407303316 005 20230222025749.0 010 $a3-540-85101-1 024 7 $a10.1007/978-3-540-85101-1 035 $a(CKB)1000000000490291 035 $a(SSID)ssj0000446282 035 $a(PQKBManifestationID)11297661 035 $a(PQKBTitleCode)TC0000446282 035 $a(PQKBWorkID)10495959 035 $a(PQKB)10301621 035 $a(DE-He213)978-3-540-85101-1 035 $a(MiAaPQ)EBC3063141 035 $a(MiAaPQ)EBC6511652 035 $a(Au-PeEL)EBL6511652 035 $a(OCoLC)288440366 035 $a(PPN)128125896 035 $a(EXLCZ)991000000000490291 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgebraic Biology$b[electronic resource] $eThird International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings /$fedited by Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XII, 245 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5147 300 $aIncludes index. 311 $a3-540-85100-3 320 $aIncludes bibliographical references and index. 327 $aAlgorithms 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. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5147 606 $aComputer science 606 $aMachine theory 606 $aComputer science?Mathematics 606 $aBioinformatics 606 $aSoftware engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aSymbolic and Algebraic Manipulation 606 $aComputational and Systems Biology 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputer science?Mathematics. 615 0$aBioinformatics. 615 0$aSoftware engineering. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aComputational and Systems Biology. 615 24$aSoftware Engineering. 676 $a570.151 686 $a570$2sdnb 686 $aBIO 110f$2stub 686 $aSS 4800$2rvk 702 $aHorimoto$b Katsuhisa 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465407303316 996 $aAlgebraic Biology$9772546 997 $aUNISA