Dengue fever (DF) is endemic in Medellín, the second largest Colombian city, and surrounding municipalities. We used DF case and satellite environmental data to investigate conditions associated with suitable areas for DF occurrence in 2008 in three municipalities (Bello, Medellín and Itagüí). We develop spatially stratified tests of ecological niche models, and found generally good predictive ability, with all model tests yielding results significantly better than random expectations. We concluded that Bello and Medellín present ecological conditions somewhat different from, and more suitable for DF than, those of Itagüí. We suggest that areas predicted by our models as suitable for DF could be considered as at-risk, and could be used to guide campaigns for DF prevention in these municipalities.

We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a system as a set of recurrence equations. Recurrence equations are a useful approximation when dealing with a large number of individuals, as it is the case in epidemiological studies. As a case study, we compute a set of recurrence equations capturing the dynamics of an individual-based model of the transmission of dengue in Bello (Antioquia), Colombia.Comment: In Proceedings DCM 2015, arXiv:1603.0053