Др. из рачунарства и математике
University of Camerino the international School of Advanced Studies
Ključne informacije
Lokacija kampusa
Camerino, Италија
Jezici
Engleski, Italijanski
Format studije
Na kampusu
Trajanje
3 years
Tempo
Redovne studije
Školarina
Zatražite informacije
Rok za prijavu
Zatražite informacije
Najraniji datum početka
Zatražite informacije
Uvod
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 obrazovanja
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