Sillabo dell'insegnamento

• E - Architetture
VMP - Valutazione e Miglioramento delle Prestazioni
Concetti di prestazioni ed affidabilità dei sistemi e validazione. Definizione di indici di prestazione ed affidabilità.
• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
Regole di costruzione e validazione dei modelli. Metodi combinatori.
* LMS - Linguaggi di Modellazione del Software
I processi di Markov a tempo discreto. I processi di Markov a tempo continuo.
* LMS - Linguaggi di Modellazione del Software
Reti di Petri stocastiche. Formalismi di modellizzazione: PN ed estensioni (es. SAN, DSPN) e strumenti automatici di supporto: Mobius e DEEM.
MSQ - Misure del Software e Qualita'
Definizione di misure di interesse e variabili di performance.
MSQ - Misure del Software e Qualita'
Fondamenti di teoria della misura e loro applicazione.
* TVV - Testing, Verifica e Validazione
Benchmarks: performance benchmarking e dependability benchmarking.
* TVV - Testing, Verifica e Validazione
Strumenti di supporto per il testing: NekoStat.
* TVV - Testing, Verifica e Validazione
Testing di sistemi: test funzionali, Robustness testing e fault injection. Organizzazione di esperimenti.

Insegnamenti "a scelta" che possono essere selezionati

1. Teoria dell'Informazione
2. Reti Neurali

Insegnamenti "a scelta" che possono essere selezionati

1. Apprendimento Automatico

Insegnamenti "a scelta" che possono essere selezionati

1. Metodi di Approssimazione
2. Metodi Numerici per la Grafica
3. Complementi di Calcolo Numerico
4. Metodi Numerici per l'Ottimizzazione

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Richiami di matematica discreta e tecniche di prova.
• C - Programmazione
PCC - Programmazione Concorrente
Richiami di programmazione sequenziale e concorrente.
• D - Linguaggi
* S - Semantica
Modelli della concorrenza alternativi ai sistemi di transizione.
* LF - Linguaggi Formali
Equivalenze comportamentali come strumenti di astrazione
TAV - Tecniche di Analisi e Verifica
Equivalenze comportamentali come strumenti di minimizzazione di sistemi e come base per prove di correttezza.
TAV - Tecniche di Analisi e Verifica
Logiche Temporali e logiche modali e tecniche di verifica di proprietà dei sistemi basate sul model checking.
* S - Semantica
Semantica operazionale e denotazionale dei linguaggi di programmazione.
ALC - Astrazioni Linguistiche e Composizionalita'
Algebre e calcoli di processo e loro modelli come sistemi di transizione.
* LF - Linguaggi Formali
Automi a stati finiti e sistemi di transizione etichettati.

Sillabo dell'insegnamento

• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
Divide et impera. Programmazione dinamica. Algoritmi probabilistici.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi degli algoritmi e complessità computazionale. Caso medio e caso pessimo. Numeri speciali.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Relazioni di ricorrenza: metodi di risoluzione. Ricorrenze divide et impera. Funzioni generatrici ed estrazione dei loro coefficienti.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
L'inversione di Lagrange. Metodi esatti e metodi approssimati.
SDA - Strutture di Dati Avanzate
Il metodo simbolico
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Esempi di analisi di algoritmi classici, sugli alberi, sulle permutazioni e sulle parole. Simulazione di algoritmi e strutture dati e relativi test statistici.
* A - Algoritmi fondamentali
Algoritmi greedy esatti e approssimati
* A - Algoritmi fondamentali
Algoritmi su grafi. Ricerca all'interno di testi. Algoritmi probabilistici.
• D - Linguaggi
* LF - Linguaggi Formali
Epressioni regolari e grammatiche context-free: la metodologia di Chomsky- Schutzenberger.

Insegnamenti "a scelta" che possono essere selezionati

1. Codici e Sicurezza
2. Data Warehousing
3. Documentazione Automatica
4. Sistemi Critici e Real Time
5. Modelli Formali per la Verifica di Sistemi
6. Teoria dei Linguaggi di Programmazione
7. Sistemi Distribuiti e Reti di Calcolatori
8. Architetture Avanzate
9. Interazione Uomo Macchina

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Teoria computazionale dell'apprendimento. Apprendimento non supervisionato
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento con supervisione. Regressione. Classificazione. Modelli lineari generalizzati.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Macchine a vettori di supporto e kernels.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Boosting e bagging.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Modelli grafici probabilistici (semantica, inferenza, apprendimento).
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Predizione strutturata. Apprendimento logico e statistico-relazionale.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Insegnamenti ING-INF/05

Sillabo dell'insegnamento

