Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

A full process algebraic representation of Ant Colony Optimization

Simple item page
dc.contributor.authorRodríguez Laguna, Ismael
dc.contributor.authorLópez Barquilla, Natalia
dc.contributor.authorGarcía Moreno, María
dc.date.accessioned2024-05-08T16:44:05Z
dc.date.available2024-05-08T16:44:05Z
dc.date.issued2023-12-27
dc.description2023 Acuerdos transformativos CRUE
dc.description.abstractWe present a process algebra capable of specifying parallelized Ant Colony Optimization algorithms in full detail: PA2CO. After explaining the basis of three different ACO algorithms (Ant System, MAX-MIN Ant System, and Ant Colony System), we formally define PA2CO and use it for representing several types of implementations with different parallel schemes. In particular fine-grained and coarse-grained specifications, each one taking advantage of parallel executions at different levels of system granularity, are formalized.
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.fundingtypeAPC financiada por la UCM
dc.description.refereedTRUE
dc.description.sponsorshipMinisterio de Ciencia e Innovación (España)
dc.description.statuspub
dc.identifier.citationGarcía, M.; López, N.; Rodríguez, I. A Full Process Algebraic Representation of Ant Colony Optimization. Information Sciences 2024, 658. https://doi.org/10.1016/j.ins.2023.120025.
dc.identifier.doi10.1016/j.ins.2023.120025
dc.identifier.officialurlhttps://www.sciencedirect.com/search?qs=10.1016/j.ins.2023.120025
dc.identifier.urihttps://hdl.handle.net/20.500.14352/103826
dc.issue.number202402
dc.journal.titleInformation Sciences
dc.language.isoeng
dc.page.initial120025
dc.publisherElsevier
dc.relation.projectIDinfo:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-108528RB-C22/ES/METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE CALIDAD Y FIABILIDAD CERTIFICADAS/
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internationalen
dc.rights.accessRightsopen access
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject.cdu004(043.3)
dc.subject.keywordAnt Colony Optimization
dc.subject.keywordSwarm intelligence
dc.subject.keywordProcess algebras
dc.subject.keywordFormal methods
dc.subject.ucmInformática (Informática)
dc.subject.unesco33 Ciencias Tecnológicas
dc.titleA full process algebraic representation of Ant Colony Optimization
dc.typejournal article
dc.type.hasVersionVoR
dc.volume.number658
dspace.entity.typePublication
relation.isAuthorOfPublication28429d40-53cb-4bb3-a3f6-82ec557a34ed
relation.isAuthorOfPublication008d015f-bd43-44a1-9b03-2b41f22c68d5
relation.isAuthorOfPublication.latestForDiscovery28429d40-53cb-4bb3-a3f6-82ec557a34ed

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
A full process algebraic representation of Ant Colony Optimization.pdf
Size:
794.37 KB
Format:
Adobe Portable Document Format
downoload Download

Collections

Artículos