Listar Instituto de Tecnología e Ingeniería del Software de la Universidad de Málaga - (ITIS) por tipo "info:eu-repo/semantics/conferenceObject"
Mostrando ítems 1-20 de 28
-
A Conceptual Architecture for Building Digital Twins.
Digital twins have recently emerged as an innovative paradigm for improving the performance of cyber-physical systems, software and processes. In essence, a digital twin is a virtual replica of the system whose operation ... -
Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata. (Summary).
Cámara-Moreno, Javier
; Calinescu, Radu; Cheng, Betty H.C.; Garlan, David; Schmerl, Bradley; Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús[et al.] (2023)
Software-intensive systems are increasingly used to support tasks that are typically characterized by high degrees of uncertainty. The modeling notations employed to design, verify, and operate such systems have increasingly ... -
An Efficient QAOA via a Polynomial QPU-Needless Approach.
The Quantum Approximate Optimization Algorithm (QAOA) is a hybrid quantum algorithm described as ansatzes that represent both the problem and the mixer Hamiltonians. Both are parameterizable unitary transformations executed ... -
Automatizing Software Cognitive Complexity Reduction.
Saborido Infantes, Rubén; Ferrer-Urbano, Francisco Javier; Chicano-García, José-Francisco; Alba-Torres, Enrique (2023)
Software plays a central role in our life nowadays. We use it almost anywhere, at any time, and for everything: to browse the In- ternet, to check our emails, and even to access critical services such as health monitoring ... -
Clasificación de delitos con incertidumbre
La clasificación de atestados policiales es un tema complejo en el que la incertidumbre juega un papel importante. Por ejemplo, en muchos informes faltan información o es inconsistente. También es posible que diferentes ... -
Coevolutionary generative adversarial networks for medical image augumentation at scale
Flores, Diana; Toutouh-el-Alamin, Jamal; Hemberg, Erik; O’Reilly, Una-May (2022-07-08)
Medical image processing can lack images for diagnosis. Generative Adversarial Networks (GANs) provide a method to train generative models for data augmentation. Synthesized images can be used to improve the robustness of ... -
Crazy Chefs!: videojuego serio gamificado basado en tecnología de captura de movimientos para fomentar la socialización y el entrenamiento físico de personas mayores
Bossavit, Benoit; Urbano, Juan Miguel ; Fernández-Leiva, Antonio José (CEUR Workshop Proceedings, 2022-12)
Uno de los principales objetivos del programa marco de la UE Horizon Europa persigue mejorar la salud y el bienestar de los ciudadanos usando soluciones innovadoras para prevenir, diagnosticar, tratar o curar una enfermedad. ... -
DASSCi: Avatares Digitales Deportivos en Ciudades Inteligentes.
Toro-Gálvez, Lorenzo; Moreno-Vergara, Natalia; Canal-Velasco, José Carlos; Troya-Castilla, Javier (2023)
Las nuevas tecnologías han impulsado la evolución de las ciudades inteligentes, las cuales buscan mejorar la calidad de vida de sus habitantes y optimizar la gestión de recursos urbanos a través de soluciones innovadoras ... -
Dealing with Belief Uncertainty in Domain Models.
Burgueño-Caballero, Lola; Muñoz Ariza, Paula; Clarisó, Robert; Cabot, Jordi; Gérard, Sébastien; Vallecillo-Moreno, Antonio Jesús[et al.] (2023)
There are numerous domains in which information systems need to deal with uncertain information. These uncertainties may originate from different reasons such as vagueness, imprecision, incompleteness or inconsistencies; ... -
Detecting Feature Influences to Quality Attributes in Large and Partially Measured Spaces using Smart Sampling and Dynamic Learning
Emergent application domains (e.g., Edge Computing/Cloud /B5G systems) are complex to be built manually. They are characterised by high variability and are modelled by large \textit{Variability Models} (VMs), leading to ... -
Digital Avatars for Older People’s Care
Fernández-Bertoa, Manuel; Moreno, Nathalie; Perez-Vereda, Alejandro; Bandera García, David; Álvarez-Palomo, José María; Canal-Velasco, José Carlos[et al.] (2020-06-17)
The continuous increase in life expectancy poses a challenge for health systems in modern societies, especially with respect to older people living in rural low-populated areas, both in terms of isolation and difficulty ... -
Diseño de servicios cuánticos a través de la especificación AsyncAPI
Casco Seco, Jorge; Alvarado-Valiente, Jaime; Romero-Alvarez, Javier; Moguel, Enrique; García-Alonso, José; Canal-Velasco, José Carlos; Murillo, Juan M.[et al.] (2023)
La computación cuántica ha evolucionado de ser una idea teórica a convertirse en una realidad tangible. Aunque no es posible acceder directamente a un ordenador cuántico de la misma manera que a los ordenadores convencionales, ... -
e-LION: Data integration semantic model to enhance predictive analytics in e-Learning.
Paneque Romero, Manuel; Roldán-García, María del Mar; García-Nieto, José Manuel (Sistedes, 2023)
The surge in online education emphasizes Learning Management Systems' (LMSs) crucial role in organizing learning resources and enabling teacher-learner communication. COVID-19 accelerated this, spiking engagement and ... -
Extended Variability Models, Algebra, and Arithmetic
Although classic variability models have been traditionally used to specify members of a product-line, their level of expressiveness was quite limited. Several extensions have been proposed, like numerical features, complex ... -
Fourier Transform-based Surrogates for Permutation Problems
In the context of pseudo-Boolean optimization, surrogate functions based on the Walsh-Hadamard transform have been recently proposed with great success. It has been shown that lower-order components of the Walsh-Hadamard ... -
Generalizing and Unifying Gray-box Combinatorial Optimization Operators.
Gray-box optimization leverages the information available about the mathematical structure of an optimization problem to design efficient search operators. Efficient hill climbers and crossover operators have been proposed ... -
Improving Search Efficiency and Diversity of Solutions in Multiobjective Binary Optimization by Using Metaheuristics plus Integer Linear Programming.
Metaheuristics for solving multiobjective problems can provide an approximation of the Pareto front in a short time, but can also have difficulties finding feasible solutions in constrained problems. Integer linear programming ... -
Key-Value vs Graph-based data lakes for realizing Digital Twin systems
Pérez Porras, Daniel; Muñoz Ariza, Paula; Vallecillo-Moreno, Antonio Jesús; Troya-Castilla, Javier (2022-07-05)
Digital twins constitute virtual representations of physically existing systems, synchronized at a specified frequency and fidelity. One way to connect physical and digital twins is through data lakes, which are efficient ... -
Modeling Urban Digital Twins over the Cloud-to-Thing Continuum
The interest in the development of smart cities and the proliferation of digital twins as a powerful information processing technology have lead to the definition of Urban Digital Twins (UDTs). UDTs model city aspects such ... -
Multiobjective electric vehicle charging station locations in a city scale area: Malaga study case.
This article presents a multiobjective variation of the problem of locating electric vehicle charging stations (EVCS) in a city known as the Multiobjective Electric Vehicle Charging Stations Locations (MO-EVCS-L) problem. ...