Examinando por Autor "Toro, Mauricio"

Mostrando 1 - 11 de 11
  • No hay miniatura disponible
    Ítem
    Current trends and future research directions for interactive music
    (Asian Research Publishing Network, 2018-08-31) Toro, Mauricio; Toro, Mauricio; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta-instruments, score-following, asynchronous dataflow languages, synchronous dataflow languages, process calculi, temporal constraints and interactive scores. Formal approaches have the advantage of providing rigorous semantics of the behavior of the model and proving correctness during execution. The main disadvantage of formal approaches is lack of commercial tools. © 2005 – ongoing JATIT & LLS.
  • No hay miniatura disponible
    Ítem
    Definición de la arquitectura de referencia de un dominio: de la elucidación al modelado
    (Eafit, 2018-06-21) Toro, Mauricio; Mazo, Raul Ivan; Toro, Mauricio; Mazo, Raul Ivan; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
  • No hay miniatura disponible
    Ítem
    An Extension of Interactive Scores for Multimedia Scenarios with Temporal Relations for Micro and Macro Controls
    (2016-01-01) Toro, Mauricio; Toro, Mauricio; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    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 interactive scores can describe multimedia scenarios with flexible and fixed t
  • No hay miniatura disponible
    Ítem
    Formal semantics for interactive music scores: A framework to design, specify properties and execute interactive scenarios
    (Taylor and Francis Ltd., 2014-02-01) Toro, Mauricio; Toro, Mauricio; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    Most interactive scenarios are based on informal specifications, so that it is not possible to formally verify properties of such systems. We advocate the need for a general and formal model aiming at ensuring safe executions of interactive multimedia sce
  • No hay miniatura disponible
    Ítem
    A general overview of formal languages for individual-based modelling of ecosystems
    (Elsevier BV, 2019-04-01) Toro, Mauricio; Toro, Mauricio; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    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. Each modelling language offers a distinct view and techniques for analyzing systems. Most of the languages are based on process calculi or P systems. In this article, we present a general overview of the existing modelling languages based on process calculi. We also discuss, briefly, other approaches such as P systems, cellular automata and Petri nets. Finally, we show advantages and disadvantages of these modelling languages and we propose some future research directions. (C) 2019 Elsevier Inc. All rights reserved.
  • No hay miniatura disponible
    Ítem
    A general overview of formal languages for individual-based modelling of ecosystems
    (Elsevier BV, 2019-04-01) Toro, Mauricio; Universidad EAFIT. Departamento de Ingeniería Mecánica; Estudios en Mantenimiento (GEMI)
    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. Each modelling language offers a distinct view and techniques for analyzing systems. Most of the languages are based on process calculi or P systems. In this article, we present a general overview of the existing modelling languages based on process calculi. We also discuss, briefly, other approaches such as P systems, cellular automata and Petri nets. Finally, we show advantages and disadvantages of these modelling languages and we propose some future research directions. (C) 2019 Elsevier Inc. All rights reserved.
  • No hay miniatura disponible
    Ítem
    Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
    (OPEN PUBL ASSOC, 2016-01-01) Toro, Mauricio; Philippou, Anna; Arboleda, Sair; Puerta, Maria; Velez S, Carlos M.; Universidad EAFIT. Escuela de Ciencias; Modelado Matemático
    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 interpretation of the average behavior of a system as a set of recurrence equations. Recurrence equations are a useful approximation when dealing with a large number of individuals, as it is the case in epidemiological studies. As a case study, we compute a set of recurrence equations capturing the dynamics of an individual-based model of the transmission of dengue in Bello (Antioquia), Colombia.
  • No hay miniatura disponible
    Ítem
    Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
    (OPEN PUBL ASSOC, 2016-01-01) Toro, Mauricio; Philippou, Anna; Arboleda, Sair; Puerta, Maria; Velez S, Carlos M.; Toro, Mauricio; Philippou, Anna; Arboleda, Sair; Puerta, Maria; Velez S, Carlos M.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    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 interpretation of the average behavior of a system as a set of recurrence equations. Recurrence equations are a useful approximation when dealing with a large number of individuals, as it is the case in epidemiological studies. As a case study, we compute a set of recurrence equations capturing the dynamics of an individual-based model of the transmission of dengue in Bello (Antioquia), Colombia.
  • No hay miniatura disponible
    Ítem
    Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
    (OPEN PUBL ASSOC, 2016-01-01) Toro, Mauricio; Philippou, Anna; Arboleda, Sair; Puerta, Maria; Velez S, Carlos M.; Toro, Mauricio; Philippou, Anna; Arboleda, Sair; Puerta, Maria; Velez S, Carlos M.; Universidad EAFIT. Departamento de Ciencias; Matemáticas y Aplicaciones
    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 interpretation of the average behavior of a system as a set of recurrence equations. Recurrence equations are a useful approximation when dealing with a large number of individuals, as it is the case in epidemiological studies. As a case study, we compute a set of recurrence equations capturing the dynamics of an individual-based model of the transmission of dengue in Bello (Antioquia), Colombia.
  • No hay miniatura disponible
    Ítem
    NTCCRT: A concurrent constraint framework for soft-real time music interaction
    (Asian Research Publication Network, 2015-12-10) Toro, Mauricio; Rueda, Camilo; Agón, Carlos; Assayag, Gérard; Asstt Prof., Department of Informatics and Systems, UNIVERSIDAD EAFIT, Colombia; Prof., Department of Computer Science, PONTIFICIA UNIVERSIDAD JAVERIANA CALI, Colombia; Prof., Music Modeling Team, IRCAM, UMR 9912 CNRS, France; Dr., Music Modeling Team, IRCAM, UMR 9912 CNRS, France; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    Writing music interaction systems is not easy because their concurrent processes usually access shared resources in a non-deterministic order, often leading to unpredictable behavior. Using Pure Data (Pure Data) and Max/MSP, it is possible to program concurrency; however, it is difficult to synchronize processes based on multiple criteria. Process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus, overcome that problem by representing, declaratively, the synchronization of multiple criteria as constraints. In this article, we propose the framework Ntccrt, as a new alternative to manage concurrency in Pure Data and Max/MSP. Ntccrt is a real-time capable interpreter for ntcc. Using Ntccrt binary plugins in Pure Data, we executed models for machine improvisation and signal processing. We also analyzed two case studies: one of a machine improvisation system and one of a signal processing system. We found out that performance of both case studies is compatible with soft real-time music interaction; it means, a musician can interact with Ntccrt without noticeable delays during the interaction.
  • No hay miniatura disponible
    Ítem
    Towards Non-Threaded Concurrent Constraint Programming for Implementing Multimedia Interaction Systems
    (Advanced Institute of Convergence Information Technology Research Center, 2016-01-01) Toro, Mauricio; Toro, Mauricio; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    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 (NTCC) for- malisms. The CCP interpreter was tested with a program...