Verified Solution Method for Population Epidemiology Models with Uncertainty
By: Joshua Enszer and Mark Stadtherr
Open Access
|Sep 2009References
- Allen, L. J. S. and Burgin, A. M. (2000). Comparison of deterministic and stochastic SIS and SIR models in discrete time,(1): 1-33.
- Anderson, R. M. and May, R. M. (1979). Population biology of infectious diseases: Part 1,(5721): 361-367.
- Berz, M. and Makino, K. (1998). Verified integration of ODEs and flows using differential algebraic methods on highorder Taylor models,(4): 361-369.
- Corliss, G. F. and Rihm, R. (1996). Validating an a priori enclosure using high-order Taylor series,G. Alefeld, A. Frommer and B. Lang (Eds.),, Akademie Verlag, Berlin, pp. 228-238.
- de Jong, M. C. M., Diekmann, O. and Heesterbeek, H. (1995). How does transmission of infection depend on population size?,D. Mollison (Ed.),, Cambridge University Press, Cambridge, pp. 84-94.
- Dushoff, J., Plotkin, J. B., Levin, S. A. and Earn, D. J. D. (2004). Dynamical resonance can account for seasonality of influenza epidemics,(48): 16915-16916.
- Edelstein-Keshet, L. (2005)., SIAM, Philadelphia, PA.
- Fan, M., Li, M. Y. and Wang, K. (2001). Global stability of an SEIS epidemic model with recruitment and a varying total population size,(2): 199-208.
- Greenhalgh, D. (1997). Hopf bifurcation in epidemic models with a latent period and nonpermanent immunity,(2): 85-107.
- Hansen, E. R. and Walster, G. W. (2004)., Marcel Dekker, New York, NY.
- Hethcote, H. W. (1976). Qualitative analysis of communicable disease models,(4): 335-356.
- Jaulin, L., Kieffer, M., Didrit, O. and Walter, É. (2001)., Springer-Verlag, London.
- Kearfott, R. B. (1996)., Kluwer, Dordrecht.
- Kermack, W. O. and McKendrick, A. G. (1927). A contribution to the mathematical theory of epidemics,(772): 700-721.
- Li, M. Y., Graef, J. R., Wand, L. and Karsai, J. (1999). Global dynamics of a SEIR model with varying total population size,(2): 191-215.
- Lin, Y. and Stadtherr, M. A. (2007). Validated solutions of initial value problems for parametric ODEs,(10): 1145-1162.
- Liu, W., Levin, S. A. and Iwasa, Y. (1986). Influence of non-linear incidence rates upon the behavior of SIRS epidemiological models,(2): 187-204.
- Lohner, R. J. (1992). Computations of guaranteed enclosures for the solutions of ordinary initial and boundary value problems,J. Cash and I. Gladwell (Eds.),, Clarendon Press, Oxford, pp. 425-435.
- Makino, K. and Berz, M. (1996). Remainder differential algebras and their applications,M. Berz, C. Bishof, G. Corliss and A. Griewank (Eds.),, SIAM, Philadelphia, PA, pp. 63-74.
- Makino, K. and Berz, M. (1999). Efficient control of the dependency problem based on Taylor model methods,(1): 3-12.
- Makino, K. and Berz, M. (2003). Taylor models and other validated functional inclusion methods,(4): 379-456.
- Nedialkov, N. S., Jackson, K. R. and Corliss, G. F. (1999). Validated solutions of initial value problems for ordinary differential equations,:(1): 21-68.
- Nedialkov, N. S., Jackson, K. R. and Pryce, J. D. (2001). An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE,(6): 449-465.
- Neher, M., Jackson, K. R. and Nedialkov, N. S. (2007). On Taylor model based integration of ODEs,(1): 236-262.
- Neumaier, A. (1990)., Cambridge University Press, Cambridge.
- Neumaier, A. (2003). Taylor forms—Use and limits,(1): 43-79.
- Pugliese, A. (1990). An SEI epidemic model with varying population size,S. Busenberg and M. Martelli (Eds.),, Vol., Springer, Berlin, pp. 121-138.
Language: English
Page range: 501 - 512
Published on: Sep 24, 2009
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Related subjects:
© 2009 Joshua Enszer, Mark Stadtherr, published by University of Zielona Góra
This work is licensed under the Creative Commons License.