Sillabo dell'insegnamento

• B - Algoritmi
AP - Algoritmi Paralleli
Modelli sincroni, algoritmi per PRAM
AP - Algoritmi Paralleli
Reti di interconnessione a grado limitato
AP - Algoritmi Paralleli
Modelli VLSI e mesh riconfigurabili
AD - Algoritmi Distribuiti
Modelli asincroni, algoritmi concorrenti
AD - Algoritmi Distribuiti
Modello distribuito, topologie di reti di calcolatori
AD - Algoritmi Distribuiti
Mutua esclusione, elezione leader, minimo albero di copertura

Sillabo dell'insegnamento

• A - Fondamenti
SLP - Semantica dei Linguaggi di Programmazione
Semantica di un linguaggio while
SLP - Semantica dei Linguaggi di Programmazione
Teoria del punto fisso
SLP - Semantica dei Linguaggi di Programmazione
Semantica astratta di programmi
• D - Linguaggi
TAV - Tecniche di Analisi e Verifica
Sistemi di tipo comportamentale
TAV - Tecniche di Analisi e Verifica
Data flow analysis
TAV - Tecniche di Analisi e Verifica
Alias analysis

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Basi di Dati per Dati strutturati, semi strutturati e non strutturati
* LI - Linguaggi di Interrogazione di Basi di Dati
XPath and XQuery
* LI - Linguaggi di Interrogazione di Basi di Dati
Information Retrieval (boolean e vector space)
* PL - Progettazione Logica
La progettazione logica nei data warehouse
BDA - Basi di Dati Avanzate
Data warehouse
BDA - Basi di Dati Avanzate
Data mining

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
introduzione all'apprendimento automatico. Alberi di decisione.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
richiami di probabilita', reti Bayesiane
AASC - Apprendimento Automatico e Scoperta di Conoscenza
regressione logistica
AASC - Apprendimento Automatico e Scoperta di Conoscenza
reti neurali
AASC - Apprendimento Automatico e Scoperta di Conoscenza
introduzione a tecniche di deep learning. Autoencoders
AASC - Apprendimento Automatico e Scoperta di Conoscenza
macchine di Boltzmann ristrette e deep belief networks.

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
Algoritmi probabilistici e loro complessità
COM - Complessità
Autenticità e Confidenzialità con chiave asimmetrica
COM - Complessità
Pseudocasualità
COM - Complessità
Autenticità e Confidenzialità con chiave simmetrica
• D - Linguaggi
TAV - Tecniche di Analisi e Verifica
Crittografia formale: il modello di Dolev e Yao
• H - Computazione su rete
* SR - Sicurezza delle Reti
Progetto di Cifrari a Blocco

Insegnamenti "a scelta" che possono essere selezionati

1. Simulazione di sistemi
2. Complex Systems
3. Ingegneria del Software Orientata ai Servizi

Insegnamenti "a scelta" che possono essere selezionati

1. Fondamenti logici dell'Informatica
2. Matematica Computazionale
3. Modelli probabilistici
4. Fisica dei Sistemi Complessi
5. Grafica

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
AI - Agenti Intelligenti
La nozione di agente.
* RP - Risoluzione di Problemi
Strategie di ricerca non informata. Strategie di ricerca informata.
* LPD - Logica e Programmazione Dichiarativa
Programmazione logica.
* LPD - Logica e Programmazione Dichiarativa
Programmazione con vincoli
RA - Ragionamento Automatico
Planning.
AIA - Applicazioni della Intelligenza Artificiale
Modellazione e soluzione di problemi mediante agenti logici

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
V - Varie
L'essere umano: percezione, attenzione, memoria, elaborazione; ergonomia
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Metodi di ispezione del progetto
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Metodi di testing del progetto: user testing e discount user testing
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
User-centered design, task-centered design, goal-centered design
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Storia delle interfacce grafiche, progettazione di un'interfaccia grafica, progettazione per il mobile
* IMW - Ipertesti, Multimedialita' e WWW
Architettura dell'Informazione, Web Usability

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Automi, labeled transition systems, equivalenze linear-time
* ALF - Automi e Linguaggi Formali
Automi e linguaggi formali, Equivalenze branching-time
* ALF - Automi e Linguaggi Formali
Semantica dei linguaggi di programmazione Semantica Operazionale strutturata, CCS
* ALF - Automi e Linguaggi Formali
Semantica dei linguaggi di programmazione Sottoclassi di espressività di CCS
* ALF - Automi e Linguaggi Formali
Logica HML, con aggiunta di ricorsione
• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
Equivalence-checking, Model-checking, strumento CWB

Sillabo dell'insegnamento

• F - Sistemi operativi
SAA - Sistemi operativi per Architetture Avanzate
Transazioni atomiche (flat, nested, distribuite), transazioni estese, Corba Activity Service
SAA - Sistemi operativi per Architetture Avanzate
Comunicazioni sincrone e asincrone, Message Oriented Middleware, servizi di publish-subscribe e meccanismi di event notification.
SAA - Sistemi operativi per Architetture Avanzate
Cloud computing: architetture, gestione, servizi, casi di studio.
• I - Ingegneria del software
* AR - Analisi dei Requisiti
Esempi di scenari applicativi, casi di studio, requisiti di scalabilità e trasparenza, tassonomia della "trasparenza".
* ASW - Architetture Software
CORBA, IDL, CORBA Component Model
* ASW - Architetture Software
Architecture multi-tier, Application servers (J2EE), Web Services, Service Oriented Architecture (SOA)

Sillabo dell'insegnamento

