Area: Informatica e Matematica

  • Intelligenza artificiale e sistemi intelligenti
  • Informatica e matematica
  • Cybersecurity
  • Scienza dei dati e apprendimento automatico
  • Sistemi integrati e IoT
  • Gestione dei processi
  • Ingegneria del software e del sistema informativo

Intelligenza artificiale e sistemi intelligenti

  • Controllo e ottimizzazione adattivi
  • Politiche di adattamento
  • Sistemi collettivi e adattativi
  • Rappresentazione della conoscenza e ragionamento autonomo

Informatica e matematica

  • Aspetti algebrici e logici dell'informatica)
  • Modelli computazionali e modelli di calcolo
  • Lingue formali
  • Lingue algebriche per domini specifici
  • Teoria dei modelli
  • Aspetti metodologici dell'educazione scientifica

Cybersecurity

  • Controllo degli accessi e politiche di utilizzo delle risorse
  • Distributed Ledger Technologies
  • Progettazione di sistemi resilienti
  • Sicurezza della rete
  • Sistemi di rilevamento delle intrusioni

Scienza dei dati e apprendimento automatico

  • Modelli basati sui dati di sistemi complessi
  • Metodi di analisi dei dati basati sulla topologia
  • Verifica del sistema basata sui dati
  • Ottimizzazione e tecniche econometriche
  • Modellizzazione discriminatoria e generativa

Sistemi integrati e IoT

  • Middleware e servizi
  • Comunicazione e networking per sistemi wireless e embedded
  • Specifiche, progettazione e analisi, e verifica di sistemi embedded integrate
  • Reti di sensori wireless
  • Efficienza energetica e raccolta

Gestione dei processi

  • Miglioramento continuo dei sistemi informatici sensibili al processo
  • Attuazione del processo aziendale collaborativa e distribuita, inclusa Blockchain
  • Modelli per sistemi intensivi di processo
  • Tecniche di processo minerario
  • Simulazione e verifica di modelli di collaborazione sensibili ai dati

Ingegneria del software e del sistema informativo

  • Ingegneria dell'architettura aziendale
  • Metodi formali applicati e strumenti di verifica
  • Test e verifica in un'impostazione distribuita
  • Analisi quantitativa e strumenti
  • Runtime Monitoring and Verification
Programma insegnato in:
Inglese
Italiano

Vedi 3 più corsi della University of Camerino the international School of Advanced Studies »

Ultimo aggiornamento May 16, 2019
Questo corso è Obbligo di frequenza
Date di inizio
Novembre 2019
Duration
3 anni
Tempo pieno
Prezzo
Deadline
Per luogo
Per data
Date di inizio
Novembre 2019
Data di fine
Novembre 2022
Scadenza domanda

Novembre 2019

Location
Scadenza domanda
Data di fine
Novembre 2022