English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Algorithmic methods for investigating equilibria in epidemic modeling

Brown, C., El Kahoui, M., Novotni, D., & Weber, A. (2006). Algorithmic methods for investigating equilibria in epidemic modeling. Journal of Symbolic Computation, 41, 1157-1173.

Item is

Files

show Files
hide Files
:
threshold-conditions.pdf (Any fulltext), 244KB
 
File Permalink:
-
Name:
threshold-conditions.pdf
Description:
-
OA-Status:
Visibility:
Private
MIME-Type / Checksum:
application/pdf
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Brown, Christopher, Author
El Kahoui, M'hammed1, Author           
Novotni, Dominik, Author
Weber, Andreas, Author
Affiliations:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2007-02-102006
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 314451
Other: Local-ID: C1256428004B93B8-DF5D51E72306F1EDC1256FB30052107F-ElKahoui2005d
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Journal of Symbolic Computation
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 41 Sequence Number: - Start / End Page: 1157 - 1173 Identifier: -