Palahí i Sitges, Miquel (Date of defense: 2015-12-10)
In this thesis we focus on reformulate constraint satisfaction problems (CSP) into SAT Modulo Theories (SMT). SMT is an extension of SAT where the literals appearing in the formulas are not restricted ...
Agarwal, Richa (Date of defense: 2019-09-26)
In the field of breast cancer imaging, traditional Computer Aided Detection (CAD) systems were designed using limited computing resources and used scanned films (poor image quality), resulting in less ...
Ruiz Altisent, Marc (Date of defense: 2012-05-04)
Volume visualization is a method of extracting information from volumetric data using interactive graphics. Volume visualization aims to assist visual interpretation of data by creating three-dimensional ...
Vila Duran, Marius (Date of defense: 2015-07-09)
We are in the information age where most data is stored in digital format. Thus, the management of digital documents and videos requires the development of efficient techniques for automatic analysis. ...
Souto, Laiz (Date of defense: 2021-01-15)
This thesis presents the study and development of distinct data-driven techniques to support event detection, fault location, and resilience assessment towards enhancements in power systems. It is divided ...
Cañigueral Maurici, Marc (Date of defense: 2023-10-10)
The transition to electric mobility is facing multiple challenges, usually associated with the roll-out of the charging infrastructure. On one hand, cities must develop a charging infrastructure that ...
Vila Clarà, Oriol (Date of defense: 2024-01-29)
RGB-D cameras return images like an ordinary camera but in addition to color, depthmaps where each pixel value represents the distance to a point of the scene are also obtained. Although originally ...