Publications (50) Publications in which a researcher has participated

2020

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

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

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

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

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

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

  5. A semantic framework to debug parallel lazy functional languages

    Mathematics, Vol. 8, Núm. 6

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

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

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

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

    Artificial Intelligence in Medicine, Vol. 103

  9. Automatic subgenre classification in an electronic dance music taxonomy

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

  10. CNN Inference acceleration using low-power devices for human monitoring and security scenarios

    Computers and Electrical Engineering, Vol. 88

  11. Classification of depression through resting-state electroencephalogram as a novel practice in psychiatry: review

    Journal of Medical Internet Research, Vol. 22, Núm. 11

  12. Compositional Specification in Rewriting Logic

    Theory and Practice of Logic Programming, Vol. 20, Núm. 1, pp. 44-98

  13. Deep PeNSieve: A deep learning framework based on the posit number system

    Digital Signal Processing: A Review Journal, Vol. 102

  14. Effects of speech cues in French-speaking children with dysarthria

    International Journal of Language and Communication Disorders, Vol. 55, Núm. 3, pp. 401-416

  15. Efficient embedding and retrieval of information for high-resolution videos coded with HEVC

    Computers and Electrical Engineering, Vol. 81

  16. Explainability of a Machine Learning Granting Scoring Model in Peer-to-Peer Lending

    IEEE Access, Vol. 8, pp. 64873-64890

  17. Exploring Baselines for Combining Full Plots into Multiple-plot Stories

    New Generation Computing, Vol. 38, Núm. 4, pp. 593-633

  18. Exploring reward strategies for wind turbine pitch control by reinforcement learning

    Applied Sciences (Switzerland), Vol. 10, Núm. 21, pp. 1-23

  19. Glucose forecasting combining Markov chain based enrichment of data, random grammatical evolution and Bagging

    Applied Soft Computing Journal, Vol. 88

  20. HEVC optimization based on human perception for real-time environments

    Multimedia Tools and Applications, Vol. 79, Núm. 23-24, pp. 16001-16033