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
Interpretazione astratta
TAV - Tecniche di Analisi e Verifica
Data flow analisys
TAV - Tecniche di Analisi e Verifica
Confronti tra tecniche

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

• A - Fondamenti
L - Logica
Esplicazione logica delle principali tattiche
L - Logica
Il sistema logico fondazionale: il calcolo delle costruzioni induttive
• D - Linguaggi
TAV - Tecniche di Analisi e Verifica
Applicazioni a semplici esempi di verifica del software
TAV - Tecniche di Analisi e Verifica
Tipi dipendenti, approfondimenti, tecniche avanzate
TAV - Tecniche di Analisi e Verifica
Tattiche di base, strutture dati, funzioni, tipi, polimorfismo
TAV - Tecniche di Analisi e Verifica
Introduzione alla dimostrazione interattiva

Insegnamenti "a scelta" che possono essere selezionati

1. Architettura software
2. Interazione persona-computer
3. Multimedia e tecnologie creative

Insegnamenti "a scelta" che possono essere selezionati

1. Matematica Computazionale
2. Modelli probabilistici
3. Grafica

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

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

• 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

• 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.

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

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

• H - Computazione su rete
* PT - Protocolli
Richiami su Modelli di Reti Wireless (Infrastructured, Ad-hoc, Mesh, Sensor network, Reti Opportunistiche, Reti Intermittenti, Reti veicolari, Reti Mobili). Richiami su Tecnologie Wireless e Cellulari (WiFi, WiMax, Mobile Wimax, Bluetooth, ZigBee), IEEE802.20 (Vehicular, Mobile Broadband Wireless Access, MBWA), 1G, GSM, GPRS, EDGE, UMTS, 4G. Sistemi Posizionali GPS.
PASR - Programmazione di Applicazioni e Servizi di Rete
Modelli di Mobilita'. Aspetti legati alla Mobilita': Di Rete, Infrastrutturali, Applicativi, Trasparenza, Standardizzazione. Requisiti applicativi legati alla QoS: Latenza, bandwidth, distribuzione delle perdite di pacchetti. Intervallo di indisponibilità delle comunicazioni durante le riconfigurazioni. Modelli di Supporto alla Mobilità. Supporto alla Configurazione di dispositivi Mobili: Criteri di Selezione degli Access Point, Criteri di Handover. Standardizzazione (Media Independent Handover). Supporto al Roaming.
* ARTC - Architettura delle Reti di Calcolatori
Architetture per la Mobilita': Criteri progettuali, Criteri di Valutazione. Livello Datalink (Gratouitous ARP). Livello Network: Architetture basate su Mobile IP (Mobile IPv4, MIPv6, Fast MIP, Hierachical MIP, Proxy MIP, Flow Mobility). Architetture basate su Edge Router (LISP). Livello Intermedio Transport/Network (LIN6, HIP, Shim6), sviluppo applicazioni su LIN6. Livello Transport (DCCP, m-SCTP, TCP-migrate), esempi di sviluppo applicazioni. Livello Sessione: Arch. middleware basate su SIP. Arch. middleware basate su Proxy SIP, MMUSE, ABPS. Arch. middleware basate su Proxy Nascosti (Hidden Proxy, UPMT).
* PT - Protocolli
Protocolli per il VoIP (SIP, SDP, RTP, RTCP).
PASR - Programmazione di Applicazioni e Servizi di Rete
Sviluppo di Applicazioni su dispositivi mobili: Requisiti applicativi e di sistema. Paradigmi per la mobilita' (client/server, middleware, p2p, a proxy). Programmazione Event-Driven, esempi applicativi. L'approccio cross-layer. Applicazioni Multimediali: Casi di studio (VoIP).
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Sistemi operativi per dispositivi mobili e Ambienti di sviluppo (Linux, Android, Symbian, iPhone, WindowsMobile). Strumenti di sviluppo (Librerie portabili, Qt, PjLib). Strumenti per la simulazione di sistemi mobili. Driver per interfacce wireless.

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Stili per service oriented architectures e cloud computing
• I - Ingegneria del software
* ASW - Architetture Software
La descrizione di architetture software
* ASW - Architetture Software
Stili architetturali
* ASW - Architetture Software
Linguaggi per architetture software
AS - Ambienti di Sviluppo
Model driven architecture
MES - Manutenzione ed Evoluzione del Software
Il riuso del software: tecniche e strumenti

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
Hardware e Software per la grafica interattiva
MAT/08 - Analisi Numerica
Mesh 3D e trasformazioni geometriche
MAT/08 - Analisi Numerica
Trasformazioni di vista e pipe-line grafica
MAT/08 - Analisi Numerica
Libreria grafica OpenGL
MAT/08 - Analisi Numerica
Modelli di illuminazione e shading
MAT/08 - Analisi Numerica
Texture e ombre

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

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

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, Multimedialità e WWW
Architettura dell'Informazione, Web Usability

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 (6CFU)

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 (6CFU)

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialità e WWW
Stream di dati multimediali e sincronizzazione
* IMW - Ipertesti, Multimedialità e WWW
uono/Audio, Immagini e Grafica, Video e Animazioni
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Architetture e SO multimediali / Reti e sistemi di comunicazione per il multimedia
RV - Rendering e Visualizzazione
3D: Rendering e visualizzazione
TMI - Teorie e Modelli per l'Interazione
Riconoscimento oggetti, riconoscimento gesti, riconoscimento azioni
PIRV - Paradigmi di Interazione e Realtà Virtuale
Realta' aumentata, realta' mixed, realta' virtuale

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

1. Esame a scelta ambito INF (6 CFU)