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 ...
Rusek, Robert (Date of defense: 2017-05-24)
The thesis concentrates particularly on how to enhance space-use in the case of public facilities. This issue has been approached by repurposing existing facilities and introducing additional services, ...
Esteba Masjuan, Joan (Date of defense: 2023-10-19)
Underwater robotics has undergone significant development in recent years. It has been applied to a wide range of sectors, such as the mapping of areas of interest, the collection of scientific data, ...
Perafita Basart, Xavier (Date of defense: 2023-11-24)
In the last twenty years, the study of social inequalities has been a topic of special interest, revealing how differences between social classes have increased. During the same period, data generation ...
Ahmad, Sayyar (Date of defense: 2024-01-18)
Type 1 Diabetes (T1D) is a chronic metabolic disorder caused by destruction of the insulin producing beta cells in the islets of Langerhans within the pancreas due to an autoimmune reaction. T1D is ...