Now showing items 26-28 of 28

    SMT techniques for planning problems 

    Espasa Arxer, Joan (Date of defense: 2018-11-15)

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

    Study of brain complexity using information theory tools 

    Bonmatí Coll, Ester (Date of defense: 2016-02-05)

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

    Temporal evolution of ancient buildings 

    Fita López, Josep Lluis (Date of defense: 2019-12-10)

    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, ...