Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Alternating Computation: Alternating TMs. Class AP.
MAT/01 - Logica Matematica
Interactive protocols, class IP. Shamir's theorem. Class AM (Arthur - Merlin).
MAT/01 - Logica Matematica
Space complexity classes: LOGSPACE, NLOGSPACE, PSPACE, NPSPACE. Savitch's theorem. Complexity of logical languages and systems. Probabilistic complexity classes: BPP, RP, ZPP.
MAT/01 - Logica Matematica
Time complexity classes. P and Edmonds-Cook-Karp's thesis. Problems in P. Class NP. Problem P = NP. NP-completeness. Cook's theorem on SAT. Problems NP-complete. Class co-NP, NP-intermediate problems. Polynomial hierarchy, class PH.
MAT/01 - Logica Matematica
Measures of complexity, problems' classification. Complexity classes. Reductions.
MAT/01 - Logica Matematica
Computability. Turing machines. Decidable languages, computable functions. The Halting Problem.

Insegnamenti "a scelta" che possono essere selezionati

1. Laboratory of business process management and integration
2. Organizational information systems
3. Formal methods
4. Web architectures
5. Laboratory of nomadic communications
6. Computer-supported co-operative working
7. Requirements engineering
8. Security engineering
9. Real time operating systems and middleware
10. Network security
11. Agent-oriented software engineering
12. Laboratory of biological data mining
13. Laboratory of wireless sensor networks
14. Advanced Business Intelligence Techniques
15. Introduction to service design and engineering
16. Big Data and Social Networks
17. Security Testing
18. Laboratory of Applied Robotics
19. Advanced Computing Architectures
20. Distributed Algorithms
21. Spatial Databases
22. Data Mining
23. Language Understanding Systems
24. Data and Knowledge Representation Languages
25. High Throughput Methodologies: Data Analysis
26. Laboratory of Service Design and Engineering
27. Distributed Systems

Sillabo dell'insegnamento

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

Insegnamenti "a scelta" che possono essere selezionati

1. Machine learning
2. Concurrency
3. Simulation and Performance Evaluation

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• B - Algoritmi
AN - Algoritmi Numerici
Algorithms for dimensionality reduction, prestige in social networks, recommendation
• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Interacting with web services
• L - Interazione, grafica e multimedialità
TMI - Teorie e Modelli per l'Interazione
Interactive refinement of information
RV - Rendering e Visualizzazione
2- and 3-dimensional display of information
• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Supervised learning for classification
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Unsupervised learning for clustering

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

1. Corsi caratterizzanti

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. Corsi caratterizzanti

Sillabo dell'insegnamento

• I - Ingegneria del software
* ASW - Architetture Software
Introduction to the agent paradigm and multi-agent systems
* ASW - Architetture Software
Multi-agent applications and problems
* ASW - Architetture Software
Multi-agent interaction and cooperation (types of interaction, forms of cooperation, methods of cooperation, organization and cooperation)
* ASW - Architetture Software
Agent and multi-agent communication (speech acts, conversation, and KQML);
* ASW - Architetture Software
Collaboration and distribution of tasks (Models of tasks allocation - Centralized, Decentralized and Emergent)
* ASW - Architetture Software
The BDI Architecture; AUML ; FIPA; Agent-Oriented Methodologies (Gaia, Tropos, Prometheous, MAS-CommonKADS, Comparing AO methodologies);

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

1. Corsi caratterizzanti

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. Corsi caratterizzanti

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Groupware and design issues
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Usability & Sociability
TMI - Teorie e Modelli per l'Interazione
Social Networking Platforms
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Groupware Evaluation
* IMW - Ipertesti, Multimedialità e WWW
E-learning
* IMW - Ipertesti, Multimedialità e WWW
Mobility

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

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Petri Nets
SLP - Semantica dei Linguaggi di Programmazione
Calculus of Communicating Systems (CCS)
SLP - Semantica dei Linguaggi di Programmazione
Operational semantics
SLP - Semantica dei Linguaggi di Programmazione
Bisimulation semantics
L - Logica
Basics of domain theory
L - Logica
Modal and temporal logics

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

