Departament de Ciències de la Computació: Recent submissions
Now showing items 1-20 of 90
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, ...
Value engineering for autonomous agents
(English) The topic of this thesis is the engineering of values for autonomous agents. This is realised through the formulation, design and implementation of new functionalities for autonomous agents that enable reasoning ...
Towards a linearly organized embedding space of biological networks
(English) The recent technological advances in high-throughput sequencing have yielded vast amounts of large-scale biological omics data that describe different aspects of cellular functioning. These omics data are typically ...
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 ...
DA&AI supporting tools for gas turbine’s efficiency improvement: maintenance, operation modes and performance enhancement
(English) Digitalization has revolutionized many industries, including the power generation sector. The availability of a vast amount of data from various systems has transformed decision-making processes in Industry. ...
Assessing biases through mosaic attributions
(English) Machine learning and, more specifically, deep learning applications have grown in number in recent years. These intelligent systems have shown remarkable performance across various domains, including sensitive ...
A methodology for the automation of building intelligent process control systems
(English) One of the major problems to design and implement control and supervision systems for real-world processes lies in the need to stablish an ad-hoc solution for each process, i.e., environmental systems in this ...
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 ...
Causal discovery and prediction: methods and algorithms
(English) This thesis focuses on the discovery of causal relations and on the prediction of causal effects. Regarding causal discovery, this thesis introduces a novel and generic method to learn causal graphs by performing ...
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 ...
New data integration methods for drug re-purposing by mining heterogeneous omics data
(English) High-throughput omics technologies produce large-scale heterogeneous data that provide complementary views of the underlying complexity of the studied organism. To exploit these new data to answer biomedical ...
A novel soft computing approach based on FIR to model and predict energy dynamic systems
We are facing a global climate crisis that is demanding a change in the status quo of how we produce, distribute and consume energy. In the last decades, this is being redefined through Smart Grids(SG), an intelligent ...
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 ...
A novel computer Scrabble engine based on probability that performs at championship leve
The thesis starts by giving an introduction to the game of Scrabble, then mentions state-of-the-art computer Scrabble programs and presents some characteristics of our developed Scrabble engine Heuri. Some brief notions ...
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 ...
