Katedra za

Računarstvo i informatiku

Predlozi tema za master radove

U nastavku je spisak predloga tema za master radove. Ovaj spisak nipošto nije konačan i kandidati mogu da, u dogovoru sa mentorima, predlože dodatne teme.

21. Razvoj veb aplikacije za praćenje radnih aktivnosti zaposlenih korišćenjem Spring okvira i NoSQL baza podataka
predlagač: Pamet    mentor: Saša Malkov
datum: 1.6.2015.    Opis

20. Optimizacije izvršnog koda primenom tehnika statičke analize
predlagač: RT-RK    mentor: Milena Vujošević-Janičić
datum: 7.5.2015.    Opis

19. Tehnike iterativnog prevođenja programa i njihova primena
predlagač: RT-RK    mentor: Milena Vujošević-Janičić
datum: 7.5.2015.    Opis

18. Implementacija naprednog korišćenja registara u arhitekturi MIPS
predlagač: RT-RK    mentor: Milena Vujošević-Janičić
datum: 7.5.2015.    Opis

17. Razvoj paralelnog algoritma zasnovanog na optimizaciji kolonijom pčela za rešavanje problema rutiranja vozila
predlagač: Vladimir Filipović    mentor: Vladimir Filipović
datum: 19.2.2016.    Opis

16. Razvoj paralelnog algoritma zasnovanog na elektromagnetizmu za rešavanje problema raspoređivanja
predlagač: Vladimir Filipović    mentor: Vladimir Filipović
datum: 8.3.2015.    Opis

15. Ispitivanje ultrametričkih svojstava dnk, rnk i proteina
predlagač: Branko Dragović    mentor: Nenad Mitić
datum: 5.3.2015.    Opis

14. Predviđanje vremena izvršavanja SAT rešavača metodama mašinskog učenja
predlagač: Mladen Nikolić    mentor: Mladen Nikolić
datum: 3.3.2015.    Opis

13. Predviđanje polariteta iskaznih promenljivih u zadovoljavajućim valuacijama iskaznih formula metodama mašinskog učenja
predlagač: Mladen Nikolić    mentor: Mladen Nikolić
datum: 3.3.2015.    Opis

9. Implementacija sistema za dinamičku geometriju unutar jezika JavaScript
predlagač: Filip Marić    mentor: Filip Marić
datum: 3.3.2015.    Opis

8. Analiza pobedničkih strategija igre ,,Connect Four'' pomoću SAT/SMT rešavača
predlagač: Filip Marić    mentor: Filip Marić
datum: 3.3.2015.    Opis

7. Tehnike analize i transformacije koda u kompajlerskoj infrastrukturi LLVM
predlagač: Milena Vujošević Janičić    mentor: Milena Vujošević Janičić
datum: 3.3.2015.    Opis

6. Automatsko generisanje test primera tehnikama simboličkog izračunavanja
predlagač: Milena Vujošević Janičić    mentor: Milena Vujošević Janičić
datum: 3.3.2015.    Opis

5. Algoritmi za rešavanje Rubikove kocke
predlagač: Miodrag Živković    mentor: Miodrag Živković
datum: 3.3.2015.    Opis

4. Diferencni skupovi i automorfizmi
predlagač: Miodrag Živković    mentor: Miodrag Živković
datum: 3.3.2015.    Opis

3. Korelacion napad na protočne šifre
predlagač: Miodrag Živković    mentor: Miodrag Živković
datum: 3.3.2015.    Opis

2. Kombinatorni problemi na šahovskoj tabli
predlagač: Predrag Janičić    mentor: Predrag Janičić
datum: 3.3.2015.    Opis

1. Implementacija Gelernterovog metoda za automatsko dokazivanje u geometriji
predlagač: Predrag Janičić    mentor: Predrag Janičić
datum: 3.3.2015.    Opis