Contribution to geometric constraint solving in cooperative engineering 

    Vila Marta, Sebastià (Date of defense: 2003-12-01)

    Language: universals, principles and origins 

    Ferrer i Cancho, Ramon (Date of defense: 2003-12-12)

    Here, old and new linguistic universals, i.e. properties obeyed by all languages on Earth are investigated. Basic principles of language predicting linguistic universals are also investigated. More precisely, two principles ...

    Introducing norms into practical reasoning agents 

    Panagiotidi, Sofia (Date of defense: 2014-09-29)

    As distributed electronic systems grow to include thousands of components, from grid to peer-to-peer nodes, from (Semantic) Web services to web-apps to computation in the cloud, governance of such systems is becoming a ...

    Simulation, animation and rendering of crowds in real-time 

    Beacco, Alejandro (Date of defense: 2014-12-11)

    Nowadays crowd simulation is becoming more important in computer applications such as building evacuation planning, training, videogames, etc., presenting hundreds or thousands of agents navigating in virtual environments. ...

    Direct tree decomposition of geometric constraint graphs 

    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 1980's, most major ...

    Conformance checking and diagnosis in process mining 

    Muñoz Gama, Jorge (Date of defense: 2014-12-19)

    In the last decades, the capability of information systems to generate and record overwhelming amounts of event data has experimented an exponential growth in several domains, and in particular in industrial scenarios. ...

    Visualization and interpretability in probabilistic dimensionality reduction models 

    Tosi, Alessandra (Date of defense: 2014-12-19)

    Over the last few decades, data analysis has swiftly evolved from being a task addressed mainly within the remit of multivariate statistics, to an endevour in which data heterogeneity, complexity and even sheer size, driven ...

    Monitoring the quality of service to support the service based system lifecycle 

    Oriol Hilari, Marc (Date of defense: 2015-03-19)

    Service Oriented Computing (SOC) has been established in the last recent years as a successful paradigm in Software Engineering. The systems built under this paradigm, known as Service Based System (SBS), are composed of ...

    Link prediction in large directed graphs 

    Garcia Gasulla, Dario (Date of defense: 2015-04-23)

    The first chapter introduces an approach to machine learning (ML) were data is understood as a network of connected entities. This strategy seeks inter-entity information for knowledge discovery, in contrast with traditional ...

    Extending procrustes analysis : building multi-view 2-D models from 3-D human shape samples 

    Pérez Sala, Xavier (Date of defense: 2015-04-29)

    This dissertation formalizes the construction of multi-view 2D shape models from 3D data. We propose several extensions of the well-known Procrustes Analysis (PA) algorithm that allow modeling rigid and non-rigid transformations ...

    Regularized approximate policy iteration using kernel for on-line reinforcement learning 

    Esposito, Gennaro (Date of defense: 2015-06-17)

    By using Reinforcement Learning (RL), an autonomous agent interacting with the environment can learn how to take adequate actions for every situation in order to optimally achieve its own goal. RL provides a general ...

    Joint parsing of syntactic and semantic dependencies 

    Lluís, Xavier (Date of defense: 2015-07-13)

    Syntactic Dependency Parsing and Semantic Role Labeling (SRL) are two main problems in Natural Language Understanding. Both tasks are closely related and can be regarded as parsing on top of a given sequence. In the ...

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

    Enhancing detailed haptic relief for real-time interaction 

    Theoktisto, Víctor (Date of defense: 2015-11-25)

    The present document exposes a different approach for haptic rendering, defined as the simulation of force interactions to reproduce the sensation of surface relief in dense models. Current research shows open issues in ...

    Multivariate methods for interpretable analysis of magnetic resonance spectroscopy data in brain tumour diagnosis 

    Vilamala Muñoz, Albert (Date of defense: 2015-12-18)

    Malignant tumours of the brain represent one of the most difficult to treat types of cancer due to the sensitive organ they affect. Clinical management of the pathology becomes even more intricate as the tumour mass increases ...

    NoMoDEI : A framework for Norm Monitoring on Dynamic Electronic Institutions 

    Gómez Sebastià, Ignasi (Date of defense: 2016-01-27)

    With the growth of the Internet, computational systems have become more and more complex, often including complicate interconnected networks of autonomous components. The need to bring some organisational structure into ...

    On some interactive mesh deformations 

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

    Robust interactive simulation of deformable solids with detailed geometry using corotational FEM 

    Civit Flores, Óscar (Date of defense: 2016-02-01)

    This thesis focuses on the interactive simulation of highly detailed deformable solids modelled with the Corotational Finite Element Method. Starting from continuum mechanics we derive the discrete equations of motion and ...

    Towards more reliable feature evaluations for classification 

    Prat Masramon, Gabriel (Date of defense: 2016-02-01)

    In this thesis we study feature subset selection and feature weighting algorithms. Our aim is to make their output more stable and more useful when used to train a classifier. We begin by defining the concept of stability ...

    Improving automatic rigging for 3D humanoid characters 

    Ramírez Flores, Jorge Eduardo (Date of defense: 2016-02-04)

    In the field of computer animation the process of creating an animated character is usually a long and tedious task. An animation character is usually efined by a 3D mesh (a set of triangles in the space) that gives its ...