21 citations · 114 across the 22 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.DS2016★ 1 cited
Planning system for deliveries in Medellín
Catalina Patiño-Forero, Mateo Agudelo-Toro, Mauricio Toro
Here we present the implementation of an application capable of planning the shortest delivery route in the city of Medellín, Colombia. We discuss the different approaches to this…
cs.LO2016★ 18 cited
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
Mauricio Toro, Anna Philippou, Sair Arboleda +2
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 int…
cs.AI2016
Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation
Mauricio Toro
We can program a Real-Time (RT) music improvisation system in C++ without a formal semantic or we can model it with process calculi such as the Non-deterministic Timed Concurrent C…