Ara mostrant els elements 1-8 de 8
Suy Franch, Josep (Data de defensa: 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 to solve CSPs. We ...
Galván Femenía, Iván (Data de defensa: 2020-07-10)
The present thesis is a compendium of three research articles produced between 2015 and 2019. The three articles are different contributions based on compositional statistical methodology and statistical inference of ...
Valladares Cereceda, Ignacio (Data de defensa: 2013-07-18)
In this thesis we treat and solve various problems related to movement pattern detection by designing and implementing parallel algorithms using the GPU. We first propose a GPU pipeline based algorithm to report the ’Popular ...
Vives Mestres, Marina (Data de defensa: 2014-11-28)
Compositional data are defined as vectors of components that represent parts of a whole and contain relative information (e.g. %, ppm, mg/l...). CoDa are widely found in chemical, pharmaceutical and food industries among ...
Ramírez Orozco, Raissel (Data de defensa: 2016-01-29)
The limited dynamic range of digital images can be extended by composing different exposures of the same scene to produce HDR images. This thesis is composed of an overview of the state of the art techniques and three ...
Xiberta, Pau (Data de defensa: 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 such as education and ...
Palahí i Sitges, Miquel (Data de defensa: 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 to contain only ...
Coll Caballero, Jordi (Data de defensa: 2019-07-15)
Scheduling problems consist in determining how to execute the activities of a project in order to satisfy some requirements. Such problems are ubiquitous nowadays in industry and services, but finding solutions of scheduling ...