ItzuliZerrendatu 1.1 Trabajos fin de grado - Computación honen arabera: izenburua
178-tik 173-178 emaitza erakusten
-
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 ... -
Web aplikazioen berfaktorizazioa Software Produktu-Lerro bat garatuz
(2019-10-17)Proiektu honen helburu nagusia EHUko Onekin ikerketa taldean lan egiten duen Haritz Medinak garatutako Highlight&Go, Mark&Go eta Review&Go aplikazioak garatzeko balio duen Software Produktu-Lerro bat garatzea da. Hori ... -
-
Zabot: zabor sailkatzaile robotikoa
(2023-11-28)[EU] Zabot proiektua inguruko zaborra hautemateko, jasotzeko eta zakarrontzi egokian uzteko gai den beso robotiko baten instalazioa eta kontrola gauzatzean datza. -
Zenbakizko datuetan oinarritutako problema NP-Osoen Boolean SATisfiability problemarako laburketa bidezko ebazpenerako sistema
(2023-11-28)Subset Sum eta Knapsak problemetatik SAT problemarako laburketa sistema garatu da. Ondoren, web aplikazio bat sortu da, bi problema hauek ebazten dituena, eta, emaitza grafikoki iruduikatzen da. Euskaraz egin da proiektua. -
Zuhaitz kontsolidatu partzialik hoberena garatzeko irizpide desberdinen azterketa
(2023-11-28)Proiektu honen helburua ALDAPA taldeak diseinatutako PCTBagging (\textit{Partially Consolidated Tree Bagging}) algoritmoaren aldaera berri bat WEKA plataforman inplementatzea da. PCTBagging gidatua izeneko algoritmo ...