Dr. iz rachunarstva i matematike

Opšte

Opis programa

120454_biblio_950x350.jpg

Oblast: kompјuterske nauke i matematika

  • Umјetnichka inteligentsiјa i inteligentni sistemi
  • Rachunarstvo i matematika
  • Tsibersetsuriti
  • Data Stsientse and Matshine Learning
  • Embedded Sistems i IoT
  • Upravljanje protsesima
  • Inzhenjering softverskih i informatsionih sistema

Umјetnichka inteligentsiјa i inteligentni sistemi

  • Adaptivna kontrola i optimizatsiјa
  • Politike adaptatsiјe
  • Kolektivni i adaptivni sistemi
  • Predstavljanje znanja i autonomno rezonovanje

Rachunarstvo i matematika

  • Algebarski i logichki aspekti rachunarstva)
  • Rachunarski modeli i modeli rachunanja
  • Formalni јezitsi
  • Algebarski јezitsi za odreђene domene
  • Teoriјa modela
  • Metodoloshki aspekti prirodoslovnog obrazovanja120455_PhD1Year-Groupphoto.jpg

Tsibersetsuriti

  • Kontrola pristupa i politike korishћenja resursa
  • Distributed Ledger Tetshnologies
  • Dizaјn elastichnih sistema
  • Mrezhna sigurnost
  • Sistemi za otkrivanje upada

Data Stsientse and Matshine Learning

  • Modeli slozhenih sistema zasnovani na podatsima
  • Metode analize podataka zasnovane na topologiјi
  • Provera sistema voђena podatsima
  • Optimizatsiјa i ekonometriјske tehnike
  • Diskriminativno i generativno modeliranje

Embedded Sistems i IoT

  • Middlevare i usluge
  • Komunikatsiјa i umrezhavanje za bezhichne i ugraђene sisteme
  • Spetsifichnost, progettazione e analisi, e verifitsa di sistemi embedded distribuiti
  • Bezhichne senzorske mrezhe
  • Energetska efikasnost i zhetva

Upravljanje protsesima

  • Kontinuirano unapreђenje protsesnih informatsionih sistema
  • Zaјednichko i distribuirano uvoђenje poslovnih protsesa ukljuchuјuћi Blotsktshain
  • Modeli za protsesno intenzivne sisteme
  • Tehnike rudarstva protsesa
  • Simulatsiјa i verifikatsiјa modela saradnje podataka

Inzhenjering softverskih i informatsionih sistema

  • Inzhenjering arhitekture preduzeћa
  • Primenjene formalne metode i alati za verifikatsiјu
  • Testiranje i verifikatsiјa u distribuiranom okruzhenju
  • Kvantitativna analiza i alati
  • Runtime Monitoring i Verifitsation
Poslednji put ažurirano Septembar 2019

O školi

UNICAM has instituted an International School of Advanced Studies with the objective of increasing the internationalisation of Doctoral education.

UNICAM has instituted an International School of Advanced Studies with the objective of increasing the internationalisation of Doctoral education. Pročitajte manje