21 citations · 114 across the 22 of their papers we have counts for
4 papers · 1 filter
Genetic algorithm for optimal distribution in cities
Esteban Quintero, Mateo Sanchez, Nicolas Roldan +1
The problem to deal with in this project is the problem of routing electric vehicles, which consists of finding the best routes for this type of vehicle, so that they reach their d…
Towards a correct and efficient implementation of simulation and verification tools for probabilistic ntcc
Mauricio Toro
We extended our simulation tool Ntccrt for probabilistic ntcc (pntcc) models. In addition, we developed a verification tool for pntcc models. Using this tool we can prove propertie…
Current Trends and Future Research Directions for Interactive Music
Mauricio Toro
In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta- instruments, score-foll…
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models
Anna Philippou, Mauricio Toro
In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an e…