Show simple item record

Mean-field semantics for a process calculus for spatially-explicit ecological models

dc.contributor.authorToro, Mauricioen
dc.contributor.authorPhilippou, Annaen
dc.contributor.authorArboleda, S.en
dc.contributor.authorPuerta, M.en
dc.contributor.authorVélez S, C. M.en
dc.contributor.editorPerez J.A.en
dc.contributor.editorMunoz C.A.en
dc.creatorToro, Mauricioen
dc.creatorPhilippou, Annaen
dc.creatorArboleda, S.en
dc.creatorPuerta, M.en
dc.creatorVélez S, C. M.en
dc.date.accessioned2019-11-13T10:42:28Z
dc.date.available2019-11-13T10:42:28Z
dc.date.issued2016
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/55064
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. © M. Toro, A. Philippou, S. Arboleda, M. Puerta & C. Vélez.en
dc.publisherOpen Publishing Associationen
dc.sourceElectronic Proceedings in Theoretical Computer Science, EPTCSen
dc.source11th International Workshop on Developments in Computational Models, DCM 2015en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84991607754&doi=10.4204%2fEPTCS.204.7&partnerID=40&md5=9556d8901fa6602359e86e68a5d2e12b
dc.subjectEcologyen
dc.subjectCalculationsen
dc.subjectComputational methodsen
dc.subjectSemanticsen
dc.subjectComputation theoryen
dc.subjectEcological modelsen
dc.subjectEcological systemsen
dc.subjectIndividual based modelen
dc.subjectSpatially expliciten
dc.subjectProcess calculien
dc.subjectAverage behavioren
dc.subjectEpidemiological studiesen
dc.subjectRecurrence equationen
dc.titleMean-field semantics for a process calculus for spatially-explicit ecological modelsen
dc.typeinfo:eu-repo/semantics/conferenceObject
dc.identifier.doi10.4204/EPTCS.204.7
dc.description.volume204
dc.description.startingpage79
dc.description.endingpage94
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeConference Objecten
dc.description.notes<p>Sponsors:en
dc.description.notesConference code: 123994en
dc.description.notesCited By :1</p>en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record