Insegnamenti "a scelta" che possono essere selezionati

1. Advanced Human-Computer Interaction
2. Algorithmica
3. Algoritmi numerici e applicazioni
4. Analisi e Verifica mediante Interpretazione Astratta
5. Automatic System Verification: Theory and applications
6. Complementi di basi di dati e GIS
7. Constraint Programming & Planning
8. Geometria Computazionale
9. Informatica e Aziende
10. Immagini e multimedialità
11. Teoria della Concorrenza
12. Sistemi informativi e data warehouse
13. Web design e User Experience
14. Sistemi distribuiti
15. Ingegneria del software - Progettazione e Laboratorio
16. Interactive 3D graphics
17. Modelli e algoritmi per le decisioni
18. Informatica Medica
19. Personalizzazione dei contenuti web
20. Progettazione e analisi orientate agli oggetti
21. Robotica
22. Sicurezza delle reti
23. Sistemi mobili e wireless
24. Sound Processing
25. Tecnologie Web avanzate
26. Teoria dell'informazione e Crittografia
27. Teoria e tecniche di elaborazione delle immagini
28. Web Information retrieval
29. Web Semantico

Insegnamenti "a scelta" che possono essere selezionati

1. Algorithmica
2. Teoria della Concorrenza
3. Sistemi informativi e data warehouse
4. Web design e User Experience

Insegnamenti "a scelta" che possono essere selezionati

1. Analisi e Verifica mediante Interpretazione Astratta
2. Progettazione e analisi orientate agli oggetti
3. Sound Processing
4. Teoria dell'informazione e Crittografia

Insegnamenti "a scelta" che possono essere selezionati

1. Automatic System Verification: Theory and applications
2. Sistemi distribuiti
3. Ingegneria del software - Progettazione e Laboratorio

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
* RP - Risoluzione di Problemi
Spazio degli stati e problem solving
RA - Ragionamento Automatico
Sistemi per il ragionamento non monotono
RA - Ragionamento Automatico
Algoritmi di ragionamento automatico
ARC - Acquisizione e Rappresentazione della Conoscenza
Meccanismi per la rappresentazione della conoscenza
AIA - Applicazioni della Intelligenza Artificiale
Problematiche di base del Natural Language Processing
AIA - Applicazioni della Intelligenza Artificiale
Problematiche nel campo della ricerca di informazioni, motori di ricerca su Web. Cenni alle tecniche di Information Extraction. Motori di ricerca innovativi

Sillabo dell'insegnamento

• D - Linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Continuation Passing-Style con linguaggi funzional
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Traduzione espressioni con accessi in array e Traduzione Control flow
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Type Checking via Grammatiche ad Attributi e Generazione di Codice Intermedio
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Syntax Directed Translation e Grammatiche ad Attributi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Parsing top-down e Parsing bottom-up
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Sistemi di riscritture, SLD derivazione, narrowing
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Warren Abstract Machine
PLN - Paradigmi Linguistici
Il paradigma logico-funzionale: High-order Non-deterministic Programming e il linguaggio Curry
PLN - Paradigmi Linguistici
Il paradigma logico: Prolog

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Legami tra espressività di un linguaggio formale e la teoria dei giochi
MAT/01 - Logica Matematica
La nozione di bisimulazione e la sua importanza nella modellazione
MAT/01 - Logica Matematica
apporti fra le logiche classiche (Logica al prim'ordine e Logica Monadica al second'ordine) ed i loro frammenti invarianti per bisimulazione (la logica Modale ed il mu-calcolo)
MAT/01 - Logica Matematica
Legame fra giochi infiniti ed il mu-calcolo
MAT/01 - Logica Matematica
Introduzione ai calcoli per la Logica del Prim'ordine e theorem proving
MAT/01 - Logica Matematica
Risoluzione ed il calcolo dei Sequenti

Sillabo dell'insegnamento

