Ara mostrant els elements 2081-2090 de 3265
Larraz Hurtado, Daniel (Data 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à (Data 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 (Data 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 (Data 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 (Data 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 (Data 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 (Data 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 (Data 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 (Data 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 (Data 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 ...