Helmi Mohamed Elsadek, Ahmed Mohamed (Date of defense: 2013-04-08)
The hiring problem is a simple model for on-line decision-making under uncertainty, recently introduced in the literature. Despite some related work dates back to 2000, the name and the first extensive ...
Díaz Iriberri, José (Date of defense: 2013-04-26)
Due to the nature of scientic data sets, the generation of convenient visualizations may be a difficult task, but crucial to correctly convey the relevant information of the data. When working with ...
López Cuesta, Lidia (Date of defense: 2013-05-16)
This thesis provides a formal proposal for the specialization relationship in the i* framework that allows its use in a well-defined manner. I root my proposal over existing works in different areas ...
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 ...
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 ...
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 ...
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 ...
Oliva Valls, Sergi (Date of defense: 2013-05-02)
Propositional Proof Complexity is the area of Computational Complexity that studies the length of proofs in propositional logic. One of its main questions is to determine which particular propositional ...
Abío Roig, Ignasi (Date of defense: 2013-05-15)
The topic of this thesis is the development of SAT-based techniques and tools for solving industrial combinatorial problems. First, it describes the architecture of state-of-the-art SAT and SMT Solvers ...
Ojeda Contreras, Jesús (Date of defense: 2013-05-28)
Nowadays there is great demand for realistic simulations in the computer graphics field. Physically-based animations are commonly used, and one of the more complex problems in this field is fluid ...