Search
Now showing items 1-10 of 32
Verification of Concurrent Programs in Dafny
(2017-11-27)
This report documents the Bachelor’s End Project of Jon Mediero Iturrioz for the Bachelor in Informatics Engineering of the UPV/EHU. The project was made under the supervision of Francisca Lucio Carrasco.
The project ...
Treewidth: theory and applications to computer science
(2015-10-15)
This report is an introduction to the concept of treewidth, a property of graphs
that has important implications in algorithms. Some basic concepts of graph
theory are presented in the first chapter for those readers that ...
About tree-depth
(2015-10-15)
In this work I present recent scientific papers related to the concept of tree-depth: different
characterizations, a game theoretic approach to it and recently discovered applications.
The focus in this work is presenting ...
GeRnika: simulating, visualizing and comparing tumor evolution data
(2021-10-08)
Cancer is a collection of genetic diseases based on the uncontrollable division of cells and their spreading into surrounding tissues, caused by changes in DNA. This process leads to the overcrowding of altered cells that ...
Deep learning for semantic parsing
(2020-12-04)
This is the memory of an exploratory research project on techniques for reasoning on text with Deep Learning (DL). To study reasoning we focus on the problem of Natural Language Question-Understanding (NLQU), and in ...
Approaching deep learning based object detection in microscopy images to non-expert users
(2021-10-08)
In this project, we have first carried out a study of the state of the art in object detection with Deep Learning, and then we have designed and implemented an approach that is oriented to be run in a cloud service by ...
Solution for the management of several clinical practice guidelines in a domain-independent decision support system
(2021-10-08)
Malnutrition is a very frequent and serious problem in humans, even more in the elderly.
Advanced age brings with it a series of physiological (e.g., swallowing or chewing problems) and psychological changes that can be ...
BCI system for motor imagery classification using convolutional neural networks
(2021-10-08)
The following project aims to analyze the ability of Convolutional Neural Networks(CNNs) to discriminate raw Electroencephalographic (EEG) signals for Brain-computer interfaces (BCI), in order to develop a solid and reliable ...
Inferring pictures layout from given text descriptions
(2021-10-08)
The contributions of this project consists of two systems that use a structured version
of the text based on graphs and processed by a GCNN. The first one, called SG2BB that
obtains directly the bounding boxes of the ...
One-Class models for the prognosis of COVID-19 infection outcome
(2021-10-08)
This project aims to address the prognosis prediction problem for COVID-19 patients making use of One-Class Classification techniques. Data retrieved from Spanish hospitals has been used for the development of models in ...