Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Algorithmic Global Criteria for Excluding Oscillations

Weber, A., Sturm, T., & Abdel-Rahman, E. O. (2011). Algorithmic Global Criteria for Excluding Oscillations. Bulletin of Mathematical Biology, 73(4), 899-916. doi:10.1007/s11538-010-9618-0.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Weber, Andreas1, Autor
Sturm, Thomas2, Autor           
Abdel-Rahman, Essam O.1, Autor
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: We investigate algorithmic methods to tackle the following problem: Given a system of parametric ordinary differential equations built by a biological model, does there exist ranges of values for the model parameters and variables which are both meaningful from a biological point of view and where oscillating trajectories, can be found? We show that in the common case of polynomial vector fields known criteria excluding the existence of non-constant limit cycles lead to quantifier elimination problems over the reals. We apply these criteria to various models that have been previously investigated in the context of algebraic biology.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20112011
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: Expertenbegutachtung
 Identifikatoren: eDoc: 619019
DOI: 10.1007/s11538-010-9618-0
URI: http://www.springerlink.com/content/5238455w344h1066/fulltext.pdf
Anderer: Local-ID: C125716C0050FB51-BF20726C557FAF02C1257987003F79BE-WeberSturm:11a
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Bulletin of Mathematical Biology
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: New York, NY : Springer
Seiten: - Band / Heft: 73 (4) Artikelnummer: - Start- / Endseite: 899 - 916 Identifikator: ISSN: 0092-8240