Insegnamenti "a scelta" che possono essere selezionati

1. Apprendimento Automatico
2. Elaborazione del linguaggio naturale
3. Fondamenti di Grafica Computazionale
4. Interazione Multimodale
5. Interazione sul Web
6. Visione Artificiale
7. Web and social information extraction

Sillabo dell'insegnamento

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

Insegnamenti "a scelta" che possono essere selezionati

1. Algoritmi Avanzati
2. Algoritmi per le Reti
3. Algoritmica
4. Apprendimento Automatico
5. Architetture Avanzate Parallele
6. Big Data Computing
7. Calcolabilità
8. Calcolo Intensivo
9. Compilatori
10. Complementi di FIsica
11. Complessità
12. Crittografia
13. Elaborazione del linguaggio naturale
14. Elective in Computational Learning Theory
15. Elective in Computer Networks
16. Fondamenti di Grafica Computazionale
17. Ingengneria del Software Avanzata
18. Interazione Multimodale
19. Interazione sul Web
20. Intrattabilità Computazionale
21. Logica matematica per informatica
22. Metodi di verifica del software
23. Metodi formali dello sviluppo software
24. Modelli di calcolo
25. Prestazione dei Sistemi di Rete
26. Progettazione e Gestione delle Reti
27. Reti avanzate
28. Sicurezza dei dati e delle Reti
29. Sicurezza nelle Applicazioni Software
30. Sistemi Biometrici
31. Sistemi concorrenti
32. Sistemi distribuiti
33. Sistemi Informativi
34. Teoria dei Grafi
35. Teoria dell'Informazione
36. Visione Artificiale
37. Web and social information extraction
38. Sistemi Wireless

Insegnamenti "a scelta" che possono essere selezionati

1. Big Data Computing
2. Calcolabilità
3. Compilatori
4. Prestazione dei Sistemi di Rete
5. Sistemi concorrenti
6. Sistemi distribuiti
7. Sistemi Wireless

Sillabo dell'insegnamento

• B - Algoritmi
AP - Algoritmi Paralleli
Introduzione alla programmazione parallela.
AD - Algoritmi Distribuiti
Introduzione ai sistemi distribuiti
AD - Algoritmi Distribuiti
Algoritmi distribuiti di base
AP - Algoritmi Paralleli
Le classi NC e RNC.
AP - Algoritmi Paralleli
Introduzione alla programmazione parallela
AD - Algoritmi Distribuiti
Modelli di computazione distribuita

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Calcolo del cammino minimo
* ASC - Algoritmi su Strutture Combinatorie
accoppiamento perfetto di costo minimo su grafo bipartito
* ASC - Algoritmi su Strutture Combinatorie
Colorazione di grafi
* ASC - Algoritmi su Strutture Combinatorie
Minimo albero ricoprente
TAA - Tecniche Algoritmiche Avanzate
Algoritmi su griglia
TAA - Tecniche Algoritmiche Avanzate
Minima copertura di vertici

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi ammortizzata; calcolo dei differenti approcci alla complessità ammortizzata relativo a problemi elementari.
* A - Algoritmi fondamentali
Min Cut e sue applicazioni per il branch-and-bound.
* SDF - Strutture di Dati Fondamentali
Suffix tree e loro uso in ricerca avanzata di stringhe, biologia computazionale e compressione dati.
* SDF - Strutture di Dati Fondamentali
Alberi etchettati e loro applicazioni nella tomografia delle reti e per indicizzare documenti XML.
SDA - Strutture di Dati Avanzate
Splay tree come strutture dati utili nell'implementazione di caches e negli algoritmi di garbage collection.
* A - Algoritmi fondamentali
Nearest neighbor search e sue applicazioni in pattern recognition e image retrieval.

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento non supervisionato
AIA - Applicazioni della Intelligenza Artificiale
Applicazioni all'elaborazione del linguaggio naturale
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Problemi dell'apprendimento automatico
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento supervisionato
RA - Ragionamento Automatico
Algoritmi genetici e programmazione genetica
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento semi-supervisionato

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

1. Insegnamenti a scelta vincolata
2. Caratterizzanti

Sillabo dell'insegnamento

