Publications (111) Publications auxquelles un chercheur a participé

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 Trading Framework Based on Fuzzy Moore Machines

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

  5. A Transformational Approach to Resource Analysis with Typed-norms Inference

    Theory and Practice of Logic Programming, Vol. 20, Núm. 3, pp. 310-357

  6. A User-Centric Evaluation to Generate Case-Based Explanations Using Formal Concept Analysis

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

  7. A computational technique to predict the level of glucose of a diabetic patient with uncertainty in the short term

    Computational and Mathematical Methods, Vol. 2, Núm. 2

  8. A network analysis of major depressive disorder symptoms and age-and gender-related differences in people over 65 in a Madrid Community Sample (Spain)

    International Journal of Environmental Research and Public Health, Vol. 17, Núm. 23, pp. 1-13

  9. A semantic framework to debug parallel lazy functional languages

    Mathematics, Vol. 8, Núm. 6

  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 Extremely Pipelined FPGA Implementation of a Lossy Hyperspectral Image Compression Algorithm

    IEEE Transactions on Geoscience and Remote Sensing, Vol. 58, Núm. 10, pp. 7435-7447

  12. An FPGA accelerator for real-time lossy compression of hyperspectral images

    Remote Sensing, Vol. 12, Núm. 16

  13. An automatic segmentation method based on geometrical features in hemispherical images for forest management

    Proceedings of SPIE - The International Society for Optical Engineering

  14. An evolutionary algorithm for selection of test cases

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

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

    IEEE Transactions on Systems, Man, and Cybernetics: Systems

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

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

  17. An exploration on automating player personality identification in role playing games

    CEUR Workshop Proceedings

  18. An overview of decentralized autonomous organizations on the blockchain

    ACM International Conference Proceeding Series

  19. Augmented reality-based application to foster sustainable agriculture in the context of aquaponics

    Proceedings - IEEE 20th International Conference on Advanced Learning Technologies, ICALT 2020

  20. Automatic computation of mandibular indices in dental panoramic radiographs for early osteoporosis detection

    Artificial Intelligence in Medicine, Vol. 103