Sillabo dell'insegnamento

• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
Guscio convesso, intersezione di segmenti, triangolazione di poligoni
TAA - Tecniche Algoritmiche Avanzate
Ricerche geometriche, localizzazione di un punto in una suddivisione planare
TAA - Tecniche Algoritmiche Avanzate
Diagrammi di Voronoi
TAA - Tecniche Algoritmiche Avanzate
Triangolazione di Delaunay, guscio convesso in 3D
SDA - Strutture di Dati Avanzate
Strutture dati spaziali: Range tree, interval tree, segment tree
SDA - Strutture di Dati Avanzate
Strutture dati spaziali: BSP tree, quadtreea

Sillabo dell'insegnamento

• E - Architetture
AA - Architetture Avanzate
a
AA - Architetture Avanzate
a
AA - Architetture Avanzate
a
AA - Architetture Avanzate
a
AA - Architetture Avanzate
a
AA - Architetture Avanzate
a

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Introduction to Networking, Networking Fundamentals
* ARTC - Architettura delle Reti di Calcolatori
Cabling LANs and WANs, Ethernet Fundamentals and Technologies
* ARTC - Architettura delle Reti di Calcolatori
Routing Fundamentals and Subnets
* PT - Protocolli
Routing and Routing Protocols
* PT - Protocolli
TCP/IP Suite Error and Control Messages
GRC - Gestione di Reti di Calcolatori
Intermediate TCP/IP and Lists

Sillabo dell'insegnamento

• G - Basi di dati
TCR - Transazioni, Concorrenza e Recovery
Transazioni.Proprietà acide.Controllo della concorrenza.Equivalenza di scheduler rispetto ai conflitti e rispetto alle viste.Esempi ed esercizi applicativi.
TCR - Transazioni, Concorrenza e Recovery
Deadlock.Tecniche di locking.Scheduler ricoverabili, cascadeless, strict.Protocollo 2PL basic,strict,conservative,rigorous.Protocollo TSO.File di log.
* DBMS - Sistemi di Gestione di Basi di Dati
Politiche di sicurezza. Controllo accesso, flusso e inferenza. Politiche MAC e DAC. Concessione propagazione e revoca dei privilegi. Relazioni multilivello.Modello RBAC.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Organizzazione files:sequenziale, hashing.Indici su chiave primaria,secondaria, cluster,multilivello, indici primari e secondari Alberi B e B+. Esercizi ed esempi applicativi.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Valutazione dei costi di una query. Metodi Implementazione Join e relativi costi: nested loop join, Single loop Join, SortMerge Join. Hash Join. Esercizi ed esempi applicativi.
BDA - Basi di Dati Avanzate
Definizione e architettura di un Data Warehouse. ROLAP e OLAP. Operazioni OLAP: drill-down, roll-up, pivoting, slicing, dicing, top-N. Progettazione logica di un DW.

Sillabo dell'insegnamento

• H - Computazione su rete
V - Varie
Introduzione al corso, Il linguaggio XML: 1. Documenti XML 2. XML Schema 3. XPath
* PT - Protocolli
Il protocollo HTTP: 1. Richiamo dei concetti fondamentali 2. il Web
* FCD - Fondamenti del Calcolo Distribuito
Service Oriented Architecture (SOA): 1. Introduzione ai Web Service 2. Infrastrutture per il distributed computing
* PT - Protocolli
Protocollo di comunicazione: SOAP Descrizione dell'interfaccia dei servizi: WSDL Discovery dei servizi: brevi cenni a UDDI Addressing con WS-Addressing SOA e ESB
* MIR - Modelli di Interazione in Rete
Composizione di Web service: 1. Processi, Workflow e orchestration di servizi: introduzione 2. Il linguaggio WS-BPEL
* MIR - Modelli di Interazione in Rete
Resource-Oriented Architecture (ROA): 1. REST: introduzione 2. REST: concetti di base

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Fondamenti delle immagini digitali. Strutture dati per l'analisi di immagini.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Trasformazioni di intensità e trasformazioni geometriche.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Estrazione di features da immagini: corner, edge, linee. Trasformata di Hough.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Filtraggio spaziale e nel dominio della frequenza.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Segmentazione: region growing e split-and-merge.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Morfologia matematica per immagini binarie: erosione, dilatazione, apertura, chiusura, individuazione del contorno, copertura convessa, thinning e scheletro, ricostruzione morfologica.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Morfologia matematica in toni di grigio: erosione, dilatazione, apertura, chiusura, smoothing, gradiente, top-hat e bottom-hat, granulometria, ricostruzione morfologica. Segmentazione watershed.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Rappresentazione e descrizione di forme.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Matlab e l'Image Processing Toolbox.