• E - Architetture
AA - Architetture Avanzate
Protocolli per Cache Coherence: Snooping e Directory-based. Memory Consistency. Message Passing Systems
AA - Architetture Avanzate
Prestazioni: metriche e misure. Legge di Amdahl. Ottimizzazione di prestazioni: distribuzione del carico, località, comunicazioni.
AA - Architetture Avanzate
Funzioni di routing. Reti statiche, reti dinamiche, reti combinate. Architetture manycore: GPU (cenni su CUDA).
AA - Architetture Avanzate
Tipi di parallelismo. Multiprocessori (SIMD e MIMD). Topologie e reti di interconnessione.
AA - Architetture Avanzate
Architetture parallele. Classificazione di Flynn
AA - Architetture Avanzate
Limiti dell'architettura di Von Neumann. Pipeline delle istruzioni e delle operazioni. Macchine vettoriali. Macchine data-flow. Multicore e multithreading.

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
big-data computing.
SDA - Strutture di Dati Avanzate
modelli di calcolo evoluti (ad esempio memoria esterna, data streaming, Map Reduce)
AD - Algoritmi Distribuiti
calcolo distribuito su grandi cluster di computer.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche (pratiche e teoriche) per il processamento di grandi quantità di dati.
* A - Algoritmi fondamentali
algoritmi I/O-efficient
* A - Algoritmi fondamentali
tecniche di streaming per analizzare flussi di dati dinamici

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

1. Insegnamenti a scelta vincolata
2. Integrativi

Sillabo dell'insegnamento

• A - Fondamenti
* CAL - Calcolabilita'
Macchine di Turing
* ALF - Automi e Linguaggi Formali
Automi a stati finiti
COM - Complessita'
Classi di complessità
* ALF - Automi e Linguaggi Formali
Automi a pila e grammatiche acontestuali.
COM - Complessita'
Problemi trattabili e problemi non provatamente intrattabili: P e NP.
* CAL - Calcolabilita'
Decidibilità

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

1. Insegnamenti a scelta vincolata
2. Integrativi

Sillabo dell'insegnamento

• E - Architetture
VMP - Valutazione e Miglioramento delle Prestazioni
ntroduzione al calcolo scientifico intensivo.
AA - Architetture Avanzate
appresentazioni numeriche e strutture dati per il calcolo scientifico. Efficienza e performance dei calcolatori. Calcolo vettoriale, MIMD e SIMD.
AA - Architetture Avanzate
Applicazioni: problemi scientifici, soluzioni, realizzazioni e loro confronto (esempi di problemi trattati provengono da: dinamica molecolare, meteorologia, tomografia, Risonanza Magnetica Nucleare). Lettura e discussione di articoli di rassegna e di ricerca, su problemi scientifici con risultati di particolare interesse.

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• D - Linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi Semantica
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Generazione del metacodice
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Generazione del codice oggetto: analisi e ottimizzazione
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Riconoscimento dei programmi: metodi deduttivi (tecniche top-down) e induttivi (tecniche bottom-up).
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi sintattica
* LF - Linguaggi Formali
Scansione del testo e riconoscimento automatico dei lessemi, basato su grammatiche regolari ed espressioni regolari.

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

1. Insegnamenti a scelta vincolata
2. Integrativi

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 a scelta vincolata

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
Algoritmi e classi probabilistiche
COM - Complessita'
La complessità dei problemi di ottimizzazione
COM - Complessita'
Approssimazione randomizzata
COM - Complessita'
La gerarchia polinomiale
COM - Complessita'
Il teorema PCP
COM - Complessita'
Nozioni di base

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Infrastruttura a chiave pubblica
TIC - Teoria dell'Informazione e Codici
Codici di autenticazione del messaggio
TIC - Teoria dell'Informazione e Codici
Cifratura simmetrica e asimmetrica
COM - Complessita'
Schemi di firma digitale

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Algoritmi di classificazione e clustering
* A - Algoritmi fondamentali
Algoritmi probabilistici
• M - Rappresentazione della conoscenza
AIA - Applicazioni della Intelligenza Artificiale
traduzione automatica
AIA - Applicazioni della Intelligenza Artificiale
Word sense disambiguation
* SBC - Sistemi Basati su Conoscenza
Analisi morfologica, sinttattica, semantica
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimenti di basi di conoscenza linguistiche

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

