Now showing items 64-83 of 85

    Real-time quality visualization of medical models on commodity and mobile devices 

    Díaz García, Jesús (Date of defense: 2018-05-25)

    This thesis concerns the specific field of visualization of medical models using commodity and mobile devices. Mechanisms for medical imaging acquisition such as MRI, CT, and micro-CT scanners are continuously evolving, ...

    Realistic reconstruction and rendering of detailed 3D scenarios from multiple data sources 

    Argudo Medrano, Oscar (Date of defense: 2018-07-19)

    During the last years, we have witnessed significant improvements in digital terrain modeling, mainly through photogrammetric techniques based on satellite and aerial photography, as well as laser scanning. These techniques ...

    Regularized approximate policy iteration using kernel for on-line reinforcement learning 

    Esposito, Gennaro (Date of defense: 2015-06-17)

    By using Reinforcement Learning (RL), an autonomous agent interacting with the environment can learn how to take adequate actions for every situation in order to optimally achieve its own goal. RL provides a general ...

    Revolutionizing space mission event modeling with the Tychonis framework 

    Llopis, Marcel (Date of defense: 2023-12-14)

    (English) This thesis presents the Tychonis framework, a solution to the limitations faced by existing software packages used in space missions to identify geometric events. The framework is designed to integrate with ...

    Robust interactive simulation of deformable solids with detailed geometry using corotational FEM 

    Civit Flores, Óscar (Date of defense: 2016-02-01)

    This thesis focuses on the interactive simulation of highly detailed deformable solids modelled with the Corotational Finite Element Method. Starting from continuum mechanics we derive the discrete equations of motion and ...

    Simulation, animation and rendering of crowds in real-time 

    Beacco, Alejandro (Date of defense: 2014-12-11)

    Nowadays crowd simulation is becoming more important in computer applications such as building evacuation planning, training, videogames, etc., presenting hundreds or thousands of agents navigating in virtual environments. ...

    Size bounds for algebraic and semialgebraic proof systems 

    Hakoniemi, Tuomas (Date of defense: 2022-03-25)

    This thesis concerns the proof complexity of algebraic and semialgebraic proof systems Polynomial Calculus, Sums-of-Squares and Sherali-Adams. The most studied complexity measure for these systems is the degree of ...

    A soft computing decision support framework for e-learning 

    Castro Espinoza, Félix (Date of defense: 2018-06-21)

    Supported by technological development and its impact on everyday activities, e-Learning and b-Learning (Blended Learning) have experienced rapid growth mainly in higher education and training. Its inherent ability to break ...

    Specification, estimation and monitoring of quality-related software strategic indicators in agile software development 

    Manzano Aguilar, Martí (Date of defense: 2023-06-08)

    (English) In line with the current trend of exploiting corporative data, software companies, especially those using Agile and Rapid software development, are challenged to improve the quality of their products, their ...

    Structure discovery techniques for circuit design and process model visualization 

    San Pedro Martín, Javier de (Date of defense: 2017-10-27)

    Graphs are one of the most used abstractions in many knowledge fields because of the easy and flexibility by which graphs can represent relationships between objects. The pervasiveness of graphs in many disciplines means ...

    Supporting decentralized collaborative processes in the digital transformation 

    Sánchez Charles, David (Date of defense: 2017-09-18)

    Crowdsourcing, the art of involving several individuals in the decentralized execution of business activities, is being positioned as the replacement of outsourcing, as it allows organization to reach a capable workforce ...

    Supporting the context life cycle in service-oriented computing 

    Cabrera Bejar, Oscar Jair (Date of defense: 2017-06-19)

    Current software community players like academy and industry have been changing the traditional paradigms of software engineering towards context-awareness and distributed computing. Nowadays, service-oriented computing ...

    Synthesis of variability-tolerant circuits with adaptive clocking 

    Moreno Vega, Alberto (Date of defense: 2019-03-08)

    Improvements in circuit manufacturing have allowed, along the years, increasingly complex designs. This has been enabled by the miniaturization that circuit components have undergone. But, in recent years, ...

    Toward human-like pathfinding with hierarchical approaches and the GPS of the brain theory 

    Rahmani, Vahid (Date of defense: 2020-11-18)

    Pathfinding for autonomous agents and robots has been traditionally driven by finding optimal paths. Where typically optimality means finding the shortest path between two points in a given environment. However, optimality ...

    Towards adaptative monitoring for self-adaptative systems 

    Zavala, Edith (Date of defense: 2019-07-05)

    Nowadays, most of the approaches supporting self-adaptive systems (SASs) rely on static feedback control loops, for managing their adaptation process. One of the most popular feedback loops is the MAPE-K loop. In this loop, ...

    Towards more reliable feature evaluations for classification 

    Prat Masramon, Gabriel (Date of defense: 2016-02-01)

    In this thesis we study feature subset selection and feature weighting algorithms. Our aim is to make their output more stable and more useful when used to train a classifier. We begin by defining the concept of stability ...

    Towards the automation of colon segmentation in magnetic resonance images 

    Orellana Bech, Bernat (Date of defense: 2024-03-07)

    (English) The study of the colonic volume has strong relevance in gastroenterology and contributes to the diagnosis and research of lowseverity diseases such as constipation, diarrhea, or Irritable Bowel Syndrome. In the ...

    Tree automata with constraints and tree homomorphisms 

    Creus López, Carles (Date of defense: 2016-05-24)

    Automata are a widely used formalism in computer science as a concise representation for sets. They are interesting from a theoretical and practical point of view. This work is focused on automata that are executed on ...

    Unsupervised entity linking using graph-based semantic similarity 

    Naderi, Ali M. (Date of defense: 2016-02-10)

    Nowadays, the human textual data constitutes a great proportion of the shared information resources such as World Wide Web (WWW). Social networks, news and learning resources as well as Knowledge Bases (KBs) are just the ...

    Using natural language processing for question answering in closed and open domains 

    Latifi, Majid (Date of defense: 2018-05-25)

    With regard to the growth in the amount of social, environmental, and biomedical information available digitally, there is a growing need for Question Answering (QA) systems that can empower users to master this new wealth ...