Doktorantūra in
Ph.D. kompiuterių mokslų ir matematikos srityje University of Camerino the international School of Advanced Studies
Įvadas
Plotas: kompiuterių mokslas ir matematika
- Dirbtinis intelektas ir intelektualiosios sistemos
- Kompiuterija ir matematika
- Kibernetinė sauga
- Duomenų mokslas ir mašinų mokymasis
- Įterptinės sistemos ir DI
- Procesų valdymas
- Programinės ir informacinės sistemos inžinerija
Dirbtinis intelektas ir intelektualiosios sistemos
- Adaptyvus valdymas ir optimizavimas
- Prisitaikymo politika
- Kolektyvinės ir prisitaikančios sistemos
- Žinių atstovavimas ir savarankiškas argumentavimas
Kompiuterija ir matematika
- Algebriniai ir loginiai skaičiavimo aspektai)
- Skaičiavimo modeliai ir modeliai
- Oficialios kalbos
- Algebrinės kalbos konkrečioms sritims
- Modelio teorija
- Mokslinio ugdymo metodiniai aspektai
Kibernetinė sauga
- Prieigos kontrolės ir išteklių naudojimo politika
- Paskirstytosios grandinės technologijos
- Atsparių sistemų projektavimas
- Tinklo saugumas
- Įsibrovimo aptikimo sistemos
Duomenų mokslas ir mašinų mokymasis
- Duomenų orientuoti sudėtingų sistemų modeliai
- Topologijos duomenų analizės metodai
- Duomenų orientuotas sistemos tikrinimas
- Optimizavimas ir ekonometriniai metodai
- Diskriminacinis ir generacinis modeliavimas
Įterptinės sistemos ir DI
- Tarpinės programinės įrangos ir paslaugos
- Belaidžių ir įterptųjų sistemų ryšiai ir tinklai
- Specifinis, įterptinis paskirstymas ir analizė
- Belaidžio ryšio jutiklių tinklai
- Energijos efektyvumas ir derliaus nuėmimas
Procesų valdymas
- Nuolat tobulinti informacinių sistemų procesą
- Bendradarbiavimas ir paskirstytas verslo procesų priėmimas, įskaitant „Blockchain“
- Proceso intensyvių sistemų modeliai
- Proceso kasybos metodai
- Duomenų sąveikos modelių modeliavimas ir tikrinimas
Programinės ir informacinės sistemos inžinerija
- Įmonių architektūros inžinerija
- Taikomi formalūs metodai ir tikrinimo įrankiai
- Testavimas ir patikrinimas paskirstytoje aplinkoje
- Kiekybinė analizė ir įrankiai
- Runtime Monitoring and Verification