pid,type,title,authors,mentors,source_title,published_date,url,doi,isbn,issn,eissn pmf:12910,dissertation,"Aksiomatizacije i modeli teorije NFU","Adlešić, Tin",,,,,,,, pmf:12781,thesis,"Segmentacija slika na točke, linije i rubove","Zaninović, Jelena",,,,,,,, pmf:12749,thesis,"Turingov stroj: web-aplikacija","Kocijan, Mislav",,,,,,,, pmf:12769,thesis,"Korutine u programskom jeziku C++","Zadravec, Matija",,,,,,,, pmf:12545,dissertation,"Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku","Horvat, Sebastijan",,,,,,,, pmf:12400,dissertation,"Izračunljivost poopćenih grafova","Jelić, Matea",,,,,,,, pmf:12616,thesis,"Interpreter za parcijalno rekurzivne funkcije","Eterović, Marko",,,,,,,, pmf:12617,thesis,"Pattern recognition by combining different classifiers","Jezidžić, Marin",,,,,,,, pmf:12629,thesis,"Problemi vizualizacije u teoriji grafova","Trupina, Viktorija",,,,,,,, pmf:12535,thesis,"Dokaz u srednjoškolskoj nastavi matematike pomoću programa dinamičke geometrije","Prah, Dora",,,,,,,, pmf:12570,thesis,"Quineovi ''Novi temelji'' teorije skupova","Zlatunić, Gabrijela",,,,,,,, pmf:12491,thesis,"Računalna formalizacija matematičkih dokaza","Čižić, Ivona",,,,,,,, pmf:12572,thesis,"Topološka svojstva poluizračunljivih skupova","Arvaj, Tea",,,,,,,, pmf:11809,thesis,"Coxov model proporcionalnih hazarda","Kolarek, Eva",,,,,,,, pmf:11892,thesis,"Klasifikacija proteinskih fragmenata","Radnić, Josipa",,,,,,,, pmf:11948,thesis,"Konstrukcija video igara u programskom paketu Unreal Engine","Terzanović, Mateja",,,,,,,, pmf:12613,thesis,"Metoda parcijalnih najmanjih kvadrata","Jurić Fot, Sanjin",,,,,,,, pmf:11185,thesis,"Elementarni aspekti neprekidnosti","Lujo, Lea",,,,,,,, pmf:11110,thesis,"Analiza bolne i bezbolne dijabetičke polineuropatije logističkom regresijom","Bošković, Paula",,,,,,,, pmf:11247,thesis,"Izračunljivost realnih funkcija","Staroverški, Petra",,,,,,,, pmf:10743,thesis,"Efikasne implementacije prioritetnog reda","Žanić, Mislav",,,,,,,, pmf:10719,thesis,"Hindmanov teorem","Drmić, Božidar Grgur",,,,,,,, pmf:10715,thesis,LOOP-izračunljivost,"Avirović, Ivan",,,,,,,, pmf:10598,dissertation,"Jedinstvenost struktura izračunljivosti","Validžić, Lucija",,,,,,,, pmf:10582,thesis,"Analiza proteinskih nizova iz CoViD-a 19","Mavrek, Iva",,,,,,,, pmf:10587,thesis,"Zbroj dva cjelobrojna kvadrata","Stjepanović, Josipa",,,,,,,, pmf:10495,thesis,"Generativne suparničke mreže i primjene","Peroš, Mate",,,,,,,, pmf:10482,thesis,"Lanczosova i Arnoldijeva metoda","Jandrić, Dolores",,,,,,,, pmf:10219,thesis,"Automatski dokazivači teorema","Živković, Alen",,,,,,,, pmf:10142,thesis,"Earleyev parser","Lončar, Luka",,,,,,,, pmf:10085,thesis,"Generalizacije i analogoni u geometriji","Časek, Sonja",,,,,,,, pmf:10210,thesis,"Programski jezik C0","Vinković, Vedran",,,,,,,, pmf:9840,thesis,"Evolucija koncepta umjetne inteligencije","Pantar, Antonija",,,,,,,, pmf:9817,thesis,"Kongruencije za binomne koeficijente","Grgić, Monika",,,,,,,, pmf:9844,thesis,"Prostorne baze podataka","Poljanić, Tea",,,,,,,, pmf:9686,dissertation,"On logics and semantics for interpretability","Mikec, Luka",,,,,,,, pmf:9351,thesis,"Binarni RAM--strojevi","Miletić, Jurica",,,,,,,, pmf:9352,thesis,"Krohn-Rhodesova teorija","Miošić, Ivan",,,,,,,, pmf:9331,thesis,"Prosti brojevi oblika \(x^2\)+\(ny^2\)","Andrašek, Alen",,,,,,,, pmf:9490,thesis,"Eksponencijalna funkcija i derivabilnost","Trajbar, Željka",,,,,,,, pmf:9378,thesis,"Elementarni aspekti izračunljivosti","Kraljević, Petra",,,,,,,, pmf:9379,thesis,"Maksimalne strukture izračunljivosti","Krmpotić, Ana",,,,,,,, pmf:9076,thesis,"Odlučivost modalnih logika","Bistrović, Tamara",,,,,,,, pmf:9072,thesis,"Ordinalni kalkulator","Bašić, Bjanka",,,,,,,, pmf:9026,thesis,"Lindströmov teorem za modalnu logiku","Krunić, Jakov",,,,,,,, pmf:9018,thesis,"Zornova lema i srodne tvrdnje","Gunja, Marin",,,,,,,, pmf:8807,thesis,"Klijentske web-aplikacije i biblioteka React","Šelendić, Matija",,,,,,,, pmf:8732,thesis,"Razvoj web-aplikacija baziran na testiranju","Rožić, Petra",,,,,,,, pmf:9477,thesis,"Algoritmi za standardnu translaciju modalnih formula","Skrinjar, Filip",,,,,,,, pmf:8467,thesis,"Opća svojstva konveksnog četverokuta","Žužul, Marija",,,,,,,, pmf:8373,thesis,"Turing--izračunljivost na prirodnim brojevima","Đerić, Bojana",,,,,,,, pmf:7664,thesis,"Strukture podataka i algoritmi u Pythonu","Barukčić, Maja Marija",,,,,,,, pmf:7773,thesis,"Elementarni aspekti integrabilnosti","Curman, Andreja",,,,,,,, pmf:7876,thesis,"Klasifikacija vjerojatnosnih algoritama","Peterfaj, Ana",,,,,,,, pmf:7775,thesis,"Topološki prostori izračunljivog tipa","Čelar, Matea",,,,,,,, pmf:6106,thesis,"Algoritam Timsort","Beg, Mislav",,,,,,,, pmf:6142,thesis,"Matematika salse","Drezga, Andrea",,,,,,,, pmf:5883,thesis,"Aproksimacijski algoritmi - klase složenosti i dizajn","Dujić, Marko",,,,,,,, pmf:5669,thesis,"Metoda tableauxa za modalnu logiku","Babić, Tin",,,,,,,, pmf:5990,thesis,"Aksiomi kompleksnih brojeva","Kralj, Lana",,,,,,,, pmf:6004,thesis,"Interpreter za lambda-račun","Lovnički, Sandro",,,,,,,, pmf:6034,thesis,"Kardinalnost skupova","Protega, Danijela",,,,,,,, pmf:6005,thesis,"Strojno učenje u nastavi informatike u prirodoslovnim gimnazijama","Ljubičić, Ivan",,,,,,,, pmf:6095,thesis,"Kombinatorna interpretacija verižnih razlomaka","Zelić, Anamarija",,,,,,,, pmf:5124,thesis,"Konvolucijske neuronske mreže","Džomba, Kristina",,,,,,,, pmf:5149,thesis,"Paralelne strukture podataka bez međusobnog isključivanja","Kalčićek, Eduard",,,,,,,, pmf:5097,thesis,"Prošireni modeli teorije skupova","Adlešić, Tin",,,,,,,, pmf:4761,thesis,"Modeliranje bioloških sekvenci dubokim neuronskim mrežama","Paliska, Ana",,,,,,,, pmf:4750,thesis,"Primjena neuronskih mreža u obradi slika","Levanić, Tomislav",,,,,,,, pmf:4606,thesis,"Homomorfna enkripcija i elektroničko glasovanje","Turković, Teo",,,,,,,, pmf:4605,thesis,"Java Spring","Sović, Iva",,,,,,,, pmf:3318,thesis,"Egzistencija realnih brojeva","Levanić, Vedran",,,,,,,, pmf:3494,thesis,"Gale-Shapleyev algoritam, varijacije i primjene","Mijoč, Ante",,,,,,,, pmf:3864,thesis,"Harmonija u realnom vremenu","Srnec, Filip",,,,,,,, pmf:3236,thesis,"Klijentske web-aplikacije i Angular","Grđan, Barbara",,,,,,,, pmf:2035,thesis,"LQR i LQG kontrola - teorija i primjene","Banušić, Gregor Boris",,,,,,,, pmf:2474,thesis,"Sustav za simboličko računanje u Haskellu","Čanadi, Vitomir",,,,,,,, pmf:3985,thesis,"Teorija izglednosti i rizik","Šlogar, Ana",,,,,,,, pmf:3231,thesis,"Trigonometrijske funkcijske jednadžbe","Filipašić, Melissa",,,,,,,, pmf:5674,thesis,"Izračunljivost u euklidskom prostoru","Babojelić, Renato",,,,,,,, pmf:953,thesis,"Konveksnost i optimizacija","Slišković, Marijana",,,,,,,, pmf:77,thesis,"Razvoj softvera vođen testiranjem","Bedeković, Hrvoje",,,,,,,, pmf:500,thesis,"Razvoj web aplikacija pomoću okruženja Ruby on Rails","Šumelj, Mara",,,,,,,, pmf:492,thesis,"Karakterizacija likova u dječjim pričama","Levačić, Gorana",,,,,,,, pmf:5396,thesis,"Izračunljivost na skupovima Z, Q, R i C","Posavčević, Ivan",,,,,,,, pmf:5495,thesis,"Skupovne interpretacije modalne logike","Kiršek, Filip",,,,,,,, pmf:5403,thesis,"Teorijski model računalnih virusa","Ivančić, Antonio",,,,,,,, pmf:5306,thesis,"Topološka potpunost logika dokazivosti","Mikec, Luka",,,,,,,, pmf:5470,thesis,"Repni indeks i zavisnost","Stipetić, Ognjen",,,,,,,, pmf:5564,thesis,"Simulacija rijetkih događaja","Vazdar, Vedrana",,,,,,,, pmf:5358,thesis,"Osnovni modeli rasta","Oremuš, Ivana",,,,,,,, pmf:5392,thesis,"Varijacijske nejednakosti","Pjanić, Matea",,,,,,,,