Recent Submissions

  • Thumbnail

    Verification of Concurrent Programs in Dafny 

    Mediero Iturrioz, Jon (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 ...
  • Thumbnail

    Teknibot Android App 

    Iriondo Azpiri, Ander (2017-11-27)
    Teknibot robotarekin urrutiko elkarrekintzaren lehenengo pausuak diren Android aplikazioa. Aplikaziotik Tekniboti gida lanak egiteko aginduak bidaltzeko aukera, honen lokalizazioa ikusteko aukera eta robotak duen kameraren ...
  • Thumbnail

    Simulación de telas mediante Sistemas de Partículas 

    Merino Bermejo, Ibon (2017-11-27)
    El objetivo principal de este proyecto es la creación de un sistema que simule de forma realista el comportamiento de telas basándose en un sistema de partículas. Para ello, se estudiarán las distintas técnicas de modelado ...
  • Thumbnail

    Reconocimiento facial mediante Matconvnet usando representación piramidal multinivel de imágenes 

    Ruiz Sandoval, Gontzal (2017-11-27)
    Este proyecto se centra en el uso de las redes neuronales convolutivas, mas específicamente, el uso de la herramienta Matconvnet para la extracción de vectores de características de una imagen facial y su posterior uso ...

View more