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