Search
Now showing items 1-10 of 53
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 ...
Visual SLAM using straight lines
(2013-09-24)
The present thesis is focuses on the problem of Simultaneous Localisation and
Mapping (SLAM) using only visual data (VSLAM). This means to concurrently estimate the position of a moving camera and to create a consistent ...
MapCar: Prototipo de vehículo dirigido con capacidad de captar datos del entorno
(2016-10-26)
En este proyecto de fin de grado se pretende desarrollar un prototipo de un vehículo que permita captar y manipular cierta información del entorno. Al tratarse de un proyecto de la especialidad ingeniería de software, ...
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 ...