• A - Fondamenti
V - Varie
Non-linear dynamics and chaos, Randomness, incomputability and chaos, Complex systems
V - Varie
Cellular Automata, Autonomous agents, Cascading behavior, diffusion
• B - Algoritmi
V - Varie
Cooperation and Competition. Game theory, Nash Equilibrium, Mixed strategy games, Adaptation, Genetic algorithms
V - Varie
Evolutionary Game Theory, Iterated Prisoners' Dilemma, Gossiping and epidemic algorithms
• H - Computazione su rete
V - Varie
Peer-to-peer systems and overlay networks, Structured overlays, Key-based routing, Chord, Complex Networks
V - Varie
Random Graphs, Small-world phenomenon, power laws of graphs, The structure of the web, Generating Random Graphs

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

1. Esame a scelta ambito INF (6 CFU)

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. Esame a scelta ambito MAT-FIS (12 CFU)

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Lambda calcolo puro
MAT/01 - Logica Matematica
Lambda calcoli con tipi: semplici, polimorfi, aritmetica
MAT/01 - Logica Matematica
Inferenza di tipo
MAT/01 - Logica Matematica
Relazioni tra lambda-calcolo e logica intuizionista
MAT/01 - Logica Matematica
Espressività dei calcoli tipizzati
MAT/01 - Logica Matematica
Normalizzazione dei calcoli tipizzati

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

1. Esame a scelta ambito MAT-FIS (12 CFU)

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Texture e ombre
MAT/08 - Analisi Numerica
Modelli di illuminazione e shading
MAT/08 - Analisi Numerica
Libreria grafica OpenGL
MAT/08 - Analisi Numerica
Mesh 3D e trasformazioni geometriche
MAT/08 - Analisi Numerica
Trasformazioni di vista e pipe-line grafica
MAT/08 - Analisi Numerica
Hardware e Software per la grafica interattiva

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

1. Esame a scelta ambito MAT-FIS (12 CFU)

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Business Process Execution Language (BPEL)
PASR - Programmazione di Applicazioni e Servizi di Rete
Jolie
• I - Ingegneria del software
* ASW - Architetture Software
Business Process Management
* ASW - Architetture Software
Business Process Modeling and Notation (BPMN)
* ASW - Architetture Software
Enterprise Architecture
* ASW - Architetture Software
Service Oriented Architectures (SOA)

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

1. Esame a scelta ambito INF (6 CFU)

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Modelli matematici, modelli numerici, algoritmi e software scientifico. Importanza delle simulazioni numeriche. Contesto tecnologico, apprendimento computazionale, Web e calcolo scientifico. Richiami sulla rappresentazione dell'informazione numerica. Sistemi di aritmetica al calcolatore; errore, precisione e accuratezza. Aritmetica Significativa.
MAT/08 - Analisi Numerica
Richiami sul condizionamento di un problema e su stabilita' e costo computazionale di un algoritmo numerico. Soluzione di problemi del calcolo scientifico in un ambiente integrato di algebra al calcolatore. Introduzione all'ambiente Mathematica.
MAT/08 - Analisi Numerica
Mathematica come linguaggio di programmazione, nei diversi paradigmi procedurale, funzionale, basato sulle liste ed orientato alle regole.
MAT/08 - Analisi Numerica
Librerie di software matematico per problemi di algebra lineare numerica. Matrici sparse e software numerico per manipolazione e calcolo con matrici sparse. Possibilita' di parallelismo sui dati.
MAT/08 - Analisi Numerica
Risorse di Mathematica per problemi non lineari e problemi di calcolo integrale e differenziale.
MAT/08 - Analisi Numerica
Approssimazione di dati, grafica computazionale e visualizzazione scientifica in Mathematica. Utilizzo delle risorse di Mathematica per analisi e soluzione di un particolare problema applicativo, di interesse per lo studente, tramite lo sviluppo di un pacchetto.

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

1. Esame a scelta ambito MAT-FIS (12 CFU)

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Passeggiate aleatorie
MAT/06 - Probabilita' e Statistica Matematica
Rovina del giocatore e processi di Galton-Watson
MAT/06 - Probabilita' e Statistica Matematica
Catene di Markov omogenee con un'infinità numerabile di stati con tempo discteto
MAT/06 - Probabilita' e Statistica Matematica
Catene di Markov omogenee con un'infinità numerabile di stati con tempo continuo
MAT/06 - Probabilita' e Statistica Matematica
Processi di rinnovamento e semi-Markoviani
MAT/06 - Probabilita' e Statistica Matematica
Esempi di processi di coda

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

1. Esame a scelta ambito MAT-FIS (12 CFU)

Sillabo dell'insegnamento

• E - Architetture
VMP - Valutazione e Miglioramento delle Prestazioni
classificazione di sistemi e modelli, pianificazione di uno studio di simulazione,progettazione di simulatori;
VMP - Valutazione e Miglioramento delle Prestazioni
generatori di numeri pseudocasuali, generazione di variabili casuali;
VMP - Valutazione e Miglioramento delle Prestazioni
tecniche di simulazione ad eventi, analisi dei risultati di un esperimento di simulazione;
VMP - Valutazione e Miglioramento delle Prestazioni
verifica, convalida e testing di un modelo di simulazione, ambienti di simulazione;
VMP - Valutazione e Miglioramento delle Prestazioni
paradigmi di simulazione distribuita e parallela;
VMP - Valutazione e Miglioramento delle Prestazioni
progetto e realizzazione di simulatori per l'analisi prestazionale di sistemi P2P.

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

1. Esame a scelta ambito INF (6 CFU)