Rull Fort, Guillem (Date of defense: 2011-01-19)
En esta tesis, presentamos un nuevo enfoque para validar mappings entre esquemas de datos que permite al diseñador comprobar si el mapping satisface o no ciertas propiedades deseables. La respuesta que ...
Geng, Linlin (Date of defense: 2021-01-28)
Cloud cavitation is a unwanted phenomenon taking place in many hydraulic machines which damages the surfaces of the solid walls due to the erosive aggressiveness induced by the collapse process. Therefore, ...
Hsieh, Chung Yun (Date of defense: 2022-10-10)
(English) As one of our most successful theories, quantum theory has greatly strengthened our understanding of nature and significantly advanced technologies. Specifically, quantum effects provide ...
Sánchez López, Sergio (Date of defense: 2003-10-07)
Las redes de transporte se mueven hacia un modelo de redes formadas por routers IP/MPLS (Internet Protocol/Multiprotocol Laebel Switching) de altas prestaciones interconectadas a través redes troncales ...
Rigau Vilalta, Jaume (Date of defense: 2006-11-17)
Aquest treball està enmarcat en el context de gràfics per computador partint de la intersecció de tres camps: rendering, teoria de la informació, i complexitat.<br/><br/>Inicialment, el concepte de ...
Paoliello Guimaraes, Rafael (Date of defense: 2008-07-14)
Over the last years, Mobile Ad-hoc Networks (MANETs) have captured the attention of the research community. The flexibility and cost savings they provide, due to the fact that no infrastructure is needed ...
Alquézar Mancho, René (Date of defense: 1997-05-12)
This thesis is structured in four parts for a total of ten chapters. <br/><br/>The first part, introduction and review (Chapters 1 to 4), presents an extensive state-of-the-art review of both symbolic ...
López Arévalo, Iván (Date of defense: 2005-11-05)
Els processos industrials requereixen avaluacions periòdiques per a verificar la seva correcta operació en termes tècnics i econòmics. Aquestes avaluacions són necessàries a causa de els canvis en els ...
Quiñones Moreno, Eduardo (Date of defense: 2008-11-18)
ISA extensions are a very powerful approach to implement new hardware techniques that require or benefit from compiler support: decisions made at compile time can be complemented at runtime, achieving ...
Bonet Gil, Enrique (Date of defense: 2015-03-26)
This thesis aims to develop a predictive control for irrigation canals to improve the management of water resources. Water is necessary for life and it is a scarce good that we need for drinking, in ...