Gruppo opzionale:
GRUPPO OPZIONALE: ATTIVITA' CARATTERIZZANTI - (visualizza)
 |
48
|
|
|
|
|
|
|
|
|
8066497 -
INTELLIGENZA ARTIFICIALE 2
(obiettivi)
Lasciare che gli studenti vengono a conoscenza di approcci formali e tecnologie innovative per la modellazione di sistemi intelligenti; in particolare l'estrazione di informazioni e la domanda di sistemi per rispondere anche nel contesto del Semantic Web, così come aumentare la consapevolezza su approcci per la gestione semantica Big Data.
-
PAZIENZA MARIA TERESA
( programma)
Introduzione all’elaborazione del linguaggio naturale (NLP simbolico) Semantica, semantica lessicale, sistemi basati su semantica Analisi del discorso Ontologie Modelli, metodologie di rappresentazione di conoscenza concettuale, linguaggi, tecnologie Logiche terminologiche, logiche descrittive Semantic Web Applicazioni (es. IE, Q/A, reasoning) che traggono vantaggio da approcci misti basati su NLP e ontologie Semantica e Big Data, linguaggi, tecnologie, applicazioni
 “Ontology-based Interpretation of Natural Language” Autori: P. Cimiano, C. Unger, J. McCrae Morgan & Claypool publishers, 2014
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066134 -
METODI DI VERIFICA DI SISTEMI
(obiettivi)
MODEL CHECKING ESPLICITO E SIMBOLICO TIMED AUTOMATA.
-
INTRIGILA BENEDETTO
( programma)
Programma 1. Modellizzazione dei sistemi: rappresentazione con automi a stati finiti; 2. Modellizzazione di proprietà di sistemi: logica temporale; 3. Tecniche di model checking esplicito; 4. Tecniche di model checking simbolico.
 System and Software Verification Model-Checking Techniques and Tools Berard, B., Bidoit, M.., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066640 -
NATURAL LANGUAGE PROCESSING
(obiettivi)
Il corso si propone di introdurre lo studente agli scopi, alle principali problematiche e ai principali modelli simbolici dell'elaborarazione del linguaggio naturale. Alla fine del corso, lo studente sarà in grado di implementare un modello di elaborazione del linguaggio.
-
ZANZOTTO FABIO MASSIMO
( programma)
Programma e Materiale Disponibile •Introduzione e la sfida delle macchine parlanti (appunti per la lezione) •Il Linguaggio: modelli e teorie linguistiche (appunti per la lezione e corso di linguistica da cui sono stati derivati) •Modelli Linguistici e Sistemi ◦Come determinare che un modello è corretto e un sistema è efficace: inter-annotation agreement e statistical significance (appunti per la lezione) ◦Automi a stati finiti e trasduttori per la morfologia (appunti per la lezione) ◦Elaborazione sintattica con le grammatiche context-free ◦Parsing con le grammatiche context-free (appunti per la lezione) ◦Feature Structures e Unificazione (appunti per la lezione) ◦Tree Adjoining Grammars (appunti per la lezione) ◦Modular and Lexicalized Parsing (appunti per la lezione) ◦Probabilistic context-free grammar ◦Semantica ■Rappresentazione semantica simbolica(appunti per la lezione): Introduzione a WordNet e FrameNet ■Lambda Calcolo per la semantica del linguaggio naturale (appunti per la lezione) ■Rappresentazione semantica distribuzionale ◦Textual Entailment Recognition (Tutorial at ACL 2007)
 Libri di testo •Daniel Jurafsky and James H. Martin, SPEECH and LANGUAGE PROCESSING: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition (Second Edition) •I.Dagan, D.Roth, M.Sammons, F.M.Zanzotto, Recognizing Textual Entailment: Models and Applications, Synthesis Lectures on Human Language Technologies #23, Morgan&Claypool Publishers, 2013
