Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Business Intelligence e sistemi di supporto alle decisioni. Data Warehouse e OLAP. Scoperta di conoscenza nelle basi di dati.
BDA - Basi di Dati Avanzate
Basi di dati attive
* ML - Modelli logici
Modello relazionale ad oggetti.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Organizzazione fisica dei dati e indici.
LP - Linguaggi di Programmazione di Basi di Dati
Trigger e stored procedures.
TCR - Transazioni, Concorrenza e Recovery
Controllo della affidabilità e della concorrenza. Transazioni in SQL-3.
* DBMS - Sistemi di Gestione di Basi di Dati
Basi di dati distribuite e protocolli di commit. Basi di Dati federate. Replicazione dei dati.
* DBMS - Sistemi di Gestione di Basi di Dati
Architetture Multi-livello e con application server.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Ottimizzazione delle interrogazioni e progettazione fisica.

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Fondamenti: logica proposizionale; logica del primo ordine
• M - Rappresentazione della conoscenza
* RP - Risoluzione di Problemi
Risolvere problemi attraverso la ricerca nello spazio degli stati. Strategie di ricerca informata. Ricerca a due avversari
* SBC - Sistemi Basati su Conoscenza
Principi fondamentali, il modello di calcolo, i task, le applicazioni
* LPD - Logica e Programmazione Dichiarativa
Paradigmi computazionali: programmazione a regole, programmazione PROLOG
ARC - Acquisizione e Rappresentazione della Conoscenza
I metodi per acquisire conoscenza, la concettualizzazione, la scelta della rappresentazione. Ragionare con la conoscenza
AI - Agenti Intelligenti
Modelli di agente: l'agente risolutore di problemi, l'agente basato su conoscenza, l'agente pianificatore, l'agente che impara
RA - Ragionamento Automatico
Rappresentazione di conoscenza, schemi di rappresentazione, reti semantiche, frames e scripts
RA - Ragionamento Automatico
Ragionamento sotto incertezza. Uso di logiche modali.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendere conoscenza in forma dichiarativa. Paradigmi di apprendimento induttivo simbolico e sub-simbolico, guidato e non guidato. Fondamenti di Inductive Logic Programming

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
La progettazione: cosa si progetta, il processo di progettazione del dialogo tra utente e calcolatore, principi di progettazione, definizione dei requisiti, card sorting, progettazione di protipi
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Ingegneria dell'usabilità: approfondimento delle metodologie e delle tecniche di valutazione di usabilità. Test con utenti. Esperimenti controllati
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Studi sul campo. Valutazione analitica
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Definizione dei requisiti. Studio degli utenti
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Metodi per raccolta e analisi di dati. Analisi qualitative. Analisi quantitative. Metodi statistici per l'analisi dei dati
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Metodi e strumenti per IV. Visual analytics
TMI - Teorie e Modelli per l'Interazione
- Il modello di Norman, Il modello dei processi di interazione e co-evoluzione, End-User Development (EUD)
TMI - Teorie e Modelli per l'Interazione
Modelli per EUD: SSW e SER. Esempi di EUD Culture of Participation, Meta-design
PIRV - Paradigmi di Interazione e Realta' Virtuale
Nuovi paradigmi di interazione. Sistemi Ubiqui

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Lambda calcolo, combinatori, sostituzione, teorema del punto fisso
COM - Complessità
Complessità
* CAL - Calcolabilità
Determinismo e non determinismo, Problema dell'alt, Classe P e NP.
COM - Complessità
Funzioni ricorsive, ricorsive prinitive, minimalizzazione, funzioni ricorsive parziali
* CAL - Calcolabilità
Sisyema dei sequenti di Gentzen, coerenza, completezza e decidibilità
SLP - Semantica dei Linguaggi di Programmazione
Le macchine URM. sintassi e semantica del Jump. sintassi e semantica di un programma URM

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Algebra lineare numerica e sue applicazioni all'informatica
MAT/08 - Analisi Numerica
Sistemi di equazioni non lineari
MAT/08 - Analisi Numerica
Minimi quadrati
MAT/08 - Analisi Numerica
Tecniche di ottimizzazione non vincolata per le applicazioni informatiche
MAT/08 - Analisi Numerica
Tecniche di ottimizzazione vincolata per le applicazioni informatiche
MAT/08 - Analisi Numerica
Decomposizione a valori singolari (SVD) sue proprietà e applicazioni
MAT/08 - Analisi Numerica
Understanding Search Engine: il modello vettoriale dell'informazione
MAT/08 - Analisi Numerica
Metodi basati sugli autovettori per il Web Information Retrieval :HITS
MAT/08 - Analisi Numerica
Metodi basati sugli autovettori per il Web Information Retrieval :Page-Rank
MAT/08 - Analisi Numerica
Analisi delle componenti principali (PCA)
MAT/08 - Analisi Numerica
Fattorizzazioni non-negative (NMF)
MAT/08 - Analisi Numerica
Tecniche numeriche per il pre-processing dei Dati

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
studi empirici, caratteristiche e applicazione
* PSS - Processi di Sviluppo del Software
processo per la realizzazione di indagini empiriche
* PSS - Processi di Sviluppo del Software
processo per definire/eseguire una replica sperimentale
* PSS - Processi di Sviluppo del Software
famiglie di esperimenti
* LMS - Linguaggi di Modellazione del Software
modello di indagine e processo di miglioramento
* LMS - Linguaggi di Modellazione del Software
pacchetti di conoscenza e pacchetto di esperienza
* TVV - Testing, Verifica e Validazione
valutazione delle minacce alla validità di una indagine empirica
* TVV - Testing, Verifica e Validazione
consolidamento e trasferimento dei risultati di una indagine empirica
EPGS - Economia della Produzione e Gestione di progetti Software
innovazione tecnologica

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Teoria generale dei sistemi; Cibernetica
TIC - Teoria dell'Informazione e Codici
Teoria dell'Informazione di Shannon: La misura dell'informazione; sorgenti con e senza memoria
TIC - Teoria dell'Informazione e Codici
Teoria dell'Informazione di Shannon: Codifica di sorgente; canali
TIC - Teoria dell'Informazione e Codici
Codifica di flussi
TIC - Teoria dell'Informazione e Codici
Teoria algoritmica dell'informazione
TIC - Teoria dell'Informazione e Codici
Information principle e granular computing

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
* SBC - Sistemi Basati su Conoscenza
Sistemi per la gestione di Open Data e di Big Data, sistemi che integrano basi di conoscenza strutturate e collaborative (dizionari controllati, thesauri, ontologie, folksonomie, Wikipedia, DBpedia, BabelNet)
BC - Basi di Conoscenza
Open Data, tipologia e qualità dei dati, classificazione degli Open Data, pubblicazione di dataset, licenze, Linked Open Data
ARC - Acquisizione e Rappresentazione della Conoscenza
Elaborazione del linguaggio naturale, elementi di linguistica computazionale e risorse linguistiche, livello lessicale, livello sintattico, livello semantico (semantica lessicale, word sense disambiguation, word sense discrimination, named entity recognition e disambiguation)
RA - Ragionamento Automatico
Metodi semantici per l'inferenza di modelli utente e la progettazione di sistemi per l'accesso intelligente all'informazione (motori di ricerca semantici, recommender systems semantici e sociali, sistemi di Question Answering semantici), social sematic web
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Metodi di apprendimento automatico per l'elaborazione del linguaggio naturale e l'accesso intelligente all'informazione, piattaforme e toolkit per l'elaborazione del linguaggio naturale, piattaforme e toolkit per lo sviluppo di recommender systems
AIA - Applicazioni della Intelligenza Artificiale
Analisi, disegno, sviluppo e valutazione in-vitro ed in-vivo di applicazioni/casi_di_studio che integrano sistemi per l'elaborazione del linguaggio naturale e l'accesso intelligente all'informazione

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

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi di Gestione di Basi di Dati
* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi di Gestione di Basi di Dati
* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi di Gestione di Basi di Dati
• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento Automatico e Scoperta di Conoscenz
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento Automatico e Scoperta di Conoscenz
ARC - Acquisizione e Rappresentazione della Conoscenza
Apprendimento Automatico e Scoperta di Conoscenz

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

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
* RP - Risoluzione di Problemi
Paradigmi computazionali biologicamente e linguisticamente motivati per il problem solving
* SBC - Sistemi Basati su Conoscenza
Logica fuzzy e Teoria degli insiemi fuzzy
* SBC - Sistemi Basati su Conoscenza
Sistemi a regole fuzzy
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento sub-simbolico: Sistemi Neurali
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento sub-simbolico: Sistemi Neurofuzzy
RA - Ragionamento Automatico
Rappresentazione di conoscenza incerta e ragionamento approssimato

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