• A - Fondamenti
SLP - Semantica dei Linguaggi di Programmazione
Sintassi e Semantica Operazionale e verifica di programmi paralleli disgiunti
SLP - Semantica dei Linguaggi di Programmazione
Asserzioni, formule per la correttezza, sistema di regole alla Hoare per la correttezza di programmi deterministici.
SLP - Semantica dei Linguaggi di Programmazione
Sintassi e semantica operazionale di programmi deterministici.
SLP - Semantica dei Linguaggi di Programmazione
Introduzione alla verifica formale della correttezza di programmi.
SLP - Semantica dei Linguaggi di Programmazione
Sintassi e Semantica Operazionale e verifica di programmi paralleli con variabili condivise
SLP - Semantica dei Linguaggi di Programmazione
Programmi non-deterministici e distribuiti: verifica.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Introduzione alla programmazione lineare
MAT/09 - Ricerca Operativa
Proprietà della programmazione lineare
MAT/09 - Ricerca Operativa
Modelli di percorsi con o senza capacità
MAT/09 - Ricerca Operativa
Modelli di percorsi con vincoli sui nodi o sugli archi
MAT/09 - Ricerca Operativa
Modelli di allocazione
MAT/09 - Ricerca Operativa
Schedulazione

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
TMI - Teorie e Modelli per l'Interazione
Information Visualization (IV) e tecniche di visualizzazione
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Il presentation problem: casi di studio.
TMI - Teorie e Modelli per l'Interazione
Aspetti Percettivi, Cognitivi e Fattori Umani
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Interazione con dispositivi mobili
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Valutazione di sistemi mobili
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Interfacce utente per automobili e tecnologie persuasive

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
Classi di complessità. Il teorema di gerarchia sulle classi di complessità. Il Gap theorem. Teorema di Savitch.
COM - Complessita'
Il teorema di Immermann-Szelepscenyi e conseguenze. Riduzioni e completezza. Classi esterne ad NP.
* CAL - Calcolabilita'
Quantum Computing. Classi di complessità quantistica. Algoritmi quantistici.
* ALF - Automi e Linguaggi Formali
DNA Computing. Il modello di Adleman e Lipton. Soluzione di SAT ed altri problemi NP-completi. Simulazione di macchine di Turing.
• B - Algoritmi
* A - Algoritmi fondamentali
Algoritmo di Hopcroft.
* A - Algoritmi fondamentali
Algoritmo di Paige-Tarjan
* A - Algoritmi fondamentali
Algoritmi di Knuth-Morris e Pratt, Rabin e Karp, Boyer e Moore
* A - Algoritmi fondamentali
Algoritmo di Harel e Tarjan per il calcolo del lowest common ancestor
* A - Algoritmi fondamentali
Algoritmo di Sellers, algoritmo di Landau e Vishkin, algoritmo di Chang e Lawler
SDA - Strutture di Dati Avanzate
Suffix trees, BDDs e applicazioni
TAA - Tecniche Algoritmiche Avanzate
Modelli e algoritmi per computers paralleli
TAA - Tecniche Algoritmiche Avanzate
Introduzione agli algoritmi randomizzati e algoritmi probabilistici su grafi

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

1. Insegnamento da 12 CFU
2. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• B - Algoritmi
AN - Algoritmi Numerici
Esempi di problemi reali di grande dimensione, sistemi lineari. Tecnologia delle matrici sparse.
AN - Algoritmi Numerici
Metodi diretti per sistemi lineari con matrice a banda. Metodi iterativi per sistemi lineari con matrice sparsa di grandi dimensioni: metodi stazionari e introduzione ai metodi basati sugli spazi di Krylov
AN - Algoritmi Numerici
Introduzione al problema algebrico agli autovalori. Il metodo delle potenze e le sue applicazioni ai motori di ricerca
AN - Algoritmi Numerici
Dalla DFT alla FFT. Applicazioni all'analisi, sintesi e compressione di suoni ed immagini.
AN - Algoritmi Numerici
Complessità algebrica in ambiente (sequenziale e) parallelo dei principali problemi dell'algebra lineare numerica.
AN - Algoritmi Numerici
Esempi di algoritmi numerici paralleli.

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
Strutture dati ad albero
* SDF - Strutture di Dati Fondamentali
Strutture dati a grafo
• G - Basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggio XQUERY
LP - Linguaggi di Programmazione di Basi di Dati
XML e XSCHEMA
NBD - Normalizzazione di Basi di Dati
Trasformazione XSLT
V - Varie
Esercitazioni con BaseX, R, igraph e Processing.

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

Sillabo dell'insegnamento