• E - Architetture
AA - Architetture Avanzate
Tecniche di programmazione per GPU.
AA - Architetture Avanzate
Piattaforme avanzate: multi- core,many-core, processori grafici, cluster di grandi dimensioni.
VMP - Valutazione e Miglioramento delle Prestazioni
Modelli analitici per la programmazione parallela. Modelli di costo e valutazione delle prestazioni.
AA - Architetture Avanzate
Tecniche di decomposizione di algoritmi complessi. Bilanciamento del carico.
AA - Architetture Avanzate
Paradigmi di programmazione parallela.
AA - Architetture Avanzate
Piattaforme avanzate per il calcolo ad alte prestazioni. Architetture dei micro-processori, e parallelismo implicito.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti INF/01

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Codici di compressione: 1^ Shannon, codici Huffman.
TIC - Teoria dell'Informazione e Codici
Canali con rumore, capacità e codici rilevatori e correttori. Codici lineari.
TIC - Teoria dell'Informazione e Codici
Elementi di Teoria dell'Informazione.
• H - Computazione su rete
* SR - Sicurezza delle Reti
Cifrari perfetti secondo Shannon, One-Time-Pad, unicity distance. Cifrari di Feistel.
* SR - Sicurezza delle Reti
Network security. Crittografia a chiave condivisa.
* SR - Sicurezza delle Reti
Crittografia a chiave pubblica. Elementi di aritmetica modulare. I cifrari RSA e El Gamal, il protocollo di Diffie-Hellman. Funzioni hash one-way crittografiche. Autenticazione e firma digitale

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti INF/01

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Approssimazione trigonometrica ai minimi quadrati di dati e funzioni periodiche; interpolazione trigonometrica. Trasformata discreta di Fourier: trasformata diretta (DFT) e inversa (IDFT); cenni agli algoritmi di trasformata veloce (FFT).
MAT/08 - Analisi Numerica
Applicazioni della DFT nell'approssimazione trigonometrica; filtraggio di segnali.
MAT/08 - Analisi Numerica
Decomposizione ai valori singolari e sue proprietà.
MAT/08 - Analisi Numerica
Introduzione alla decomposizione ai valori singolari (SVD) e agli algoritmi per calcolarla.
MAT/08 - Analisi Numerica
Il metodo del gradiente coniugato (CG) per sistemi lineari definiti positivi. Utilizzo di SVD e CG per risolvere problemi ai minimi quadrati lineari.
MAT/08 - Analisi Numerica
Problemi ai valori iniziali per equazioni differenziali ordinarie: generalità sui metodi a passo singolo e a passo multiplo; metodi di Runge-Kutta espliciti; proprietà di consistenza, zero-stabilità e convergenza.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Insegnamenti MAT/08

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Applicazioni OLTP e applicazioni OLAP. Architetture
BDA - Basi di Dati Avanzate
Modellazioni concettuali e modelli semantici
BDA - Basi di Dati Avanzate
Business Intelligence e sistemi di supporto alle decisioni
BDA - Basi di Dati Avanzate
Sistemi informativi per metadati
BDA - Basi di Dati Avanzate
Sistemi informativi per la rappresentazione dei processi
BDA - Basi di Dati Avanzate
L'approccio relazione per la rappresentazione dello spazio e del tempo

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti INF/01

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
I modelli di Information Retrieval (IR).
BDA - Basi di Dati Avanzate
Caratterizzazione formale dei modelli di IR. IR classica e avanzata.
BDA - Basi di Dati Avanzate
Misure di valutazione del Retrieval.
BDA - Basi di Dati Avanzate
Query language e operazioni su query.
BDA - Basi di Dati Avanzate
Standard di rappresentazione dei documenti e metadati.
BDA - Basi di Dati Avanzate
Sistemi di indicizzazione. Motori di ricerca.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti INF/01

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Sviluppo e valutazione di interfacce web.
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Accessibilità.
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Usabilità e tecniche di valutazione.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Modelli e stili d'interazione.
TMI - Teorie e Modelli per l'Interazione
Cenni di Psicologia Cognitiva e Modelli dell'utente.
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Principi e paradigmi dell'Interazione Uomo Macchina.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti INF/01

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Matrici positive, teorema di Perron-Frobenius e sue applicazioni ad alcuni modelli.
MAT/08 - Analisi Numerica
Alcuni modelli discreti di economia. Metodi multistep per equazioni differenziali.
MAT/08 - Analisi Numerica
Problemi stiff e regioni di assoluta stabilità dei metodi.
MAT/08 - Analisi Numerica
Analisi di stabilità lineare per sistemi continui e discreti mediante studio di funzioni di matrici.
MAT/08 - Analisi Numerica
Alcuni modelli di dinamica delle popolazioni.
MAT/08 - Analisi Numerica
Preliminari sulle equazioni alle differenze. Equazioni alle differenze e differenziali lineari a coefficienti constanti. Stabilità delle soluzioni.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Insegnamenti MAT/08

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Problemi di programmazione quadratica: metodi ai vincoli attivi, metodi del gradiente proiettato. Studio teorico e computazionale dei precedenti procedimenti numerici con utilizzo di software di pubblico dominio.
MAT/08 - Analisi Numerica
Ottimizzazione non lineare vincolata: Esempi di modelli di programmazione non lineare vincolata; direzioni ammissibili, lagrangiana; Derivazione delle Condizioni di ottimalita' del primo ordine e del secondo ordine.
MAT/08 - Analisi Numerica
Problemi di flusso su un grafo: Definizioni e nozioni fondamentali relative ai grafi, il problema del cammino di costo minimo: il problema del flusso massimo: algoritmo di Ford e Fulkerson.
MAT/08 - Analisi Numerica
I metodi Interior Point primale-Duale: Introduzione, concetto di central path, metodi path-following, teoria di convergenza.
MAT/08 - Analisi Numerica
Programmazione non lineare non vincolata: Condizioni di ottimalita', Metodo del gradiente, metodo di Newton. Globalizzazione mediante line-search.
MAT/08 - Analisi Numerica
Introduzione alla Programmazione Lineare (PL). Forma di un problema di PL; soluzioni, basi, soluzioni ammissibili; teoria della dualita'; definizione del problema duale; Il metodo del simplesso.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Insegnamenti MAT/08

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Cenni di geometria differenziale. Curve di Bezier polinomiali e razionali. Algoritmi di de Casteljau, di degree elevation, di suddivisione.
MAT/08 - Analisi Numerica
Coniche in forma di Bezier razionale. Curve Bezier spline. Continuità classica e geometrica.
MAT/08 - Analisi Numerica
B-splines con nodi semplici e multipli. Teorema di Curry-Schoenberg. Curve B-spline.
MAT/08 - Analisi Numerica
Algoritmi di de Boor e di inserimento di un nodo. Interpolazione e approssimazione parametrica mediante curve spline.
MAT/08 - Analisi Numerica
Patches di Bezier tensor-product e triangolari. Superfici swept. Triangolazione di Delaunay.
MAT/08 - Analisi Numerica
Schemi di interpolazione parametrica mediante superfici spline su triangolazioni.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Insegnamenti MAT/08

