Visualitzant Departament d'Informàtica, Matemàtica Aplicada i Estadística (2013-) per títol

Visualitzant Departament d'Informàtica, Matemàtica Aplicada i Estadística (2013-) per títol

Ordena per: Ordre: Resultats:

  • Suy Franch, Josep (Data de defensa: 20-12-2012)
    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 ...
  • González García, Francisco (Data de defensa: 11-04-2013)
    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 ...
  • Valladares Cereceda, Ignacio (Data de defensa: 18-07-2013)
    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: 28-11-2014)
    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: 29-01-2016)
    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 ...
  • Vila Duran, Marius (Data de defensa: 09-07-2015)
    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 ...
  • Bramon Feixas, Roger (Data de defensa: 15-07-2013)
    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 ...
  • García Fernández, Ismael (Data de defensa: 24-10-2012)
    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 ...
  • Bonaventura Brugués, Xavier (Data de defensa: 10-07-2015)
    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 ...
  • Pueyo Vallet, Oriol (Data de defensa: 15-01-2016)
    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. ...
  • Palahí i Sitges, Miquel (Data de defensa: 10-12-2015)
    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 ...
  • Wattanasoontorn, Voravika (Data de defensa: 11-12-2013)
    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 ...