• A - Fondamenti
SLP - Semantica dei Linguaggi di Programmazione
Semantica Denotazionale del linguaggio IMP
* ALF - Automi e Linguaggi Formali
Posets, CPO, Reticoli e punto fisso
• D - Linguaggi
TAV - Tecniche di Analisi e Verifica
Analisi statica di programmi
TAV - Tecniche di Analisi e Verifica
Interpretazione astratta
TAV - Tecniche di Analisi e Verifica
Trasformazione e Valutazione parziale
TAV - Tecniche di Analisi e Verifica
Automazione del Debugging

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

1. Insegnamenti per un totale di 18 CFU
2. Insegnamento da 6 CFU

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Introduzione ai sistemi reattivi
* ALF - Automi e Linguaggi Formali
Automi su parole infinite
* ALF - Automi e Linguaggi Formali
Automi su alberi infiniti
* ALF - Automi e Linguaggi Formali
Relazioni con la teoria dei giochi
L - Logica
Logiche modali e temporali
SLP - Semantica dei Linguaggi di Programmazione
Modelli astratti e concreti di linguaggi concorrenti
• D - Linguaggi
TAV - Tecniche di Analisi e Verifica
Verifica e validazione di sistemi reattivi
TAV - Tecniche di Analisi e Verifica
Model Checking
TAV - Tecniche di Analisi e Verifica
Rappresentazione dei sistemi e algoritmi basati su BDD

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

1. Insegnamento da 9 CFU
2. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• G - Basi di dati
NBD - Normalizzazione di Basi di Dati
Normalizzazione di schemi
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Tecniche avanzate di progettazione fisica
LP - Linguaggi di Programmazione di Basi di Dati
SQL e linguaggi di programmazione
BDA - Basi di Dati Avanzate
Basi di dati spaziali e distribuite
TCR - Transazioni, Concorrenza e Recovery
Sicurezza
BDA - Basi di Dati Avanzate
GIS

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
* RP - Risoluzione di Problemi
Constraint satisfaction/optimization problems
* RP - Risoluzione di Problemi
Constraint Programming: propagazione e ricerca
* LPD - Logica e Programmazione Dichiarativa
Constraint Logic Programming
* LPD - Logica e Programmazione Dichiarativa
Answer Set programming
* LPD - Logica e Programmazione Dichiarativa
Linguaggi dichiarativi per il planning
* RP - Risoluzione di Problemi
Risoluzione di problemi di planning con constraint programming e answer set programming

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
MG - Modellazione Geometrica
Definizione rigorosa degli enti geometrici di base
MG - Modellazione Geometrica
Principali strutture per la gestione di tali enti
MG - Modellazione Geometrica
Intersezioni di insiemi di segmenti
MG - Modellazione Geometrica
Partizioni di regioni poligonali, problemi di localizzazione, vicinanza e visibilità
MG - Modellazione Geometrica
Diagrammi di Voronoi e triangolazioni di Delaunay
MG - Modellazione Geometrica
Estensione allo spazio 3D

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
MG - Modellazione Geometrica
Modelli e Computer Graphics. Modellazione geometrica in due e tre dimensioni: prospettiva e formazione dell'immagine.
MG - Modellazione Geometrica
Primitive geometriche: trasformazioni.
MG - Modellazione Geometrica
Modellazione fotometrica: riflessione diffusiva e speculare.
MG - Modellazione Geometrica
Modelli fotometrici
MG - Modellazione Geometrica
Le tessiture
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Uso della libreria JAVA 3D.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Animazione e interattività
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Geometria dell'osservatore
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Punto di fuga e punto di vista dell'osservatore

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• I - Ingegneria del software
EPG - Aspetti Etici, Professionali e Giuridici
Analisi dei syllabus internazionali
EPG - Aspetti Etici, Professionali e Giuridici
Aspetti legati alla Privacy
EPG - Aspetti Etici, Professionali e Giuridici
Diritto d'autore e brevetti del Software
EPG - Aspetti Etici, Professionali e Giuridici
Firme digitali e sicurezza della posta elettronica
EPG - Aspetti Etici, Professionali e Giuridici
Qualità EQDL
EPG - Aspetti Etici, Professionali e Giuridici
Caso studio su EUCIP core, e modulo PLAN

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• I - Ingegneria del software
EPG - Aspetti Etici, Professionali e Giuridici
Casi di violazioni di sicurezza e reazioni di tipo legale (digital forensics).
EPG - Aspetti Etici, Professionali e Giuridici
Sicurezza: leggi di tutela, crimini informatici. Forme di terrorismo informatico. Politiche di sicurezza informatica.
EPG - Aspetti Etici, Professionali e Giuridici
Proprietà intellettuale in generale e nell'industria del software in particolare
EPG - Aspetti Etici, Professionali e Giuridici
Open Source: attuazione tramite licenze d'uso; impatto sulla produzione del software e importanza per la Pubblica Amministrazione
EPG - Aspetti Etici, Professionali e Giuridici
Brevetti, diritti d'autore, segreti commerciali, marchi
EPG - Aspetti Etici, Professionali e Giuridici
Esercitazioni

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

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
Applicazioni mediche del semantic web
* DBMS - Sistemi di Gestione di Basi di Dati
La cartella clinica elettronica
* DBMS - Sistemi di Gestione di Basi di Dati
Caratteristiche dei dati e del ragionamento in medicina
• L - Interazione, grafica e multimedialità
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Sistemi basati sui protocolli
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Elaborazione di bio segnali e bioimmagini
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Terminologia e classificazione

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
La dimensione economica, e i fattori di complessità del processo di sviluppo.
* PSS - Processi di Sviluppo del Software
Configuration Management
MES - Manutenzione ed Evoluzione del Software
Ingegneria del Software Esistente, re-engineering e riuso.
* TVV - Testing, Verifica e Validazione
Verifica e Validazione: I risultati teorici negativi. Strategie e metodi di test.
* TVV - Testing, Verifica e Validazione
Metriche: obiettivi e scale di misurazione (Halstead, Albrecht, McCabe).
* TVV - Testing, Verifica e Validazione
Modelli di qualità: Certificazione (McCall, Bohem e IS0 9126).
EPGS - Economia della Produzione e Gestione di progetti Software
Valutazione e stima dei costi (modello COCOMO e altri)
EPGS - Economia della Produzione e Gestione di progetti Software
Pianificazione e Controllo del Processo Produttivo.
V - Varie
Metodologie Agili: Confronto con le metodologie classiche. Extreme Programming.

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

