Browsing by Subject "51"
Now showing items 1-20 of 595
A contribution to the simulation of Vlasov-based models
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 ...
A framework for efficient execution of matrix computations
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 ...
A kinematic-geometric approach to spatial interpretation of line drawings
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 ...
A new approach to Decimation in High Order Boltzmann Machines
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 ...
A new invariant for C*-algebras
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 ...
A satisfiability modulo theories approach to constraint programming
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 ...
A theoretical and computational study of the active self-organization of nematic patterns in thin cytoskeletal layers and their effect on curvature
(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, ...
A type-theoretic approach to proof support for algebraic design frameworks
A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC <br/> DESIGN FRAMEWORKS<br/><br/><br/> En el desarrollo formal de software, ...
Absolute quantification in brain SPECT imaging
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) ...
Action Selection in Cooperative Robot Soccer using Case-Based Reasoning
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 ...
Active and interactive learning strategies for error-tolerant graph matching
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, ...
Active contours for intensity inhomogeneous image segmentation
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 ...
Adaptive hybrid discontinuous methods for fluid and wave problems
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 ...
Advanced and natural interaction system for motion-impaired users
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 ...
Advanced cryptographic techniques for building verifiable and transparent electronic voting protocols
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. ...
Advanced stock price models, concave distortion functions and liquidity risk in finance
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 ...
Algebraic Curves and Cryptographic Protocols for the e-society
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 ...
Algebraic integrability of foliations by extension to Hirzebruch surfaces. Applications to bounded negativity.
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$ ...
