Àrea de contingut
Universitat de Girona
Browsing Departament d'Informàtica, Matemàtica Aplicada i Estadística (2013-) by Date of defense
Now showing items 1-20 of 30
Parallel spatial data structures for interactive rendering
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 ...
A satisfiability modulo theories approach to constraint programming
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 ...
Continuity and interpolation techniques for computer graphics
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 ...
Multimodal visualization based on mutual information
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 ...
GPU parallel algorithms for reporting movement behaviour patterns in spatiotemporal databases
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 ...
Serious games for health and medicine. A cardiopulmonary resuscitation (CPR) case study
Serious games are video games designed to provide specific expertise, knowledge and skills to the player, going beyond pure entertainment. In this thesis we present a classification of serious games for health and medicine ...
Gràfic de control T2 de Hotelling per a dades composicionals
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 ...
Perceptual information-theoretic measures for viewpoint selection and object recognition
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 ...
Reformulation of constraint models into SMT
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 ...
Realistic urban layout modeling from real data
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. ...
High dynamic range content acquisition from multiple exposures
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 ...
Study of brain complexity using information theory tools
The human brain is a complex network that shares and processes information by using the structural paths between areas in order to perform a function. The connectome models the brain as a graph where nodes correspond to ...
Medical imaging applied to teaching and meat science
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 ...
Aportacions de l'anàlisi composicional a les mixtures de distribucions
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 ...
SMT techniques for planning problems
Automated planning is a discipline in the field of Artificial Intelligence that can be described as the process of finding a course of action that achieves a specified task. In other words, it focuses on reasoning about ...
Adaptive urban modelling for solar energy simulations
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 ...
Scheduling through logic-based tools
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 ...
Temporal evolution of ancient buildings
Nowadays, the improvement in Computer Graphics has benefited fields such as Cultural Heritage, where the main efforts have focused on the digital preservation of historic buildings or urban structures. In this thesis, ...
Advanced techniques in trajectory data analysis for anomaly detection and map construction
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 ...
Serious games for visually impaired players and to promote first-aid protocols
Serious games are games designed to entertain and also to teach or transmit some knowledge. They are present in many areas such as military, health, manufacturing, education or medicine, just to name a few. One of their ...