|
6
|
ING-INF/05
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066133 -
INFORMATION RETRIEVAL
(obiettivi)
Il corso di Information Retrieval tratta l'accesso e il recupero dell'informazione per grandi basi documentali. Si affrontano gli aspetti teorici e realizzativi relativi alla costruzione di sistemi avanzati per l'indicizzazione, l'accesso e il recupero di informazione per collezioni molto grandi di documenti. Infine conoscere i modelli di recupero utilizzati nei principali motori di ricerca per i social networks, il web e i sistemi tradizionali di Information Retrieval.
-
AMATI GIAMBATTISTA
( programma)
L’informazione in IR. Entropia, Codifiche e codifiche ottimali, Codifica di Shannon-Fano, Codifica di Huffman. Le distribuzioni in Information Retrieval. Legge di Zipf & Power Law, Poisson, Multinomiale, Bernoulli, Dirichlet, Bose-Einstein. • Architettura di un sistema di IR. Parser, algoritmi di stemming. Indice inverso e indice diretto. Metodi di compressione degli indici: Gamma code, Varint code di Google, Stima della Dimensione degli indici mediante la Legge di Zipf. • Programmazione Map Reduce, Indicizzazione mediante MapReduce • Il problema dell'induzione in IR. Modelli di IR. Modello Two-Poisson, Modello dello Spazio vettoriale, Modello del linguaggio, Modelli Divergence From Randomness (DFR) • Modelli per la rappresentazione dell'interrogazione. Teoria del relevance feedback e tecniche di apprendimento automatico per l'IR. Espansione automatica delle interrogazioni. • Misure di valutazione dell'efficacia dei modelli di IR. • Misure di similarità per l’IR. Correlazione di Pearson, Mutual Information Measure, Misura di Jaccard • Clustering massivo, Locality Sensitive Hashing, Near Duplicate Detection. Implementazione MapReduce di LSH • Modelli di recupero mediante links e anchor text. Link Analysis & Pagerank, Calcolo efficiente di Pagerank, Applicazioni in Twitter, Spammer identification • Information Retrieval Temporale, Modelli temporali di IR • Crawling. Web Crawling, Pseudo crawling in Twitter
 1. J. Leskovec, A. Rajaraman, J. D. Ullman, Mining of Massive Datasets, http://infolab.stanford.edu/~ullman/mmds/book.pdf 2. G. Amati, Note di Information Retrieval, (manuscript) 3. Chakrabarti, Mining the web, http://www.facweb.iitkgp.ernet.in/~shamik/autumn2012/dwdm/papers/dmining.pdf 4. C.J. van Rijsbergen, Information Retrieval, London: Butterworths, 1979. http://www.dcs.gla.ac.uk/Keith/Preface.html 5. Moffat, Timothy Bell, Managing Gigabytes, Morgan Kaufmann Publishers, 1999. 6. C. D. Manning, P.Raghavan, H. Schütze, An Introduction to Information Retrieval, 2009, http://nlp.stanford.edu/IRbook/pdf/irbookonlinereading.pdf
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8067097 -
MODELLI E QUALITA' DEL SOFTWARE
(obiettivi)
In una prima parte il corso insegna i metodi per caratterizzare la qualità dei sistemi software e i modelli analitici per la valutazione della qualità. Caratterizza gli indici di affidabilità e sicurezza del software e insegna i metodi analitici e di simulazione per la valutazione e la predizione dell’affidabilità e sicurezza dei sistemi software. Nella seconda parte, il corso insegna i metodi e gli strumenti per la progettazione model-driven di sistemi software e i relativi standard, con i metodi e strumenti di model transformation e il management model-driven della qualità del software.
-
IAZEOLLA GIUSEPPE
( programma)
• Parte I o modelli di qualità o indici e attributi di qualità o verifica e convalida della qualità o affidabilità del software o modelli statici e dinamici di affidabilità o statistical testing o metodi analitici e simulativi di stima dell’ affidabilità o sicurezza del software o metodi di stima della sicurezza
• Parte II o model-driven engineering (MDE) o approccio MDE basato su model-driven architecture (MDA) e relativi standard (MOF, XMI, etc.) o linguaggi e strumenti di model transformation o model-driven quality management
 - Giuseppe Iazeolla Affidabilità e Sicurezza del Software, Franco Angeli, 2013 - Dispense rilasciate dal docente
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
Gruppo opzionale:
GRUPPO OPZIONALE ATTIVITA' AFFINI - (visualizza)
 |
36
|
|
|
|
|
|
|
|
|
8066497 -
INTELLIGENZA ARTIFICIALE 2
(obiettivi)
Lasciare che gli studenti vengono a conoscenza di approcci formali e tecnologie innovative per la modellazione di sistemi intelligenti; in particolare l'estrazione di informazioni e la domanda di sistemi per rispondere anche nel contesto del Semantic Web, così come aumentare la consapevolezza su approcci per la gestione semantica Big Data.
-
PAZIENZA MARIA TERESA
( programma)
Introduzione all’elaborazione del linguaggio naturale (NLP simbolico) Semantica, semantica lessicale, sistemi basati su semantica Analisi del discorso Ontologie Modelli, metodologie di rappresentazione di conoscenza concettuale, linguaggi, tecnologie Logiche terminologiche, logiche descrittive Semantic Web Applicazioni (es. IE, Q/A, reasoning) che traggono vantaggio da approcci misti basati su NLP e ontologie Semantica e Big Data, linguaggi, tecnologie, applicazioni
 “Ontology-based Interpretation of Natural Language” Autori: P. Cimiano, C. Unger, J. McCrae Morgan & Claypool publishers, 2014
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066134 -
METODI DI VERIFICA DI SISTEMI
(obiettivi)
MODEL CHECKING ESPLICITO E SIMBOLICO TIMED AUTOMATA.
-
INTRIGILA BENEDETTO
( programma)
Programma 1. Modellizzazione dei sistemi: rappresentazione con automi a stati finiti; 2. Modellizzazione di proprietà di sistemi: logica temporale; 3. Tecniche di model checking esplicito; 4. Tecniche di model checking simbolico.
 System and Software Verification Model-Checking Techniques and Tools Berard, B., Bidoit, M.., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066640 -