1. Foundations of Computer Science

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. Corsi caratterizzanti

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. Corsi caratterizzanti

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. Corsi caratterizzanti

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. Corsi caratterizzanti

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Explicit-State Model Checking
L - Logica
Ordered Binary Decision Diagrams
L - Logica
Linear Temporal Logic and Computation Tree Logic
L - Logica
Model checking
L - Logica
Linear Temporal Logic Model Checking
L - Logica
Symbolic Model Checking
L - Logica
Computational Tree Logic Model Checking
L - Logica
SAT-based Model Checking
L - Logica
PSL/sugar
L - Logica
Model checking with timed and hybrid systems
L - Logica
Verification of RTL circuits
L - Logica
Software verification

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

1. Corsi caratterizzanti

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

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. Corsi caratterizzanti

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

Sillabo dell'insegnamento

• I - Ingegneria del software
* ASW - Architetture Software
composed service-base application
V - Varie
lab group activities
* ASW - Architetture Software
study service behaviours, experiment with their operation and perform simple compositions
* ASW - Architetture Software
deployment, tuning and management of middleware platforms
* ASW - Architetture Software
design, implementation and live deployment of individual services and composed service applications
* ASW - Architetture Software
use of modern service middleware

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

1. Corsi caratterizzanti

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. Corsi caratterizzanti

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. Corsi caratterizzanti

Sillabo dell'insegnamento

• C - Programmazione
PCC - Programmazione Concorrente
BPEL basics
• H - Computazione su rete
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Cloud Computing
PASR - Programmazione di Applicazioni e Servizi di Rete
Process and Service Monitoring / Management
* ARTC - Architettura delle Reti di Calcolatori
Mashups
PASR - Programmazione di Applicazioni e Servizi di Rete
Refresher on SOAP and Restful services
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Cloud Deployment

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

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Introduction: Wireless Networks Characteristics; general requirements of MAC protocols; MAC protocols: Aloha, CSMA.
* PT - Protocolli
WLAN: 802.11 standard; 802.11b MAC/PHY; 802.11g, 802.11a.
* PT - Protocolli
802.11e and QoS support; 802.11n: high throughput; other extensions.
* ARTC - Architettura delle Reti di Calcolatori
Ad-Hoc Networks and PAN Networks: Bluetooth, Zigbee.
* ARTC - Architettura delle Reti di Calcolatori
Sensor networks, Vehicular Networks.
* PT - Protocolli
Routing in non-stationary networks

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

1. Corsi caratterizzanti

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. Corsi caratterizzanti

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Hardware & Communication architecture
* PT - Protocolli
Medium Access Control
* PT - Protocolli
Routing
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Programming (& Reprogramming) Time synchronization & Localization
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Data Management
* SR - Sicurezza delle Reti
Security

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

1. Corsi caratterizzanti

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. Corsi caratterizzanti

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Introduction to machine learning: designing a machine learning system, learning settings and tasks, decision trees, k-nearest-neighbour estimation.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Bayesian decision theory, maximum likelihood and Bayesian parameter estimation.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Neural networks: perceptron, multilayer neural networks.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Clustering: k-means, hierarchical clustering.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Kernel Machines: kernels, reproducing kernel Hilbert spaces, representer theorem, support vector machines for classification, regression and ranking, kernel construction, kernels for structured data.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Statistical Learning Theory: PAC learning, consistency, VC dimension, generalization and models comparison. Applications to text categorization and bioinformatics.

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

1. Foundations of Computer Science

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Security and Privacy, Availability, Autentication, Authorization, Accounting, Access Control, General Introduction (secret keys, public keys, digital signatures)
TIC - Teoria dell'Informazione e Codici
One-Time-Pad, Stream Ciphers (RC4, GSM - A5/1) Block ciphers (DES, RC5, AES), Asymmetric Algorithms (Diffie-Hellman, RSA)
TIC - Teoria dell'Informazione e Codici
Hash functions (SHA-1, MD-5) Digital Watermarking (DVD)
• H - Computazione su rete
* SR - Sicurezza delle Reti
Authentication (NS-PK/AS, Kerberos, GSM), Key-agreement (Diffie-Hellman, Internet Key Exchange), Secure Web Connections (TLS/SSL), Secure Mobile Connections (WTLS), Electronic Payments (SET - Visa Mastercard, Cybercash), Secure Protocols for Mobility(Secure Mobile IP, Dynamic DNS)
* SR - Sicurezza delle Reti
Passive attacks: network scanning (TCP/SYN,UDP)
* SR - Sicurezza delle Reti
Active attacks: IP spoofing, hijacking, cookie, cross-site scripting, Denial of service: ping of death, smurf, land, DDoS e rootkits.

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

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Service-oriented architectures
BDA - Basi di Dati Avanzate
Data warehouse
BDA - Basi di Dati Avanzate
Data integration technologies
• I - Ingegneria del software
V - Varie
Modelling approaches for organizations, standards and reference architectures
V - Varie
Modelling and analysis approaches for business processes
* ASW - Architetture Software
Technologies and architectures for organizational information systems

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

