000 04341nam a22006015i 4500
001 978-3-540-73433-8
003 DE-He213
005 20240423130035.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540734338
_9978-3-540-73433-8
024 7 _a10.1007/978-3-540-73433-8
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aAlgebraic Biology
_h[electronic resource] :
_bSecond International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings /
_cedited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia.
250 _a1st ed. 2007.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2007.
300 _aXIII, 379 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4545
505 0 _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.
650 0 _aComputer science.
650 0 _aMachine theory.
650 0 _aComputer science
_xMathematics.
650 0 _aBioinformatics.
650 0 _aSoftware engineering.
650 1 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aSymbolic and Algebraic Manipulation.
650 2 4 _aComputational and Systems Biology.
650 2 4 _aSoftware Engineering.
700 1 _aAnai, Hirokazu.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aHorimoto, Katsuhisa.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aKutsia, Temur.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540734321
776 0 8 _iPrinted edition:
_z9783540840435
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4545
856 4 0 _uhttps://doi.org/10.1007/978-3-540-73433-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c184384
_d184384