On proving the absence of oscillations in models of genetic circuits

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4545 LNCS, Issue , 2007, Pages 66-80

  Boulier, François ^a   Lefranc, Marc ^a   Lemaire, François ^a   Morant, Pierre Emmanuel ^a   Ürgüplü, Ash ^a  

^a UNIV LILLE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; NETWORKS (CIRCUITS);

HISTORICAL EXAMPLES; REGULATORY NETWORKS;

ALGEBRA;

EID: 38149139488     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73433-8_6     Document Type: Conference Paper

References (28)

1. Morant, P.E., Vandermoere, C., Parent, B., Lemaire, F., Corellou, F., Schwartz, C., Bouget, F.Y., Lefranc, M.: Oscillateurs génétiques simples. Applications à l'horloge circadienne d'une algue unicellulaire. In: proceedings of the Rencontre du non linéaire, Paris (2007), http://nonlineaire.univ-lille1.fr
2. McClung, C.R.: Plant Circadian Rhythms. The Plant Cell 18, 792-803 (2006)
3. Fall, C.R, Marland, E.S., Wagner, J.M., Tyson, J.J. (eds.): Computational Cell Biology. Interdisciplinary Applied Mathematics, vol. 20. Springer, Heidelberg (2002)
4. Goldbeter, A.: Biochemical Oscillations and Cellular Rhythms: The Molecular Bases of Periodic and Chaotic Behaviour. Cambridge University Press, Cambridge (2004)
5. Françoise, J.P.: Oscillations en biologie. Mathématiques et Applications, vol. 46. Springer, Heidelberg (2005)
6. Hale, J.K., Koçak, H.: Dynamics and Bifurcations. Texts in Applied Mathematics, vol. 3. Springer, New York (1991)
7. Hairer, E., Norsett, S.P., Wanner, G.: Solving ordinary differential equations I. Nonstiff problems, 2nd edn. Springer Series in Computational Mathematics, vol. 8. Springer, New York (1993)
8. Doedel, E.: AUTO software for continuation and bifurcation problems in ODEs (1996), http://indy.cs.concordia.ca/auto
9. Ermentrout, B.: Simulating, Analyzing, and Animating Dynamical Systems: A Guide to XPPAUT for Researchers and Students, vol 14 of Software, Environments, and Tools, vol. 14, SIAM (2002)
10. El Kahoui, M., Weber, A.: Deciding Hopf bifurcations by quantifier elimination in a software-component architecture. Journal of Symbolic Computation 30(2), 161-179 (2000)
11. Wang, D., Xia, B.: Stability Analysis of Biological Systems with Real Solution Classification. In: proceedings of ISSAC 2005, Beijing, China 354-361 (2005)
12. Gatermann, K., Hosten, S.: Computational algebra for bifurcation theory. Journal of Symbolic Computation 40, 1180-1207 (2005)
13. Gatermann, K., Eiswirth, M., Sensse, A.: Toric Ideals and graph theory to analyze Hopf bifurcations in mass action systems. Journal of Symbolic Computation 40, 1361-1382 (2005)
14. Brown, C.W.: QEPCAD B: a program for computing with semi-algebraic sets using CADs. SIGSAM Bulletin 37(4), 97-108 (2003)
15. Dolzmann, A., Sturm, T.: Redlog: computer algebra meets computer logic. SIGSAM Bulletin 31(2), 2-9 (1997)
16. El Din, M.S.: RAGLib (Real Algebraic Library Maple package) (2003), http://www- calfor.lip6.fr/~safey/RAGLib
17. Goodwin, B.C.: Temporal Organization in Cells. Academic Press, London (1963)
18. Goodwin, B.C.: In: Advances in Enzyme Regulation, vol. 3, p. 425. Pergamon Press, Oxford (1965)
19. Griffith, J.S.: Mathematics of Cellular Control Processes. I. Negative Feedback to One Gene. Journal of Theoretical Biology 20, 202-208 (1968)
20. Selleck, W., Howley, R., Fang, Q., Podolny, V., Fried, M.G., Buratowski, S., Tan, S.: A histone fold TAF octamer within the yeast TFIID transcriptional coactivator. Nature Structural Biology 8(8), 695-700 (2001)
21. Ruoff, P., Rensing, L.: The Temperature - Compensated Goodwin Model Simulates Many Circadian Clock Properties. Journal of Theoretical Biology 179, 275-285 (1996)
22. Ruoff, P., Vinsjevik, M., Mohsenzadeh, S., Rensing, L.: The Goodwin Model: Simulating the Effet of Cycloheximide and Heat Shock on the Sporulation Rhythm of Neurospora crassa. Journal of Theoretical Biology 196, 483-494 (1999)
23. Kurosawa, G., Mochizuki, A., Iwasa, Y.: Comparative Study of Circadian Clock Models, in Search of Processes Promoting Oscillation. Journal of Theoretical Biology 216, 193-208 (2002)
24. Cox, D., Little, J., O'Shea, D.: Ideals, Varieties and Algorithms. An introduction to computational algebraic geometry and commutative algebra. Undergraduate Texts in Mathematics. Springer, New York (1992)
25. Becker, T., Weispfenning, V.: Gröbner Bases: a computational approach to commutative algebra. Graduate Texts in Mathematics, vol. 141. Springer, Heidelberg (1991)
26. Basu, S., Pollack, R., Roy, M.F.: Algorithms in Real Algebraic Geometry. Algorithms and Computation in Mathematics, vol. 10. Springer, Heidelberg (2003)
27. Collins, G.E., Akritas, A.G.: Polynomial real root isolation using Descartes'rule of signs. In: proceedings of ISSAC 1976, Yorktown Heights NY 272-275 (1976)
28. Collins, G.E.: Quantifier Elimination for the Elementary Theory of Real Closed Fields by Cylindrical Algebraic Decomposition. In: Brakhage, H. (ed.) Automata Theory and Formal Languages. LNCS, vol. 33, pp. 134-183. Springer, Heidelberg (1975)