Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models

Vista sencilla de ítem
dc.citation.journalTitleELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCEeng
dc.contributor.authorToro, Mauricio
dc.contributor.authorPhilippou, Anna
dc.contributor.authorArboleda, Sair
dc.contributor.authorPuerta, Maria
dc.contributor.authorVelez S, Carlos M.
dc.contributor.departmentUniversidad EAFIT. Departamento de Ingeniería de Sistemasspa
dc.contributor.researchgroupI+D+I en Tecnologías de la Información y las Comunicacionesspa
dc.creatorToro, Mauricio
dc.creatorPhilippou, Anna
dc.creatorArboleda, Sair
dc.creatorPuerta, Maria
dc.creatorVelez S, Carlos M.
dc.date.accessioned2021-04-12T20:55:47Z
dc.date.available2021-04-12T20:55:47Z
dc.date.issued2016-01-01
dc.description.abstractWe 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.eng
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=6577
dc.identifier.doi10.4204/EPTCS.204.7
dc.identifier.issn20752180
dc.identifier.otherWOS;000390261400008
dc.identifier.otherSCOPUS;2-s2.0-85053361264
dc.identifier.urihttp://hdl.handle.net/10784/28615
dc.language.isoengeng
dc.publisherOPEN PUBL ASSOC
dc.relationDOI;10.4204/EPTCS.204.7
dc.relationWOS;000390261400008
dc.relationSCOPUS;2-s2.0-85053361264
dc.relation.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85053361264&doi=10.4204%2fEPTCS.204.7&partnerID=40&md5=47fb723f7b89b1fd0cca2e519a2285c8
dc.rightshttps://v2.sherpa.ac.uk/id/publication/issn/2075-2180
dc.sourceELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
dc.subjectPROCESS ALGEBRAeng
dc.subjectTRANSMISSIONeng
dc.subjectINDIVIDUALSeng
dc.subjectPOPULATIONSeng
dc.subjectCOLOMBIAeng
dc.subjectDYNAMICSeng
dc.subjectSYSTEMSeng
dc.titleMean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Modelseng
dc.typeinfo:eu-repo/semantics/articleeng
dc.typearticleeng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.typepublishedVersioneng
dc.type.localArtículospa

Archivos

Colecciones

Artículos (GIDITIC)