Ferrer Biosca, Alberto (Date of defense: 2004-03-30)
Esta Tesis esta motivada por el interés en aplicar procedimientos de optimización global a problemas del mundo real. Para ello, nos hemos centrado en el problema de Coordinación Hidrotérmica de la ...
Temsamani, Jamal (Date of defense: 2006-05-30)
La tesis aborda el análisis transitorio de modelos Markovianos de sistemas tolerantes a fallos con reparación diferida. Se consideran dos medidas definidas sobre cadenas de Markov a tiempo continuo con ...
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. ...
Sáez Pous, Xavier (Date of defense: 2016-01-25)
During the last two decades, High-Performance Computing (HPC) has grown rapidly in performance by improving single-core processors at the cost of a similar growth in power consumption. The single-core ...
Starnini, Michele (Date of defense: 2014-10-24)
The data revolution experienced by social science has revealed complex patterns of interactions in human dynamics, such as the heterogeneity and burstiness of social contacts. The recently uncovered ...
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 ...
Andujar Moreno, Rabindranath (Date of defense: 2015-02-03)
This thesis explores a very well understood area of physics: computational structural dynamics. The aim is to stretch its boundaries by merging it with another very well established discipline such as ...
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 ...
Sun, Congcong (Date of defense: 2015-11-17)
This thesis is devoted to design a multi-layer MPC controller applied to the complex water network taking into account that the different layers with different time scales and control objectives have ...
Montserrat Adell, Jordi (Date of defense: 2018-07-20)
Decision-making is an active field of research. Specifically, in recent times, a lot of contributions have been presented on decision-making under linguistic assessments. To tackle this kind of processes, ...