Pretraga po članovima komisija
Prikaz rezultata 1-9 od 9
-
Digitalna forenzika u funkciji zaštite infomacionog sistema baziranog na Linux i Windows platformama / Digital forensic in security of information system based on Linux and Windows platforms
(Универзитет у Београду, Студије при универзитету, 08-09-2014) -
Usmeravanje pretrage u automatskom dokazivanju teorema / Guiding search in automated theorem proving
(Универзитет у Београду, Математички факултет, 27-05-2013) -
Анализа заступљености поновака са применом у предвиђању т-ћелијских епитопа / Analysis of repeat representation with application in predicting T-cell epitopes
(Универзитет у Београду, Математички факултет, 30-09-2023) -
Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији / Probability sequent calculi and entropy based non-classical logics classification
(Универзитет у Београду, Математички факултет, 22-12-2016) -
Капацитет дигиталне технологије за развој инклузивног друштва / Capacity of digital technology in development of an inclusive society
(Универзитет у Београду, Факултет за специјалну едукацију и рехабилитацију, 04-07-2016) -
Оптимизација проблема управљања односима користи и трошкова при распоређивању пројеката применом метахеуристичких алгоритама / The optimization of the benefit/costs tradeoff during the scheduling of the projects by applying metaheuristic algorithms.
(Универзитет у Београду, Математички факултет, 11-05-2018) -
Развој метода за анализу сличности биолошких секвенци на основу карактеристика поновака / Design and implementation of methods for biological sequence similarity analysis based on repeat characteristics
(Универзитет у Београду, Математички факултет, 30-09-2022) -
Савремени модел дигитализације архивске грађе научног института и његова примена у проучавању историје Математичког института САНУ / Contemporary model for digitization of archival material of a scientific institute and its application in research of the history of Mathematical Institute SANU
(Универзитет у Београду, Студије при универзитету, 30-09-2019) -
Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације / Improving SMT solvers using CSP techniques and parallelization techniques
(Универзитет у Београду, Математички факултет, 08-12-2016)