Browsing Programa de Doctorat en Computació by Subject "51"

Now showing items 1-4 of 4

Automatic program analysis using Max-SMT

Larraz Hurtado, Daniel (Date of defense: 2015-07-28)

This thesis addresses the development of techniques to build fully-automatic tools for analyzing sequential programs written in imperative languages like C or C++. In order to do the reasoning about programs, the approach ...

Cluster evaluation on weighted networks

Renedo Mirambell, Martí (Date of defense: 2023-03-28)

(English) This thesis presents a systematic approach to validate the results of clustering methods on weighted networks, particularly for the cases where the existence of a community structure is unknown. Including edge ...

Learning finite-state machines: statistical and algorithmic aspects

Balle Pigem, Borja de (Date of defense: 2013-07-12)

The present thesis addresses several machine learning problems on generative and predictive models on sequential data. All the models considered have in common that they can be de ned in terms of nite-state machines. On ...

Variants of unification considering compression and context variables

Gascón Caro, Adrià (Date of defense: 2014-05-30)

Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. Depending on the kind of ...