Journal Article
@Article
Artikel in Fachzeitschrift

Show entries of:

this year (2022) | last year (2021) | two years ago (2020) | Notes URL

Action:

login to update
Options:








Author, Editor(s)
Author(s):
Brown, Christopher
El Kahoui, M'hammed
Novotni, Dominik
Weber, Andreas		dblp
dblp
dblp
dblp
Not MPG Author(s):
Brown, Christopher
Novotni, Dominik
Weber, Andreas

BibTeX cite key*:

ElKahoui2005d

Title

Title*:

Algorithmic methods for investigating equilibria in epidemic modeling


threshold-conditions.pdf (243.74 KB)

Journal

Journal Title*:

Journal of Symbolic Computation
Journal's URL:


Download URL
for the article:

http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6WM7-4M04DYJ-1-1&_cdi=6927&_user=43521&_orig=search&_coverDate=11%2F30%2F2006&_sk=999589988&view=c&wchp=dGLbVtb-zSkWA&md5=75f2e0e37798b2b88451a5832a97c417&ie=/sdarticle.pdf
Language:

English

Publisher

Publisher's
Name:


Publisher's URL:


Publisher's
Address:


ISSN:


Vol, No, pp, Date

Volume*:

41
Number:

11

Publishing Date:

2006

Pages*:

1157-1173
Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:

10.1016/j.jsc.2005.09.011

Note, Abstract, ©

Note:


(LaTeX) Abstract:


The calculation of threshold conditions for models of infectious diseases is of central importance for developing vaccination policies. These models are often coupled systems of ordinary differential equations, in which case the computation of threshold conditions can be reduced to the question of stability of the disease-free equilibrium. This paper shows how computing threshold conditions for such models can be done fully algorithmically using quantifier elimination for real closed fields and related simplification methods for quantifier-free formulas. Using efficient quantifier elimination techniques for special cases that have been developed by Weispfenning and others, we can also compute whether there are ranges of parameters for which sub-threshold endemic equilibria exist.

URL for the Abstract:


Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Algorithms and Complexity Group
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort


BibTeX Entry:

@ARTICLE{ElKahoui2005d,
AUTHOR = {Brown, Christopher and El Kahoui, M'hammed and Novotni, Dominik and Weber, Andreas},
 TITLE = {Algorithmic methods for investigating equilibria in epidemic modeling},
 JOURNAL = {Journal of Symbolic Computation},
 YEAR = {2006},
 NUMBER = {11},
 VOLUME = {41},
 PAGES = {1157--1173},
 DOI = {10.1016/j.jsc.2005.09.011},
}

Entry last modified by Uwe Brahm, 01/20/2009
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
M'hammed El Kahoui		Created
02/25/2005 03:56:21 PM
Revisions
7.
6.
5.
4.
3.		Editor(s)
Uwe Brahm
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel		Edit Dates
01/20/2009 07:12:03 PM
07.02.2007 11:05:34
13.06.2006 10:39:31
12.06.2006 13:26:19
12.06.2006 13:26:08
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

File Attachment Icon
threshold-conditions.pdf