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

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

If you are a doctor of Universitat de Girona and you want to publish your thesis at TDX, contact with tdx@udg.edu. For more information check the frequently asked questions (in Catalan or in Spanish).

Recent Submissions

  • Espasa Arxer, Joan (Date of defense: 15-11-2018)
    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 ...
  • Comas Cufí, Marc (Date of defense: 24-10-2018)
    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 ...
  • Bonmatí Coll, Ester (Date of defense: 05-02-2016)
    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 ...
  • Pueyo Vallet, Oriol (Date of defense: 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 (Date of defense: 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 ...

View more