1. Insegnamento da 9 CFU
2. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
RV - Rendering e Visualizzazione
Il ciclo di rendering 3D interattivo. Rappresentazione di geometrie.
RV - Rendering e Visualizzazione
Trasformazioni. Spazi di coordinate utilizzati in Grafica 3D. Interpolazione, aliasing e anti-aliasing.
RV - Rendering e Visualizzazione
Textures. Anti-aliasing per texture. Operazioni su frammenti e buffer. Il linguaggio Glsl.
RV - Rendering e Visualizzazione
Shading. (Gouraud shading e Phong shading) Modelli di Illuminazione (Blinn-Phong e Cook-Torrance).
RV - Rendering e Visualizzazione
Uso di Textures nello shading. Bounding Volume Hierarchies, Binary Space Partitioning Trees e algoritmi di culling.
RV - Rendering e Visualizzazione
Introduzione alle animazioni. OpenGL.

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• B - Algoritmi
* ASC - Algoritmi su Strutture Combinatorie
tabu-search e algoritmi genetici.
* ASC - Algoritmi su Strutture Combinatorie
Local search. Meta euristiche.
* ASC - Algoritmi su Strutture Combinatorie
Algoritmi approssimati e esempi
* ASC - Algoritmi su Strutture Combinatorie
branch-and-cut, branch-and-price, ottimizzazione compatta.
* ASC - Algoritmi su Strutture Combinatorie
algoritmi esatti: modelli di programmazione lineare intera con un numero esponenziale di vincoli e/o variabili,
* ASC - Algoritmi su Strutture Combinatorie
principali metodologie modellistiche utilizzate per la soluzione di problemi computazionalmente difficili

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialità e WWW
Processi per lo sviluppo basati sulla conoscenza
* IMW - Ipertesti, Multimedialità e WWW
Processi primari di analisi
* IMW - Ipertesti, Multimedialità e WWW
User modeling
* IMW - Ipertesti, Multimedialità e WWW
Tecniche di personalizzazione, tracciamento ed identificazione dell'utente
* IMW - Ipertesti, Multimedialità e WWW
Selezione dei contenuti, filtraggio collaborativo e cognitivo
* IMW - Ipertesti, Multimedialità e WWW
Applicazione delle tecniche viste

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialità e WWW
Progettazione ipermediale e comunicazione: il modello di Crilly.
* IMW - Ipertesti, Multimedialità e WWW
Metodi sistematici per la progettazione di applicazioni web: WebML e IDM.
* IMW - Ipertesti, Multimedialità e WWW
Metodi di progettazione multimediale orientati alla esperienza dell'utente: il modello di Eugeni. L'articolazione della esperienza mediale: esperienza sensoriale, narrativa, relazionale.
* IMW - Ipertesti, Multimedialità e WWW
Progettazione sensoriale: qualità tonali e ritmiche dei materiali multimediali, composizione spazio-temporale, relazioni intra e iter-mediali, effetti sinestetici.
* IMW - Ipertesti, Multimedialità e WWW
Progettazione narrativa: strutture narrative e discorsive. Progettazione relazionale: sintonia relazionale, immersione, design etico. Applicazione dei metodi ad alcuni generi specifici: il video gioco, l'audiovisivo pubblicitario, il sito web, il prodotto transmediale.
* IMW - Ipertesti, Multimedialità e WWW
Studio di casi specifici finalizzati alla progettazione per l'esperienza estetica, ludica ed affettiva. Progettazione cross-culturale.

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

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSC - Progettazione del Software e Codifica
Introduzione al linguaggio UML per l'analisi OO.
* PSC - Progettazione del Software e Codifica
Design patterns.
* PSC - Progettazione del Software e Codifica
PPrincipi della progettazione OO.
* PSC - Progettazione del Software e Codifica
UML per il progetto.
* AR - Analisi dei Requisiti
Il Refactoring.
* PSC - Progettazione del Software e Codifica
Casi di studio e approfondimenti.

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

