Informática

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

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

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

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

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

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

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

   Processes, Vol. 8, Núm. 8

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

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

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

   Journal of Biomedical Informatics, Vol. 106

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

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

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

12. A model for creating interactive ebooks for elearning

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

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

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

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

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

15. A semantic framework to debug parallel lazy functional languages

    Mathematics, Vol. 8, Núm. 6

16. About some possible implementations of the fractional calculus

    Mathematics, Vol. 8, Núm. 6

17. Abstraction based verification of stability of polyhedral switched systems

    Nonlinear Analysis: Hybrid Systems, Vol. 36

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

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

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

    Prospectives, Vol. 1

20. An Agent-Based Simulator Applied to Teaching-Learning Process to Predict Sociometric Indices in Higher Education

    IEEE Transactions on Learning Technologies, Vol. 13, Núm. 2, pp. 246-258