Insegnamenti "a scelta" che possono essere selezionati

1. Ingengneria del Software Avanzata
2. Logica matematica per informatica
3. Metodi di verifica del software
4. Metodi formali dello sviluppo software
5. Sicurezza nelle Applicazioni Software
6. Sistemi concorrenti

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. Sistemi Wireless
35. Teoria dei Grafi
36. Teoria dell'Informazione
37. Visione Artificiale
38. Web and social information extraction

Insegnamenti "a scelta" che possono essere selezionati

1. Apprendimento Automatico
2. Big Data Computing
3. Calcolabilità
4. Compilatori
5. Interazione sul Web
6. Modelli di calcolo
7. Sistemi distribuiti

Sillabo dell'insegnamento

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

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

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

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

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

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 semi-supervisionato
RA - Ragionamento Automatico
Algoritmi genetici e programmazione genetica
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento supervisionato
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Problemi dell'apprendimento automatico
AIA - Applicazioni della Intelligenza Artificiale
Applicazioni all'elaborazione del linguaggio naturale
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento non supervisionato

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

1. Insegnamenti a scelta vincolata
2. Integrativi

Sillabo dell'insegnamento

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

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

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

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

1. Insegnamenti a scelta vincolata
2. Integrativi

Sillabo dell'insegnamento

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

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

1. Integrativi
2. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• E - Architetture
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.
AA - Architetture Avanzate
appresentazioni numeriche e strutture dati per il calcolo scientifico. Efficienza e performance dei calcolatori. Calcolo vettoriale, MIMD e SIMD.
VMP - Valutazione e Miglioramento delle Prestazioni
ntroduzione al calcolo scientifico intensivo.

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• D - Linguaggi
* LF - Linguaggi Formali
Scansione del testo e riconoscimento automatico dei lessemi, basato su grammatiche regolari ed espressioni regolari.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi sintattica
* 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
Generazione del codice oggetto: analisi e ottimizzazione
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Generazione del metacodice
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi Semantica

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

1. Integrativi
2. Insegnamenti a scelta vincolata

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'
Nozioni di base
COM - Complessita'
Il teorema PCP
COM - Complessita'
La gerarchia polinomiale
COM - Complessita'
Approssimazione randomizzata
COM - Complessita'
Algoritmi e classi probabilistiche
COM - Complessita'
La complessità dei problemi di ottimizzazione

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

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

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

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

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

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

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• H - Computazione su rete
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.
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:
* ARTC - Architettura delle Reti di Calcolatori
Opportunistic networks
* ARTC - Architettura delle Reti di Calcolatori
Data centric networks
* PT - Protocolli
Internet traffic

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

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

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

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

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

1. Caratterizzanti
2. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Comunicazione umana multimodale
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
Richiami di modellazione orientata agli oggetti
TMI - Teorie e Modelli per l'Interazione
Principi generali di modellazione dell' interazione uomo-macchina
RV - Rendering e Visualizzazione
Output del computer
* IMW - Ipertesti, Multimedialità e WWW
Input dell'utente

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

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

1. Insegnamenti a scelta vincolata
2. Integrativi

Sillabo dell'insegnamento

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

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
Complessità descrittiva
L - Logica
Leggi 0-1 per la logica del primo ordine
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

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

1. Caratterizzanti
2. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
Verifica automatica di sistemi concorrent
* 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 di sistemi reattivi

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

1. Caratterizzanti
2. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
Metodi di Modellazione di Sistemi Software
* 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
Algebre di processo, Timed/Hybrid Automata, Statecharts, Reti di Petri
* PSS - Processi di Sviluppo del Software
Static analysis, testing, model checking, sintesi automatica, trasformazione di programmi e modelli

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

1. Caratterizzanti
2. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• D - Linguaggi
* S - Semantica
Sistemi di tipi
* 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
Semantica operazionale del lambda-calcolo

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

1. Insegnamenti a scelta vincolata
2. Integrativi

Sillabo dell'insegnamento

• F - Sistemi operativi
SAA - Sistemi operativi per Architetture Avanzate
Strumenti per la predizione del carico di lavoro di un sistema e delle sue condizioni operative
SAA - Sistemi operativi per Architetture Avanzate
Monitoraggio e controllo del carico
• H - Computazione su rete
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Sistemi autonomi
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
* ARTC - Architettura delle Reti di Calcolatori
Dimensionamento dei sistemi di rete

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

1. Insegnamenti a scelta vincolata

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
MA - Modelli e Architetture di sistemi operativi
Sistemi operativi sicuri
SAA - Sistemi operativi per Architetture Avanzate
Sicurezza di un sistema di elaborazione distribuito
• H - Computazione su rete
* SR - Sicurezza delle Reti
Metodologie per la sicurezza
* SR - Sicurezza delle Reti
Sicurezza delle comunicazioni di gruppo
* ARTC - Architettura delle Reti di Calcolatori
RFID privacy

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

1. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

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

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

1. Caratterizzanti
2. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

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

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. Caratterizzanti
2. Insegnamenti a scelta vincolata

Sillabo dell'insegnamento

• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
Consensus
* GSP - Gestione e Sincronizzazione dei Processi
Mutua esclusione e deadlock detection
* GSP - Gestione e Sincronizzazione dei Processi
Failure detectors
* GSP - Gestione e Sincronizzazione dei Processi
Shared memory e la gerarchia wait-free
* GSP - Gestione e Sincronizzazione dei Processi
Logical time
• 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
sistemi di telecomunicazione innovativi per reti radiomobili.
* ARTC - Architettura delle Reti di Calcolatori
simulazione di rete
* ARTC - Architettura delle Reti di Calcolatori
Reti di Identificazione basate su tecnologia RFID
* ARTC - Architettura delle Reti di Calcolatori
sistemi embedded.
* ARTC - Architettura delle Reti di Calcolatori
Reti wireless ad hoc
* ARTC - Architettura delle Reti di Calcolatori
Reti di sensori e attuatori

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
Teoria dei grafi estrema
TIC - Teoria dell'Informazione e Codici
Introduzione alla teorai di Ramsey ed esistenza dei numeri di Ramsey
• B - Algoritmi
* A - Algoritmi fondamentali
Max/flow min cut e algoritmi.
* SDF - Strutture di Dati Fondamentali
Cicli su grafi
* ASC - Algoritmi su Strutture Combinatorie
Decomposizione di grafi:
* 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)
Tecniche di acquisizione di immagini a diversa risoluzione
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)
Riconoscimento della scena
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

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

1. Insegnamenti a scelta vincolata

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