Ph.D. în Informatică și matematică
University of Camerino the international School of Advanced Studies
Informatie cheie
Locația campusului
Camerino, Italia
Limbi Străine
Engleză, Italiană
Formatul de studiu
În campus
Durata
3 years
Ritm
La zi
Taxe de școlarizare
Contactează şcoala
Termen limită de aplicare
Contactează şcoala
Cea mai devreme dată de începere
Contactează şcoala
Introducere
Domeniu: Informatică și matematică
- Inteligența Artificială și Sistemele Inteligente
- Calculatoare și matematică
- Securitate cibernetică
- Știința datelor și învățarea mașinilor
- Embedded Systems și IoT
- Administrarea procesului
- Inginerie software și sisteme informatice
Inteligența Artificială și Sistemele Inteligente
- Controlul și optimizarea adaptivă
- Politici de adaptare
- Sisteme colective și adaptive
- Reprezentarea cunoștințelor și raționamentul autonom
Calculatoare și matematică
- Aspecte algebrice și logice ale calculului)
- Modele computaționale și modele de calcul
- Limbi oficiale
- Limbi algebrice pentru domenii specifice
- Modelul teoretic
- Aspectele metodologice ale educației științifice
Securitate cibernetică
- Controlul accesului și Politicile de utilizare a resurselor
- Tehnologii Ledger distribuite
- Proiectarea sistemelor rezistente
- Securitatea retelei
- Sisteme de detectare a intruziunilor
Știința datelor și învățarea mașinilor
- Modele bazate pe date ale sistemelor complexe
- Metode de analiză a datelor bazate pe topologie
- Verificarea sistemului de date
- Tehnici de optimizare și econometrie
- Modelarea discriminatorie și generativă
Embedded Systems și IoT
- Middleware și servicii
- Comunicare și networking pentru sistemele wireless și embedded
- Specifica, progettazione e analisi, e verifica di sistemi embedded distribuuiti
- Rețelele senzorilor wireless
- Eficiența energetică și recoltarea
Administrarea procesului
- Îmbunătățirea continuă a sistemelor de informare a proceselor
- Colaborarea și distribuirea procesului de afaceri, inclusiv blocul de bloc
- Modele pentru sisteme intensive de proces
- Tehnici miniere de proces
- Simularea și verificarea modelelor de colaborare bazată pe date
Inginerie software și sisteme informatice
- Ingineria arhitecturii întreprinderilor
- Metode formale aplicate și instrumente de verificare
- Testarea și verificarea într-o setare distribuită
- Analiza și instrumentele cantitative
- Runtime de monitorizare și de verificare