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

Vista sencilla de ítem
dc.citation.journalTitleELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
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 Cienciasspa
dc.contributor.researchgroupMatemáticas y Aplicacionesspa
dc.creatorToro, Mauricio
dc.creatorPhilippou, Anna
dc.creatorArboleda, Sair
dc.creatorPuerta, Maria
dc.creatorVelez S, Carlos M.
dc.date.accessioned2021-04-12T14:04:21Z
dc.date.available2021-04-12T14:04:21Z
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/27703
dc.language.isoengeng
dc.publisherOPEN PUBL ASSOC
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.typearticleeng
dc.typeinfo:eu-repo/semantics/articleeng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.typepublishedVersioneng
dc.type.localArtículospa

Archivos

Colecciones

Artículos