Implementation of prototypes

In this deliverable we present the first results and prototypes from the demonstrators previously defined in deliverable A2-D4. Keyword List Prototypes, bioinformatics, ontologies, rules, reasoning, sequence alignment Project co-funded by the European Commission and the Swiss Federal Office for Education and Science within the Sixth Framework Programme.

[1]  François Fages,et al.  Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM , 2002 .

[2]  R Heinrich,et al.  Complex calcium oscillations and the role of mitochondria and cytosolic proteins. , 2000, Bio Systems.

[3]  K. Kohn.  Molecular interaction map of the mammalian cell cycle control and DNA repair systems. , 1999, Molecular biology of the cell.

[4]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[5]  Rolf Backofen,et al.  Local Sequence-structure Motifs in Rna , 2004, J. Bioinform. Comput. Biol..

[6]  R Thomas,et al.  A complex control circuit. Regulation of immunity in temperate bacteriophages. , 1976, European journal of biochemistry.

[7]  C. Soulé.  Graphic Requirements for Multistationarity , 2004, Complexus.

[8]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[9]  M. Ashburner,et al.  Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.

[10]  A Goldbeter,et al.  Complex intracellular calcium oscillations. A theoretical exploration of possible mechanisms. , 1997, Biophysical chemistry.

[11]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[12]  B. Kholodenko,et al.  Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades , 2004, The Journal of cell biology.

[13]  Hiroaki Kitano,et al.  The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..

[14]  Claire J. Tomlin,et al.  Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model , 2001, HSCC.

[15]  Javier Larrosa,et al.  Unifying tree decompositions for reasoning in graphical models , 2005, Artif. Intell..

[16]  Jehoshua Bruck,et al.  Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. , 2000, Proceedings of the National Academy of Sciences of the United States of America.

[17]  François Fages,et al.  Machine Learning Biochemical Networks from Temporal Logic Properties , 2006, Trans. Comp. Sys. Biology.

[18]  Andrea Ciliberto,et al.  Steady States and Oscillations in the p53/Mdm2 Network , 2005, Cell cycle.