Xiberta, Pau (Date of defense: 2018-05-25)
Medical imaging has greatly progressed to become an essential technology in current clinical processes. However, advances in diagnostic imaging have not been applied to the same extent to other fields ...
Comas Cufí, Marc (Date of defense: 2018-10-24)
The present thesis is a compendium of three original works produced between 2014 and 2018. The papers have a common link: they are different contributions made by compositional data analysis to the ...
García Fernández, Ismael (Date of defense: 2012-10-24)
The main question explored in this thesis is how to define novel parallel random-access data structures for surface and image spatial data with efficient construction, storage, and query memory access ...
Muñoz Novoa, David (Date of defense: 2019-07-09)
In summary, this thesis proposes to address the problem of simulating physical effects in large urban environments through the use of procedural rules and Level-of-Detail techniques, in order to reduce ...
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 ...
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. ...
Suy Franch, Josep (Date of defense: 2012-12-20)
In this thesis we focus on solving CSPs using SMT. Essentially, what we do is reformulating CSPs into SMT. The obtained results allow us to conclude that state-of-the-art SMT solvers are a robust tool ...