Lenguajes y Ciencias de la Computación - (LCC)
Estas son las colecciones en las que puede catalogar la producción investigadora del departamento Lenguajes y Ciencias de la Computación. Si considera que ninguna de estas se ajusta a su material pida una nueva colección en la sección de sugerencias.
Colecciones en esta comunidad
Envíos recientes
-
Evaluating Video Streaming over GPRS/UMTS networks: A practical case.
(IEEE, 2024)In this paper, we focus on analyzing video streaming service performance on real networks.We propose a non intrusive methodology based on mobile devices as clients, instead of using them as modems. Our objective is to ... -
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 ... -
Advancing Deep Learning Solutions in the Era of Precision Medicine: From Omics Data to Clinical Narratives.
(UMA Editorial, 2024)The main objective of this PhD Thesis is the development of deep learning (DL)-based approaches to tackle inherently complex predictive problems in the domain of precision medicine. We have focused on two of the most ... -
Explotación de la semántica de dominio orientada a la integración, estandarización y análisis de datos.
(UMA Editorial, 2024)Esta Tesis de Doctorado se centra en la generación de nuevas ontologías y modelos semánticos, motivada por la necesidad de avanzar en su comprensión y aplicación en distintos dominios. Se busca explorar a fondo su potencial ... -
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 ... -
Energy-aware function and resource management in next-gen networks with variability models.
(UMA Editorial, 2024)En respuesta al creciente necesidad de implantar soluciones sostenibles, se están promoviendo soluciones de red más eficientes, como las redes móviles Beyond 5G (B5G) y la tecnología 5G/B5G. Estas tecnologías aumentan la ... -
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 ... -
Semantics in Big Data Analytics.
(UMA Editorial, 2024)Through the development of the TITAN platform, we aim to provide a tool for managing the lifecycle of workflows, integrating semantics to facilitate more intelligent and efficient workflows. TITAN was built with a flexible ... -
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 ... -
Server-Side GNSS Spoofing Detection Challenges for Vehicle Tracking Applications.
(2024)This paper focuses on the risks linked to the Global Navigation Satellite System (GNSS) and introduces a scenario involving a data-transmitting device connected to a cloud-based service. We explore potential attackers and ... -
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 ... -
Deep Learning Neural Networks to Detect Anomalies in Video Sequences.
(UMA Editorial, 2024)El principal problema abordado en esta tesis doctoral es la detección de anomalías de primer plano en secuencias de video genéricas mediante el uso de técnicas de Aprendizaje Profundo especialmente enfocadas a ser robustas ... -
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 ...