Programa de Doctorat en Computació: Recent submissions
Now showing items 1-20 of 70
Theory, algorithms and applications of linear arrangements of trees: generation, expectation and optimization
(English) A successful approach to represent the syntactic structure of sentences in Computational Linguistics, founded in the theory developed by Tesnière, is that of syntactic dependency tree. Pairs of vertices of ...
Dynamic terrain modeling
(English) This work explores terrain modelling techniques that provide a comprehensive experience in terms of graphical representation, physics interaction and dynamic updates in real-time. In particular, our focus revolves ...
IoT semantic-based monitoring of infrastructures using a microservices architecture
(English) The Internet of Things (IoT) is a powerful new paradigm that has the potential to transform the way we live, work, and interact with our surroundings. IoT devices are equipped with sensors, software, and communication ...
Natural language processing methods for document-based requirements specification and validation tasks
(English) Requirements engineering (RE) is fundamental to successful software development, especially in modern, large-scale projects. Efficient management of text-based artefacts is key to accurate elicitation, refinement, ...
Towards the automation of colon segmentation in magnetic resonance images
(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 ...
A data-driven approach to prescribe web API evolution
(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 ...
Revolutionizing space mission event modeling with the Tychonis framework
(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 ...
Specification, estimation and monitoring of quality-related software strategic indicators in agile software development
(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 ...
Construction and technological development of immersive virtual reality for pain therapy
(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 ...
Cluster evaluation on weighted networks
(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 ...
On-the-fly synthesizer programming with rule learning
This manuscript explores automatic programming of sound synthesis algorithms within the context of the performative artistic practice known as live coding. Writing source code in an improvised way to create music or visuals ...
Size bounds for algebraic and semialgebraic proof systems
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 ...
Human-aware application of data science techniques
In recent years there has been an increase in the use of artificial intelligence and other data-based techniques to automate decision-making in companies, and discover new knowledge in research. In many cases, all this has ...
Walking with virtual humans : understanding human response to virtual humanoids' appearance and behaviour while navigating in immersive VR
In this thesis, we present a set of studies whose results have allowed us to analyze how to improve the realism, navigation, and behaviour of the avatars in an immersive virtual reality environment. In our simulations, ...
Bridging the gap between textual and formal business process representations
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 ...
Network creation games: structure vs anarchy
In an attempt to understand how Internet-like network and social networks behave, different models have been proposed and studied throughout history to capture their most essential aspects and properties. Network Creation ...
Algorithms for the reconstruction, analysis, repairing and enhancement of 3D urban models from multiple data sources
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 ...
Toward human-like pathfinding with hierarchical approaches and the GPS of the brain theory
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 ...
An adaptive, fault-tolerant system for road network traffic prediction using machine learning
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 ...
Data analysis through graph decomposition
This work is developed within the field of data mining and data visualization. Under the premise that many of the algorithms give as result huge amounts of data impossible to handle for the users, we work with the ...
