Gruppo opzionale:
GRUPPO OPZIONALE: ATTIVITA' CARATTERIZZANTI - (visualizza)
 |
48
|
|
|
|
|
|
|
|
|
8065535 -
TEORIA DELLA SICUREZZA E CRITTOGRAFIA
(obiettivi)
OBIETTIVI FORMATIVI:Il corso si propone di fornire gli strumenti teorici, metodologici e progettuali per la valutazione e l'utilizzo di soluzioni tecnologiche nell'ambito della sicurezza. CONOSCENZA E CAPACITÀ DI COMPRENSIONE: capacità di valutare il corretto funzionamento di algoritmi di cifra e hash, saper valutare la corretta applicazione delle tecniche di cifra a casi concreti. CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: saper progettare un algoritmo di cifra simmetrica e asimmetrica. AUTONOMIA DI GIUDIZIO: Saper giustificare le scelte progettuali effettuate per una soluzione di sicurezza informatica. ABILITÀ COMUNICATIVE: Saper presentare le proprie scelte progettuali e scientifiche
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8067466 -
SERVICE ORIENTED SOFTWARE ENGINEERING
(obiettivi)
Gli allievi acquisiscono le conoscenze relative agli aspetti metodologici ed applicativi per inquadrare la produzione del software all’'interno di una disciplina ingegneristica. Vengono presentati il processo software e i principali metodi di analisi e progettazione del software orientato ai servizi; al termine del corso lo studente avrà acquisito le competenze necessarie per conoscere gli aspetti tipici dei processi e prodotti software (*conoscenza e capacità di comprensione*). In particolare, lo studente avrà avuto modo di apprendere gli strumenti qualitativi e quantitativi per l'analisi e la progettazione di sistemi software orientati ai servizi, e per la gestione efficace di progetti software, nonché i più moderni approcci di sviluppo basati su tecniche model-driven (*capacità di applicare conoscenza e comprensione*). Il riferimento a contesti applicativi e casi di studio reali stimolano *autonomia di giudizio* e *abilità comunicative*. Infine, le conoscenze di base dell’'ingegneria del software apprese nel corso contribuiscono a sviluppare *capacità di apprendimento* da parte dello studente mettendolo nelle condizioni di poter applicare in maniera autonoma le tematiche affrontate.
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8067467 -
SICUREZZA INFORMATICA E INTERNET
(obiettivi)
OBIETTIVI FORMATIVI. Il corso, principalmente basato su attività pratiche e di laboratorio, ha l'obiettivo di permettere agli studenti di acquisire esperienza e operatività con le tecniche e gli strumenti di base per l'analisi delle vulnerabilità di sistemi informativi, penetration testing, difesa da cyber attacchi, ed analisi di incidenti (con cenni all'analisi forense). CONOSCENZA E CAPACITÀ DI COMPRENSIONE: Al termine del corso, lo studente avrà acquisito una significativa competenza pratica in termini di capacità di identificare e sfruttare (ove in posizione di attacco) o mitigare (ove in posizione di difesa) vulnerabilità nei sistemi informativi. In particolare, conoscerà e imparerà ad usare un ampio bagaglio di strumenti inerenti la sicurezza informatica. CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: Al termine del corso lo studente saprà svolgere attività di analisi di vulnerabilità a livello di sistema e di penetration testing. Oltre ad imparare ad usare un ampio numero di strumenti disponibili sulla piattaforma Linux Kali (Metasploit, tools per scanning ed information gathering, tool per Password Cracking, tool per analisi di codice binario e reverse engineering, tool per analisi/fuzzying di siti web, etc), lo studente acquisirà anche capacità iniziali di progettazione e sviluppo di strumenti custom di analisi, penetrazione, difesa e gestione incidenti. AUTONOMIA DI GIUDIZIO: Il corso permetterà allo studente di verificare e valutare il livello di sicurezza di un sistema informativo, e fornirà allo studente i concetti, le tecnologie, e gli strumenti di base necessari per identificare (e sfruttare o, dualmente, mitigare) vulnerabilità informatiche. ABILITÀ COMUNICATIVE: Al termine del corso lo studente avrà acquisito padronanza della terminologia relativa alle vulnerabilità (a livello di sistema) dei sistemi informativi ed alle relative tecniche di analisi, e sarà in grado di usare un linguaggio tecnico appropriato ed attuale nelle proprie presentazioni ed argomentazioni. CAPACITÀ DI APPRENDIMENTO: Il corso stimolerà lo studente all'auto-apprendimento - necessario vista la rapida obsolescenza delle tecnologie in questione - fornendo numerosi esempi e puntatori a fonti informative esterne sia per aspetti tecnologici che metodologici.
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8065531 -
ALGORITMI DISTRIBUITI E RETI COMPLESSE
(obiettivi)
Assumere conoscenze approfondite su modelli di calcolo ed algoritmi decentralizzati per l'analisi ed il progetto dei moderni sistemi distribuiti. CONOSCENZA E CAPACITÀ DI COMPRENSIONE: Standard CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: Standard AUTONOMIA DI GIUDIZIO: Standard ABILITÀ COMUNICATIVE: Standard CAPACITÀ DI APPRENDIMENTO: Standard
-
CLEMENTI ANDREA
( programma)
Il corso presenta i principi fondamentali del calcolo distribuito sia da un punto di vista dei modelli di comunicazione/computazione piu' importanti che per quanto riguarda i metodi algoritmici fondamentali per tali modelli. L'obiettivo formativo e' quello di fornire degli strumenti efficienti e rigorosi per il Problem Solving algoritmico in cui, rispetto ai corsi algoritmici della triennale, per la prima volta le entita' computazionali (agenti) sono molteplici ed interagenti. Questo nuovo paradigma offre ottime basi per progettare protocolli efficienti per problemi fondamentali ed estremamente attuali nel mondo dei moderni sistemi distribuiti. Questa parte sara' tenuta del Prof. Clementi e sara' di 6 cfu. Nella seconda parte di 3 cfu, il Dr. Guala' trattera' un altro aspetto fondamentale dei sistemi distribuiti moderni: la presenza di comportamenti egoistici degli agenti di un sistema distribuito. Tale presenza ha portato negli ultimi decenni a sviluppare un'importante teoria: l'Algorithmic Game Theory. Profondamente ispirata dalla famosa Game Theory (Nash Equilbria), questa teoria viene trattata nel corso per affrontare importanti problematiche nel campo dell'ottimizzazione di reti di comunicazione e di altre applicazioni.
 N. Santoro: Design and analysis of Distributed Algorithms; Slides e Note del Docente.
-
GUALA' LUCIANO
( programma)
Presenza di comportamenti egoistici degli agenti di un sistema distribuito. Tale presenza ha portato negli ultimi decenni a sviluppare un'importante teoria: l'Algorithmic Game Theory. Profondamente ispirata dalla famosa Game Theory (Nash Equilbria), questa teoria viene trattata nel corso per affrontare importanti problematiche nel campo dell'ottimizzazione di reti di comunicazione e di altre applicazioni.
 N. Santoro: Design and analysis of Distributed Algorithms; Slides e Note del Docente
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8067437 -
NATURAL LANGUAGE PROCESSING
(obiettivi)
- OBIETTIVI FORMATIVI: Il corso si propone di introdurre lo studente agli scopi, alle principali problematiche e ai principali modelli simbolici dell'elaborarazione del linguaggio naturale. - CONOSCENZA E CAPACITÀ DI COMPRENSIONE: Lo studente conoscerà le principali tematiche dell'elaborazione del linguaggio naturale. - CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: Alla fine del corso, lo studente sarà in grado di implementare un modello di elaborazione del linguaggio. - AUTONOMIA DI GIUDIZIO: Le lezioni sono organizzate di modo da permettere allo studente di valutare le informazioni presenti nella rete. Questo è necessario per permettere loro di scegliere nel mare magum della rete le informazioni che sono utili per trovare soluzioni ai problemi dati. - ABILITÀ COMUNICATIVE: Allo studente viene richiesto di presentare alcuni argomenti durante le lezioni al fine di affinare la sua arte oratoria. Inoltre, l'esame prevede una presentazione orale davanti agli altri studenti. - CAPACITÀ DI APPRENDIMENTO: Nel corso puntiamo molto sulla capacitàò di selezione delle informazioni come principale capacità di apprendimento.
-
ZANZOTTO FABIO MASSIMO
( programma)
- Introduzione e la sfida delle macchine parlanti - Il Linguaggio: modelli e teorie linguistiche - Modelli Linguistici e Sistemi - Come determinare che un modello è corretto e un sistema è efficace: inter-annotation agreement e statistical significance - Automi a stati finiti e trasduttori per la morfologia (appunti per la lezione): software Xerox Finite State Transducers - Elaborazione sintattica con le grammatiche context-free - Parsing con le grammatiche context-free - Feature Structures e Unificazione - Tree Adjoining Grammars - Modular and Lexicalized Parsing - Probabilistic context-free grammar - Semantica - Rappresentazione semantica simbolica: Introduzione a WordNet e FrameNet - Lambda Calcolo per la semantica del linguaggio naturale - Rappresentazione semantica distribuzionale - Textual Entailment Recognition - Cenni di Rappresentazione Simbolica Distribuita per Reti Neurali
 - Daniel Jurafsky and James H. Martin, SPEECH and LANGUAGE PROCESSING: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition (Third 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
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8067574 -
INTELLIGENZA ARTIFICIALE 2
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8067438 -
INFORMATION RETRIEVAL
(obiettivi)
OBIETTIVI FORMATIVI: Il corso si propone di introdurre lo studente agli scopi, alle principali problematiche e ai principali modelli dell'Information Retrieval CONOSCENZA E CAPACITÀ DI COMPRENSIONE: Lo studente conoscerà le principali tematiche per l'Information Retrieval CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: Alla fine del corso, lo studente sarà in grado di implementare un modello di indicizzazione e ricerca dell'Informazione AUTONOMIA DI GIUDIZIO: Lo studente viene abituato a ragionare sui vari compromessi (trade-off) che si devono affrontare nella progettazione o implementazione di un sistema per la ricerca dell'Informazione. ABILITÀ COMUNICATIVE: Allo studente viene richiesto di presentare alcuni argomenti presentati durante il corso al fine di affinare la sua arte oratoria. Il corso prevede facoltativamente la realizzazione di alcuni progetti che devono essere documentati. I risultati del progetto vengono infatti presentati al docente, migliorando così la capacità di esposizione orale. CAPACITÀ DI APPRENDIMENTO: Una parte del materiale didattico è costituito dalle specifiche delle libreria per l'implementazione di sistemi di Information Retrieval. Lo studente impara ad interpretare direttamente e in modo autonomo le specifiche di tali sistemi.
-
GAMBOSI GIORGIO
( programma)
Introduzione al problema dell'Information Retrieval Definizione della nozione di Inverted Indices Costruzione di Indici per l'Information Retrieval Algoritmi per la codifica e compressione dell'Informazione Funzione di Ranking documentale Introduzione al Vector Space Model Modello Probabilistici per l'Information Retrieval Valutazione dei Sistemi di IR Sviluppo efficiente e su larga scala di sistemi di IR Crawling e Detection di risorse duplicate Introduzione a Lucene/SOLR Introduzione a Map Reduce Modelli avanzati di Retrieval (Modello 2-Poisson, Dirichlet Language Model)
 Manning, C. D., Raghavan, P.,, Schütze, H. (2008). Introduction to Information Retrieval. Cambridge, UK: Cambridge University Press. ISBN: 978-0-521-86571-5
Slides del docente e altro materiale fornito dal docente e reso disponibile sul sito del corso.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066134 -
METODI DI VERIFICA DI SISTEMI
(obiettivi)
• OBIETTIVI FORMATIVI: tecnologia di verifica denominata model checking • CONOSCENZA E CAPACITÀ DI COMPRENSIONE: teorica e uso dei tool • CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: casi d’uso specifici • AUTONOMIA DI GIUDIZIO: valutare se la tecnologia è applicabile • ABILITÀ COMUNICATIVE: esposizione di un progetto • CAPACITÀ DI APPRENDIMENTO:
-
INTRIGILA BENEDETTO
( programma)
MODEL CHECKING ESPLICITO E SIMBOLICO, TIMED AUTOMATA.
 Systems and Software Verification Model-Checking Techniques and Tools Autori: Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8065538 -
ANALISI DI RETI
(obiettivi)
• OBIETTIVI FORMATIVI: Acquisizione di competenze relative ad analisi e soluzione di problemi connessi alla progettazione e alla gestione di reti complesse. • CONOSCENZA E CAPACITÀ DI COMPRENSIONE: acquisizione di conoscenze di problematiche e di tecniche avanzate di soluzione e analisi che inducano una capacità di comprensione approfondita dei fenomeni correlati alla presenza di relazioni fra un elevato numero di entità; • CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: abbiano capacità di applicare la conoscenza e comprensione acquisite al fine di individuare nuovi problemi e, per essi, nuove soluzioni e nuovi modelli; • AUTONOMIA DI GIUDIZIO: abbiano la capacità di raccogliere e interpretare i dati alla luce dei modelli proposti al fine di consolidarli o confutarli; • ABILITÀ COMUNICATIVE: sappiano descrivere contesti relazionali ed interpretarli nel formalismo delle reti fornendo informazioni sufficientemente dettagliate da suscitare l’interesse di interlocutori specialisti in un linguaggio accessibile, altresì, ad interlocutori non specialisti; • CAPACITÀ DI APPRENDIMENTO: abbiano conseguito sufficiente conoscenza della letteratura per riuscire a ricercare e filtrare il materiale necessario ad intraprendere studi successivi con un alto grado di autonomia.
-
DI IANNI MIRIAM
( programma)
Teoria dei grafi e delle reti sociali. Grafi, percorsi, connettività, distanza, ricerca; Chiusura triadica, importanza dei collegamenti deboli, struttura di rete in insiemi di grandi dimensioni, indici di centralità e partizionamenti; Bilancio strutturale. Dinamiche nelle reti: modelli di popolazione. Cascate informative: il concetto "segui la massa", un modello di cascata, la regola di Bayes e le cascate; Power Law e fenomeno rich-get-richer: la popolarità come un effetto rete, modelli rich-get-richer e la long tail. Dinamiche nelle reti: modelli strutturali. Comportamento a cascata: diffusione, cascate e cluster, il ruolo dei weak ties, capacità di una cascata; il fenomeno Small-world: i sei gradi di separazione, modelli per lo Small-world; ricerca decentralizzata: modelli e analisi. Reti di Informazione: il World Wide Web. Struttura del Web: reti di informazione, ipertesti e memoria associativa; Link analysis e ricerca nel Web: il problema del Ranking, Hubs e Authorities, il PageRank. Istituzioni e comportamento aggregato. Meccanismi di voto: decisioni di gruppo e preferenze individuali; sistemi di voto a maggioranza e posizionale; Teorema di impossibilità di Arrow; Teorema del Voto Mediano; Voto come forma di aggregazione dell'informazione: voto sincero e non sincero, la regola dell'unanimità e il problema del verdetto della giuria; voto sequenziale e cascate informative.
 David Easley, Jon Kleinberg, "Networks, Crowds, and Markets: Reasoning about a Highly Connected World", Cambridge University Press Dispense a cura del docente disponibili sul sito del corso.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
Gruppo opzionale:
GRUPPO OPZIONALE ATTIVITA' AFFINI - (visualizza)
 |
36
|
|
|
|
|
|
|
|
|
8067161 -
LOGICA MATEMATICA 1
(obiettivi)
OBIETTIVI FORMATIVI: L’insegnamento si propone di fornire agli studenti le nozioni fondamentali (ed eventualmente più avanzate) di Algebra Universale, con particolare attenzioni ai rapporti con i restanti settori della matematica. CONOSCENZA E CAPACITÀ DI COMPRENSIONE: Ci si aspetta che lo studente comprenda con chiarezza e sicurezza le nozioni di struttura algebrica e di varietà e i risultati principali che le riguardano. CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: Ci si aspetta che lo studente sappia applicare le conoscenze acquisite in situazioni simili a quelle presentate a lezione, ed eventualmente che sappia orientarsi in situazioni notevolmente diverse AUTONOMIA DI GIUDIZIO: E' fondamentale che lo studente sappia valutare la correttezza e la coerenza dei metodi presentati, e di loro varianti. ABILITÀ COMUNICATIVE: E' fondamentale che lo studente sappia presentare in linguaggio matematico corretto le nozioni acquisite. CAPACITÀ DI APPRENDIMENTO: Ci si aspetta che lo studente sia in grado di comprendere un testo o un'esposizione di difficoltà media che riguardi l'argomento.
|
8
|
MAT/01
|
64
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8067466 -
SERVICE ORIENTED SOFTWARE ENGINEERING
(obiettivi)
Gli allievi acquisiscono le conoscenze relative agli aspetti metodologici ed applicativi per inquadrare la produzione del software all’'interno di una disciplina ingegneristica. Vengono presentati il processo software e i principali metodi di analisi e progettazione del software orientato ai servizi; al termine del corso lo studente avrà acquisito le competenze necessarie per conoscere gli aspetti tipici dei processi e prodotti software (*conoscenza e capacità di comprensione*). In particolare, lo studente avrà avuto modo di apprendere gli strumenti qualitativi e quantitativi per l'analisi e la progettazione di sistemi software orientati ai servizi, e per la gestione efficace di progetti software, nonché i più moderni approcci di sviluppo basati su tecniche model-driven (*capacità di applicare conoscenza e comprensione*). Il riferimento a contesti applicativi e casi di studio reali stimolano *autonomia di giudizio* e *abilità comunicative*. Infine, le conoscenze di base dell’'ingegneria del software apprese nel corso contribuiscono a sviluppare *capacità di apprendimento* da parte dello studente mettendolo nelle condizioni di poter applicare in maniera autonoma le tematiche affrontate.
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8067467 -
SICUREZZA INFORMATICA E INTERNET
(obiettivi)
OBIETTIVI FORMATIVI. Il corso, principalmente basato su attività pratiche e di laboratorio, ha l'obiettivo di permettere agli studenti di acquisire esperienza e operatività con le tecniche e gli strumenti di base per l'analisi delle vulnerabilità di sistemi informativi, penetration testing, difesa da cyber attacchi, ed analisi di incidenti (con cenni all'analisi forense). CONOSCENZA E CAPACITÀ DI COMPRENSIONE: Al termine del corso, lo studente avrà acquisito una significativa competenza pratica in termini di capacità di identificare e sfruttare (ove in posizione di attacco) o mitigare (ove in posizione di difesa) vulnerabilità nei sistemi informativi. In particolare, conoscerà e imparerà ad usare un ampio bagaglio di strumenti inerenti la sicurezza informatica. CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: Al termine del corso lo studente saprà svolgere attività di analisi di vulnerabilità a livello di sistema e di penetration testing. Oltre ad imparare ad usare un ampio numero di strumenti disponibili sulla piattaforma Linux Kali (Metasploit, tools per scanning ed information gathering, tool per Password Cracking, tool per analisi di codice binario e reverse engineering, tool per analisi/fuzzying di siti web, etc), lo studente acquisirà anche capacità iniziali di progettazione e sviluppo di strumenti custom di analisi, penetrazione, difesa e gestione incidenti. AUTONOMIA DI GIUDIZIO: Il corso permetterà allo studente di verificare e valutare il livello di sicurezza di un sistema informativo, e fornirà allo studente i concetti, le tecnologie, e gli strumenti di base necessari per identificare (e sfruttare o, dualmente, mitigare) vulnerabilità informatiche. ABILITÀ COMUNICATIVE: Al termine del corso lo studente avrà acquisito padronanza della terminologia relativa alle vulnerabilità (a livello di sistema) dei sistemi informativi ed alle relative tecniche di analisi, e sarà in grado di usare un linguaggio tecnico appropriato ed attuale nelle proprie presentazioni ed argomentazioni. CAPACITÀ DI APPRENDIMENTO: Il corso stimolerà lo studente all'auto-apprendimento - necessario vista la rapida obsolescenza delle tecnologie in questione - fornendo numerosi esempi e puntatori a fonti informative esterne sia per aspetti tecnologici che metodologici.
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8067574 -
INTELLIGENZA ARTIFICIALE 2
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8067438 -
INFORMATION RETRIEVAL
(obiettivi)
OBIETTIVI FORMATIVI: Il corso si propone di introdurre lo studente agli scopi, alle principali problematiche e ai principali modelli dell'Information Retrieval CONOSCENZA E CAPACITÀ DI COMPRENSIONE: Lo studente conoscerà le principali tematiche per l'Information Retrieval CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: Alla fine del corso, lo studente sarà in grado di implementare un modello di indicizzazione e ricerca dell'Informazione AUTONOMIA DI GIUDIZIO: Lo studente viene abituato a ragionare sui vari compromessi (trade-off) che si devono affrontare nella progettazione o implementazione di un sistema per la ricerca dell'Informazione. ABILITÀ COMUNICATIVE: Allo studente viene richiesto di presentare alcuni argomenti presentati durante il corso al fine di affinare la sua arte oratoria. Il corso prevede facoltativamente la realizzazione di alcuni progetti che devono essere documentati. I risultati del progetto vengono infatti presentati al docente, migliorando così la capacità di esposizione orale. CAPACITÀ DI APPRENDIMENTO: Una parte del materiale didattico è costituito dalle specifiche delle libreria per l'implementazione di sistemi di Information Retrieval. Lo studente impara ad interpretare direttamente e in modo autonomo le specifiche di tali sistemi.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8067260 -
CAN 1: MODELLIZZAZIONE GEOMETRICA E SIMULAZIONE NUMERICA
(obiettivi)
OBIETTIVI FORMATIVI: L'insegnamento si propone di fornire le conoscenza di base riguardo delle funzioni spline e di alcune loro applicazioni salienti. Al termine dell’'insegnamento, lo studente conoscerà le principali proprietà delle funzioni splines, e della base B-spline e i principali aspetti delle loro applicazioni nell'ambito del free-form design, dell'approssimazione di funzioni e della soluzione di equazioni alle derivate parziali. CONOSCENZA E CAPACITÀ DI COMPRENSIONE: Al termine del processo di apprendimento si richiede di comprendere i metodi presentati e saperli applicare nella soluzione di semplici problemi. CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: Al termine del processo di apprendimento si richiede di riconoscere gli ambiti di applicabilità dei metodi e delle procedure descritte a lezione e applicare gli stessi al fine di risolvere e modellizzare semplici problemi. AUTONOMIA DI GIUDIZIO: Al termine del processo di apprendimento si richiede di saper analizzare semplici problemi di modellizzazione o approssimazione, saper individuare schemi spline appropriati per il loro trattamento e saper valutare la correttezza, e l’efficacia degli stessi. ABILITÀ COMUNICATIVE: Al termine del processo di apprendimento si chiede di saper illustrare con proprietà di linguaggio, sia in modo sintetico che analitico, i fondamenti matematici dei metodi numerici presentati a lezione. CAPACITÀ DI APPRENDIMENTO: Al termine del processo di apprendimento si chiede di saper leggere e comprendere sia manuali di analisi numerica avanzati sia articoli di ricerca riguardanti le tematiche affrontate.
|
8
|
MAT/08
|
64
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066424 -
ELEMENTI DI ANALISI NUMERICA
(obiettivi)
OBIETTIVI FORMATIVI: approfondire alcuni argomenti specifici della Matematica Numerica CONOSCENZA E CAPACITÀ DI COMPRENSIONE: Standard CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: Standard AUTONOMIA DI GIUDIZIO: Standard ABILITÀ COMUNICATIVE: Standard CAPACITÀ DI APPRENDIMENTO: Standard
|
8
|
MAT/08
|
64
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065533 -
CALCOLO DELLE PROBABILITA'
(obiettivi)
OBIETTIVI FORMATIVI: ’L'insegnamento si inserisce nell'area tematica della matematica, in particolare della probabilità e statistica. L'obiettivo principale è quello di presentare alcuni concetti, più avanzati rispetto a quelli dei corsi elementari, con possibili applicazioni in Informatica.
CONOSCENZA E CAPACITÀ DI COMPRENSIONE: Si richiede la capacità di comprendere la teoria e di svolgere esercizi.
CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: Si richiede la capacità di capire come usare la teoria per svolgere gli esercizi.
AUTONOMIA DI GIUDIZIO: Si richiede di motivare i procedimenti utilizzati nella soluzione degli esercizi, con eventuale riferimento ad argomenti di teoria.
ABILITÀ COMUNICATIVE: Si richiede la capacità di avere padronanza dei concetti matematici utilizzati.
CAPACITÀ DI APPRENDIMENTO: Si richiede di capire la teoria, sapendo collegare dove serve diversi argomenti.
|
6
|
MAT/06
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065538 -
ANALISI DI RETI
(obiettivi)
• OBIETTIVI FORMATIVI: Acquisizione di competenze relative ad analisi e soluzione di problemi connessi alla progettazione e alla gestione di reti complesse. • CONOSCENZA E CAPACITÀ DI COMPRENSIONE: acquisizione di conoscenze di problematiche e di tecniche avanzate di soluzione e analisi che inducano una capacità di comprensione approfondita dei fenomeni correlati alla presenza di relazioni fra un elevato numero di entità; • CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: abbiano capacità di applicare la conoscenza e comprensione acquisite al fine di individuare nuovi problemi e, per essi, nuove soluzioni e nuovi modelli; • AUTONOMIA DI GIUDIZIO: abbiano la capacità di raccogliere e interpretare i dati alla luce dei modelli proposti al fine di consolidarli o confutarli; • ABILITÀ COMUNICATIVE: sappiano descrivere contesti relazionali ed interpretarli nel formalismo delle reti fornendo informazioni sufficientemente dettagliate da suscitare l’interesse di interlocutori specialisti in un linguaggio accessibile, altresì, ad interlocutori non specialisti; • CAPACITÀ DI APPRENDIMENTO: abbiano conseguito sufficiente conoscenza della letteratura per riuscire a ricercare e filtrare il materiale necessario ad intraprendere studi successivi con un alto grado di autonomia.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065535 -
TEORIA DELLA SICUREZZA E CRITTOGRAFIA
(obiettivi)
OBIETTIVI FORMATIVI:Il corso si propone di fornire gli strumenti teorici, metodologici e progettuali per la valutazione e l'utilizzo di soluzioni tecnologiche nell'ambito della sicurezza. CONOSCENZA E CAPACITÀ DI COMPRENSIONE: capacità di valutare il corretto funzionamento di algoritmi di cifra e hash, saper valutare la corretta applicazione delle tecniche di cifra a casi concreti. CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: saper progettare un algoritmo di cifra simmetrica e asimmetrica. AUTONOMIA DI GIUDIZIO: Saper giustificare le scelte progettuali effettuate per una soluzione di sicurezza informatica. ABILITÀ COMUNICATIVE: Saper presentare le proprie scelte progettuali e scientifiche
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065531 -
ALGORITMI DISTRIBUITI E RETI COMPLESSE
(obiettivi)
Assumere conoscenze approfondite su modelli di calcolo ed algoritmi decentralizzati per l'analisi ed il progetto dei moderni sistemi distribuiti. CONOSCENZA E CAPACITÀ DI COMPRENSIONE: Standard CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: Standard AUTONOMIA DI GIUDIZIO: Standard ABILITÀ COMUNICATIVE: Standard CAPACITÀ DI APPRENDIMENTO: Standard
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066134 -
METODI DI VERIFICA DI SISTEMI
(obiettivi)
• OBIETTIVI FORMATIVI: tecnologia di verifica denominata model checking • CONOSCENZA E CAPACITÀ DI COMPRENSIONE: teorica e uso dei tool • CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: casi d’uso specifici • AUTONOMIA DI GIUDIZIO: valutare se la tecnologia è applicabile • ABILITÀ COMUNICATIVE: esposizione di un progetto • CAPACITÀ DI APPRENDIMENTO:
-
INTRIGILA BENEDETTO
( programma)
MODEL CHECKING ESPLICITO E SIMBOLICO, TIMED AUTOMATA.
 Systems and Software Verification Model-Checking Techniques and Tools Autori: Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8067437 -
NATURAL LANGUAGE PROCESSING
(obiettivi)
- OBIETTIVI FORMATIVI: Il corso si propone di introdurre lo studente agli scopi, alle principali problematiche e ai principali modelli simbolici dell'elaborarazione del linguaggio naturale. - CONOSCENZA E CAPACITÀ DI COMPRENSIONE: Lo studente conoscerà le principali tematiche dell'elaborazione del linguaggio naturale. - CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: Alla fine del corso, lo studente sarà in grado di implementare un modello di elaborazione del linguaggio. - AUTONOMIA DI GIUDIZIO: Le lezioni sono organizzate di modo da permettere allo studente di valutare le informazioni presenti nella rete. Questo è necessario per permettere loro di scegliere nel mare magum della rete le informazioni che sono utili per trovare soluzioni ai problemi dati. - ABILITÀ COMUNICATIVE: Allo studente viene richiesto di presentare alcuni argomenti durante le lezioni al fine di affinare la sua arte oratoria. Inoltre, l'esame prevede una presentazione orale davanti agli altri studenti. - CAPACITÀ DI APPRENDIMENTO: Nel corso puntiamo molto sulla capacitàò di selezione delle informazioni come principale capacità di apprendimento.
-
ZANZOTTO FABIO MASSIMO
( programma)
- Introduzione e la sfida delle macchine parlanti - Il Linguaggio: modelli e teorie linguistiche - Modelli Linguistici e Sistemi - Come determinare che un modello è corretto e un sistema è efficace: inter-annotation agreement e statistical significance - Automi a stati finiti e trasduttori per la morfologia (appunti per la lezione): software Xerox Finite State Transducers - Elaborazione sintattica con le grammatiche context-free - Parsing con le grammatiche context-free - Feature Structures e Unificazione - Tree Adjoining Grammars - Modular and Lexicalized Parsing - Probabilistic context-free grammar - Semantica - Rappresentazione semantica simbolica: Introduzione a WordNet e FrameNet - Lambda Calcolo per la semantica del linguaggio naturale - Rappresentazione semantica distribuzionale - Textual Entailment Recognition - Cenni di Rappresentazione Simbolica Distribuita per Reti Neurali
 - Daniel Jurafsky and James H. Martin, SPEECH and LANGUAGE PROCESSING: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition (Third 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
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|