Истраживачи



Филтрирано по:
Година:  [2010 TO 2019]

Резултати 1-20 од 21

ГодинаНасловАутор(и)Тип резултатаМп-кат.
2019Primena tehnologije proširene stvarnosti za poboljšanje bezbednosti i efikasnosti rada u industrijskim okruženjima (✓)Tatić, Dušan D.  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2019Савремени модел дигитализације архивске грађе научног института и његова примена у проучавању историје Математичког института САНУ (✓)Šegan-Radonjić, Marija  Докторска дисертација
70M70 - Одбрањена докторска дисертација
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.)Уређивачки рад
Мп категорија ће бити приказана накнадно.
2019Symbolic and Quantitative Approaches to Reasoning with UncertaintyУређивачки рад
Мп категорија ће бити приказана накнадно.
2018Оптимизација проблема управљања односима користи и трошкова при распоређивању пројеката применом метахеуристичких алгоритамаGlišović, Nataša S.Докторска дисертација
70M70 - Одбрањена докторска дисертација
2016(uređivanje) - p-Adic probability logicsУређивачки рад
Мп категорија ће бити приказана накнадно.
2016Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизацијеBanković, Milan M.Докторска дисертација
70M70 - Одбрањена докторска дисертација
2016Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikamaStojanović, Tatjana  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2016Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропијиBoričić, MarijaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2016Капацитет дигиталне технологије за развој инклузивног друштва (✓)Masliković, Dejan M.  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2015Extraction and analysis of complex networks from different domainsSavić, Miloš  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2015Razvoj 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Уређивачки рад
Мп категорија ће бити приказана накнадно.
2014Digitalna forenzika u funkciji zaštite infomacionog sistema baziranog na Linux i Windows platformama (✓)Korać, Vanja  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2014Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and ApplicationsMarinković, Bojan  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2013Usmeravanje pretrage u automatskom dokazivanju teorema (✓)Nikolić, Mladen S.  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2013Квантификација самоорганизације и комплексности заснована на избору оптималног таласићаMilovanović, Miloš  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2013Razvoj algoritama za izračunavanje spektralnih transformacija na grafičkim procesorimaGajić, Dušan B.  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2013Development and verification of probability logics and logical frameworksMaksimović, PetarДокторска дисертација
70M70 - Одбрањена докторска дисертација
2012O formalizaciji p-adske, kvalitativne i uslovne verovatnoće (✓)Ilić Stepić , Angelina  Докторска дисертација
70M70 - Одбрањена докторска дисертација

Резултати 1-20 од 21