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

2017

  1. "¡Acepta el reto!": juez online para docencia en español

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 2

  2. 8th International Workshop on Software Engineering for E-Learning (ISELEAR'17)

    ACM International Conference Proceeding Series

  3. A Bio-Inspired Hybrid Thermal Management Approach for 3-D Network-on-Chip Systems

    IEEE Transactions on Nanobioscience, Vol. 16, Núm. 8, pp. 727-743

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

    Simulation Series

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

    Procedia Computer Science

  6. A Family of ACO Routing Protocols for Mobile Ad Hoc Networks

    Sensors (Basel, Switzerland), Vol. 17, Núm. 5

  7. A Maude environment for CafeOBJ

    Formal Aspects of Computing, Vol. 29, Núm. 2, pp. 309-334

  8. A Neural Network-Based Dynamic Cost Function for the Implementation of a Predictive Current Controller

    IEEE Transactions on Industrial Informatics, Vol. 13, Núm. 6, pp. 2946-2955

  9. A PRNU-based counter-forensic method to manipulate smartphone image source identification techniques

    Future Generation Computer Systems, Vol. 76, pp. 418-427

  10. A Pac-Man bot based on grammatical evolution

    CEUR Workshop Proceedings

  11. A Patient-Specific Methodology for Prediction of Paroxysmal Atrial Fibrillation Onset

    2017 COMPUTING IN CARDIOLOGY (CINC)

  12. A Slack-based Approach to Efficiently Deploy Radix 8 Booth Multipliers

    PROCEEDINGS OF THE 2017 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE)

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

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

  14. A common model for representing stories in automatic storytelling

    CEUR Workshop Proceedings

  15. 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

  16. A context change detection approach for ubiquitous Environments

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

  17. A data-driven method for the detection of close submitters in online learning environments

    26th International World Wide Web Conference 2017, WWW 2017 Companion

  18. A family of ACO routing protocols for mobile ad hoc networks

    Sensors (Switzerland), Vol. 17, Núm. 5

  19. 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)

  20. A formal proof generator from semi-formal proof documents

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