Search
Now showing items 1-9 of 9
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 ...
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 ...
Flight delay forecast due to weather using Data Mining
(2015-10-15)
A Data Mining model that is able to predict if a flight is going to leave late due to a weather delay. It is used, to be able to get a later connection if you have a connecting flight.
Generación de patrones de costura a medida mediante Kinect y Makehuman
(2016-10-26)
This document corresponds to the End of Bachelor's Project Report (Memoria del Proyecto de Fin de Grado), Generation of sewing patterns using the Kinect and MakeHuman, developed for the Faculty of Computer Engineering at ...
Analysis of facial expressions in children: Experiments based on the DB Child Affective Facial Expression (CAFE)
(2016-10-26)
Analysis of facial expressions in children of 2 to 8 years old, and identification of emotions.Language: English.
Interactive and collaborative creation of stories
(2016-10-26)
Esta memoria contiene la definición de una estructura capaz de guardar historias de una
manera comprensible y coherente, que facilitará la investigación y el desarrollo de software.
También contiene la implementación de ...
Trainable superpixel segmentation
(2018-10-15)
Trainable Superpixel Segmentation is a plug-in developed for the ImageJ platform that aims at providing its users with the ability to train models to segment images by classifying superpixels using region-based image ...