14 citations · 21 across the 6 of their papers we have counts for
13 papers
COVID-19 Emotion Monitoring as a Tool to Increase Preparedness for Disease Outbreaks in Developing Regions
Santiago Cortes, Juan Muñoz, David Betancur +1
The COVID-19 pandemic brought many challenges, from hospital-occupation management to lock-down mental-health repercussions such as anxiety or depression. In this work, we present…
Saber Pro success prediction model using decision tree based learning
Gregorio Perez Bernal, Luisa Toro Villegas, Mauricio Toro
The primary objective of this report is to determine what influences the success rates of students who have studied in Colombia, analyzing the Saber 11, the test done at the last s…
Robotic bees: Algorithms for collision detection and prevention
Vincent Arcila, Isabel Piedrahita, Mauricio Toro
In the following paper we will discuss data structures suited for distance threshold queries keeping in mind real life application such as collision detection on robotic bees. We w…
A General Overview of Formal Languages for Individual-Based Modelling of Ecosystems
Mauricio Toro
Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space.…
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…