메뉴 건너뛰기




Volumn 41, Issue 11, 2006, Pages 1157-1173

Algorithmic methods for investigating equilibria in epidemic modeling

Author keywords

Ordinary differential equations thresholds; Quantifier elimination

Indexed keywords


EID: 33749511402     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2005.09.011     Document Type: Article
Times cited : (48)

References (31)
  • 3
    • 0029821283 scopus 로고    scopus 로고
    • Control strategies for tuberculosis epidemics: New models for old problems
    • Blower S.M., Small P.M., and Hopewell P.C. Control strategies for tuberculosis epidemics: New models for old problems. Science 273 (1996) 497-500
    • (1996) Science , vol.273 , pp. 497-500
    • Blower, S.M.1    Small, P.M.2    Hopewell, P.C.3
  • 4
    • 0006431229 scopus 로고    scopus 로고
    • Simple CAD construction and its applications
    • Brown C.W. Simple CAD construction and its applications. Journal of Symbolic Computation 31 5 (2001) 521-547
    • (2001) Journal of Symbolic Computation , vol.31 , Issue.5 , pp. 521-547
    • Brown, C.W.1
  • 5
    • 33749535614 scopus 로고    scopus 로고
    • Brown, C.W., 2002. The SLFQ system. URL http://www.cs.usna.edu/~qepcad/SLFQ/Home.html
  • 8
    • 33749513254 scopus 로고    scopus 로고
    • Dolzmann, A., Sturm, T., 1999. Redlog User Manual. FMI, Universität Passau, 94030 Passau, Germany. URL http://www.fmi.uni-passau.de/~redlog/
  • 9
    • 0034723248 scopus 로고    scopus 로고
    • A simple model for complex dynamical transitions in epidemics
    • Jan
    • Earn D.J., Rohani P., Bolker B.M., and Grenfell B.T. A simple model for complex dynamical transitions in epidemics. Science 287 5453 (2000) 667-670 Jan
    • (2000) Science , vol.287 , Issue.5453 , pp. 667-670
    • Earn, D.J.1    Rohani, P.2    Bolker, B.M.3    Grenfell, B.T.4
  • 10
    • 0345851264 scopus 로고    scopus 로고
    • Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
    • URL
    • El Kahoui M., and Weber A. Deciding Hopf bifurcations by quantifier elimination in a software-component architecture. Journal of Symbolic Computation 30 2 (2000) 161-179. http://dx.doi.org/10.1006/jsco.1999.0353 URL
    • (2000) Journal of Symbolic Computation , vol.30 , Issue.2 , pp. 161-179
    • El Kahoui, M.1    Weber, A.2
  • 12
    • 0034486891 scopus 로고    scopus 로고
    • The mathematics of infectious diseases
    • Hethcote H.W. The mathematics of infectious diseases. SIAM Review 42 4 (2000) 599-653
    • (2000) SIAM Review , vol.42 , Issue.4 , pp. 599-653
    • Hethcote, H.W.1
  • 14
    • 0031208923 scopus 로고    scopus 로고
    • Testing stability by quantifier elimination
    • URL
    • Hong H., Liska R., and Steinberg S. Testing stability by quantifier elimination. Journal of Symbolic Computation 24 2 (1997) 161-187. http://dx.doi.org/10.1006/jsco.1997.0121 URL
    • (1997) Journal of Symbolic Computation , vol.24 , Issue.2 , pp. 161-187
    • Hong, H.1    Liska, R.2    Steinberg, S.3
  • 16
    • 33749516160 scopus 로고    scopus 로고
    • Jirstrand, M., 1996. Applications of quantifier elimination to equilibrium calculations in nonlinear aircraft dynamics. In: Proceedings on the 5th International Student Olympiad. pp. 72-79
  • 17
    • 0031208954 scopus 로고    scopus 로고
    • Nonlinear control system design by quantifier elimination
    • URL
    • Jirstrand M. Nonlinear control system design by quantifier elimination. Journal of Symbolic Computation 24 2 (1997) 137-152. http://dx.doi.org/10.1006/jsco.1997.0119 URL
    • (1997) Journal of Symbolic Computation , vol.24 , Issue.2 , pp. 137-152
    • Jirstrand, M.1
  • 18
    • 0028606413 scopus 로고
    • Reconstruction of the seasonally varying contact rate for measles
    • Kalivianakis M., Mous S.L.J., and Grasman J. Reconstruction of the seasonally varying contact rate for measles. Mathematical Biosciences 214 2 (1994) 225-234
    • (1994) Mathematical Biosciences , vol.214 , Issue.2 , pp. 225-234
    • Kalivianakis, M.1    Mous, S.L.J.2    Grasman, J.3
  • 21
    • 0029016243 scopus 로고
    • Epidemiological models with varying population size and dose-dependent latent period
    • Liu W.-M., and van den Driessche P. Epidemiological models with varying population size and dose-dependent latent period. Mathematical Biosciences 128 (1995) 57-69
    • (1995) Mathematical Biosciences , vol.128 , pp. 57-69
    • Liu, W.-M.1    van den Driessche, P.2
  • 22
    • 0034723094 scopus 로고    scopus 로고
    • Epidemiology: Enhanced: Simple rules with complex dynamics
    • May R. Epidemiology: Enhanced: Simple rules with complex dynamics. Science 287 (2000) 601-602
    • (2000) Science , vol.287 , pp. 601-602
    • May, R.1
  • 24
    • 0025196595 scopus 로고
    • Chaos versus noisy periodicity: alternative hypotheses for childhood epidemics
    • Olsen L.F., and Schaffer W.M. Chaos versus noisy periodicity: alternative hypotheses for childhood epidemics. Science 249 4968 (1990) 499-504
    • (1990) Science , vol.249 , Issue.4968 , pp. 499-504
    • Olsen, L.F.1    Schaffer, W.M.2
  • 25
    • 33749515125 scopus 로고    scopus 로고
    • Ruan S., Wolkowicz G.S.K., and Wu J. (Eds), American Mathematical Society
    • In: Ruan S., Wolkowicz G.S.K., and Wu J. (Eds). Dynamical Systems and their Applications in Biology (2003), American Mathematical Society
    • (2003) Dynamical Systems and their Applications in Biology
  • 27
    • 0036845274 scopus 로고    scopus 로고
    • Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission
    • van den Driessche P., and Watmough J. Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission. Mathematical Biosciences 180 (2002) 29-48
    • (2002) Mathematical Biosciences , vol.180 , pp. 29-48
    • van den Driessche, P.1    Watmough, J.2
  • 29
    • 0034847341 scopus 로고    scopus 로고
    • Modeling epidemics caused by respiratory syncytial virus (RSV)
    • URL
    • Weber A., Weber M., and Milligan P. Modeling epidemics caused by respiratory syncytial virus (RSV). Mathematical Biosciences 172 2 (2001) 95-113. http://dx.doi.org/10.1016/S0025-5564(01)00066-9 URL
    • (2001) Mathematical Biosciences , vol.172 , Issue.2 , pp. 95-113
    • Weber, A.1    Weber, M.2    Milligan, P.3
  • 30
    • 0002355108 scopus 로고
    • The complexity of linear problems in fields
    • Weispfenning V. The complexity of linear problems in fields. Journal of Symbolic Computation 5 1-2 (1988) 3-27
    • (1988) Journal of Symbolic Computation , vol.5 , Issue.1-2 , pp. 3-27
    • Weispfenning, V.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.