Fakultatea
Informática
Argitalpenak (181) Ikertzaileren baten partaidetza izan duten argitalpenak
2020
-
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell
Fundamenta Informaticae, Vol. 177, Núm. 3-4, pp. 203-234
-
A Single Model CNN for Hyperspectral Image Denoising
IEEE Transactions on Geoscience and Remote Sensing, Vol. 58, Núm. 4, pp. 2516-2529
-
A Transformational Approach to Resource Analysis with Typed-norms Inference
Theory and Practice of Logic Programming, Vol. 20, Núm. 3, pp. 310-357
-
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
-
A comprehensive analysis of healthcare big data management, analytics and scientific programming
IEEE Access, Vol. 8, pp. 95714-95733
-
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
-
A day-ahead irradiance forecasting strategy for the integration of photovoltaic systems in virtual power plants
IEEE Access, Vol. 8, pp. 204226-204240
-
A hybrid of Particle Swarm Optimization and Harmony Search to estimate kinetic parameters in Arabidopsis thaliana
Processes, Vol. 8, Núm. 8
-
A machine learning forensics technique to detect post-processing in digital videos
Future Generation Computer Systems, Vol. 111, pp. 199-212
-
A methodology for the design and development of gamified mobile apps for monitoring cancer survivors
Journal of Biomedical Informatics, Vol. 106
-
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
-
A methodology to evaluate standards and platforms within cyber threat intelligence
Future Internet, Vol. 12, Núm. 6
-
A model for creating interactive ebooks for elearning
Future Internet, Vol. 12, Núm. 12, pp. 1-11
-
A new GPU implementation of support vector machines for fast hyperspectral image classification
Remote Sensing, Vol. 12, Núm. 8
-
A scalable architecture for the dynamic deployment of multimodal learning analytics applications in smart classrooms
Sensors (Switzerland), Vol. 20, Núm. 10
-
A semantic framework to debug parallel lazy functional languages
Mathematics, Vol. 8, Núm. 6
-
About some possible implementations of the fractional calculus
Mathematics, Vol. 8, Núm. 6
-
Abstraction based verification of stability of polyhedral switched systems
Nonlinear Analysis: Hybrid Systems, Vol. 36
-
Addressing Challenges in Prosumer-Based Microgrids with Blockchain and an IEC 61850-Based Communication Scheme
IEEE Access, Vol. 8, pp. 201806-201822
-
Affordances of decentralised technologies for commons-based governance of shared technical infrastructure
Prospectives, Vol. 1