Search
Now showing items 1-2 of 2
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 ...
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 ...