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