Sillabo dell'insegnamento

• A - Fondamenti
V - Varie
Prerequisiti: complessita' computazionale; generazione di sequenze casuali; generazione di numeri primi.
V - Varie
Crittografia: cifrari storici; cifrari perfetti; cifrari simmetrici (DES) e asimmetrici (RSA)
V - Varie
Funzioni hash crittografiche; Message Authentication Codes
• H - Computazione su rete
* SR - Sicurezza delle Reti
Schemi di firma digitale
* SR - Sicurezza delle Reti
Protocolli di identificazione di entità
* SR - Sicurezza delle Reti
Key distribution e key agreement

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Il problema della Programmazione Lineare(PL). Formulazione matematica: forma canonica, variabili di scarto e forma standard. Risultati teorici fondamentali.
MAT/08 - Analisi Numerica
L'algoritmo del simplesso per la PL: soluzioni di base, condizioni di ottimalità, cambiamento di base. Le variabili artificiali e il metodo delle due fasi.
MAT/08 - Analisi Numerica
La dualità nella PL. Teoremi fondamentali. Utilità della dualità L'algoritmo primale-duale. Interpretazione economica della programmazione lineare e della dualità.
MAT/09 - Ricerca Operativa
Analisi di sensibilità e programmazione parametrica nella PL.
MAT/09 - Ricerca Operativa
Complessità computazionale nella PL. Altri algoritmi di risoluzione: il metodo degli ellissoidi ed il metodo di Karmarkar.
MAT/09 - Ricerca Operativa
Programmazione Non Lineare. Condizioni di ottimalità. Algoritmi per la minimizzazione unidimensionale e n-dimensionale non vincolata. Proprietà di convergenza.

Sillabo dell'insegnamento

• A - Fondamenti
SLP - Semantica dei Linguaggi di Programmazione
Introduzione alla teoria dei CPO e costruzioni su di essi
* CAL - Calcolabilita'
Definizione e descrizione delle classi delle funzioni ricorsive e primitive ricorsive
* CAL - Calcolabilita'
La tesi di Church-Turing, decidibilità, teoremi di ricorsione
* CAL - Calcolabilita'
Le Unlimited Register Machine e la loro corrispondenza con le funzioni ricorsive
SLP - Semantica dei Linguaggi di Programmazione
Information Systems e costruzioni su di essi
SLP - Semantica dei Linguaggi di Programmazione
Linguaggi con tipi ricorsivi eager e lazy: definizione, tipaggio, semantica operazionale e denotazionale
• D - Linguaggi
* S - Semantica
Semantica operazionale e denotazionale di un linguaggio funzionale, sia call by name che call by value
* S - Semantica
Equivalenza tra semantiche operazionali e denotazionali (sia call by value che call by name)
ALC - Astrazioni Linguistiche e Composizionalita'
Linguaggi con tipi di ordine superiore: semantica denotazionale e operazionale, adeguatezza

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
Il Processo Decisionale. Dalla descizione del problema, alla formalizzazione matematica
MAT/09 - Ricerca Operativa
Classificazione dei modelli di ottimizzazione: problemi di programmazione lineare, problemi di flusso su rete, problemi di programmazione non lineare.
MAT/09 - Ricerca Operativa
Progetto e analisi di algoritmi. Complessità computazionale. Problemi di classe P, NP, NP-completi, NP-hard.
MAT/09 - Ricerca Operativa
GRAFI E RETI DI FLUSSO. Flusso ottimo su rete. Modelli e algoritmi di flusso di costo minimo, max flow, shortest path
MAT/09 - Ricerca Operativa
Simplesso su Reti, out-of-kilter. Confronto computazionale con algoritmi generali di PL. Algoritmi label-setting e label correcting. Algoritmi polinomiali per il max flow. Flussi multicommodity. Assegnazione e Accoppiamento(matching). Modelli di scheduling.
MAT/09 - Ricerca Operativa
SISTEMI LOGISTICI. Struttura dei sistemi logistici, Modelli di localizzazione, modelli di routing, gestione delle scorte. Cenni sugli algoritmi euristici: genetici e tabu search.

Sillabo dell'insegnamento

• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
Fondamenti dello scheduler di Linux. Kernel e scheduling dei processi
PS - Programmazione di Sistema
Programmazione lato kernel in Linux
* SCO - Struttura e Componenti di un sistema operativo
Sviluppo di Moduli per il kernel Linux
GP - Gestione delle Periferiche
Sviluppo di Driver per il kernel Linux
SAA - Sistemi operativi per Architetture Avanzate
Sistemi Operativi open source per dispositivi Mobile: Android. Teoria sulla programmazione in Android
PS - Programmazione di Sistema
Programmazione in Android, esercitazioni guidate