1. Insegnamenti a scelta vincolata
2. Caratterizzanti

Sillabo dell'insegnamento

• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
modelli algoritmici dell'apprendimento
TAA - Tecniche Algoritmiche Avanzate
PAC learning
• M - Rappresentazione della conoscenza
RA - Ragionamento Automatico
Computational Leraning Theory
RA - Ragionamento Automatico
Bayesian Learning, l'Online Learning, o la Computability-theoretic Learning Theory.
AI - Agenti Intelligenti
Apllicazioni di Intelligenza artificiale
AASC - Apprendimento Automatico e Scoperta di Conoscenza
apprendimento di linguaggi e classi di concetti

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
Internet traffic
* ARTC - Architettura delle Reti di Calcolatori
Data centric networks
* ARTC - Architettura delle Reti di Calcolatori
Opportunistic networks
PASR - Programmazione di Applicazioni e Servizi di Rete
Coverage and connectivity in wireless networks
DR - Dispositivi di Rete
2D and 3D coverage in sensor networks:
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
network tomography: inference from the edge, distributed network tomography, fault diagnosis with incomplete symptom information.

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
representation of digital images
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
mathematical foundations of modeling
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
geometrical transformations, curves and surfaces, illumination and shading models
RV - Rendering e Visualizzazione
physically-based rendering
RV - Rendering e Visualizzazione
distribution raytracing, path tracing and photon mapping
RV - Rendering e Visualizzazione
real-time rendering system

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

1. Insegnamenti a scelta vincolata
2. Caratterizzanti

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSC - Progettazione del Software e Codifica
Domain-Specific Languages.
* TVV - Testing, Verifica e Validazione
Strategie per MDSD
* ASW - Architetture Software
Model-Driven Architecture (MDA),
* ASW - Architetture Software
Evoluzione del software
* PSS - Processi di Sviluppo del Software
odel-driven engineering methodologies: Model Transformations, Model-to-Text Transformations, Model-to Model Transformations.
* LMS - Linguaggi di Modellazione del Software
Evoluzione del software, Meta-Modeling, Meta-Meta-Modeling, OCL, Meta-data interchange e serializzazione (XMI), UML Profiling,

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialità e WWW
Input dell'utente
RV - Rendering e Visualizzazione
Output del computer
TMI - Teorie e Modelli per l'Interazione
Principi generali di modellazione dell' interazione uomo-macchina
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Richiami di modellazione orientata agli oggetti
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Supporto Java alla programmazione di ambienti interattivi
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Comunicazione umana multimodale

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

1. Insegnamenti a scelta vincolata
2. Caratterizzanti

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialità e WWW
Tecnologie interattive su web
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Analisi e design per l'usabilità;
TMI - Teorie e Modelli per l'Interazione
Modelli per interazione avanzata
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Integrazione dell'HCI nel ciclo di sviluppo del software
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Interazione su dispositivi mobili
* IMW - Ipertesti, Multimedialità e WWW
Rich Internet application

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

1. Insegnamenti a scelta vincolata
2. Caratterizzanti

Sillabo dell'insegnamento

