Álvarez Napagao, Sergio (Date of defense: 2016-02-08)
As distributed systems grow in complexity, the interactions among individuals (agents, services) of such systems become increasingly more complex and therefore more difficult to constrain and monitor. ...
San Pedro Martín, Javier de (Date of defense: 2017-10-27)
Graphs are one of the most used abstractions in many knowledge fields because of the easy and flexibility by which graphs can represent relationships between objects. The pervasiveness of graphs in many ...
Taymouri, Farbod (Date of defense: 2018-12-21)
Conformance Checking is a new research discipline devoted to identify deviations between business process models and their real executions. Identifying deviations boils down to the notion of alignment ...
Zavala, Edith (Date of defense: 2019-07-05)
Nowadays, most of the approaches supporting self-adaptive systems (SASs) rely on static feedback control loops, for managing their adaptation process. One of the most popular feedback loops is the MAPE-K ...
Primadhanty, Audi (Date of defense: 2017-11-17)
One of the challenges in Natural Language Processing (NLP) is the unstructured nature of texts, in which useful information is not easily identifiable. Information Extraction (IE) aims to alleviate it ...
Cerveró Abelló, M. Àngels (Maria Àngels) (Date of defense: 2016-01-29)
Techniques devoted to deform 3D models are an important research field in Computer Graphics. They can be used in differentstages: the modelling phase, the animation process and also during some special ...
Oliva Martínez, Ramon (Date of defense: 2016-11-28)
In order to create autonomous characters it is necessary to solve the problem of moving agents between two locations, at both the global and local navigation levels. Global navigation has two main ...
Castro Espinoza, Félix (Date of defense: 2018-06-21)
Supported by technological development and its impact on everyday activities, e-Learning and b-Learning (Blended Learning) have experienced rapid growth mainly in higher education and training. Its ...
Tarrés Puertas, Marta Isabel (Date of defense: 2014-12-18)
The evolution of constraint based geometric models is tightly tied to parametric and feature-based Computer-Aided Design (CAD) systems. Since the introduction of parametric design by Pro/Engineer in the ...
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 ...