Publicaciones (81) Publicaciones en las que ha participado algún/a investigador/a

2020

  1. A Cognitive-based Tool to Teach how to Teach

    IEEE Transactions on Systems, Man, and Cybernetics: Systems

  2. A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell

    Fundamenta Informaticae, Vol. 177, Núm. 3-4, pp. 203-234

  3. A Graph Based Model for UAVs Group-Wide Collaboration Applied on an Anti-terrorism Scenario

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. A Tool for Creating Educational Resources Through Content Aggregation

    Lecture Notes in Networks and Systems (Springer), pp. 515-524

  5. A Trading Framework Based on Fuzzy Moore Machines

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  6. A calculus of chaos in stochastic compilation: Engineering in the cause of mathematics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  7. A model for creating interactive ebooks for elearning

    Future Internet, Vol. 12, Núm. 12, pp. 1-11

  8. A semantic framework to debug parallel lazy functional languages

    Mathematics, Vol. 8, Núm. 6

  9. Abstraction based verification of stability of polyhedral switched systems

    Nonlinear Analysis: Hybrid Systems, Vol. 36

  10. Adaptive and Reconfigurable Systems and Architectures (AROSA 2020) : Summary Report

    Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE

  11. An Interactive Tutoring System for Learning Language Processing and Compiler Design

    Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE

  12. An evolutionary algorithm for selection of test cases

    2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings

  13. An evolutionary technique for supporting the consensus process of group decision making

    2020 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC)

  14. An evolutionary technique for supporting the consensus process of group decision making

    IEEE Transactions on Systems, Man, and Cybernetics: Systems

  15. Análisis de la Estructura del Contenedor de Vídeos Digitales de Dispositivos Móviles para identificación dela Fuente de Vídeos en Escenarios Abiertos

    Seguridad Informática: X Congreso Iberoamericano, CIBSI 2020 (Universidad del Rosario)

  16. Análisis de la demanda de empleo usando fuentes de datos abiertos

    ATICA2020: Aplicación de Tecnologías de la Información y Comunicaciones Avanzadas y Accesibilidad (Universidad de Alcalá), pp. 315-322

  17. Application of artificial intelligence techniques to predict survival in kidney transplantation: A review

    Journal of Clinical Medicine, Vol. 9, Núm. 2

  18. Application of machine learning techniques to analyze patient returns to the emergency department

    Journal of Personalized Medicine, Vol. 10, Núm. 3, pp. 1-22

  19. Automated variability injection for graphical modelling languages

    GPCE 2020 - Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with SPLASH 2020

  20. Automatic subgenre classification in an electronic dance music taxonomy

    Journal of New Music Research, Vol. 49, Núm. 3, pp. 269-284