1. Insegnamenti per un totale di 18 CFU
2. Insegnamento da 6 CFU

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
AIA - Applicazioni della Intelligenza Artificiale
Agenti situati: Percezione e Azione, Pianificazione, Sistemi reattivi, Motivazioni biologiche, Vincoli ambientali sull'embodiment Architetture behavior-based
AIA - Applicazioni della Intelligenza Artificiale
Veicoli Autonomi: Robotica mobile, Problemi di controllo, Veicoli di Braitenberg
AIA - Applicazioni della Intelligenza Artificiale
Panoramica dei Sistemi Dinamici: Veicoli Mobili, Problemi della rappresentazione, Controllo del Movimento su base Energetica Roboticles
AIA - Applicazioni della Intelligenza Artificiale
Basi percettive del controllo behavior-based Problemi della Rappresentazione, Architetture reattiva, Architetture ibride, Comportamenti adattivi, Comportamenti collettivi
AIA - Applicazioni della Intelligenza Artificiale
Veicoli con ruote: Legged robot: esapodi, quadrupedi e bipedi, Locomozione negli umanoidi, Camminata attiva e passiva Controllo dell'andatura utilizzando il modello del pendolo invertito ZMP e CPG
AIA - Applicazioni della Intelligenza Artificiale
Reinforcement Learning Q-learning Reti Neurali Cenni sugli Algoritmi Genetici

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• A - Fondamenti
SLP - Semantica dei Linguaggi di Programmazione
Metamodelli per i sistemi concorrenti e distribuiti: i bigrafi.
SLP - Semantica dei Linguaggi di Programmazione
Sistemi per la mobilità: il calcolo degli ambienti mobili. Sintassi, semantica operazionale, logica modale spaziale, sistemi di tipi. Varianti e applicazioni.
SLP - Semantica dei Linguaggi di Programmazione
Il tool ProVerif.
SLP - Semantica dei Linguaggi di Programmazione
Sintassi, semantica operazionale late e early, bisimulazioni late, early, open. Cenni a Pict.
SLP - Semantica dei Linguaggi di Programmazione
Sistemi per la sicurezza: lo spi-calcolo. Sintassi, semantica operazionale, verifica di proprietà di sicurezza mediante bisimulazioni.
SLP - Semantica dei Linguaggi di Programmazione
Sistemi concorrenti a topologia dinamica: il mu-calcolo.

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

Sillabo dell'insegnamento

