LEADER 04696nam 22007935 450 001 996465406403316 005 20230221015251.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(EXLCZ)991000000000490292 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgebraic Biology$b[electronic resource] $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 $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 of Complex Regulatory Network for the Cell Cycle System in Saccharomyces Cerevisiae -- Manifestation and Exploitation of Invariants in Bioinformatics. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4545 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 $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 $a996465406403316 996 $aAlgebraic Biology$9772546 997 $aUNISA