Mostrando ítems 2081-2090 de 3273
Larraz Hurtado, Daniel (Fecha de defensa: 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à (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 ...