Computing Ro in a population with heterogeneity in sexual activity and proportionate mixing using a STM-solver

Natalia A. Gutierrez A.

doi:10.1117/12.2049266

5 June 2014 Computing R_o in a population with heterogeneity in sexual activity and proportionate mixing using a STM-solver

Natalia A. Gutierrez A.

Author Affiliations +

Proceedings Volume 9112, Sensing Technologies for Global Health, Military Medicine, and Environmental Monitoring IV; 91121L (2014) https://doi.org/10.1117/12.2049266
Event: SPIE Sensing Technology + Applications, 2014, Baltimore, Maryland, United States

Abstract

A model to determinate the reproductive basic number, detonated R_o, 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. R_o 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 R_o 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.

Citation Download Citation

Natalia A. Gutierrez A., Natalia A. Gutierrez A., "Computing R_o in a population with heterogeneity in sexual activity and proportionate mixing using a STM-solver", Proc. SPIE 9112, Sensing Technologies for Global Health, Military Medicine, and Environmental Monitoring IV, 91121L (5 June 2014); doi: 10.1117/12.2049266; https://doi.org/10.1117/12.2049266

ACCESS THE FULL ARTICLE

PERSONAL SIGN IN
Full access may be available with your subscription

Email or Username Forgot your username?

Password Forgot your password?

Show

Remember Email/Username on this computer

Remember Password

No SPIE account? Create an account
or Institutional Sign In via Shibboleth

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available

Members: $14.40

Non-members: $18.00 ADD TO CART

Show All Keywords

Keywords/Phrases

Search In:

Publication Years