All Stories

  1. A new method to detect coffee leaf rust using artificial intelligence.

    Article • Applied Sciences, January 2020, MDPI AG

    Dr Mauricio Toro

  2. Backtracking-free Interactive Music Scores with Temporal Relations over Rythms

    Article • October 2018, Center for Open Science

    Dr Mauricio Toro

  3. Combining temporal relations and signal processing into Interactive Scores

    Article • October 2018, Center for Open Science

    Dr Mauricio Toro

  4. Modeling Michael Jarrell’s CSP in Gelisp

    Article • October 2018, Center for Open Science

    Dr Mauricio Toro

  5. Real-time interactive streams and temporal objects language

    Article • October 2018, Center for Open Science

    Dr Mauricio Toro

  6. Towards a correct and efficient implementation of simulation and verification tools for probabilistic ntcc

    Article • October 2018, Center for Open Science

    Dr Mauricio Toro

  7. ntccMC: A bounded-time model checker for ntcc

    Article • October 2018, Center for Open Science

    Dr Mauricio Toro

  8. A computer video game designed to teach software engineering based upon collaboration

    Article • Computación y Sistemas, September 2018, Instituto Politecnico Nacional/Centro de Investigacion en Computacion

    Dr Mauricio Toro

  9. A semantics to represent the average behavior of a system composed by individuals

    Article • Electronic Proceedings in Theoretical Computer Science, March 2016, Open Publishing Association

    Dr Mauricio Toro

  10. A probabilistic extension of a model for computer-music improvisation

    Article • INTELIGENCIA ARTIFICIAL, January 2015, Asociacion Española para la Inteligencia Artificial (AEPIA)

    Dr Mauricio Toro

  11. Mathematics behind interactive music such as electro acoustic music

    Article • Journal of Mathematics and Music, January 2014, Taylor & Francis

    Dr Mauricio Toro

  12. A mathematical way to describe ecosystems

    Article • January 2014, Springer Science + Business Media

    Dr Mauricio Toro

  13. Including process ordering in a formalism for individual-based modeling

    Article • January 2014, Springer Science + Business Media

    Dr Mauricio Toro

  14. Simulation and verification of a formalism for individual based models

    Article • Scientific Annals of Computer Science, January 2013, Scientific Annals of Computer Science

    Dr Mauricio Toro

  15. An overview of INRIA project on formalisms for emergent systems

    Article • January 2009, Springer Science + Business Media

    Dr Mauricio Toro