Hidalgo García, Marta R. (Date of defense: 2013-12-02)
Geometric constraint solving is a central topic in many fields such as parametric solid modeling, computer-aided design or chemical molecular docking. A geometric constraint problem consists of a set ...
Gel Moreno, Bernat (Date of defense: 2014-07-29)
With the recent advent of various waves of technological advances, the amount of biological data being generated has exploded. As a consequence of this data deluge, new challenges have emerged in the ...
Steiner, Thomas (Date of defense: 2014-05-20)
(i) Mobile devices and social networks are omnipresent Mobile devices such as smartphones, tablets, or digital cameras together with social networks enable people to create, share, and consume enormous ...
Nikitin, Nikita (Date of defense: 2013-04-05)
The microprocessor technology has experienced an enormous growth during the last decades. Rapid downscale of the CMOS technology has led to higher operating frequencies and performance densities, facing ...
Aguilera Moncusí, David (Date of defense: 2014-06-06)
The modern world is software-intensive. National infrastructures, smartphones and computers, health-care systems, e-commerce... everything is run by software. Therefore, developing high-quality software ...
Planas Hortal, Elena (Date of defense: 2013-03-21)
Executable models play a key role in many development methods (such as MDD and MDA) by facilitating the immediate simulation/implementation of the software system under development. This is possible ...
Ameller, David (Date of defense: 2014-01-23)
In the last decades, software engineering has become an important area of research. As researchers, we try to identify a problem, a need, or a hole in some research topic, once identified we make an ...
Ribas Ripoll, Vicent Jordi (Date of defense: 2013-01-29)
The management of the Intensive Care Unit (ICU) in a hospital has its own, very specific requirements that involve, amongst others, issues of risk-adjusted mortality and average length of stay; nurse ...
Comas Umbert, Pere R. (Date of defense: 2012-05-12)
In this dissertation, we present a factoid question answering system, specifically tailored for Question Answering (QA) on spoken documents. This work explores, for the first time, which techniques can ...
Tolchinsky, Pancho (Date of defense: 2012-07-09)
In this Thesis we present an argument-based model – ProCLAIM – intended to provide a setting for heterogeneous agents to deliberate on whether a proposed action is safe. That is, whether or not a proposed ...