-
3
-
-
0029821283
-
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
-
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
-
-
Brown, C.W., 2002. The SLFQ system. URL http://www.cs.usna.edu/~qepcad/SLFQ/Home.html
-
-
-
-
8
-
-
33749513254
-
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
23
-
-
1642278920
-
A stochastic method for solving inverse problems in epidemic modelling
-
Valafar F., and Valafar H. (Eds). METMBS'03, CSREA Press, Las Vegas, USA
-
Novotni D., and Weber A. A stochastic method for solving inverse problems in epidemic modelling. In: Valafar F., and Valafar H. (Eds). Proceedings of the International Conference on Mathematics and Engineering Techniques in Medicine and Biological Sciences. METMBS'03 (2003), CSREA Press, Las Vegas, USA 467-473
-
(2003)
Proceedings of the International Conference on Mathematics and Engineering Techniques in Medicine and Biological Sciences
, pp. 467-473
-
-
Novotni, D.1
Weber, A.2
-
24
-
-
0025196595
-
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
-
-
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
-
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
-
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
-
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
|