LCC - Artículos: Envíos recientes
Mostrando ítems 1-20 de 169
-
A formal approach to automatically analyse extra-functionalproperties in mobile applications.
(Wiley, 2019-06-14)This paper presents an integrated approach for testing mobile applications (apps) against a set of extra-functional properties to be used by app developers. The approach starts with the (manual ... -
Determining drivers of private equity return with computational approaches
(Springer, 2024)Private equity (PE) represents the acquisition of stakes in non-listed companies, often long-term, with the objective of improving the performance and value of the company to obtain significant benefits at time of ... -
Numerical adiabatic perturbation theory for the absolute equation
(Elsevier, 2024-03-28)In physical applications, the absolute equation should be preferred to the widely used Rosenau–Hyman equation due to the robustness of its compactons and anticompactons interactions observed in numerical simulations with ... -
Extending model checkers for hybrid system verification: the case study of SPIN.
(Willey, 2013-07-26)A hybrid system is a system that evolves following a continuous dynamic, which may instantaneously change when certain internal or external events occur. Due to this combination of discrete and continuous dynamics, the ... -
QoE Evaluation: The TRIANGLE Testbed Approach.
(Willey - Hindawi, 2018-12-18)This paper presents the TRIANGLE testbed approach to score the Quality of Experience (QoE) of mobile applications, based on measurements extracted from tests performed on an end-to-end network testbed. The TRIANGLE project ... -
Integrating river basin DSSs with model checking.
(Springer, 2017-10-24)This paper presents a Decision Support System (DSS) based on formal methods for the management of complex river basins in flood scenarios. The DSS is the result of integrating two different DSSs. First, a DSS for dam ... -
A comprehensive analysis based on GIS-AHP to minimise the social and environmental impact of the installation of large-scale photovoltaic plants in south Spain
(Elsevier, 2024)This article aims to propose a methodology to assess and prioritise the territorial factors considered when selecting the location of large-scale photovoltaic plants. It therefore seeks to answer the current social ... -
Model-based testing of apps in real network scenarios.
(Springer Nature, 2019-04-01)Traditional testing methods for mobile apps focus on detecting execution errors. However, the evolution of mobile networks towards 5G will require additional support for app developers to also ensure good performance and ... -
A multi-objective approach for communication reduction in federated learning under devices heterogeneity constraints
(Elsevier, 2024-02-24)Federated learning is a paradigm that proposes protecting data privacy by sharing local models instead of raw data during each iteration of model training. However, these models can be large, with many parameters, provoking ... -
Pattern recognition frequency-based feature selection with multi-objective discrete evolution strategy for high-dimensional medical datasets
(Elsevier, 2024-02-17)Feature selection has a prominent role in high-dimensional datasets to increase classification accuracy, decrease the learning algorithm computational time, and present the most informative features to decision-makers. ... -
Integrating FMI and ML/AI models on the open-sourcedigital twin framework OpenTwins
(Wiley, 2024-03-24)The realm of digital twins is experiencing rapid growth and presents a wealth ofopportunities for Industry 4.0. In conjunction with traditional simulation meth-ods, digital twins offer a diverse range of possibilities. ... -
UTypes: a library for uncertain datatypes in Python
(Elsevier, 2024-03-05)Existing Python uncertainty packages support the expression and propagation of uncertainty in numeric types, such as float or int. However, they do not cover the rest of the built-in types which can also be affected by ... -
Functions as a service for distributed deep neural network inference over the cloud-to-things continuum
(Wiley, 2024-02-11)The use of serverless computing has been gaining popularity in recent years as an alternative to traditional Cloud computing. We explore the usability and potential development benefits of three popular open-source serverless ... -
Personal IoT Privacy Control at the Edge.
(IEEE, 2021-08-18) -
Dynamic learning rates for continual unsupervised learning.
(IOS Press, 2023)The dilemma between stability and plasticity is crucial in machine learning, especially when non-stationary input distributions are considered. This issue can be addressed by continual learning in order to alleviate ... -
Online adaptive decision trees based on concentration inequalities.
(Elsevier, 2016-04-21)Classification trees are a powerful tool for mining non-stationary data streams. In these situations, mas sive data are constantly generated at high speed and the underlying target function can change over time. The iadem ... -
A Biomimetical Dynamic Window Approach to Navigation for Collaborative Control.
(IEEE, 2017-05-23)—Shared control is a strategy used in assistive plat forms to combine human and robot orders to achieve a goal. Col laborative control is a specific shared control approach, in which user’s and robot’s commands are merged ... -
Automated detection of vehicles with anomalous trajectories in traffic surveillance videos.
(IOS Press, 2023-05-10)Video feeds from traffic cameras can be useful for many purposes, the most critical of which are related to monitoring road safety. Vehicle trajectory is a key element in dangerous behavior and traffic accidents. In this ... -
Energy-efficient reprogramming in wsn using constructive neural networks.
(International Journal of Innovative Computing, Information and Control, 2012-11)In this paper, we propose the use of neural based technologies to carry out the dynamic reprogramming of wireless sensor networks as an alternative to traditional methodology. An analysis an comparison of the energy cost ...