pid,type,title,authors,mentors,source_title,published_date,url,doi,isbn,issn,eissn
pmf:12545,dissertation,"Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku","Horvat, Sebastijan",,,,,,,,
pmf:12628,thesis,"Metode interpretacije, kvazimodela i mozaika za dokazivanje odlučivosti modalnih logika","Sokolaj, Iva",,,,,,,,
pmf:12262,"other document type","Red predavanja 2023./2024.",,,,,,,,,
pmf:12591,thesis,"Konačni automati kao model evaluacije za upite na grafovima","Dujić, Mateo",,,,,,,,
pmf:12605,thesis,"Randomizirana metoda optimizacije ADAM","Marić, Igor",,,,,,,,
pmf:12611,thesis,"Rekurzija u nastavi informatike","Wrigley-Pimley-McKerr, Karmela",,,,,,,,
pmf:11180,thesis,"Definicije u nastavi matematike u osnovnoj i srednjoj školi","Kraš, Valentina",,,,,,,,
pmf:11255,thesis,"O matematici digitalnog potpisa","Šarić, Rebeka",,,,,,,,
pmf:11188,thesis,"Složenost modalnih logika","Marciuš, Helena",,,,,,,,
pmf:10719,thesis,"Hindmanov teorem","Drmić, Božidar Grgur",,,,,,,,
pmf:12261,"other document type","Red predavanja 2022./2023.",,,,,,,,,
pmf:10592,thesis,"Pascalov trokut","Marijanović, Katarina",,,,,,,,
pmf:10483,thesis,"Algoritamske i implementacijske optimizacije pristupa za traženje redeskripcija CLUS-RM","Jukić, Ivan",,,,,,,,
pmf:10304,thesis,"Numerička i teorijska analiza epidemiološkog SIR modela i inačica","Pleskina, Marijeta",,,,,,,,
pmf:10301,thesis,"Serverska strana web-aplikacija i JavaScript","Novak, Lorena",,,,,,,,
pmf:10296,thesis,"Traženje podgrupa iz višepoglednih podataka","Martinić, Mislav",,,,,,,,
pmf:10197,thesis,"Kategorička logika","Šestak, Teo",,,,,,,,
pmf:10134,thesis,"Relacije i funkcije u srednjoškolskoj nastavi matematike","Kujundžić, Marija",,,,,,,,
pmf:10201,thesis,"Skupovi u nastavi matematike u osnovnoj i srednjoj školi","Šobak, Iva",,,,,,,,
pmf:10219,thesis,"Automatski dokazivači teorema","Živković, Alen",,,,,,,,
pmf:12260,"other document type","Red predavanja 2021./2022.",,,,,,,,,
pmf:9686,dissertation,"On logics and semantics for interpretability","Mikec, Luka",,,,,,,,
pmf:9333,thesis,"Hestonov model stohastičke volatilnosti","Begić, Marija",,,,,,,,
pmf:9335,thesis,"Paradoksi i učeničke konceptualne poteškoće u teoriji vjerojatnosti","Dugandžić, Ana",,,,,,,,
pmf:9363,thesis,"Realna kvadratna proširenja","Sindičić, Lovro",,,,,,,,
pmf:9446,thesis,"Kut, krug i kružnica u nastavi matematike","Šenjuk, Anja",,,,,,,,
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:8905,thesis,"Izračunljive strukture","Vreš, Maja",,,,,,,,
pmf:8703,thesis,"Metode strojnog učenja u predviđanju najniže svojstvene vrijednosti Laplaceovog operatora","Penzar, Davor",,,,,,,,
pmf:8794,thesis,"Sinkroni mrežni algoritmi","Petrović, Katarina",,,,,,,,
pmf:9477,thesis,"Algoritmi za standardnu translaciju modalnih formula","Skrinjar, Filip",,,,,,,,
pmf:8436,thesis,"Interpretabilnost modela dubokog učenja","Ravlić, Domagoj",,,,,,,,
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:8354,thesis,"Linearna regresija u aktuarstvu","Škiljan, Paula",,,,,,,,
pmf:7657,thesis,"Funkcije i njihov grafički prikaz u srednjoškolskoj nastavi matematike","Terzić, Filip",,,,,,,,
pmf:6225,thesis,"Integrali funkcija jedne varijable u srednjoškolskoj nastavi matematike","Brekalo, Lucija",,,,,,,,
pmf:7323,thesis,"Linearna regresija u srednjoškolskoj nastavi matematike","Meštrić, Lenka",,,,,,,,
pmf:7327,thesis,"Linearno programiranje u srednjoškolskoj nastavi matematike","Mustapić, Tomislava",,,,,,,,
pmf:6145,thesis,"Kelvinova kapaljka","Horvat, Martina",,,,,,,,
pmf:5883,thesis,"Aproksimacijski algoritmi - klase složenosti i dizajn","Dujić, Marko",,,,,,,,
pmf:5669,thesis,"Metoda tableauxa za modalnu logiku","Babić, Tin",,,,,,,,
pmf:5680,thesis,"Primjena koordinatne metode u planimetriji","Barać, Katarina",,,,,,,,
pmf:5983,thesis,"Redovi brojeva i konvergencija","Kolačko, Lucija",,,,,,,,
pmf:6013,thesis,"Demonstracijski pokusi u nastavi fizike: kvantna fizika u osnovnoj školi","Maruna, Petra",,,,,,,,
pmf:5947,thesis,"Kartezijanski zatvorene kategorije","Henezi, Nikola",,,,,,,,
pmf:5690,thesis,"Terenska nastava fizike: posjet znanstvenom laboratoriju","Bračun, Snježana",,,,,,,,
pmf:5696,thesis,"Van Benthem-Rosenov teorem","Brkić, Martin",,,,,,,,
pmf:6072,thesis,"Položaj realnih nultočaka polinoma","Vinceljak, Lucija",,,,,,,,
pmf:6008,thesis,"Redukcija dimenzije parametarski ovisnih nelinearnih sustava","Manojlović, Iva",,,,,,,,
pmf:5122,thesis,"Filtri i ultrafiltri","Dujaković, Andrija",,,,,,,,
pmf:5129,thesis,"Modalna potpunost logika interpretabilnosti","Horvat, Sebastijan",,,,,,,,
pmf:5098,thesis,"Tokovi najmanjeg troška i tokovi maksimalne vrijednosti","Barbiš, Apolinar",,,,,,,,
pmf:6027,thesis,"Učenje istraživanjem na primjeru sadržajnog područja geometrije","Pintarić, Monika",,,,,,,,
pmf:5777,dissertation,"Izračunljivost skupova s nepovezanim komplementima","Pažek, Bojan",,,,,,,,
pmf:4759,thesis,"Algoritmi u nastavi informatike u gimnazijama","Milišić, Ivan",,,,,,,,
pmf:4758,thesis,"Deep machine learning for syntactic annotation projection","Marić, Tina",,,,,,,,
pmf:4650,thesis,"Semi-supervised neural part-of-speech tagging","Britvić, Tihana",,,,,,,,
pmf:3493,thesis,"Polimodalna logika dokazivosti GLP","Matijašević, Ivo",,,,,,,,
pmf:7872,thesis,"Parcijalno rekurzivni funkcionali","Pavlović, Andrej",,,,,,,,
pmf:3820,thesis,"Statistička analiza kineskog dioničarskog tržišta","Peula, Ivan",,,,,,,,
pmf:4026,thesis,"Vizualizacija kompleksnih funkcija","Šömen, Lucija",,,,,,,,
pmf:3234,thesis,"NoSQL baze podataka","Gačić, Jaka",,,,,,,,
pmf:3243,thesis,"Razvoj aplikacija za operacijski sustav Android","Haberl, Silva",,,,,,,,
pmf:3233,thesis,"Pokusi sa strujnim krugovima u osnovnoj školi","Franić, Nives",,,,,,,,
pmf:3824,thesis,"Poželjne karakteristike jezika za poučavanje programiranja u osnovnoj školi","Radošević, Matea",,,,,,,,
pmf:990,thesis,"Crveno-crna stabla","Vujičić, Barbara",,,,,,,,
pmf:843,thesis,"Neki aspekti iterativnog pretraživanja proteoma","Kobovac, Mihaela",,,,,,,,
pmf:576,thesis,"Optimizacija na matroidu","Badrov, Nikola",,,,,,,,
pmf:5561,thesis,"Konvergencija cikličke Jacobijeve metode za hermitsku matricu reda 4","Valentić, Grgur",,,,,,,,
pmf:5372,thesis,"Spektralno klasteriranje","Pelin, Helena",,,,,,,,
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:5569,thesis,"Razvoj geometrijskog mišljenja u nastavi matematike u osnovnoj školi","Kovačević, Petra",,,,,,,,
pmf:5662,thesis,"Učenje rješavanjem problema - problemska nastava matematike na primjeru sadržajnog područja Podatci","Šutalo, Juraj",,,,,,,,
pmf:5517,thesis,Fibonometrija,"Šoltić, Klara",,,,,,,,
pmf:5398,thesis,"Transcendentni brojevi","Pošpaić, Ana - Marija",,,,,,,,
pmf:5465,thesis,"Algoritmi za podudaranje znakovnih nizova","Souček, Amalia",,,,,,,,
pmf:5452,thesis,"Algebarski pristup iterativnim metodama tangente i sekante","Sačić, Marko",,,,,,,,
pmf:1235,thesis,"Izrada strategija trgovanja električnom energijom u Njemačkoj korištenjem metode potpornih vektora","Balaško, Lea",,,,,,,,
pmf:5726,dissertation,"Izračunljivost 1-mnogostrukosti","Burnik, Konrad",,,,,,,,
pmf:5356,thesis,"Poravnanje više nizova","Grubelić, Neven",,,,,,,,
pmf:5212,thesis,"Cjelobrojno programiranje","Čulina, Tina",,,,,,,,
pmf:5653,thesis,"Difuzijski modeli u turizmu","Lustek, Matea",,,,,,,,
pmf:5524,thesis,"Algoritamsko rješavanje problema u nastavi informatike u srednjoj školi korištenjem projektne nastave","Štimac, Jelena",,,,,,,,
pmf:5382,thesis,"Analiza tekstova projektnih prijedloga primjenom postupaka statističke obrade prirodnoga jezika","Petric Maretić, Hermina",,,,,,,,
pmf:5592,thesis,"Hahn-Mazurkiewiczev teorem","Vukić, Slavica",,,,,,,,
pmf:5413,thesis,"Nepotpunost i neodlučivost aritmetike","Jelušić, Daniel",,,,,,,,
pmf:5205,thesis,Poluizračunljivost,"Čičković, Eugen",,,,,,,,
pmf:1237,thesis,"Rekurzivne multifunkcije","Baltić, Elvir",,,,,,,,
pmf:5397,thesis,"Gilbreathov princip s primjenama na fraktale, popločavanja i magične trikove","Posavec, Ivana",,,,,,,,
pmf:5537,thesis,"Kompleksnost skrivenih Markovljevih modela","Tepić, Martina",,,,,,,,
pmf:5386,thesis,"Igra sparivanja na konačnim podgrafovima pravilnih rešetki","Pijević, Marija",,,,,,,,
pmf:1509,thesis,"Linearna temporalna logika","Burić, Krešimir",,,,,,,,
pmf:5333,thesis,"Problem PRIMES pripada klasi PTIME","Grgurica, Josip",,,,,,,,
pmf:5490,thesis,"Arnoldijev algoritam za nelinearne probleme svojstvenih vrijednosti","Šain, Ivana",,,,,,,,
pmf:1472,thesis,"Balansiranje linearnih dinamičkih sistema i redukcija dimenzije","Blažević, Đurđica",,,,,,,,
pmf:5488,thesis,"LQR kontrola linearnih dinamičkih sistema","Kešinović, Katarina",,,,,,,,
pmf:5201,thesis,"Paralelni algoritmi za problem grupiranja podataka","Čabraja, Anto",,,,,,,,
pmf:12248,"other document type","Red predavanja 2012./2013.",,,,,,,,,
pmf:12244,"other document type","Red predavanja 2011./2012.",,,,,,,,,