Pretraga
Prikaz rezultata 51-60 od 131
Štajnerovi sistemi i nove konstrukcije (v,k,t)-pokrivanja
(Univerzitet u Beogradu - Matematički fakultet, 05-06-2015, Datum odbrane: 14-07-2015)
Automatsko rešavanje konstruktivnih problema u geometriji
(Univerzitet u Beogradu - Matematički fakultet, 21-04-2015, Datum odbrane: 04-06-2015)
Rešavanje klase min-max problema robusne diskretne optimizacije sa primenama
(Univerzitet u Beogradu - Matematički fakultet, 07-09-2016, Datum odbrane: 29-12-2016)
Formalizacija i automatsko dokazivanje teorema euklidske geometrije
(Univerzitet u Beogradu - Matematički fakultet, 17-06-2016, Datum odbrane: 07-09-2016)
Rešavanje problema CSP tehnikama svodjenja na problem SAT
(Univerzitet u Beogradu - Matematički fakultet, 31-08-2016, Datum odbrane: 13-10-2016)
Indeks sistema proizvoda Hilbertovih modula
(Univerzitet u Beogradu - Matematički fakultet, 16-06-2015, Datum odbrane: 27-07-2015)
Statistički problemi ocenjivanja količnika disperzija i visokih kvantila raspodela
(Univerzitet u Beogradu - Matematički fakultet, 22-05-2015, Datum odbrane: 16-07-2015)
Auto-dualni simplicijalni kompleksi, njihova generalizacija i primene u kombinatorici i geometriji
(Univerzitet u Beogradu - Matematički fakultet, 18-03-2019, Datum odbrane: 02-07-2019)
Unapređenje hibridizacijom metaheuristika inteligencije rojeva za rešavanje problema globalne optimizacije
(Univerzitet u Beogradu - Matematički fakultet, 17-06-2015, Datum odbrane: 12-10-2015)
Problemi hab maksimalnog pokrivanja– novi matematički modeli i metode rešavanja
(Univerzitet u Beogradu - Matematički fakultet, 16-10-2018, Datum odbrane: 07-12-2018)