Recent Submissions

Generación de modelos de procesos y decisiones a partir de documentos de texto 

Quishpi Betún, Luis Hernán (Date of defense: 2025-09-08)

(English) This thesis addresses the importance of formal models for the efficient management of business processes (BPM) and business decision management (BDM) in a constantly evolving corporate environment. Within the BPM ...

A framework to operationalize and automate the data integration lifecycle 

Flores Herrera, Javier de Jesús (Date of defense: 2025-06-16)

(English) Data plays a key role in today’s world. Many organizations collect and store massive amounts of data from many different data sources. As a result, these data collections show a diversity in structure and semantics ...

User-oriented explainable AI (XAI) for decision-making in critical sectors 

Calvo Ibáñez, Albert (Date of defense: 2025-07-11)

(English) The increasing integration of Artificial Intelligence (AI) into critical sectors demands a comprehensive understanding of decision-making processes to ensure trust and accountability. To address these challenges, ...

Theory, algorithms and applications of linear arrangements of trees: generation, expectation and optimization 

Alemany Puig, Lluís (Date of defense: 2024-09-26)

(English) A successful approach to represent the syntactic structure of sentences in Computational Linguistics, founded in the theory developed by Tesnière, is that of syntactic dependency tree. Pairs of vertices of ...

Dynamic terrain modeling 

Alonso Alonso, Jesús (Date of defense: 2024-05-08)

(English) This work explores terrain modelling techniques that provide a comprehensive experience in terms of graphical representation, physics interaction and dynamic updates in real-time. In particular, our focus revolves ...

IoT semantic-based monitoring of infrastructures using a microservices architecture 

Vila Gómez, Marc (Date of defense: 2024-04-12)

(English) The Internet of Things (IoT) is a powerful new paradigm that has the potential to transform the way we live, work, and interact with our surroundings. IoT devices are equipped with sensors, software, and communication ...

Natural language processing methods for document-based requirements specification and validation tasks 

Motger de la Encarnación, Joaquim (Date of defense: 2024-11-04)

(English) Requirements engineering (RE) is fundamental to successful software development, especially in modern, large-scale projects. Efficient management of text-based artefacts is key to accurate elicitation, refinement, ...

Towards the automation of colon segmentation in magnetic resonance images 

Orellana Bech, Bernat (Date of defense: 2024-03-07)

(English) The study of the colonic volume has strong relevance in gastroenterology and contributes to the diagnosis and research of lowseverity diseases such as constipation, diarrhea, or Irritable Bowel Syndrome. In the ...

A data-driven approach to prescribe web API evolution 

Koçi, Rediana (Date of defense: 2024-01-23)

(English) In the last two decades, the use of web Application Programming Interfaces (APIs) has grown exponentially, providing both consumers (software developers) and providers (companies and institutions that expose their ...

Revolutionizing space mission event modeling with the Tychonis framework 

Llopis, Marcel (Date of defense: 2023-12-14)

(English) This thesis presents the Tychonis framework, a solution to the limitations faced by existing software packages used in space missions to identify geometric events. The framework is designed to integrate with ...

Specification, estimation and monitoring of quality-related software strategic indicators in agile software development 

Manzano Aguilar, Martí (Date of defense: 2023-06-08)

(English) In line with the current trend of exploiting corporative data, software companies, especially those using Agile and Rapid software development, are challenged to improve the quality of their products, their ...

Construction and technological development of immersive virtual reality for pain therapy 

Álvarez de la Campa Crespo, Mercè (Date of defense: 2023-06-29)

(English) Virtual reality (VR) allows not only to easily change the perceived scenario but also to control several factors associated with the sense of being in an embodied virtual avatar that would not be achievable in ...

Cluster evaluation on weighted networks 

Renedo Mirambell, Martí (Date of defense: 2023-03-28)

(English) This thesis presents a systematic approach to validate the results of clustering methods on weighted networks, particularly for the cases where the existence of a community structure is unknown. Including edge ...

On-the-fly synthesizer programming with rule learning 

Paz Ortiz, Alejandro Iván (Date of defense: 2022-05-03)

This manuscript explores automatic programming of sound synthesis algorithms within the context of the performative artistic practice known as live coding. Writing source code in an improvised way to create music or visuals ...

Size bounds for algebraic and semialgebraic proof systems 

Hakoniemi, Tuomas (Date of defense: 2022-03-25)

This thesis concerns the proof complexity of algebraic and semialgebraic proof systems Polynomial Calculus, Sums-of-Squares and Sherali-Adams. The most studied complexity measure for these systems is the degree of ...

Human-aware application of data science techniques 

Coma Puig, Bernat (Date of defense: 2022-03-02)

In recent years there has been an increase in the use of artificial intelligence and other data-based techniques to automate decision-making in companies, and discover new knowledge in research. In many cases, all this has ...

Walking with virtual humans : understanding human response to virtual humanoids' appearance and behaviour while navigating in immersive VR 

Ríos Jerez, Alejandro (Date of defense: 2022-02-17)

In this thesis, we present a set of studies whose results have allowed us to analyze how to improve the realism, navigation, and behaviour of the avatars in an immersive virtual reality environment. In our simulations, ...

Bridging the gap between textual and formal business process representations 

Sànchez-Ferreres, Josep (Date of defense: 2021-09-29)

In the era of digital transformation, an increasing number of organizations are start ing to think in terms of business processes. Processes are at the very heart of each business, and must be understood and carried out ...

Network creation games: structure vs anarchy 

Messegué Buisan, Arnau (Date of defense: 2020-12-18)

In an attempt to understand how Internet-like network and social networks behave, different models have been proposed and studied throughout history to capture their most essential aspects and properties. Network Creation ...

Algorithms for the reconstruction, analysis, repairing and enhancement of 3D urban models from multiple data sources 

Comino Trinidad, Marc (Date of defense: 2020-12-22)

Over the last few years, there has been a notorious growth in the field of digitization of 3D buildings and urban environments. The substantial improvement of both scanning hardware and reconstruction algorithms has led ...