Sillabo dell'insegnamento

• G - Basi di dati
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Metadatazione e descrizione delle risorse nell'e-learning
• I - Ingegneria del software
* PSC - Progettazione del Software e Codifica
Progettazione di ambienti di smart learning environment
• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
L'Interazione negli smart learning environment
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Valutazione di smart learning environment
• M - Rappresentazione della conoscenza
* SBC - Sistemi Basati su Conoscenza
Smart learning Environment come sistemi basati su conoscenza
AIA - Applicazioni della Intelligenza Artificiale
Sistemi di raccomandazione per l'e-learning

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

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
La progettazione del dialogo tra utente e dispositivo mobile
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Linee guida per la progettazione dell'interfaccia di app UWP (Universal Windows Platform), IoS e Android
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Tecniche di visualizzazione delle informazioni per dispositivi mobili
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Uso di strumenti per la realizzazione di prototipi di app per dispositivi mobili
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Valutazione in laboratorio e sul campo di app per dispositivi mobili
PIRV - Paradigmi di Interazione e Realta' Virtuale
Creazione distributita su dispositibi mobili di un mashup di servizi Web

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

Sillabo dell'insegnamento

• I - Ingegneria del software
EPGS - Economia della Produzione e Gestione di progetti Software
gestione del rischio
MSQ - Misure del Software e Qualita'
gestione della qualità nei progetti software
MSQ - Misure del Software e Qualita'
gestione della qualità nei progetti software
EPGS - Economia della Produzione e Gestione di progetti Software
gestione del tempo
EPGS - Economia della Produzione e Gestione di progetti Software
gestione dei costi
EPGS - Economia della Produzione e Gestione di progetti Software
project management e program management

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

