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

2017

  1. A Calculus Supporting Contract Reasoning and Monitoring

    IEEE Access, Vol. 5, pp. 6735-6745

  2. A DCT and neural network based system to obtain the characteristics of biological images

    Simulation Series

  3. A Design Guideline for Adaptation Decisions in the Autonomic Loop

    Procedia Computer Science

  4. A Multi-UAV minimum time search planner based on ACOR

    GECCO 2017 - Proceedings of the 2017 Genetic and Evolutionary Computation Conference

  5. A bigraphical multi-scale modeling methodology for system of systems

    Computers and Electrical Engineering, Vol. 58, pp. 113-125

  6. A common model for representing stories in automatic storytelling

    CEUR Workshop Proceedings

  7. A computational model of the cognitive impact of decorative elements on the perception of suspense

    Connection Science, Vol. 29, Núm. 4, pp. 295-331

  8. A context change detection approach for ubiquitous Environments

    International Journal of Autonomous and Adaptive Communications Systems, Vol. 10, Núm. 3, pp. 320-340

  9. A formal framework to specify and test systems with fuzzy-time information

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

  10. A formal, resource consumption-preserving translation of actors to Haskell

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

  11. A genetic algorithm approach to customizing a glucose model based on usual therapeutic parameters

    Progress in Artificial Intelligence, Vol. 6, Núm. 3, pp. 255-261

  12. A high-availability cloud for research computing

    Computer, Vol. 50, Núm. 6, pp. 92-95

  13. A hybrid Ant Colony based system for assist the prevention and mitigation of wildfires in forests

    2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017

  14. A hybrid CBR approach for the long tail problem in recommender systems

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

  15. A hybrid automated trading system based on multi-objective grammatical evolution

    Journal of Intelligent and Fuzzy Systems, Vol. 32, Núm. 3, pp. 2461-2475

  16. A meta-grammatical evolutionary process for portfolio selection and trading

    Genetic Programming and Evolvable Machines, Vol. 18, Núm. 4, pp. 411-431

  17. A model of character evolution based on stanislavsky-driven BDI agents

    CEUR Workshop Proceedings

  18. A multi-agent system architecture for statistics managing and soccer forecasting

    2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017

  19. A new UAV ship-tracking algorithm

    IFAC-PapersOnLine, Vol. 50, Núm. 1, pp. 13090-13095

  20. A new area-efficient BCD-digit multiplier

    Digital Signal Processing: A Review Journal, Vol. 62, pp. 1-10