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."