Now showing items 1-20 of 599
Vecil, Francesco (Date of defense: 2007-12-17)
Esta tesis está dedicada al desarrollo, aplicación y test de métodos para la simulación numérica de problemas procedentes de la física y de la ingeniería electrónica. La principal herramienta aplicada a lo largo de todo ...
Codina Rovira, Ramon (Date of defense: 1992-06-30)
Herrero Zaragoza, Jose Ramón (Date of defense: 2006-07-07)
Matrix computations lie at the heart of most scientific computational tasks. The solution of linear systems of equations is a very frequent operation in many fields in science, engineering, surveying, physics and ...
Ros, Lluís (Date of defense: 2000-11-14)
This Thesis contributes with new algorithms for line drawing interpretation. A line drawing is a 2D diagram of vertices and straight edges aiming to depict a polyhedral 3D scene. Given one such drawing we usually want ...
Farguell Matesanz, Enric (Date of defense: 2011-01-20)
La Màquina de Boltzmann (MB) és una xarxa neuronal estocàstica amb l'habilitat tant d'aprendre com d'extrapolar distribucions de probabilitat. Malgrat això, mai ha arribat a ser tant emprada com d'altres models de xarxa ...
Cantier, Laurent (Date of defense: 2020-10-02)
L'objectiu principal d'aquesta tesi és l'estudi d'un nou invariant per a C*-àlgebres, anomenat el semigrup Cu1. La classificació de C*-àlgebres ha guanyat molt terreny durant les últimes dècades. En aquests treballs destaquen ...
Suy Franch, Josep (Date of defense: 2012-12-20)
In this thesis we focus on solving CSPs using SMT. Essentially, what we do is reformulating CSPs into SMT. The obtained results allow us to conclude that state-of-the-art SMT solvers are a robust tool to solve CSPs. We ...
Mirza, Waleed Ahmad (Date of defense: 2023-02-16)
(English)The structure and dynamics of important biological systems, ranging from cytoskeletal gels to tissues, are controlled by an interplay between activity, dissipation, nematic order, density, and geometry. In particular, ...
Mylonakis Pascual, Nicos (Date of defense: 2000-06-30)
A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC <br/> DESIGN FRAMEWORKS<br/><br/><br/> En el desarrollo formal de software, ...
Cot Sanz, Albert (Date of defense: 2003-12-17)
Certes malalties neurològiques estan associades amb problemes en els sistemes de neurotransmissió. Una aproximació a l'estudi d'aquests sistemes és la tomografia d'emissió SPECT (Single Photon Emission Computed Tomography) ...
Ros Espinoza, Raquel (Date of defense: 2008-03-31)
La tasca de dissenyar el mecanisme de presa de decisions d'un equip de robots és un gran repte, no només per la complexitat de l'entorn en el qual els robots realitzen les seves tasques, que comporta incertesa, dinamicitat ...
Cortés Llosa, Xavier (Date of defense: 2016-07-15)
Els grafs, són un tipus de dades que ens permet emmagatzemar la informació estructural d’un objecte conferint-nos la possibilitat de representar patrons que degut a la seva pròpia naturalesa requereixen d’aquesta particularitat, ...
Akram, Farhan (Date of defense: 2017-07-06)
La “inhomogeneidad” (falta d'homogeneïtat) d'intensitat és un problema ben conegut en la segmentació d'imatges, la qual cosa afecta la precisió dels mètodes de segmentació basats en la intensitat. En aquesta tesi, es ...
Cuadrado Gavilán, Sílvia (Date of defense: 2003-07-16)
Giorgiani, Giorgio (Date of defense: 2013-04-02)
This PhD thesis proposes a p-adaptive technique for the Hybridizable Discontinuous Galerkin method (HDG). The HDG method is a novel discontinuous Galerkin method (DG) with interesting characteristics. While retaining all ...
Manresa Yee, Cristina Suemay (Date of defense: 2009-09-30)
Human-computer interaction is an important area that searches for better and more comfortable systems to promote communication between humans and machines. Vision-based interfaces can offer a more natural and appealing way ...
Escala Ribas, Alex (Date of defense: 2017-07-21)
Electronic voting presents many challenges due to its multiple security requirements. Some of the challenges are related to guaranteeing voters' privacy and system's transparency, which are hard to satisfy simultaneously. ...
Junike, Gero Quintus Rudolf (Date of defense: 2019-02-20)
Esta tesis consta de tres ensayos. En el primer ensayo, probamos empíricamente el desempeño de los precios de varios modelos financieros avanzados para opciones exóticas. Calibramos seis modelos avanzados para precios de ...
Mota Bertran, Anna (Date of defense: 2024-03-06)
This doctoral thesis addresses the relationship between the air pollutants particulate matter (PM10), nitrogen dioxide (NO2), ozone (O3), sulphur dioxide (SO2), carbon monoxide (CO), and mental disorders in children and ...
Garra Oronich, Ricard (Date of defense: 2018-09-14)
Amb l'augment permanent de l'adopció de sistemes intel·ligents de tot tipus en la societat actual apareixen nous reptes. Avui en dia quasi tothom en la societat moderna porta a sobre almenys un telèfon intel·ligent, si no ...