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 ...
Simon López, Adrià (Date of defense: 2015-07-06)
En l'article [CKSTT] els autors proven una inestabilitat global per a l'equació de Schrödinger cúbica desenfocant en el tor 2-dimensional. Per aconseguir-ho, detecten un sistema finit d'equacions ...
De Santis, Dario (Date of defense: 2021-06-22)
The formulation of quantum physics stands among the most revolutionary theories of the twentieth century. During the first decades of this century, many phenomena concerning the microscopic world were ...
Gómez Fernández, Sergio (Date of defense: 2014-10-17)
The deployment delays for EUVL, forces IC design to continue using 193nm wavelength lithography with innovative and costly techniques in order to faithfully print sub-wavelength features and combat ...
Barrios Porras, Ricardo (Date of defense: 2013-05-17)
Free-space optical (FSO) communications is drawing increasing attention as a promising technology to overcome bandwidth shortage, of an evermore crowded wireless marketplace. Currently radio-frequency ...
González Alonso, Víctor (Date of defense: 2013-07-08)
In this thesis we study the geography of irregular complex projective (or compact Kähler) varieties, paying special attention to the existence of fibrations. The thesis is divided into two parts. In ...
Betancur Lopera, Rafael (Date of defense: 2013-07-10)
Organic photovoltaic (OPV) technology has emerged as a potential cost-effective solution to produce electrical energy. The foreseen low manufacturing costs combined with features as semi-transparency ...
Sánchez Molina, David (Date of defense: 2013-11-07)
This dissertation is a research about the mechanical behavior of the human esophagus. This work is intended to be applied in the treatment of stenosis and other esophageal diseases that frequently require ...
Espinoza Román, Héctor Gabriel (Date of defense: 2015-05-08)
The present work is a compilation of the research produced in the field of wave propagation modeling. It contains in-depth analysis of stability, convergence, dispersion and dissipation of spatial, ...
Gajinov, Vladimir (Date of defense: 2014-11-20)
With the recent switch in the design of general purpose processors from frequency scaling of a single processor core towards increasing the number of processor cores, parallel programming became important ...