1. Corsi caratterizzanti

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

Sillabo dell'insegnamento

• F - Sistemi operativi
MA - Modelli e Architetture di sistemi operativi
Introduction to real-time systems
* GSP - Gestione e Sincronizzazione dei Processi
Real-time sceduling (fixed and dynamic priorities, RM, DM, schedulability analysis, shared resources, ...)
PS - Programmazione di Sistema
Real-time APIs (introduction to POSIX, clocks and timers, managing the concurrency, ...)
PS - Programmazione di Sistema
Introduction to cross-compilers; how to create a boot image for an embedded device
* GSP - Gestione e Sincronizzazione dei Processi
Latency in real-time kernels
* GSP - Gestione e Sincronizzazione dei Processi
System structures for reducing the latency (real-time executives, preemptable kernels, threaded IRQs, microkernels, ...)

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

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• I - Ingegneria del software
* AR - Analisi dei Requisiti
Introduction -- what is requirements engineering? Why is it important? brief history; Requirements acquisition: problem identification, scoping the problem, defining the environment, degree of automation, feasibility study
* AR - Analisi dei Requisiti
Requirements elicitation -- gathering information; interviews, questionnaires and observation; knowledge acquisition; observational methods, scenaria and use cases
* AR - Analisi dei Requisiti
Conceptual modeling and specification -- review of different notations for requirements modeling and specification; requirements specification documents; requirements specification standards
* AR - Analisi dei Requisiti
Capturing rationale -- traceability, capturing design rationale, different types of non-functional requirements, including reliability, portability and performance; qualitative modelling and simulation techniques for representing and reasoning with non-functional requirements
* AR - Analisi dei Requisiti
Early requirements -- capturing intentions for requirements analysis, goal-oriented representations of requirements
* AR - Analisi dei Requisiti
Analysis -- validation, verification, simulation, exploration and inspection of requirements

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

1. Corsi caratterizzanti

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

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

Sillabo dell'insegnamento

• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
Run-time monitors, in-line monitors, statistic analysis
GCA - Gestione e Controllo degli Accessi
Authentication and Access Control
V - Varie
Introduction/DAC, MAC/Multilevel, Integrity, Biba, Clark Wilson, Chinese Wall, RBAC, UNIX, Windows 2K
• I - Ingegneria del software
EPG - Aspetti Etici, Professionali e Giuridici
Computer Security, ISO Sec. Services and Mechanisms
* AR - Analisi dei Requisiti
Security Requirements/UML Sec, Secure Tropos, Risk assessment, Privacy Policies
EPG - Aspetti Etici, Professionali e Giuridici
Validity of digital certificates,Security Policies and Law 675 on privacy and security

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

1. Corsi caratterizzanti

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. Corsi caratterizzanti

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. Foundations of Computer Science

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. Corsi caratterizzanti

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Web-based distributed systems architectures: problems and solutions. The HTTP protocol.
PASR - Programmazione di Applicazioni e Servizi di Rete
DHTML: the ingredients (HTML, Javascript, DOM).
PASR - Programmazione di Applicazioni e Servizi di Rete
Introduction to the XML world (including XSL).
PASR - Programmazione di Applicazioni e Servizi di Rete
Java technologies for the dynamic web: Servlets, Java Server Pages, JDBC, JNDI, Java RMI, Enterprise Java Beans 2.1 and 3.0.
PASR - Programmazione di Applicazioni e Servizi di Rete
Application servers. Obiect-relational mapping. Overview of other emerging technologies.
PASR - Programmazione di Applicazioni e Servizi di Rete
Basic elements of transactions.

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

1. Corsi caratterizzanti