Sillabo dell'insegnamento

• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
Algebre di Processo. Logiche modali lineari: LTL. Logiche modali branching: CTL e mu-calcolo.
* TVV - Testing, Verifica e Validazione
Model-checking di LTL. Model-checking di CTL: algoritmo globale e algoritmo locale.
* TVV - Testing, Verifica e Validazione
Model-checking di mu-calcolo.
* LMS - Linguaggi di Modellazione del Software
Sistemi stocastici a tempo discreto: DTMC, PCTL.. Sistemi stocastici a tempo continuo: CTMC, CSL.
* TVV - Testing, Verifica e Validazione
Proprietà quantitative di sistemi. Algoritmi di model-checking
MSQ - Misure del Software e Qualita'
Tecniche avanzate di model-checking quantitativo.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti INF/01

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Insegnamenti FIS/02

Sillabo dell'insegnamento

• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
Dependability. Attributi: reliability, availability, safety. La catena guasto - errore - fallimento. I mezzi per la dependability: Fault prevention, Fault tolerance, Fault removal e Fault forecasting
* TVV - Testing, Verifica e Validazione
System dependability. Tecniche di rilevazione del guasto.Tecniche di ridondanza per mascheramento.
* TVV - Testing, Verifica e Validazione
Software dependability: Safety Net approach. Design diversity. Strutture per Software Fault Tolerance: recovery blocks, n-version programming. Problemi con design diversity: votatori inesatti, mascheramento degli errori
* TVV - Testing, Verifica e Validazione
Esempi di architetture per sistemi dependable: SIFT, GUARDS
* TVV - Testing, Verifica e Validazione
Concetti e tecniche per la valutazione della qualità del software. Il processo di certificazione: gli attori coinvolti, le procedure e le tecniche. Perimetro e validità della certificazione. Norme di riferimento per la certificazione. Oggetto della certificazione: sistema, software, processo. Certificazione vs. qualità
* TVV - Testing, Verifica e Validazione
Standard internazionali relativi alla certificazione di sistemi critici nei diversi domini applicativi. Approfondimenti attraverso esempi e case studies. Il settore automotive e lo standard ISO/IEC 26262

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti INF/01

Sillabo dell'insegnamento

• H - Computazione su rete
* MIR - Modelli di Interazione in Rete
Rottura delle simmetrie in sistemi distribuiti.
* FCD - Fondamenti del Calcolo Distribuito
Sincronizzazione in sistemi distribuiti.
* MIR - Modelli di Interazione in Rete
Incertezza in sistemi distributi.
* MIR - Modelli di Interazione in Rete
Comunicazione e coordinamento in sistemi distribuiti.
* FCD - Fondamenti del Calcolo Distribuito
Localita' e parallelismo in sistemi distribuiti.
• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
Tolleranza ai guasti in sistemi distribuiti

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti INF/01

Sillabo dell'insegnamento

• A - Fondamenti
SLP - Semantica dei Linguaggi di Programmazione
Semantica operazionale di linguaggi orientati agli oggetti
SLP - Semantica dei Linguaggi di Programmazione
Semantica operazionale di linguaggi funzionali
• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Interpreti e strategie di valutazione
PLN - Paradigmi Linguistici
Fondamenti di linguaggi funzionali
PLN - Paradigmi Linguistici
Fondamenti di linguaggi orientati algi oggetti
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Tecniche per la realizzazione di algoritmi di type checking

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti INF/01

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Insegnamenti FIS/02