NATURAL LANGUAGE PROCESSING
(obiettivi)
Il corso si propone di introdurre lo studente agli scopi, alle principali problematiche e ai principali modelli simbolici dell'elaborarazione del linguaggio naturale. Alla fine del corso, lo studente sarà in grado di implementare un modello di elaborazione del linguaggio.
-
ZANZOTTO FABIO MASSIMO
( programma)
Programma e Materiale Disponibile •Introduzione e la sfida delle macchine parlanti (appunti per la lezione) •Il Linguaggio: modelli e teorie linguistiche (appunti per la lezione e corso di linguistica da cui sono stati derivati) •Modelli Linguistici e Sistemi ◦Come determinare che un modello è corretto e un sistema è efficace: inter-annotation agreement e statistical significance (appunti per la lezione) ◦Automi a stati finiti e trasduttori per la morfologia (appunti per la lezione) ◦Elaborazione sintattica con le grammatiche context-free ◦Parsing con le grammatiche context-free (appunti per la lezione) ◦Feature Structures e Unificazione (appunti per la lezione) ◦Tree Adjoining Grammars (appunti per la lezione) ◦Modular and Lexicalized Parsing (appunti per la lezione) ◦Probabilistic context-free grammar ◦Semantica ■Rappresentazione semantica simbolica(appunti per la lezione): Introduzione a WordNet e FrameNet ■Lambda Calcolo per la semantica del linguaggio naturale (appunti per la lezione) ■Rappresentazione semantica distribuzionale ◦Textual Entailment Recognition (Tutorial at ACL 2007)
 Libri di testo •Daniel Jurafsky and James H. Martin, SPEECH and LANGUAGE PROCESSING: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition (Second Edition) •I.Dagan, D.Roth, M.Sammons, F.M.Zanzotto, Recognizing Textual Entailment: Models and Applications, Synthesis Lectures on Human Language Technologies #23, Morgan&Claypool Publishers, 2013
|
6
|
ING-INF/05
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066133 -
INFORMATION RETRIEVAL
(obiettivi)
Il corso di Information Retrieval tratta l'accesso e il recupero dell'informazione per grandi basi documentali. Si affrontano gli aspetti teorici e realizzativi relativi alla costruzione di sistemi avanzati per l'indicizzazione, l'accesso e il recupero di informazione per collezioni molto grandi di documenti. Infine conoscere i modelli di recupero utilizzati nei principali motori di ricerca per i social networks, il web e i sistemi tradizionali di Information Retrieval.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8067097 -
MODELLI E QUALITA' DEL SOFTWARE
(obiettivi)
In una prima parte il corso insegna i metodi per caratterizzare la qualità dei sistemi software e i modelli analitici per la valutazione della qualità. Caratterizza gli indici di affidabilità e sicurezza del software e insegna i metodi analitici e di simulazione per la valutazione e la predizione dell’affidabilità e sicurezza dei sistemi software. Nella seconda parte, il corso insegna i metodi e gli strumenti per la progettazione model-driven di sistemi software e i relativi standard, con i metodi e strumenti di model transformation e il management model-driven della qualità del software.
-
IAZEOLLA GIUSEPPE
( programma)
• Parte I o modelli di qualità o indici e attributi di qualità o verifica e convalida della qualità o affidabilità del software o modelli statici e dinamici di affidabilità o statistical testing o metodi analitici e simulativi di stima dell’ affidabilità o sicurezza del software o metodi di stima della sicurezza
• Parte II o model-driven engineering (MDE) o approccio MDE basato su model-driven architecture (MDA) e relativi standard (MOF, XMI, etc.) o linguaggi e strumenti di model transformation o model-driven quality management
 - Giuseppe Iazeolla Affidabilità e Sicurezza del Software, Franco Angeli, 2013 - Dispense rilasciate dal docente
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|