Mostrando ítems 1-20 de 595
Vecil, Francesco (Fecha de defensa: 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 (Fecha de defensa: 1992-06-30)
Herrero Zaragoza, Jose Ramón (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 2003-07-16)
Giorgiani, Giorgio (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 (Fecha de defensa: 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 ...
Garra Oronich, Ricard (Fecha de defensa: 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 ...
Pérez-Callejo, Elvira (Fecha de defensa: 2023-12-21)
We make progress on two open mathematical problems: the problem of algebraic integrability of polynomial foliations on $\mathbb{C}^2$ and the bounded negativity conjecture. For the first one, we identify $\mathbb{C}^2$ ...