• H - Computazione su rete
* SR - Sicurezza delle Reti
Introduzione al corso e concetti di base.
* SR - Sicurezza delle Reti
Steganografia: ad attaccante passivo e attivo, generativa e iniettiva, LSB. Steganografia nelle immagini JPEG, steganalisi, watermarking e fingerprinting.
* SR - Sicurezza delle Reti
Crittografia. Panorama storico e crittografia contemporanea: cifratura simmetrica, e asimmetrica, attacchi, tecniche di cifratura a blocco e a flusso, scambio delle chiavi..
* SR - Sicurezza delle Reti
Funzioni crittografiche di hash: codici di checksum, requisiti e utilizzi delle funzioni di hash,
* SR - Sicurezza delle Reti
Posta elettronica e sicurezza: protocolli per la posta elettronica.
* SR - Sicurezza delle Reti
Sicurezza a livello di protocollo: reti cablate e wireless

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• H - Computazione su rete
* FCD - Fondamenti del Calcolo Distribuito
Introduzione ai sistemi distribuiti. Problematiche, motivazioni, esempi. Modelli di sistemi. Architetture stratificate, client-server, peer-to-peer. Middleware.
* FCD - Fondamenti del Calcolo Distribuito
Meccanismi per comunicazione diretta: socket, MPI, RPC, RMI. Meccanismi per comunicazione indiretta: comunicazione di gruppo, publish-subscribe, code di messaggi. AMQP.
* FCD - Fondamenti del Calcolo Distribuito
Linguaggi specifici per i sistemi distribuiti: Erlang, Scala
* FCD - Fondamenti del Calcolo Distribuito
Sistemi di oggetti distribuiti. Oggetti persistenti e transitori. Componenti distribuiti. JavaBeans.
* MIR - Modelli di Interazione in Rete
Web Services. SOAP. Linguaggi per coreografie.
* MIR - Modelli di Interazione in Rete
Sistemi peer-to-peer. Replicazione negli overlay non strutturati con random walk: analisi del caso uniforme, proporzionale e square-root. Overlay di instradamento. Tabelle hash distribuite. Lookup semplice e scalabile. Pastry, Tapestry, Kademlia. Peer e ultrapeer: Gnutella, Skype.
* MIR - Modelli di Interazione in Rete
File system distribuiti. Architetture. NFS. - Naming. Semplice, strutturato, con attributi. X.500 e LDAP.
* FCD - Fondamenti del Calcolo Distribuito
Tempo e stato globale. Orologi fisici, algoritmi di sincronizzazione, NTP. Orologi logici. Stato globale, multicast totalmente ordinato. Comunicazione causale. - Coordinamento. Mutua esclusione distribuita. Algoritmi di elezione. Coordinamento in comunicazioni di gruppo. Problema del consenso. Problema dei Generali Bizantini.
* FCD - Fondamenti del Calcolo Distribuito
Transazioni distribuite. Lock distribuiti. Sincronia virtuale. Ordinamento dei messaggi. Distributed Commit (2PC, 3PC). Deadlock distribuito. - Replicazione. Modelli di Consistenza dei dati. Consistenza causale, per eventi. Gestione delle replica. Protocolli pull vs. push. Protocolli di consistenza.

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

1. Insegnamento da 9 CFU
2. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• I - Ingegneria del software
* ASW - Architetture Software
Architettura dei sistemi informativi,
* ASW - Architetture Software
Introduzione all'informatica aziendale, Definizione di sistema informativo,
* ASW - Architetture Software
Modelli aziendali e processi di businessSistema Informativo Direzionale,
MSQ - Misure del Software e Qualita'
Project Management, Risk Management
MSQ - Misure del Software e Qualita'
Valutazioni economiche sui Sistemi Informativi,
* ASW - Architetture Software
Sistemi informativi avanzati, Knowledge management.
V - Varie
Mercato dell'IT in Italia ed in Europa
V - Varie
Impatto dell'IT nell'organizzazione delle imprese
* ASW - Architetture Software
Sistemi operazionali: loro finalità ? Informazione operativa ? Potenzialità informatica ? Composizione dei sistemi informativi operazionali.
* ASW - Architetture Software
ERP: Area amministrativa, logistica, vendite, acquisti, produttiva: obiettivi, strutture e procedure di base, flussi informativi evoluti - Sistemi di supporto primario all'ERP ? Estensioni dell'ERP ? Sistemi tecnici, Sistemi di automazione d'ufficio.
* ASW - Architetture Software
Sistemi Informazionali: DataWarehouse; modello multidimensionale dei dati, architettura.
* ASW - Architetture Software
Modelli concettuali e logici, ciclo di vita, tecniche di analisi dei dati. DataMining; architettura, processo di mining dei dati, tipologie di analisi, ambiti di applicazione.

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

