Ph.D. v oboru Informatika a matematika
University of Camerino the international School of Advanced Studies
Klíčová informace
Umístění kampusu
Camerino, Itálie
Jazyky
Angličtina, Italština
Studijní formát
Na kampusu
Doba trvání
3 years
Tempo
Plný úvazek
Školné
Vyžádejte si informace
Uzávěrka přihlášek
Vyžádejte si informace
Nejbližší datum zahájení
Vyžádejte si informace
Úvod
Oblast: Výpočetní technika a matematika
- Umělá inteligence a inteligentní systémy
- Výpočetní technika a matematika
- Kybernetická bezpečnost
- Věda o datech a strojní učení
- Vestavěné systémy a IoT
- Řízení procesu
- Software a inženýrství informačního systému
Umělá inteligence a inteligentní systémy
- Adaptivní řízení a optimalizace
- Zásady přizpůsobení
- Kolektivní a adaptivní systémy
- Reprezentace znalostí a autonomní uvažování
Výpočetní technika a matematika
- Algebraické a logické aspekty práce na počítači)
- Výpočetní modely a modely výpočtů
- Formální jazyky
- Algebraické jazyky pro konkrétní domény
- Teorie modelů
- Metodologické aspekty výuky přírodovědných předmětů
Kybernetická bezpečnost
- Řízení přístupu a zásady využití zdrojů
- Distribuované Ledger technologie
- Návrh pružných systémů
- Zabezpečení sítě
- Systémy detekce narušení
Věda o datech a strojní učení
- Data-řízené modely komplexních systémů
- Metody analýzy dat založené na topologii
- Ověření systému řízené daty
- Optimalizační a ekonometrické techniky
- Diskriminační a generativní modelování
Vestavěné systémy a IoT
- Middleware a služby
- Komunikace a vytváření sítí pro bezdrátové a vestavěné systémy
- Specifikace, informace a analýza, ověřování sistemi embedded distribuiti
- Bezdrátové senzorové sítě
- Energetická účinnost a sklizeň
Řízení procesu
- Neustálé zlepšování informačních systémů Process-Aware
- Spolupráce a distribuce obchodních procesů včetně společnosti Blockchain
- Modely pro intenzivní systémy procesů
- Procesní důlní techniky
- Simulace a ověřování modelů spolupráce s datovými systémy
Software a inženýrství informačního systému
- Inženýrství podnikové architektury
- Aplikované formální metody a nástroje ověřování
- Testování a ověřování v distribuovaném prostředí
- Kvantitativní analýza a nástroje
- Monitorování a ověřování za běhu