Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
Por:
Toro, Mauricio, Philippou, Anna, Arboleda, Sair, Puerta, Maria, Velez S, Carlos M.
Publicada:
1 ene 2016
Categoría:
Software
Resumen:
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.
Filiaciones:
Toro, Mauricio:
Univ EAFIT, Medellin, Colombia
Philippou, Anna:
Univ Cyprus, Nicosia, Cyprus
Arboleda, Sair:
Univ Antioquia, Medellin, Colombia
Puerta, Maria:
Univ EAFIT, Medellin, Colombia
Velez S, Carlos M.:
Univ EAFIT, Medellin, Colombia
gold, Green Submitted, Gold
|