Istraživači



Filtrirano po:
Tip:  Doktorska disertacija

Rezultati 1-20 od 22

GodinaNaslovAutor(i)Tip rezultataMp-kat.
2023Анализа заступљености поновака са применом у предвиђању т-ћелијских епитопа (✓)Jelović, Ana  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2022Bisimulations for Kripke models of Fuzzy Multimodal Logics (✓)Stanković, Marko  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2022Projektovanje kvantizera za primenu u obradi signala i neuronskim mrežama (✓)Denić, Bojan  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2022Развој метода за анализу сличности биолошких секвенци на основу карактеристика поновака (✓)Jovanović, Jasmina T.  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2021Algoritmi za brzo aproksimativno spektralno učenje (✓)Trokicić, Aleksandar B.  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2019Primena tehnologije proširene stvarnosti za poboljšanje bezbednosti i efikasnosti rada u industrijskim okruženjima (✓)Tatić, Dušan D.  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2019Савремени модел дигитализације архивске грађе научног института и његова примена у проучавању историје Математичког института САНУ (✓)Šegan-Radonjić, Marija  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2018Оптимизација проблема управљања односима користи и трошкова при распоређивању пројеката применом метахеуристичких алгоритамаGlišović, Nataša S.Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2016Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропијиBoričić, MarijaDoktorska disertacija
70M70 - Odbranjena doktorska disertacija
2016Капацитет дигиталне технологије за развој инклузивног друштва (✓)Masliković, Dejan M.  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2016Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизацијеBanković, Milan M.Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2016Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikamaStojanović, Tatjana  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2015Extraction and analysis of complex networks from different domainsSavić, Miloš  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2015Razvoj algoritama za izračunavanje autokorelacije prekidačkih funkcija preko dijagrama odlučivanja (✓)Radmanović, Miloš M.  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2014Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and ApplicationsMarinković, Bojan  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2014Digitalna forenzika u funkciji zaštite infomacionog sistema baziranog na Linux i Windows platformama (✓)Korać, Vanja  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2013Квантификација самоорганизације и комплексности заснована на избору оптималног таласићаMilovanović, Miloš  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2013Razvoj algoritama za izračunavanje spektralnih transformacija na grafičkim procesorimaGajić, Dušan B.  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2013Development and verification of probability logics and logical frameworksMaksimović, PetarDoktorska disertacija
70M70 - Odbranjena doktorska disertacija
2013Usmeravanje pretrage u automatskom dokazivanju teorema (✓)Nikolić, Mladen S.  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija

Rezultati 1-20 od 22