• A - Fondamenti
* CAL - Calcolabilita'
Circuiti booleani ed algebrici, alberi di decisione, branching programs
* CAL - Calcolabilita'
Introduzione, definizioni ed esempi di computazioni efficienti in differenti modelli di computazioni
COM - Complessita'
Misure di Complessità
COM - Complessita'
Problemi combinatori per lo studio dei limiti di un modello
* CAL - Calcolabilita'
Modelli di computazione
L - Logica
Dimostrazioni Naturali

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Richiami di calcolo dei predicati, teorema di completezza
* CAL - Calcolabilita'
Relazioni tra definibilità e complessità
L - Logica
Strutture finite
L - Logica
Logiche del secondo ordine
COM - Complessita'
Complessità descrittiva
L - Logica
Leggi 0-1 per la logica del primo ordine

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
Verifica di sistemi reattivi
* LMS - Linguaggi di Modellazione del Software
Sistemi a stati finiti e per sistemi ibridi
* TVV - Testing, Verifica e Validazione
Model checking
* LMS - Linguaggi di Modellazione del Software
Specifica di sistemi reattivi
* LMS - Linguaggi di Modellazione del Software
Logiche temporali
* TVV - Testing, Verifica e Validazione
Verifica automatica di sistemi concorrent

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
Static analysis, testing, model checking, sintesi automatica, trasformazione di programmi e modelli
* LMS - Linguaggi di Modellazione del Software
Algebre di processo, Timed/Hybrid Automata, Statecharts, Reti di Petri
* AR - Analisi dei Requisiti
Definizione e la validazione dei requisiti
* PSC - Progettazione del Software e Codifica
Metodi di Analisi e Sintesi di Sistemi Software
* AR - Analisi dei Requisiti
Metodi di Specifica dei Requisiti di Sistemi Software
* LMS - Linguaggi di Modellazione del Software
Metodi di Modellazione di Sistemi Software

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• D - Linguaggi
* S - Semantica
Normalizzazione
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Tesi di Church
ALC - Astrazioni Linguistiche e Composizionalita'
Sintassi del lambda-calcolo
* S - Semantica
Isomorfismo di Curry-Howard.
* S - Semantica
Sistemi di tipi
* S - Semantica
Semantica operazionale del lambda-calcolo

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• F - Sistemi operativi
SAA - Sistemi operativi per Architetture Avanzate
Monitoraggio e controllo del carico
SAA - Sistemi operativi per Architetture Avanzate
Strumenti per la predizione del carico di lavoro di un sistema e delle sue condizioni operative
• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Dimensionamento dei sistemi di rete
GRC - Gestione di Reti di Calcolatori
Ottimizzazione delle prestazioni di un sistema di rete
GRC - Gestione di Reti di Calcolatori
Requisiti di prestazione di una architettura di rete
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Sistemi autonomi

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

1. Insegnamenti a scelta vincolata
2. Integrativi

Sillabo dell'insegnamento

• H - Computazione su rete
DR - Dispositivi di Rete
progettazione dell'architettura e del routing delle reti basate su protocollo IP,
GRC - Gestione di Reti di Calcolatori
principali strumenti di configurazione dei network element e di cattura degli allarmi.
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
spetti di routing e protocolli OSPF e BGP;
GRC - Gestione di Reti di Calcolatori
Principi di ingegneria del traffico.
* ARTC - Architettura delle Reti di Calcolatori
Configurazione di router IP, dimensionamento di reti IP, costruzione di piani di indirizzamento IP,
* ARTC - Architettura delle Reti di Calcolatori
Protocolli di routing (OSPF, BGP);

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Reti ad hoc
PASR - Programmazione di Applicazioni e Servizi di Rete
Sistemi di quarta generazione
* PT - Protocolli
Principali standard: GSM/GPRS, WiFi, Bluetooth
* ARTC - Architettura delle Reti di Calcolatori
Tecniche di valutazione delle prestazioni
GRC - Gestione di Reti di Calcolatori
Tecniche di pianificazione di un sistema cellulare
* ARTC - Architettura delle Reti di Calcolatori
Reti radiomobili

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• E - Architetture
AA - Architetture Avanzate
Metodologie e architetture dei sistemi
• F - Sistemi operativi
SAA - Sistemi operativi per Architetture Avanzate
Sicurezza di un sistema di elaborazione distribuito
MA - Modelli e Architetture di sistemi operativi
Sistemi operativi sicuri
• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
RFID privacy
* SR - Sicurezza delle Reti
Sicurezza delle comunicazioni di gruppo
* SR - Sicurezza delle Reti
Metodologie per la sicurezza

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• I - Ingegneria del software
V - Varie
'analisi e la gestione dei rischi nel ciclo di vita del SW
MES - Manutenzione ed Evoluzione del Software
Tecniche di buffer e heap overflow
* TVV - Testing, Verifica e Validazione
assenza di vulnerabilità,

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Fondamenti di Biometria: Identità e biometria. Introduzione ai sistemi biometrici. Applicazioni
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Identificatori biometrici morfologici: volto (2D e/o 3D),
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Identificatori biometrici comportamentali
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Architettura di un sistema biometrico
V - Varie
Verifica e valutazione delle prestazioni di un sistema biometrico
V - Varie
Sicurezza, vulnerabilità, e privacy di un sistema biometrico

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• C - Programmazione
* SCP - Sviluppo e Correttezza dei Programmi
Sistemi di tipo per la verifica di proprietà di programmi
PP - Paradigmi di Programmazione
Creazione e scambio di nomi
PCC - Programmazione Concorrente
Semantica basata sull'interleaving,
PCC - Programmazione Concorrente
Simulabilità di programmi
PCC - Programmazione Concorrente
Esecuzione di processi paralleli,
PP - Paradigmi di Programmazione
Distribuzione

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

