A data-driven approach to prescribe web API evolution 

    Koçi, Rediana (Fecha de defensa: 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 ...

    A dynamic adaptive framework for improving case-based reasoning system performance 

    Orduña, Fernando (Fecha de defensa: 2016-02-05)

    An optimal performance of a Case-Based Reasoning (CBR) system means, the CBR system must be efficient both in time and in size, and must be optimally competent. The efficiency in time is closely related to an efficient and ...

    A framework for the analytical and visual interpretation of complex spatiotemporal dynamics in soccer 

    Fernández de la Rosa, Javier (Fecha de defensa: 2022-01-18)

    Sports analytics is an emerging field focused on the application of advanced data analysis for assessing the performance of professional athletes and teams. In soccer, the integration of data analysis is in its initial ...

    A methodology for the automation of building intelligent process control systems 

    Pascual Pañach, Josep (Fecha de defensa: 2023-11-10)

    (English) One of the major problems to design and implement control and supervision systems for real-world processes lies in the need to stablish an ad-hoc solution for each process, i.e., environmental systems in this ...

    A novel computer Scrabble engine based on probability that performs at championship leve 

    González Romero, Alejandro (Fecha de defensa: 2022-03-07)

    The thesis starts by giving an introduction to the game of Scrabble, then mentions state-of-the-art computer Scrabble programs and presents some characteristics of our developed Scrabble engine Heuri. Some brief notions ...

    An adaptive, fault-tolerant system for road network traffic prediction using machine learning 

    Mena-Yedra, Rafael (Fecha de defensa: 2020-03-06)

    This thesis has addressed the design and development of an integrated system for real-time traffic forecasting based on machine learning methods. Although traffic prediction has been the driving motivation for the thesis ...

    Advanced inspection techniques for molecular simulations 

    Hermosilla Casajús, Pedro (Fecha de defensa: 2017-07-13)

    Molecular dynamics simulations are computer simulations of the physical movements of atoms and molecules, and the interactions between them. In the particular cases we focus on (pharmaceutical drug design and enzymatic ...

    Algebraic dependency grammar 

    Cardó, Carles, 1975- (Fecha de defensa: 2018-03-15)

    We propose a mathematical formalism called Algebraic Dependency Grammar with applications to formal linguistics and to formal language theory. Regarding formal linguistics we aim to address the problem of grammaticality ...

    Algorithmic techniques for physical design : macro placement and under-the-cell routing 

    Vidal Obiols, Alexandre (Fecha de defensa: 2020-01-24)

    With the increase of chip component density and new manufacturability constraints imposed by modern technology nodes, the role of algorithms for electronic design automation is key to the successful implementation of ...

    Algorithms and methodologies for interconnect reliability analysis of integrated circuits 

    Jain, Palkesh (Fecha de defensa: 2017-05-05)

    The phenomenal progress of computing devices has been largely made possible by the sustained efforts of semiconductor industry in innovating techniques for extremely large-scale integration. Indeed, gigantically integrated ...

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

    Comino Trinidad, Marc (Fecha de defensa: 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 ...

    Analysis of class C G-protein coupled receptors using supervised classification methods 

    König, Caroline Leonore (Fecha de defensa: 2018-10-30)

    G protein-coupled receptors (GPCRs) are cell membrane proteins with a key role in regulating the function of cells. This is the result of their ability to transmit extracellular signals, which makes them relevant for ...

    Analysis of partial match queries in multidimensional search trees 

    Lau Laynes-Lozada, Gustavo Salvador (Fecha de defensa: 2019-11-29)

    The main contribution of this thesis is to deepen and generalize previous work done in the average-case analysis of partial match queries in several types of multidimensional search trees. In particular, our focus has been ...

    Artifact-centric business process models in UML : specification and reasoning 

    Estañol, Montserrat (Fecha de defensa: 2016-04-29)

    Business processes are directly involved in the achievement of an organization's goals, and for this reason they should be performed in the best possible way. Modeling business processes can help to achieve this as, for ...

    Assessing biases through mosaic attributions 

    Arias Duart, Anna (Fecha de defensa: 2023-12-11)

    (English) Machine learning and, more specifically, deep learning applications have grown in number in recent years. These intelligent systems have shown remarkable performance across various domains, including sensitive ...

    Automatic program analysis using Max-SMT 

    Larraz Hurtado, Daniel (Fecha de defensa: 2015-07-28)

    This thesis addresses the development of techniques to build fully-automatic tools for analyzing sequential programs written in imperative languages like C or C++. In order to do the reasoning about programs, the approach ...

    Bridging the gap between textual and formal business process representations 

    Sànchez-Ferreres, Josep (Fecha de defensa: 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 ...

    Bringing social reality to multiagent and service architectures : practical reductions for monitoring of deontic-logic and constitutive norms 

    Álvarez Napagao, Sergio (Fecha de defensa: 2016-02-08)

    As distributed systems grow in complexity, the interactions among individuals (agents, services) of such systems become increasingly more complex and therefore more difficult to constrain and monitor. We propose to view ...

    Causal discovery and prediction: methods and algorithms 

    Blondel, Gilles (Fecha de defensa: 2023-06-07)

    (English) This thesis focuses on the discovery of causal relations and on the prediction of causal effects. Regarding causal discovery, this thesis introduces a novel and generic method to learn causal graphs by performing ...

    Cluster evaluation on weighted networks 

    Renedo Mirambell, Martí (Fecha de defensa: 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 ...