1. Insegnamenti per un totale di 18 CFU
2. Insegnamento da 12 CFU

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Aspetti della mobilità: user mobility, device mobility. Wireless vs. mobile. Esempi di scenari mobili e wireless. Mobile vs. desktop application design.
PASR - Programmazione di Applicazioni e Servizi di Rete
Comunicazioni wireless: spettro elettromagnetico, comunicazioni wireless vs. fisse, tecnologie. Storia delle reti wireless. Segnali e frequenze, antenne, propagazione, modulazione, media access (SDMA, FDMA, TDMA, CDMA). Reti cellulari: GSM, GPRS, UMTS, LTE. Wireless networks: IR vs. radio, infrastructrure-based vs. ad-hoc networks, IEEE 802.11.
PASR - Programmazione di Applicazioni e Servizi di Rete
Panoramica delle tecnologie esistenti: GPS, Infrarossi, WiFi, Reti cellulari, RFID, ZigBee. GPS: funzionamento, limitazioni, protocollo NMEA, miglioramento della precisione (AGPS, DGPS). Caratteristiche e limiti del GPS. Self-contained sensor based systems.
PASR - Programmazione di Applicazioni e Servizi di Rete
Tipi di dispositivi mobili. Caratteristiche hardware dei dispositivi mobili: CPU, GPU, memoria, display, input, alimentazione, connettivita'.
PASR - Programmazione di Applicazioni e Servizi di Rete
Location-awareness. Mobile GIS (Geographic Information System). Mobile consumer location-based services: sistemi di navigazione, buddy finder and family finder applications, foto geo-referenziate, location-based search engines, mobile guides. Lavoro, comunicazione e collaborazione mobile. Mobile Computer-mediated Communication. Mobile Computer-supported Cooperative Learning (CSCL). Proximity-based collaboration support. Mobile shared spaces. Environment mediated collaboration. Mobile annotations. Mobile group gaming.
PASR - Programmazione di Applicazioni e Servizi di Rete
Piattaforme: Apple iOS, Google Android, Blackberry RIM, Symbian, Windows Phone. Sviluppo di applicazioni Android: strumenti di sviluppo (Android SDK, Eclipse, ADT plugin, emulatore, DDMS), ciclo di vita delle applicazioni Android, componenti di un'applicazione Android (activity, service, content provider, broadcast receiver), intents, interfacce utente (XML layouts, views, widgets, menus), data storage and retrieval, networking, telephony, graphics, animation, multimedia, location services, sensori.

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Elementi di psicoacustica e percezione uditiva.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Discretizzazione di segnali e sistemi a tempo continuo.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Trasformate di segnali: Fourier, Zeta.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Filtri numerici: filtri del primo e secondo ordine.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Tecniche di sintesi del suono: Tecniche classiche. Sintesi non lineari e per modelli fisici (cenni).
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Utilizzo di software per la sintesi del suono in tempo reale - Esempi di realizzazioni di modelli per la sintesi del suono.

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

1. Insegnamenti per un totale di 18 CFU
2. Insegnamento da 6 CFU

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialità e WWW
Service Oriented Architecture
* IMW - Ipertesti, Multimedialità e WWW
Web Services: principi
* IMW - Ipertesti, Multimedialità e WWW
Web Services: tecnologie di base
* IMW - Ipertesti, Multimedialità e WWW
Web Services: tecnologie avanzate
* IMW - Ipertesti, Multimedialità e WWW
Cloud Computing
* IMW - Ipertesti, Multimedialità e WWW
Paradigmi per la progettazione strutturata di applicazioni web

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Codifica di sorgente. Teoremi principali.
TIC - Teoria dell'Informazione e Codici
Codici d'uso comune (Huffman, Ziv-Lempel, B-Zip, LZW)
TIC - Teoria dell'Informazione e Codici
Codifica di canale. Teoremi principali.
TIC - Teoria dell'Informazione e Codici
Codici d'uso comune (Reed-Solomon e Viterbi)
TIC - Teoria dell'Informazione e Codici
Codici segreti. Panoramica storica e risultati prinicpali.
TIC - Teoria dell'Informazione e Codici
Codici d'uso comune (DES, AES, e RSA)

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

