Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings Hirokazu Anai (u. a.) Taschenbuch Lecture Notes in Computer Science 2007 - Livro de bolso

EAN (ISBN-13): 9783540734321
ISBN (ISBN-10): 3540734325
Livro de capa dura
Livro de bolso
Ano de publicação: 2007
Editor/Editora: Anai, Hirokazu, Springer Berlin Heidelberg
377 Páginas
Peso: 0,546 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-06-28T19:58:06-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2022-05-07T06:01:06-03:00 (Sao Paulo)
Número ISBN/EAN: 3540734325

Número ISBN - Ortografia alternativa:
3-540-73432-5, 978-3-540-73432-1
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: hori
Título do livro: castle austria, bio, biology, july, austria international, hagenberg, who who austria, lecture notes computer science

---

Dados da editora

Autor: Hirokazu Anai; Katsuhisa Horimoto; Temur Kutsia
Título: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Algebraic Biology - Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
Editora: Springer; Springer Berlin
379 Páginas
Ano de publicação: 2007-06-22
Berlin; Heidelberg; DE
Língua: Inglês
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 379 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Mathematik; Erfüllbarkeitsproblem der Aussagenlogik; algorithm; algorithms; automata; calculi; calculus; computer algebra; dynamic systems; hybrid systems; logic; optimization; polynomial functions; semantics of programming; term rewriting; transformations of mod; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Symbolic and Algebraic Manipulation; Computational and Systems Biology; Software Engineering; Mathematik für Informatiker; DV-gestützte Biologie/Bioinformatik; Software Engineering; EA

Algebraic 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.