TY - THES ID - pmf:12781 TI - Segmentacija slika na točke, linije i rubove AU - Zaninović, Jelena DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:12749 TI - Turingov stroj: web-aplikacija AU - Kocijan, Mislav DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:12769 TI - Korutine u programskom jeziku C++ AU - Zadravec, Matija DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - 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:12400 TI - Izračunljivost poopćenih grafova AU - Jelić, Matea DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:12616 TI - Interpreter za parcijalno rekurzivne funkcije AU - Eterović, Marko DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:12617 TI - Pattern recognition by combining different classifiers AU - Jezidžić, Marin DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:12629 TI - Problemi vizualizacije u teoriji grafova AU - Trupina, Viktorija DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:12535 TI - Dokaz u srednjoškolskoj nastavi matematike pomoću programa dinamičke geometrije AU - Prah, Dora DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:12570 TI - Quineovi ''Novi temelji'' teorije skupova AU - Zlatunić, Gabrijela DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:12491 TI - Računalna formalizacija matematičkih dokaza AU - Čižić, Ivona DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:12572 TI - Topološka svojstva poluizračunljivih skupova AU - Arvaj, Tea DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:11809 TI - Coxov model proporcionalnih hazarda AU - Kolarek, Eva DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:11892 TI - Klasifikacija proteinskih fragmenata AU - Radnić, Josipa DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:11948 TI - Konstrukcija video igara u programskom paketu Unreal Engine AU - Terzanović, Mateja DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:12613 TI - Metoda parcijalnih najmanjih kvadrata AU - Jurić Fot, Sanjin DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:11185 TI - Elementarni aspekti neprekidnosti AU - Lujo, Lea DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:11110 TI - Analiza bolne i bezbolne dijabetičke polineuropatije logističkom regresijom AU - Bošković, Paula DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:11247 TI - Izračunljivost realnih funkcija AU - Staroverški, Petra DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:10743 TI - Efikasne implementacije prioritetnog reda AU - Žanić, Mislav 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 - THES ID - pmf:10715 TI - LOOP-izračunljivost AU - Avirović, Ivan DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:10598 TI - Jedinstvenost struktura izračunljivosti AU - Validžić, Lucija DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:10582 TI - Analiza proteinskih nizova iz CoViD-a 19 AU - Mavrek, Iva DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:10587 TI - Zbroj dva cjelobrojna kvadrata AU - Stjepanović, Josipa DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:10495 TI - Generativne suparničke mreže i primjene AU - Peroš, Mate DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:10482 TI - Lanczosova i Arnoldijeva metoda AU - Jandrić, Dolores 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 - THES ID - pmf:10142 TI - Earleyev parser AU - Lončar, Luka DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:10085 TI - Generalizacije i analogoni u geometriji AU - Časek, Sonja DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:10210 TI - Programski jezik C0 AU - Vinković, Vedran DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:9840 TI - Evolucija koncepta umjetne inteligencije AU - Pantar, Antonija DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:9817 TI - Kongruencije za binomne koeficijente AU - Grgić, Monika DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:9844 TI - Prostorne baze podataka AU - Poljanić, Tea 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:9351 TI - Binarni RAM--strojevi AU - Miletić, Jurica DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:9352 TI - Krohn-Rhodesova teorija AU - Miošić, Ivan DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:9331 TI - Prosti brojevi oblika \(x^2\)+\(ny^2\) AU - Andrašek, Alen 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:8807 TI - Klijentske web-aplikacije i biblioteka React AU - Šelendić, Matija DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:8732 TI - Razvoj web-aplikacija baziran na testiranju AU - Rožić, Petra 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:8467 TI - Opća svojstva konveksnog četverokuta AU - Žužul, Marija DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:8373 TI - Turing--izračunljivost na prirodnim brojevima AU - Đerić, Bojana DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:7664 TI - Strukture podataka i algoritmi u Pythonu AU - Barukčić, Maja Marija 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:6106 TI - Algoritam Timsort AU - Beg, Mislav DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:6142 TI - Matematika salse AU - Drezga, Andrea 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:5990 TI - Aksiomi kompleksnih brojeva AU - Kralj, Lana DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:6004 TI - Interpreter za lambda-račun AU - Lovnički, Sandro DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:6034 TI - Kardinalnost skupova AU - Protega, Danijela DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:6005 TI - Strojno učenje u nastavi informatike u prirodoslovnim gimnazijama AU - Ljubičić, Ivan DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:6095 TI - Kombinatorna interpretacija verižnih razlomaka AU - Zelić, Anamarija DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:5124 TI - Konvolucijske neuronske mreže AU - Džomba, Kristina DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:5149 TI - Paralelne strukture podataka bez međusobnog isključivanja AU - Kalčićek, Eduard DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:5097 TI - Prošireni modeli teorije skupova AU - Adlešić, Tin DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:4761 TI - Modeliranje bioloških sekvenci dubokim neuronskim mrežama AU - Paliska, Ana DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:4750 TI - Primjena neuronskih mreža u obradi slika AU - Levanić, Tomislav DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:4606 TI - Homomorfna enkripcija i elektroničko glasovanje AU - Turković, Teo DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:4605 TI - Java Spring AU - Sović, Iva DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:3318 TI - Egzistencija realnih brojeva AU - Levanić, Vedran DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:3494 TI - Gale-Shapleyev algoritam, varijacije i primjene AU - Mijoč, Ante DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:3864 TI - Harmonija u realnom vremenu AU - Srnec, Filip DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:3236 TI - Klijentske web-aplikacije i Angular AU - Grđan, Barbara DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:2035 TI - LQR i LQG kontrola - teorija i primjene AU - Banušić, Gregor Boris DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:2474 TI - Sustav za simboličko računanje u Haskellu AU - Čanadi, Vitomir DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:3985 TI - Teorija izglednosti i rizik AU - Šlogar, Ana DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:3231 TI - Trigonometrijske funkcijske jednadžbe AU - Filipašić, Melissa DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:5674 TI - Izračunljivost u euklidskom prostoru AU - Babojelić, Renato DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:953 TI - Konveksnost i optimizacija AU - Slišković, Marijana DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:77 TI - Razvoj softvera vođen testiranjem AU - Bedeković, Hrvoje DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:500 TI - Razvoj web aplikacija pomoću okruženja Ruby on Rails AU - Šumelj, Mara DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:492 TI - Karakterizacija likova u dječjim pričama AU - Levačić, Gorana 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:5470 TI - Repni indeks i zavisnost AU - Stipetić, Ognjen DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:5564 TI - Simulacija rijetkih događaja AU - Vazdar, Vedrana DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:5358 TI - Osnovni modeli rasta AU - Oremuš, Ivana DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER - TY - THES ID - pmf:5392 TI - Varijacijske nejednakosti AU - Pjanić, Matea DP - DABAR (Digitalni akademski arhivi i repozitoriji) ER -