Now showing items 14-33 of 87

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

    Estañol, Montserrat (Date of defense: 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 (Date of defense: 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 (Date of defense: 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 (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 ...

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

    Álvarez Napagao, Sergio (Date of defense: 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 (Date of defense: 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í (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 ...

    A computational intelligence analysis of G proteincoupled receptor sequinces for pharmacoproteomic applications 

    Cárdenas Domínguez, Martha Ivón (Date of defense: 2017-09-18)

    Arguably, drug research has contributed more to the progress of medicine during the past decades than any other scientific factor. One of the main areas of drug research is related to the analysis of proteins. The world ...

    Conformance checking and diagnosis in process mining 

    Muñoz Gama, Jorge (Date of defense: 2014-12-19)

    In the last decades, the capability of information systems to generate and record overwhelming amounts of event data has experimented an exponential growth in several domains, and in particular in industrial scenarios. ...

    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 ...

    Contribution to geometric constraint solving in cooperative engineering 

    Vila Marta, Sebastià (Date of defense: 2003-12-01)

    DA&AI supporting tools for gas turbine’s efficiency improvement: maintenance, operation modes and performance enhancement 

    Castro Cros, Martí de (Date of defense: 2023-12-18)

    (English) Digitalization has revolutionized many industries, including the power generation sector. The availability of a vast amount of data from various systems has transformed decision-making processes in Industry. ...

    Data analysis through graph decomposition 

    Piceno, Marie Ely (Date of defense: 2020-07-27)

    This work is developed within the field of data mining and data visualization. Under the premise that many of the algorithms give as result huge amounts of data impossible to handle for the users, we work with the ...

    Deep learning architectures applied to wind time series multi-step forecasting 

    Manero Font, Jaume (Date of defense: 2020-07-14)

    Forecasting is a critical task for the integration of wind-generated energy into electricity grids. Numerical weather models applied to wind prediction, work with grid sizes too large to reproduce all the local features ...

    Definition and use of software requirement patterns in requirements engineering 

    Palomares Bonache, Cristina (Date of defense: 2016-10-04)

    The final quality of software products and services depends on the requirements stated in the Software Requirements Specifications (SRSs). However, some problems like ambiguity, incompleteness and inconsistency have been ...

    Direct tree decomposition of geometric constraint graphs 

    Tarrés Puertas, Marta Isabel (Date of defense: 2014-12-18)

    The evolution of constraint based geometric models is tightly tied to parametric and feature-based Computer-Aided Design (CAD) systems. Since the introduction of parametric design by Pro/Engineer in the 1980's, most major ...

    Document-level machine translation : ensuring translational consistency of non-local phenomena 

    Martínez Garcia, Eva (Date of defense: 2019-12-19)

    In this thesis, we study the automatic translation of documents by taking into account cross-sentence phenomena. This document-level information is typically ignored by most of the standard state-of-the-art Machine ...

    Efficient approximate string matching techniques for sequence alignment 

    Marco-Sola, Santiago (Date of defense: 2017-09-20)

    One of the outstanding milestones achieved in recent years in the field of biotechnology research has been the development of high-throughput sequencing (HTS). Due to the fact that at the moment it is technically impossible ...

    Enhancing detailed haptic relief for real-time interaction 

    Theoktisto, Víctor (Date of defense: 2015-11-25)

    The present document exposes a different approach for haptic rendering, defined as the simulation of force interactions to reproduce the sensation of surface relief in dense models. Current research shows open issues in ...

    Enhancing scene text recognition with visual context information 

    Sabir, Ahmed (Date of defense: 2020-11-10)

    This thesis addresses the problem of improving text spotting systems, which aim to detect and recognize text in unrestricted images (e.g. a street sign, an advertisement, a bus destination, etc.). The goal is to improve ...