21 citations · 114 across the 22 of their papers we have counts for
23 papers
Health Detection on Cattle Compressed Images in Precision Livestock Farming
Miguel Angel Calvache, Valeria Cardona, Sebastian Tapias +2
The constant population growth brings the needing to make up for food also grows at the same rate. The livestock provides one-third of humans protein base as meat and milk. To impr…
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…
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…
On-line Assembling Mitochondrial DNA from de novo transcriptome
Juan David Arcila Moreno, Santiago Passos, Mauricio Toro
This paper is focused in designing an efficient on-line algorithm to reconstruct a DNA sequence and search the genes in it, we assume that the segment have no mutation or reading e…
Assembling sequences of DNA using an on-line algorithm based on DeBruijn graphs
Juan Manuel Ciro Restrepo, Andrés Felipe Zapata Palacio, Mauricio Toro
The problem of assembling DNA fragments starting from imperfect strings given by a sequencer, classified as NP hard when trying to get perfect answers, has a huge importance in sev…
Concurrent Constraint Conditional-Branching Timed Interactive Scores
Mauricio Toro, Myriam Desainte-Catherine
Multimedia scenarios have multimedia content and interactive events associated with computer programs. Interactive Scores (IS) is a formalism to represent such scenarios by tempora…
Modeling temporal constraints for a system of interactive scores
Mauricio Toro, Myriam Desainte-Catherine, Antoine Allombert
In this chapter we explain briefly the fundamentals of the interactive scores formalism. Then we develop a solution for implementing the ECO machine by mixing petri nets and constr…
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…
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…
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…
An Extension of Interactive Scores for Multimedia Scenarios with Temporal Relations for Micro and Macro Controls
Mauricio Toro, Myriam Desainte-Catherine, Julien Castet
Software to design multimedia scenarios is usually based either on a fixed timeline or on cue lists, but both models are unrelated temporally. On the contrary, the formalism of int…
Towards non-threaded Concurrent Constraint Programming for implementing multimedia interaction systems
Mauricio Toro
In this work we explain the implementation of event-driven real-time interpreters for the Concurrent Constraint Programming (CCP) and Non-deterministic Timed Concurrent Constraint…
Concurrent Constraint Machine Improvisation: Models and Implementation
Mauricio Toro
Machine improvisation creates music either by explicit coding of rules or by applying machine learning methods. We deal with the latter case. An improvisation system capable of rea…
A Model for Interactive Scores with Temporal Constraints and Conditional Branching
Mauricio Toro, Myriam Desainte-Catherine, Pascal Baltazar
Interactive Scores (IS) are a formalism for the design and performance of interactive multimedia scenarios. IS provide temporal relations (TR), but they cannot represent conditiona…
NTCCRT: A concurrent constraint framework for real-time interaction (extended version)
Mauricio Toro, Camilo Rueda, Carlos Agón +1
Writing multimedia interaction systems is not easy. Their concurrent processes usually access shared resources in a non-deterministic order, often leading to unpredictable behavior…
Gelisp: A Library to Represent Musical CSPs and Search Strategies
Mauricio Toro, Camilo Rueda, Carlos Agón +1
In this paper we present Gelisp, a new library to represent musical Constraint Satisfaction Problems and search strategies intuitively. Gelisp has two interfaces, a command-line on…
Structured Interactive Music Scores
Mauricio Toro
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs…