A satisfiability modulo theories approach to constraint programming 

    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 to solve CSPs. We ...

    Adaptive urban modelling for solar energy simulations 

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

    Advanced techniques in trajectory data analysis for anomaly detection and map construction 

    Yuejun, Guo (Date of defense: 2020-05-29)

    With a large amount of trajectory data generated every day, there is a high demand for developing advanced techniques to discover the underlying information instead of dull and heavy manual work. This thesis focuses on the ...

    Aportacions de l'anàlisi composicional a les mixtures de distribucions 

    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 study of the models based ...

    Augmented film narrative by use on non-photorealistic rendering: from 3D cinema to virtual reality 

    Fajnzylber Reyes, Victor (Date of defense: 2021-09-19)

    It is stated that non-photorealistic rendering (NPR) triggers specific ocular behaviors that can have a real effect on the way of perceiving a cinematic narrative. The transdisciplinary interest of this thesis lies in ...

    Compositional methodology and statistical inference of family relationships using genetic markers 

    Galván Femenía, Iván (Date of defense: 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 ...

    Continuity and interpolation techniques for computer graphics 

    González García, Francisco (Date of defense: 2013-04-11)

    In Computer Graphics applications, it is a common practice to texture 3D models to apply material properties to them. Then, once the models are textured, they are deformed to create new poses that can be more appropriate ...

    GPU parallel algorithms for reporting movement behaviour patterns in spatiotemporal databases 

    Valladares Cereceda, Ignacio (Date of defense: 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 ...

    Gràfic de control T2 de Hotelling per a dades composicionals 

    Vives Mestres, Marina (Date of defense: 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 ...

    High dynamic range content acquisition from multiple exposures 

    Ramírez Orozco, Raissel (Date of defense: 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 ...

    Imaginación visual: nuevo paradigma en interfaces cerebro-máquina 

    Llorella Costa, Fabio Ricardo (Date of defense: 2023-06-01)

    This doctoral thesis focuses on the study of the use of visual imagery for the construction of brain-computer interfaces (BCI) non-invasive. Although the construction of brain-computer interfaces is already is a reality, ...

    Information theory techniques for multimedia data classification and retrieval 

    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. Among them, capturing ...

    Medical imaging applied to teaching and meat science 

    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 such as education and ...

    Medical imaging techniques for the analysis and measurement of composite materials 

    Julià i Juanola, Adrià (Date of defense: 2022-11-11)

    The purpose of this thesis is the research and development of methods, algorithms and tools for the analysis of composite materials. In order to improve their properties, one must employ specific techniques in order to ...

    Multimodal visualization based on mutual information 

    Bramon Feixas, Roger (Date of defense: 2013-07-15)

    Medical imaging and 3D volumetric visualization are a standard routine for patient diagnosis and treatment. Multimodal visualization plays an important role in medical diagnosis and treatment, because it makes findings ...

    New solutions to control robotic environments: quality control in food packaging 

    Banús Paradell, Núria (Date of defense: 2021-12-16)

    Machine vision systems and artificial intelligence techniques are two active research areas in the context of Industry 4.0. Their combination allows the reproduction of human procedures while improving the performance ...

    Noves tecnologies i aplicacions innovadores per l'ensenyament d'assignatures d’empresa en estudis d’enginyeria 

    Rafart Serra, Maria Assumpció (Date of defense: 2020-11-20)

    The present doctoral thesis explores an e-learning proposal fruit of using Information and Communication Technologies (ICT) with the objective of improving students’ learning experience. The proposal aims to facilitate the ...

    Parallel spatial data structures for interactive rendering 

    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 patterns. Our main ...

    Perceptual information-theoretic measures for viewpoint selection and object recognition 

    Bonaventura Brugués, Xavier (Date of defense: 2015-07-10)

    Viewpoint selection has been an emerging area in computer graphics for some years, and it is now getting maturity with applications in fields such as scene navigation, volume visualization, object recognition, mesh ...

    Realistic urban layout modeling from real data 

    Pueyo Vallet, Oriol (Date of defense: 2016-01-15)

    Computer Graphics applications community has big interest on urban modeling and especially on designing complex and realistic cities and buildings. This topic is interesting for film, video game and urbanism industries. ...