Ara mostrant els elements 1-20 de 70

    A data-driven approach to prescribe web API evolution 

    Koçi, Rediana (Data de defensa: 2024-01-23)

    (English) In the last two decades, the use of web Application Programming Interfaces (APIs) has grown exponentially, providing both consumers (software developers) and providers (companies and institutions that expose their ...

    A filtering engine for large conceptual schemas 

    Villegas Niño, Antonio (Data de defensa: 2013-01-29)

    A method for the unified definition and treatment of conceptual schema quality issues 

    Aguilera Moncusí, David (Data de defensa: 2014-06-06)

    The modern world is software-intensive. National infrastructures, smartphones and computers, health-care systems, e-commerce... everything is run by software. Therefore, developing high-quality software solutions is essential ...

    An adaptive, fault-tolerant system for road network traffic prediction using machine learning 

    Mena-Yedra, Rafael (Data de defensa: 2020-03-06)

    This thesis has addressed the design and development of an integrated system for real-time traffic forecasting based on machine learning methods. Although traffic prediction has been the driving motivation for the thesis ...

    Advanced inspection techniques for molecular simulations 

    Hermosilla Casajús, Pedro (Data de defensa: 2017-07-13)

    Molecular dynamics simulations are computer simulations of the physical movements of atoms and molecules, and the interactions between them. In the particular cases we focus on (pharmaceutical drug design and enzymatic ...

    Advanced interaction techniques for medical models 

    Monclús, Eva (Data de defensa: 2014-07-15)

    Advances in Medical Visualization allows the analysis of anatomical structures with the use of 3D models reconstructed from a stack of intensity-based images acquired through different techniques, being Computerized ...

    Algebraic dependency grammar 

    Cardó, Carles, 1975- (Data de defensa: 2018-03-15)

    We propose a mathematical formalism called Algebraic Dependency Grammar with applications to formal linguistics and to formal language theory. Regarding formal linguistics we aim to address the problem of grammaticality ...

    Algorithmic techniques for physical design : macro placement and under-the-cell routing 

    Vidal Obiols, Alexandre (Data de defensa: 2020-01-24)

    With the increase of chip component density and new manufacturability constraints imposed by modern technology nodes, the role of algorithms for electronic design automation is key to the successful implementation of ...

    Algorithms and methodologies for interconnect reliability analysis of integrated circuits 

    Jain, Palkesh (Data de defensa: 2017-05-05)

    The phenomenal progress of computing devices has been largely made possible by the sustained efforts of semiconductor industry in innovating techniques for extremely large-scale integration. Indeed, gigantically integrated ...

    Algorithms for the reconstruction, analysis, repairing and enhancement of 3D urban models from multiple data sources 

    Comino Trinidad, Marc (Data de defensa: 2020-12-22)

    Over the last few years, there has been a notorious growth in the field of digitization of 3D buildings and urban environments. The substantial improvement of both scanning hardware and reconstruction algorithms has led ...

    Analysis of partial match queries in multidimensional search trees 

    Lau Laynes-Lozada, Gustavo Salvador (Data de defensa: 2019-11-29)

    The main contribution of this thesis is to deepen and generalize previous work done in the average-case analysis of partial match queries in several types of multidimensional search trees. In particular, our focus has been ...

    Artifact-centric business process models in UML : specification and reasoning 

    Estañol, Montserrat (Data de defensa: 2016-04-29)

    Business processes are directly involved in the achievement of an organization's goals, and for this reason they should be performed in the best possible way. Modeling business processes can help to achieve this as, for ...

    Automatic program analysis using Max-SMT 

    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 programs, the approach ...

    Automatic synthesis and optimization of chip multiprocessors 

    Nikitin, Nikita (Data de defensa: 2013-04-05)

    The microprocessor technology has experienced an enormous growth during the last decades. Rapid downscale of the CMOS technology has led to higher operating frequencies and performance densities, facing the fundamental ...

    Bridging the gap between textual and formal business process representations 

    Sànchez-Ferreres, Josep (Data de defensa: 2021-09-29)

    In the era of digital transformation, an increasing number of organizations are start ing to think in terms of business processes. Processes are at the very heart of each business, and must be understood and carried out ...

    Cluster evaluation on weighted networks 

    Renedo Mirambell, Martí (Data de defensa: 2023-03-28)

    (English) This thesis presents a systematic approach to validate the results of clustering methods on weighted networks, particularly for the cases where the existence of a community structure is unknown. Including edge ...

    Conformance checking and diagnosis in process mining 

    Muñoz Gama, Jorge (Data de defensa: 2014-12-19)

    In the last decades, the capability of information systems to generate and record overwhelming amounts of event data has experimented an exponential growth in several domains, and in particular in industrial scenarios. ...

    Construction and technological development of immersive virtual reality for pain therapy 

    Álvarez de la Campa Crespo, Mercè (Data de defensa: 2023-06-29)

    (English) Virtual reality (VR) allows not only to easily change the perceived scenario but also to control several factors associated with the sense of being in an embodied virtual avatar that would not be achievable in ...

    Contribution to structural parameters computation: volume models and methods 

    Cruz Matías, Irving Alberto (Data de defensa: 2014-01-13)

    Bio-CAD and in-silico experimentation are getting a growing interest in biomedical applications where scientific data coming from real samples are used to compute structural parameters that allow to evaluate physical ...

    Contributions to the interactive visualization of medical volume models in mobile devices 

    Campoalegre Vera, Lázaro (Data de defensa: 2014-07-11)

    With current medical imaging improvements, specialists are being able to obtain correct information of anatomical structures of the human organism. By using different image visualization techniques, experts can obtain ...