LEADER 05156nam 22008295 450 001 9910484838203321 005 20251226193531.0 010 $a3-540-73433-3 024 7 $a10.1007/978-3-540-73433-8 035 $a(CKB)1000000000490292 035 $a(SSID)ssj0000316132 035 $a(PQKBManifestationID)11228673 035 $a(PQKBTitleCode)TC0000316132 035 $a(PQKBWorkID)10257054 035 $a(PQKB)10112480 035 $a(DE-He213)978-3-540-73433-8 035 $a(MiAaPQ)EBC3063404 035 $a(MiAaPQ)EBC6709620 035 $a(Au-PeEL)EBL6709620 035 $a(PPN)123163447 035 $a(BIP)32371516 035 $a(BIP)14226408 035 $a(EXLCZ)991000000000490292 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgebraic Biology $eSecond International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings /$fedited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XIII, 379 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4545 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-73432-5 320 $aIncludes bibliographical references and index. 327 $aAlgebraic Systems Biology: Theses and Hypotheses -- Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing Functions -- Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse) -- Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks -- Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction -- On Proving the Absence of Oscillations in Models of Genetic Circuits -- Attenuation Regulation as a Term Rewriting System -- Glucose-Insulin Control of Type1 Diabetic Patients in H2/H??? Space Via Computer Algebra -- Exact Parameter Determination for Parkinson?s Disease Diagnosis with PET Using an Algebraic Approach -- Efficient Haplotype Inference with Pseudo-boolean Optimization -- An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors -- Analyzing Pathways Using SAT-Based Approaches -- Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks -- Cascaded Games -- On Differential Algebraic Decision Methods for the Estimation of Anaerobic Digestion Models -- Protein Structure Prediction Using Residual Dipolar Couplings -- A Stochastic Pi Calculus for Concurrent Objects -- Modeling Static Biological Compartments with Beta-binders -- Deducing Interactions in Partially Unspecified Biological Systems -- Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries -- Prefix Reversals on Binary and Ternary Strings -- Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K 1,n -- Inference of Protein-Protein Interactions by Using Co-evolutionary Information -- A Short Survey of Automated Reasoning -- Inference ofComplex Regulatory Network for the Cell Cycle System in Saccharomyces Cerevisiae -- Manifestation and Exploitation of Invariants in Bioinformatics. 330 $aThis volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods. Papers also examine solutions to problems in biology using symbolic methods. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4545 606 $aComputer science 606 $aMachine theory 606 $aComputer science$xMathematics 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$xMathematics. 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 $a574.0151 702 $aAnai$b Hirokazu 702 $aHorimoto$b Katsuhisa 702 $aKutsia$b Temur 712 12$aAB 2007 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484838203321 996 $aAlgebraic Biology$9772546 997 $aUNINA