1. Insegnamenti a scelta vincolata
2. Integrativi

Sillabo dell'insegnamento

• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
Mutua esclusione e deadlock detection
* GSP - Gestione e Sincronizzazione dei Processi
Consensus
* GSP - Gestione e Sincronizzazione dei Processi
Failure detectors
* GSP - Gestione e Sincronizzazione dei Processi
Logical time
* GSP - Gestione e Sincronizzazione dei Processi
Shared memory e la gerarchia wait-free
• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Sistemi P2P

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

1. Insegnamenti a scelta vincolata
2. Integrativi

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 a scelta vincolata

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Reti di Identificazione basate su tecnologia RFID
* ARTC - Architettura delle Reti di Calcolatori
Reti di sensori e attuatori
* ARTC - Architettura delle Reti di Calcolatori
Reti wireless ad hoc
* ARTC - Architettura delle Reti di Calcolatori
i sistemi embedded.
* ARTC - Architettura delle Reti di Calcolatori
sistemi di telecomunicazione innovativi per reti radiomobili.
* ARTC - Architettura delle Reti di Calcolatori
simulazione di rete

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

1. Insegnamenti a scelta vincolata
2. Integrativi

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Teoria dei grafi estrema
TIC - Teoria dell'Informazione e Codici
Introduzione alla teorai di Ramsey ed esistenza dei numeri di Ramsey
• B - Algoritmi
* ASC - Algoritmi su Strutture Combinatorie
Decomposizione di grafi:
* SDF - Strutture di Dati Fondamentali
Cicli su grafi
* A - Algoritmi fondamentali
Max/flow min cut e algoritmi.
* ASC - Algoritmi su Strutture Combinatorie
Strutture in grafi: Matching in grafi bipartiti (Teorema di Konig e Hall)

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Struttura temporale di sorgenti
TIC - Teoria dell'Informazione e Codici
Problemi non?stocastici
TIC - Teoria dell'Informazione e Codici
Problemi stocastici.
TIC - Teoria dell'Informazione e Codici
Codici di sorgente
TIC - Teoria dell'Informazione e Codici
Conteggio di sequenze e entropia
SLP - Semantica dei Linguaggi di Programmazione
Misure dell'informazione e le loro propriet`a analitiche

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Elaborazione di immagini
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Modelli di analisi.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Riconoscimento dei contorni
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Riconoscimento della scena
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Formati di memorizzazione di immagini e di video.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Tecniche di acquisizione di immagini a diversa risoluzione

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

1. Insegnamenti a scelta vincolata
2. Caratterizzanti

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
BC - Basi di Conoscenza
Architecture of an Information Retrieval system.
* SBC - Sistemi Basati su Conoscenza
Inverted indices. Ranking methods: Boolean and vector-space retrieval models, probabilitics ranking, latent semantic indexing.
ARC - Acquisizione e Rappresentazione della Conoscenza
erformance metrics: recall, precision, and F-measure. Evaluations on benchmark text collections. Relevance feedback
* SBC - Sistemi Basati su Conoscenza
Web Information Retrieval. Link analysis: Page Rank and HITS. Intelligent Information Retrieval: Information Extraction, Question Answering.
* SBC - Sistemi Basati su Conoscenza
Social Data Analytics: Social relevance measures, Social Networks, Opinion Mining.
* SBC - Sistemi Basati su Conoscenza
Multimedia Information Retrieval: Speech, Images, Music, Video.

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

1. Caratterizzanti
2. Insegnamenti a scelta vincolata