Mean-field semantics for a process Calculus for spatially-explicit ecological models
ABSTRACT: 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...
- Autores:
-
Arboleda Sánchez, Sair Orieta
Toro Bermudez, Mauricio
Philippou, Anna
Puerta Yepes, María Eugenia
Vélez Sánchez, Carlos Mario
- Tipo de recurso:
- Article of investigation
- Fecha de publicación:
- 2016
- Institución:
- Universidad de Antioquia
- Repositorio:
- Repositorio UdeA
- Idioma:
- eng
- OAI Identifier:
- oai:bibliotecadigital.udea.edu.co:10495/42320
- Acceso en línea:
- https://hdl.handle.net/10495/42320
- Palabra clave:
- Cálculo
Calculus
Ecología
Ecology
Semántica
Semantics
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-sa/2.5/co/
| id |
UDEA2_7333202ca85519d88de1bb9a06406733 |
|---|---|
| oai_identifier_str |
oai:bibliotecadigital.udea.edu.co:10495/42320 |
| network_acronym_str |
UDEA2 |
| network_name_str |
Repositorio UdeA |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
Mean-field semantics for a process Calculus for spatially-explicit ecological models |
| title |
Mean-field semantics for a process Calculus for spatially-explicit ecological models |
| spellingShingle |
Mean-field semantics for a process Calculus for spatially-explicit ecological models Cálculo Calculus Ecología Ecology Semántica Semantics |
| title_short |
Mean-field semantics for a process Calculus for spatially-explicit ecological models |
| title_full |
Mean-field semantics for a process Calculus for spatially-explicit ecological models |
| title_fullStr |
Mean-field semantics for a process Calculus for spatially-explicit ecological models |
| title_full_unstemmed |
Mean-field semantics for a process Calculus for spatially-explicit ecological models |
| title_sort |
Mean-field semantics for a process Calculus for spatially-explicit ecological models |
| dc.creator.fl_str_mv |
Arboleda Sánchez, Sair Orieta Toro Bermudez, Mauricio Philippou, Anna Puerta Yepes, María Eugenia Vélez Sánchez, Carlos Mario |
| dc.contributor.author.none.fl_str_mv |
Arboleda Sánchez, Sair Orieta Toro Bermudez, Mauricio Philippou, Anna Puerta Yepes, María Eugenia Vélez Sánchez, Carlos Mario |
| dc.contributor.researchgroup.spa.fl_str_mv |
Biología y Control de Enfermedades Infecciosas |
| dc.subject.lemb.none.fl_str_mv |
Cálculo Calculus Ecología Ecology Semántica Semantics |
| topic |
Cálculo Calculus Ecología Ecology Semántica Semantics |
| description |
ABSTRACT: 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. |
| publishDate |
2016 |
| dc.date.issued.none.fl_str_mv |
2016 |
| dc.date.accessioned.none.fl_str_mv |
2024-09-21T14:40:47Z |
| dc.date.available.none.fl_str_mv |
2024-09-21T14:40:47Z |
| dc.type.spa.fl_str_mv |
Artículo de investigación |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
| dc.type.redcol.spa.fl_str_mv |
https://purl.org/redcol/resource_type/ART |
| dc.type.coarversion.spa.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/article |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| format |
http://purl.org/coar/resource_type/c_2df8fbb1 |
| status_str |
publishedVersion |
| dc.identifier.uri.none.fl_str_mv |
https://hdl.handle.net/10495/42320 |
| dc.identifier.doi.none.fl_str_mv |
10.4204/EPTCS.204.7 |
| dc.identifier.eissn.none.fl_str_mv |
2075-2180 |
| url |
https://hdl.handle.net/10495/42320 |
| identifier_str_mv |
10.4204/EPTCS.204.7 2075-2180 |
| dc.language.iso.spa.fl_str_mv |
eng |
| language |
eng |
| dc.relation.ispartofjournalabbrev.spa.fl_str_mv |
Electron. Proc. Theor. Comput. Sci. |
| dc.relation.citationendpage.spa.fl_str_mv |
94 |
| dc.relation.citationstartpage.spa.fl_str_mv |
79 |
| dc.relation.citationvolume.spa.fl_str_mv |
204 |
| dc.relation.ispartofjournal.spa.fl_str_mv |
Electronic Proceedings In Theoretical Computer Science |
| dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/co/ |
| dc.rights.uri.spa.fl_str_mv |
https://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/co/ https://creativecommons.org/licenses/by-nc-sa/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.spa.fl_str_mv |
16 páginas |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
EPTCS |
| dc.publisher.place.spa.fl_str_mv |
Sydney, Australia |
| institution |
Universidad de Antioquia |
| bitstream.url.fl_str_mv |
https://bibliotecadigital.udea.edu.co/bitstreams/4f45ea25-b579-462f-ad83-16c77eb88617/download https://bibliotecadigital.udea.edu.co/bitstreams/53cc33d5-90df-4fd8-b2dc-c80bcef004e5/download https://bibliotecadigital.udea.edu.co/bitstreams/b29c0935-beff-47a1-8535-25c16b6db0f8/download https://bibliotecadigital.udea.edu.co/bitstreams/c9c47806-96de-4775-ba6e-539c4d7dbad5/download https://bibliotecadigital.udea.edu.co/bitstreams/e6483293-b687-4b1a-afed-720207ecbe2c/download |
| bitstream.checksum.fl_str_mv |
b8f49db48adb2891263e4ba82bd3a914 e2060682c9c70d4d30c83c51448f4eed 8a4605be74aa9ea9d79846c1fba20a33 f15490bf1a20dcefb80022c196ae9468 3717d5e420a034d02f1ddc79c4bb948d |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional de la Universidad de Antioquia |
| repository.mail.fl_str_mv |
aplicacionbibliotecadigitalbiblioteca@udea.edu.co |
| _version_ |
1851052198242287616 |
| spelling |
Arboleda Sánchez, Sair OrietaToro Bermudez, MauricioPhilippou, AnnaPuerta Yepes, María EugeniaVélez Sánchez, Carlos MarioBiología y Control de Enfermedades Infecciosas2024-09-21T14:40:47Z2024-09-21T14:40:47Z2016https://hdl.handle.net/10495/4232010.4204/EPTCS.204.72075-2180ABSTRACT: 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.COL000786516 páginasapplication/pdfengEPTCSSydney, Australiahttp://creativecommons.org/licenses/by-nc-sa/2.5/co/https://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Mean-field semantics for a process Calculus for spatially-explicit ecological modelsArtículo de investigaciónhttp://purl.org/coar/resource_type/c_2df8fbb1https://purl.org/redcol/resource_type/ARThttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionCálculoCalculusEcologíaEcologySemánticaSemanticsElectron. Proc. Theor. Comput. Sci.9479204Electronic Proceedings In Theoretical Computer SciencePublicationORIGINALArboledaSair_2016_MeanFieldSemantics.pdfArboledaSair_2016_MeanFieldSemantics.pdfArtículo de investigaciónapplication/pdf156626https://bibliotecadigital.udea.edu.co/bitstreams/4f45ea25-b579-462f-ad83-16c77eb88617/downloadb8f49db48adb2891263e4ba82bd3a914MD51trueAnonymousREADCC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-81051https://bibliotecadigital.udea.edu.co/bitstreams/53cc33d5-90df-4fd8-b2dc-c80bcef004e5/downloade2060682c9c70d4d30c83c51448f4eedMD52falseAnonymousREADLICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://bibliotecadigital.udea.edu.co/bitstreams/b29c0935-beff-47a1-8535-25c16b6db0f8/download8a4605be74aa9ea9d79846c1fba20a33MD53falseAnonymousREADTEXTArboledaSair_2016_MeanFieldSemantics.pdf.txtArboledaSair_2016_MeanFieldSemantics.pdf.txtExtracted texttext/plain54009https://bibliotecadigital.udea.edu.co/bitstreams/c9c47806-96de-4775-ba6e-539c4d7dbad5/downloadf15490bf1a20dcefb80022c196ae9468MD54falseAnonymousREADTHUMBNAILArboledaSair_2016_MeanFieldSemantics.pdf.jpgArboledaSair_2016_MeanFieldSemantics.pdf.jpgGenerated Thumbnailimage/jpeg16392https://bibliotecadigital.udea.edu.co/bitstreams/e6483293-b687-4b1a-afed-720207ecbe2c/download3717d5e420a034d02f1ddc79c4bb948dMD55falseAnonymousREAD10495/42320oai:bibliotecadigital.udea.edu.co:10495/423202025-03-26 18:29:13.143http://creativecommons.org/licenses/by-nc-sa/2.5/co/open.accesshttps://bibliotecadigital.udea.edu.coRepositorio Institucional de la Universidad de Antioquiaaplicacionbibliotecadigitalbiblioteca@udea.edu.coTk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo= |