Search
Now showing items 1-10 of 20
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, ...
Home-Automation System
(2012-11-09)
Nuestro proyecto trata de obtener un sistema centralizado para el manejo y monitorización de un conjunto de aparatos eléctricos del hogar, tales como luces, cámaras, sensores, y otros aparatos mediante una aplicación
para ...
Kharon: a self-hosted, open source and lightweight directory synchronization application
(2016-10-26)
The objective of this project is to develop an open source application, which allows synchronizing a directory in real time, between a client and a server. Kharon has been built using cutting edge libraries and tools, such ...
An experiment on melody training for amateur musical instrument players
(2016-10-26)
The long term goal of the research started in this project is to develop systems able to assist people training to sing or hum melodies, or play them on musical instruments. The current project will focus on single instrument ...
Quantitative real-time PCR data analysis with R
(2017-06-19)
This dissertation covers an introduction to the field of qPCR data analysis using the state-of-the-art R programming language. qPCR analyses genomic data based on the DNA replication. After showing a set of basic biological ...