Struktura obiektu
Autor:

Enszer, Joshua A. ; Stadtherr, Mark A.

Współtwórca:

Rauh, Andreas - ed. ; Auer, Ekaterina - ed. ; Hofer,Eberhard P. - ed. ; Luther, Wolfram - ed.

Tytuł:

Verified solution method for population epidemiology models with uncertainty

Podtytuł:

.

Tytuł publikacji grupowej:

AMCS, volume 19 (2009)

Temat i słowa kluczowe:

nonlinear dynamics ; epidemiology ; interval analysis ; verified computing ; ordinary differential equations

Abstract:

Epidemiological models can be used to study the impact of an infection within a population. These models often involve parameters that are not known with certainty. Using a method for verified solution of nonlinear dynamic models, we can bound the disease trajectories that are possible for given bounds on the uncertain parameters. The method is based on the use of an interval Taylor series to represent dependence on time and the use of Taylor models to represent dependence on uncertain parameters and/or initial conditions. The use of this method in epidemiology is demonstrated using the SIRS model, and other variations of Kermack-McKendrick models, including the case of time-dependent transmission.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

2009

Typ zasobu:

artykuł

DOI:

10.2478/v10006-009-0040-4

Strony:

501-512

Źródło:

AMCS, volume 19, number 3 (2009) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Licencja CC BY 4.0:

kliknij tutaj, żeby przejść

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego

×

Cytowanie

Styl cytowania: