Sillabo dell'insegnamento

• G - Basi di dati
V - Varie
Physical Design, Tuning and Maintenance of relational databases
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Physical operators for relational DBMSs and Query optimization techniques
TCR - Transazioni, Concorrenza e Recovery
Concurrency in DBMSs
TCR - Transazioni, Concorrenza e Recovery
Transaction management
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Persistent memory: File structures and buffer management
* DBMS - Sistemi di Gestione di Basi di Dati
DBMS Architecture, an introduction

Sillabo dell'insegnamento

• D - Linguaggi
TAV - Tecniche di Analisi e Verifica
Introduction to formal methods for software analysis and verification.
TAV - Tecniche di Analisi e Verifica
Partial Orders and Lattices. Fixed-Point and Widening Operators.
TAV - Tecniche di Analisi e Verifica
Concrete and Abstract Semantics. The Abstract Interpretation Framework.
TAV - Tecniche di Analisi e Verifica
Dataflow Analyses. Classical Analyses: liveness, reaching definition, constant propagation, etc. Intra- and inter-procedural analysis.
TAV - Tecniche di Analisi e Verifica
Model Checking. Temporal logics: CTL*.
TAV - Tecniche di Analisi e Verifica
Case Studies: Analysis of Security properties.

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Representation and Discovery: PCA, ICA, and Latent Variables.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Supervised learning: linear classifiers and kernel methods.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Unsupervised learning: k-means, EM, and mixture models. Pairwise Clustering.
V - Varie
Physiology and psychology of perception (Gestalt psychology).
V - Varie
Low level perception: the Marr model.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Learning and Uncertainty: Learning and generalization.
RA - Ragionamento Automatico
Introduction to theorem proving; Expert Systems.
ARC - Acquisizione e Rappresentazione della Conoscenza
Introduction to Knowledge representation.
* RP - Risoluzione di Problemi
Constraint satisfaction; Local search; Relaxation labeling.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
The Neural Model.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Representation and Discovery: PCA, ICA, and Latent Variables.
* RP - Risoluzione di Problemi
Search and Strategic thinking; Search Heuristics; Games.

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Lexical Analysis
• D - Linguaggi
* LF - Linguaggi Formali
Parsing
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Abstract Syntax
TAV - Tecniche di Analisi e Verifica
Semantic Analysis
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Intermediate Code
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Code Generation

Sillabo dell'insegnamento

• H - Computazione su rete
V - Varie
Model file service and design issues. Case studies: NFS, AFS and CODA.
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Distributed operating systems. Processes: allocation and scheduling, migration and load balancing. Deadlock.
* MIR - Modelli di Interazione in Rete
Client-server paradigm and IPC. Group and multicast communication. RMI and RPC. Types and semantics.
* FCD - Fondamenti del Calcolo Distribuito
Principles, design choices, types of distributed systems. Transmission medium. Protocols and services. Performance.
* FCD - Fondamenti del Calcolo Distribuito
Consistency models. Architectural models of replication. Transactions and concurrency control in distributed systems.
* FCD - Fondamenti del Calcolo Distribuito
Algorithms for synchronization and coordination. Clock synchronization, mutual exclusion, election of a leader. Global state.

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
Libraries and languages for parallel programming - shared memory.
* CB - Costrutti di Base
Libraries and languages for parallel programming - message passing.
* CB - Costrutti di Base
Parallelization techniques and issues.
• E - Architetture
AA - Architetture Avanzate
Metrics for performance evaluation.
AA - Architetture Avanzate
Parallel architectures - shared memory.
AA - Architetture Avanzate
Parallel architectures - distributed memory.

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Decision rules. The second theorem of Shannon.
TIC - Teoria dell'Informazione e Codici
Channels: The BSC and other major channels. Mutual information. Channel capacity.
TIC - Teoria dell'Informazione e Codici
Entropy: Information, entropy and source coding. The first theorem of Shannon.
TIC - Teoria dell'Informazione e Codici
Huffman codes.
TIC - Teoria dell'Informazione e Codici
Source coding: Uniquely decodable codes. Theorem of Sardinas-Patterson. Instantaneous codes. Kraft and McMillan inequality.
TIC - Teoria dell'Informazione e Codici
Concepts of information and uncertainty. Redundancy and source coding. Noise and channel coding.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Proofs as lambda terms and combinatory terms. Analytic tableaux. Sequent calculus.
MAT/01 - Logica Matematica
Informal Proofs. Formal proofs in arithmetic. Natural deduction. Hilbert systems.
MAT/01 - Logica Matematica
Theories: Peano arithmetic, second-order Peano arithmetic, Zermelo-Franklin set theory.
MAT/01 - Logica Matematica
First-order languages. First-order models.
MAT/01 - Logica Matematica
Completeness theorem. Compactness theorem.
MAT/01 - Logica Matematica
Logic from mathematics. The language of mathematics: examples of terms, formulas and sentences. Propositional connectives and the quantifiers.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Solution of non-linear equations.
MAT/08 - Analisi Numerica
Approximation of functions. Numerical differentiation and quadrature.
MAT/08 - Analisi Numerica
Solution of linear systems.
MAT/08 - Analisi Numerica
Numerical solution of ordinary differential equations.
MAT/08 - Analisi Numerica
Numerical methods for boundary value problems.
MAT/08 - Analisi Numerica
Representation of real numbers into a computer.

Sillabo dell'insegnamento

• E - Architetture
VMP - Valutazione e Miglioramento delle Prestazioni
Pseudo-random number generators. Workload characterization. Output analysis. Simulation tools and languages.
VMP - Valutazione e Miglioramento delle Prestazioni
Stochastic models: Markov processes, queuing models, queueing networks. Product-form networks, solution methods and algorithms.
VMP - Valutazione e Miglioramento delle Prestazioni
Stochastic models for performance analysis: analytical models and discrete simulation models. Quality of service evaluation. Software performance evaluation.
VMP - Valutazione e Miglioramento delle Prestazioni
Discrete event simulation. Simulation types and schemes. Events, activities, processes. Time management. Simulation planning.
VMP - Valutazione e Miglioramento delle Prestazioni
Modeling cycle. Hierarchical modeling development. Operational analysis. Bound analysis and bottleneck analysis.
VMP - Valutazione e Miglioramento delle Prestazioni
Quantitative analysis of the quality of service, system performance and reliability evaluation. Quantitative methods and models.

Sillabo dell'insegnamento

• A - Fondamenti
V - Varie
Asymmetric cryptography.
V - Varie
Introduction: typical properties and attacks.
V - Varie
Symmetric cryptography.
• F - Sistemi operativi
GCA - Gestione e Controllo degli Accessi
Laboratory: format strings.
GCA - Gestione e Controllo degli Accessi
Laboratory: mandatory access control.
GCA - Gestione e Controllo degli Accessi
Laboratory: buffer overflows.
• H - Computazione su rete
* SR - Sicurezza delle Reti
Cryptographic protocols.
* SR - Sicurezza delle Reti
Laboratory: ARP spoofing and sniffing techniques.
* SR - Sicurezza delle Reti
Hash functions and Message Authentication Codes (MACs).
* SR - Sicurezza delle Reti
Identification.
* SR - Sicurezza delle Reti
Laboratory: Web security.
* SR - Sicurezza delle Reti
Laboratory: SQL injections.