Table of contents for Algebraic biology : second international conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, proceedings / Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia (eds.).


Bibliographic record and links to related information available from the Library of Congress catalog
Note: Electronic data is machine generated. May be incomplete or contain other coding.


Counter
Algebraic Systems Biology: Theses and Hypotheses (Invited Talk) .... 1
Bud Mishra
Discrete Models of Biochemical Networks: The Tori Variety of Nested
Canalyzing Functions (Invited Talk) ..... . . ...................   15
Abdul S. Jarrah and Reinhard Laubenbacher
Membrane Computing as a Framework for Bio-modeling (An Informal
G lim pse)  (Invited  Talk) ........... .............................   23
Gheorghe Pdun
Relating Attractors and Singular Steady States in the Logical Analysis
of Bioregulatory Networks .......................              .    36
Heike Siebert and Alexander Bockmayr
Translating Time-Course Gene Expression Profiles into Semi-algebraic
Hybrid Automata Via Dimensionality Reduction  ................      51
Alberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza,
Benedetto Ruperti. Giannina Vizzotto, and Bud Mishra
On Proving the Absence of Oscillations in Models of Genetic Circuits.,.  66
Franrois Boulier, Marc Lefranc, Frangois Lemaire,
Pierre-Emmanuel Morant, and Ash Urqiiplii
Attenuation Regulation as a Term Rewriting System ..............    81
Eugene Asarin, Thierry Cachat, Alexander Seliversto,
Tayssir Touili, and Vassily Lyubetsky
Glucose-Insulin Control of Typel Diabetic Patients in H2/Ho, Space
Via Computer Algebra   ..................       ........... .       95
Levente Kovdcs and Bela Paldncz
Exact Parameter Determination for Parkinson's Disease Diagnosis with
PET Using an Algebraic Approach .............................      110
Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, and
Katsuhisa Horimoto
Efficient Haplotype Inference with Pseudo-boolean Optimization ......  125
Ana Gra,a, Joao Marques-Silva, Ines Lynce, and Arlindo L. Oliveira
An Algebraic Algorithm for the Identification of Glass Networks with
Periodic Orbits Along Cyclic Attractors....  ................ .....  140
Igor Zinovik, Daniel Kroening, and Yury Chebiryak
Analyzing Pathways Using SAT-Based Approaches ...............      155
Ashish Tiwari, Carolyn Talcott, Merrill Knapp,
Patrick Lincoln, and Keith Laderoute
Algorithmic Algebraic Model Checking IV: Characterization of
Metabolic Networks ............... .........      ...........      170
Venkatesh Mysore and Bud Mishra
Cascaded  Games . . . ............. . . ....  ... ...............   185
Jittisak Senachak, Mun'delanji Vestergaard, and Rene Vestergaard
On Differential Algebraic Decision Methods for the Estimation of
Anaerobic Digestion Models ...................  ...   .........    202
Elena Chorukova, Sette Diop, and Ivan Simeonov
Protein Structure Prediction Using Residual Dipolar Couplings ........217
loannis Z. Emiris and Sotirios L Pantos
A Stochastic Pi Calculus for Concurrent Objects .... ...............  232
Celine Kuttler, Cedric Lhoussaine, and Joachim Niehren
Modeling Static Biological Compartments with Beta-binders  ........  247
Maria Luisa Guerriero, Corrado Priami, and Alessandro Romanel
Deducing Interactions in Partially Unspecified Biological Systems ....  262
Paolo Baldan, Andrea Bracciali, Linda Brodo, and Roberto Bruni
Reduction of Algebraic Parametric Systems by Rectification of Their
Affine Expanded Lie Symmetries .. .......     ..................   277
Alexandre Sedoglavic
Prefix Reversals on Binary and Ternary Strings ....................  292
Cor Hurkens, Leo van lersel, Judith Keijsper, Steven Kelk,
Leen Stougie, and John Tromp
Toric Ideals of Phylogenetic Invariants for the General Group-Based
Model on Claw Trees K1 n ....................... . .......   . ..307
Julia Chifman and Sonja Petrovid
Inference of Protein-Protein Interactions by Using Co-evolutionary
Information  (Tutorial Talk)  ...............  ..... . .....  .... .  322
Tetsuya Sato, Yoshihiro Yamanishi, Katsuhisa Horimoto,
Minoru Kanehisa, and Hiroyuki Toh
A Short Survey of Automated Reasoning (Tutorial Talk) ............  334
John Harrison
Inference of Complex Regulatory Network for the Cell Cycle System in
Saccharomyces Cerevisiae (Tutorial Talk) ... ........ .............  350
Sachiyo Aburatani
Manifestation and Exploitation of Invariants in Bioinformatics (Tutorial
Talk) . .........                            .                    365
Limsoon Wong



Library of Congress subject headings for this publication: Biomathematics Congresses, Computational biology Congresses, Bioinformatics Congresses