Share Email Print
cover

Proceedings Paper

Computing Ro in a population with heterogeneity in sexual activity and proportionate mixing using a STM-solver
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

A model to determinate the reproductive basic number, detonated Ro, for the case of population with heterogeneity in sexual activity and proportionate mixing is solved using computer algebra and SMT solvers. Specifically Maple and Z3 were used. The code for the solution of the model was written in Z3-Python, but it can also be played by Z3-SMT-Lib. Ro represents an algebraic synthesis of every epidemiological parameter. Numerical simulations were done to prove the effectiveness of the model and the code. The algebraic structure of Ro suggests the possible control measurements that should be implemented to avoid the propagation of the sexual transmitted diseases. The obtained results are important on the computational epidemiology field. As a future investigation, it is suggested to apply the STM solvers to analyze models for other kinds of epidemic diseases.

Paper Details

Date Published: 5 June 2014
PDF: 16 pages
Proc. SPIE 9112, Sensing Technologies for Global Health, Military Medicine, and Environmental Monitoring IV, 91121L (5 June 2014); doi: 10.1117/12.2049266
Show Author Affiliations
Natalia A. Gutierrez A., Univ. EAFIT (Colombia)


Published in SPIE Proceedings Vol. 9112:
Sensing Technologies for Global Health, Military Medicine, and Environmental Monitoring IV
Šárka O. Southern; Mark A. Mentzer; Isaac Rodriguez-Chavez; Virginia E. Wotring, Editor(s)

© SPIE. Terms of Use
Back to Top