1. Insegnamenti per un totale di 18 CFU
2. Insegnamento da 6 CFU

Sillabo dell'insegnamento

• A - Fondamenti
SLP - Semantica dei Linguaggi di Programmazione
Semantica di un semplice linguaggio imperativo
SLP - Semantica dei Linguaggi di Programmazione
Domini per la semantica denotazionale: ordini, reticoli, teoremi di punto fisso. La teoria dei domini, domini base e costruttori di dominio.
SLP - Semantica dei Linguaggi di Programmazione
Semantica denotazionale di linguaggi funzionali con meccanismi di valutazione call by name e call by value.
SLP - Semantica dei Linguaggi di Programmazione
Teoria della ricorsione, teorema di Bekic e induzione di punto fisso.
SLP - Semantica dei Linguaggi di Programmazione
Semantica denotazionale tramite continuazioni di un linguaggio imperativo con environment, store, chiamate di procedura ed eccezioni.
SLP - Semantica dei Linguaggi di Programmazione
Linguaggi concorrenti: CSP, CCS, sistemi di transazione etichettati, la relazione di bisimulazione, logica di Hennessy-Milner.

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

1. Insegnamento da 12 CFU
2. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
appresentazioni dei segnali e delle immagini: analitica, numerica, grafica, statistica.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
La rappresentazione statistica del rumore. Rappresentazioni in frequenza: spettri e loro calcolo.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Campionamento e conversione analogico-digitale.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Filtraggio numerico di segnali e immagini. Riduzione del rumore.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Estrazione di caratteristiche dalle immagini.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Esercitazioni in laboratorio

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Definizioni e connotazioni di user experience. Le emozioni; il loro ruolo; il modello di Norman delle emozioni.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Il modello di Hassenzahl, l'effetto aura secondo Tracktinsky e secondo Hartman e De Angeli.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Il modello di Desmet e Hekkert.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Misurare le emozioni: metodi dimensionali, metodi discreti; lo strumento LEMTool; variabili psicofisiologiche (pupillometria).
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Caso di studio: la pubblicità online.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Legge di Fitts e Massime di Grice
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Principio di pertinenza di Wilson e Sperber. Teoria dell'apprendimento esplorativo
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Ciclo dell'interazione (di Norman). Emozioni. Estetica.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Inattentional blindness; change blindness; banner blindness.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Teorie della perceptual bandwith e della limited capacity. L'interattività come conversazione.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Lo stato di Flow. Il modello Elaboration Likelihood Model e la persuasione.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
l computer come attore sociale; credibilità e persuasione; tecnologie persuasive. I modelli dei sistemi di notifica; modelli del costo dell'interruzione.

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

1. Insegnamenti per un totale di 18 CFU
2. Insegnamento da 12 CFU

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialità e WWW
Introduzione all'information retrieval (IR)
* IMW - Ipertesti, Multimedialità e WWW
IR classico: modelli formali dell'IR; struttura di un indice invertito;
* IMW - Ipertesti, Multimedialità e WWW
interfacce utente per l'IR; classificazione e clustering; v
* IMW - Ipertesti, Multimedialità e WWW
valutazione (fondamenti, metodologie, metriche).
* IMW - Ipertesti, Multimedialità e WWW
Web IR: grafo del Web; analisi dei link; crawling; spam; architettura di un motore di ricerca.
* IMW - Ipertesti, Multimedialità e WWW
Casi di studio e approfondimenti.

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

1. Insegnamenti per un totale di 18 CFU

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Fondamenti del Web Semantico
BDA - Basi di Dati Avanzate
Motivazioni e visione. Metadati e loro organizzazione
BDA - Basi di Dati Avanzate
Ontologie: aspetti formali
BDA - Basi di Dati Avanzate
Richiami su tecniche di ragionamento automatico
LP - Linguaggi di Programmazione di Basi di Dati
Linguaggi del WS: RDF e RDF-S
BDA - Basi di Dati Avanzate
Linguaggi per le ontologie: OWL, OWL-2

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

1. Insegnamenti per un totale di 18 CFU