Sillabo dell'insegnamento

• B - Algoritmi
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
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

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

• G - Basi di dati
* PL - Progettazione Logica
La progettazione logica nei data warehouse
BDA - Basi di Dati Avanzate
Data warehouse
BDA - Basi di Dati Avanzate
Data mining
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)

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. Matematica Computazionale
2. Modelli probabilistici
3. Fisica dei Sistemi Complessi
4. Fondamenti Logici dell'Informatica
5. Grafica

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• D - Linguaggi
ALC - Astrazioni Linguistiche e Composizionalità
Linguaggi per l'Intelligenza Artificiale, Programmazione Simbolica, linguaggio LISP
• M - Rappresentazione della conoscenza
* LPD - Logica e Programmazione Dichiarativa
Logica Proposizionale, Logica del Prim'ordine, linguaggio Prolog
* SBC - Sistemi Basati su Conoscenza
Sistemi per la Rappresentazione della Conoscenza, Struttura e Proprieta'
RA - Ragionamento Automatico
Ragionamento nei sistemi basati sulla conoscenza, Compromesso tra potere espressivo ed efficienza
ARC - Acquisizione e Rappresentazione della Conoscenza
Logiche delle descrizioni, Sistemi ibridi che integrano concetti, backward e forward chaining
AIA - Applicazioni della Intelligenza Artificiale
Esempi di Applicazioni di Intelligenza Artificiale, Sistemi Esperti, Il web semantico

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• E - Architetture
VMP - Valutazione e Miglioramento delle Prestazioni
progetto e realizzazione di simulatori per l'analisi prestazionale di sistemi P2P
VMP - Valutazione e Miglioramento delle Prestazioni
progetto e realizzazione di simulatori per l'analisi prestazionale di sistemi P2P
• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
architetture P2P, strutturate e non strutturate
* PT - Protocolli
DHT, Chord, CAN, Pastry, Key-based routing, protocolli epidemici
* MIR - Modelli di Interazione in Rete
Programmazione di Applicazioni e Servizi di Rete (PASR). Esempi di applicazioni distribuite costruite usando protocolli P2P, ex: multimedia real straming, Spotify
V - Varie
Overlay networks, Complex Networks

Sillabo dell'insegnamento

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

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
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.
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
Mathematica come linguaggio di programmazione, nei diversi paradigmi procedurale, funzionale, basato sulle liste ed orientato alle regole.
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
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.

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
Esempi di processi di coda
MAT/06 - Probabilita' e Statistica Matematica
Processi di rinnovamento e semi-Markoviani
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
Catene di Markov omogenee con un'infinità numerabile di stati con tempo discteto
MAT/06 - Probabilita' e Statistica Matematica
Rovina del giocatore e processi di Galton-Watson
MAT/06 - Probabilita' e Statistica Matematica
Passeggiate aleatorie

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
progetto e realizzazione di simulatori per l'analisi prestazionale di sistemi P2P.
VMP - Valutazione e Miglioramento delle Prestazioni
paradigmi di simulazione distribuita e parallela;
VMP - Valutazione e Miglioramento delle Prestazioni
verifica, convalida e testing di un modelo di simulazione, ambienti di simulazione;
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
generatori di numeri pseudocasuali, generazione di variabili casuali;
VMP - Valutazione e Miglioramento delle Prestazioni
classificazione di sistemi e modelli, pianificazione di uno studio di simulazione,progettazione di simulatori;

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

1. Esame a scelta ambito INF (6 CFU)