Publications (181) Publications auxquelles un chercheur a participé

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 Single Model CNN for Hyperspectral Image Denoising

    IEEE Transactions on Geoscience and Remote Sensing, Vol. 58, Núm. 4, pp. 2516-2529

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

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

  4. A collocation method for numerical solution of nonlinear delay integro-differential equations for wireless sensor network and internet of things

    Sensors (Switzerland), Vol. 20, Núm. 7

  5. A comprehensive analysis of healthcare big data management, analytics and scientific programming

    IEEE Access, Vol. 8, pp. 95714-95733

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

  7. A day-ahead irradiance forecasting strategy for the integration of photovoltaic systems in virtual power plants

    IEEE Access, Vol. 8, pp. 204226-204240

  8. A hybrid of Particle Swarm Optimization and Harmony Search to estimate kinetic parameters in Arabidopsis thaliana

    Processes, Vol. 8, Núm. 8

  9. A machine learning forensics technique to detect post-processing in digital videos

    Future Generation Computer Systems, Vol. 111, pp. 199-212

  10. A methodology for the design and development of gamified mobile apps for monitoring cancer survivors

    Journal of Biomedical Informatics, Vol. 106

  11. A methodology to analyze the fault tolerance of demosaicking methods against memory single event functional interrupts (Sefis)

    Electronics (Switzerland), Vol. 9, Núm. 10, pp. 1-12

  12. A methodology to evaluate standards and platforms within cyber threat intelligence

    Future Internet, Vol. 12, Núm. 6

  13. A model for creating interactive ebooks for elearning

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

  14. A new GPU implementation of support vector machines for fast hyperspectral image classification

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

  15. A scalable architecture for the dynamic deployment of multimodal learning analytics applications in smart classrooms

    Sensors (Switzerland), Vol. 20, Núm. 10

  16. A semantic framework to debug parallel lazy functional languages

    Mathematics, Vol. 8, Núm. 6

  17. About some possible implementations of the fractional calculus

    Mathematics, Vol. 8, Núm. 6

  18. Abstraction based verification of stability of polyhedral switched systems

    Nonlinear Analysis: Hybrid Systems, Vol. 36

  19. Addressing Challenges in Prosumer-Based Microgrids with Blockchain and an IEC 61850-Based Communication Scheme

    IEEE Access, Vol. 8, pp. 201806-201822

  20. Affordances of decentralised technologies for commons-based governance of shared technical infrastructure

    Prospectives, Vol. 1