Sillabo dell'insegnamento

• C - Programmazione
PCC - Programmazione Concorrente
La concorrenza e la sincronizzazione di processi remoti.
• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
I princìpi fondamentali : Inter-process communication (IPC)
MA - Modelli e Architetture di sistemi operativi
Le architetture dei Sistemi Distribuiti : - Architetture centralizzate: Sistemi client-server sincroni e asincroni; stratificazione delle applicazioni ed architetture multilayered. - Architetture decentralizzate: Sistemi peer-to-peer. - Altre tipologie di architetture: - Rete overlay; Rete overlay non strutturata; Superpeer; Ibride (Sistemi edge-server, Sistemi distribuiti collaborativi) - Cluster: Architettura e tecniche di comunicazione; funzionalità (Fail-over service, Load-balancing, High Performance Computing) Grid: Architettura e tecniche di comunicazione; funzionalità (Storage, Data Base, Process control, HPC).
• H - Computazione su rete
* FCD - Fondamenti del Calcolo Distribuito
Introduzione ai sistemi distribuiti : concetti di base, definizioni e proprietà. I diversi punti di vista dei sistemi distribuiti.
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Sistemi operativi per i sistemi distribuiti
* SR - Sicurezza delle Reti
Sicurezza delle reti

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

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
Progettazione sviluppo e realizzazione di un data warehouse.
* PC - Progettazione concettuale
Sistemi Olap. Architetture data warehouse. Operatori OLAP. Qualità dei dati. Metodologie di progettazione di DW. Classificazione. Metodologia guidata dai requisiti.
* PC - Progettazione concettuale
UML per data warehouse. Metodologia guidata dai dati. Dimensional Fact Model. Metodologia ibrida. GrHyMM (Graph-Oriented Hybrid Multidimensional Model)
* ML - Modelli logici
Progettazione logica. Qualità degli schemi; metriche di valutazione costi/benefici. Progettazione alimentazione
* DBMS - Sistemi di Gestione di Basi di Dati
Progettazione sviluppo e realizzazione di un data warehouse.
• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
Introduzione. Sistemi Informativi aziendali. Processi: modello di Antony, modello di Sgorry; classificazione dei sistemi . Dati. Le fasi del ciclo di vita dei sistemi informativi. La pianificazione dei sistemi. Informativi. Il ciclo di Daming. Le metodologie di pianificazione (BSP, Information Engineering). La reingegnerizzazione dei processi. L'assessment dei sistemi informativi

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

Sillabo dell'insegnamento

• H - Computazione su rete
* MIR - Modelli di Interazione in Rete
Social Network Analysis
* MIR - Modelli di Interazione in Rete
Sistemi di comunicazione remota asincrona/sincrona di gruppo. Lo stile architetturale REST. Ajax
• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
Sviluppo agile. Sviluppo distribuito del software
AS - Ambienti di Sviluppo
Ambienti di sviluppo collaborativo. Gestione della configurazione del software.
• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Fondamenti di CSCW e social computing. Group awareness
TMI - Teorie e Modelli per l'Interazione
Teorie di comunicazione mediata dal computer

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