Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
2023 | Анализа заступљености поновака са применом у предвиђању т-ћелијских епитопа (✓) | Jelović, Ana | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2022 | Развој метода за анализу сличности биолошких секвенци на основу карактеристика поновака (✓) | Jovanović, Jasmina T. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2022 | Bisimulations for Kripke models of Fuzzy Multimodal Logics (✓) | Stanković, Marko | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2022 | Projektovanje kvantizera za primenu u obradi signala i neuronskim mrežama (✓) | Denić, Bojan | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2021 | Algoritmi za brzo aproksimativno spektralno učenje (✓) | Trokicić, Aleksandar B. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2020 | Probabilistic Extensions of Various Logical Systems | | Уређивачки рад | |
2019 | Савремени модел дигитализације архивске грађе научног института и његова примена у проучавању историје Математичког института САНУ (✓) | Šegan-Radonjić, Marija | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2019 | Symbolic 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.) | | Уређивачки рад | |
2019 | Primena tehnologije proširene stvarnosti za poboljšanje bezbednosti i efikasnosti rada u industrijskim okruženjima (✓) | Tatić, Dušan D. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2019 | Symbolic and Quantitative Approaches to Reasoning with Uncertainty | | Уређивачки рад | |
2018 | Оптимизација проблема управљања односима користи и трошкова при распоређивању пројеката применом метахеуристичких алгоритама | Glišović, Nataša S. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2016 | Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације | Banković, Milan M. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2016 | (uređivanje) - p-Adic probability logics | | Уређивачки рад | |
2016 | Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikama | Stojanović, Tatjana | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2016 | Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији | Boričić, Marija | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2016 | Капацитет дигиталне технологије за развој инклузивног друштва (✓) | Masliković, Dejan M. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2015 | Extraction and analysis of complex networks from different domains | Savić, Miloš | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2015 | Razvoj algoritama za izračunavanje autokorelacije prekidačkih funkcija preko dijagrama odlučivanja (✓) | Radmanović, Miloš M. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2015 | (uređivanje) - First-order probabilistic logics and their applications | | Уређивачки рад | |
2014 | Digitalna forenzika u funkciji zaštite infomacionog sistema baziranog na Linux i Windows platformama (✓) | Korać, Vanja | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |