Istraživači

Rezultati 1-20 od 30

GodinaNaslovAutor(i)Tip rezultataMp-kat.
2023Анализа заступљености поновака са применом у предвиђању т-ћелијских епитопа (✓)Jelović, Ana  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
2022Bisimulations for Kripke models of Fuzzy Multimodal Logics (✓)Stanković, Marko  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
2020Probabilistic Extensions of Various Logical SystemsUređivački rad
Mp kategorija će biti prikazana naknadno.
2019Symbolic and Quantitative Approaches to Reasoning with UncertaintyUređivački rad
Mp kategorija će biti prikazana naknadno.
2019Савремени модел дигитализације архивске грађе научног института и његова примена у проучавању историје Математичког института САНУ (✓)Šegan-Radonjić, Marija  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
2019Symbolic and quantitative approaches to reasoning with uncertainty - 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings - Gabriele Kern-Isberner, Zoran Ognjanović (eds.)Uređivački rad
Mp kategorija će biti prikazana naknadno.
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
2016Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikamaStojanović, Tatjana  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2016(uređivanje) - p-Adic probability logicsUređivački rad
Mp kategorija će biti prikazana naknadno.
2016Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизацијеBanković, Milan M.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
2015(uređivanje) - First-order probabilistic logics and their applicationsUređivački rad
Mp kategorija će biti prikazana naknadno.
2015Extraction and analysis of complex networks from different domainsSavić, Miloš  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2014Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and ApplicationsMarinković, Bojan  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija

Rezultati 1-20 od 30