Hours:
24 hours (6 credits)

Room:
Aula Riunioni del Dipartimento di Ingegneria dell’Informazione, Via G. Caruso 16, Pisa – Ground Floor

Short Abstract:
Engineering drawing is a fundamental skill in modern engineering practice and research: manual sketches, blueprints and 3D models allows to communicate ideas with colleagues and customers. Computer Aided Design (CAD) software facilitate the creation of complex 2D and 3D models, which can be the starting geometry for running a finite element analysis or directly fabricating a part with additive manufacturing technologies. Indeed, computer aided drawing has become an enabling tool in different engineering areas, and the Course aims at providing Information Engineer with fundamentals in this field, through frontal lessons and practical CAD sessions.

Course Contents in brief:

• the role of engineering drawing; manual sketch and computer aided design (CAD) (3h)
• use of CAD software: part design and assembling (12h)
• quotation and tolerances, with notes on manufacturing technologies (6h)
• introduction to machine elements (gear, bearing, screws, ...) (3h)

Schedule:

• Wednesday 23rd January, 14:30 – 17:30
• Friday 25th January, 14:30 – 17:30
• Wednesday 30th January, 14:30 – 17:30
• Friday 1st February, 14:30 – 17:30
• Wednesday 6th February, 14:30 – 17:30
• Friday 8th February, 14:30 – 17:30
• Wednesday 13th February, 14:30 – 17:30
• Friday 15th February, 14:30 – 17:30

Hours:
20 hours (5 credits)

Room:
Aula Riunioni Piano 6 del Dipartimento di Ingegneria dell’Informazione, Largo Lucio Lazzarino 1, Pisa

Short Abstract:
Haptics, i.e. the science of touch, represents a vibrating, multi-disciplinary research topic, which crosses the boundaries between neuroscience, psychophysics, robotics and engineering. While in the neuro-scientific community the main focus of haptics is the study of neural and perceptual mechanisms of human tactual sensing, under a technological point of view it aims at suitably replicating such mechanisms through artificial systems (namely haptic interfaces) for human-machine interaction. In this course, we will review the main concepts underlying human touch perception, and how they can be applied to the design of haptic devices and sensors to render and sense, respectively, different types of touch-related information. We will describe the principal components of the mechatronic architecture of these systems, their main application fields and the related issues e.g. concerning control and stability. We will also analyze wearable haptic systems and discuss the role of affective touch, i.e. the emotional component of touch, for the design of a novel generation of interfaces for human robot communication.

Course Contents in brief:

• Introduction to Haptics: from Human Touch to Artificial Touch
• Principles of biological touch and mathematical modelling of human tactual sensing. Artificial systems: kinaesthetic devices, tactile displays, and tactile/force sensors – general overview
• Haptic Devices: Kinaesthetic Devices and Tactile Displays
  • Haptic Devices: Application Areas
  • Device Architecture; Control Aspects (Tele-Operation and Virtual/Augmented Reality Environments); Haptic Rendering
  • Softness Displays and Texture Rendering (Tool-Mediated Texture Rendering; Surface Haptics)
• Ungrounded -Wearable Haptics and Affective Haptics
• Real-Scenario Applications for tactile/force sensing and haptic rendering

Schedule:

• 13 Dicembre 10.30-13.00 & 14.30 - 17.00
• 14 Dicembre 10.30-13.00 & 14.30 - 17.00
• 17 Dicembre 10.30-13.00 & 14.30 - 17.00
• 18 Dicembre 10.30-13.00 & 14.30 - 17.00

Hours:
20 hours (5 credits)

Room:
Aula Riunioni del Dipartimento di Ingegneria dell’Informazione, Via G. Caruso 16, Pisa – Ground Floor and Aula Magna Pacinotti, Largo Lucio Lazzarino 1

Short Abstract:
This course deals with the application of ethical theories to problems created, aggravated or transformed by computer technology. It is intended to give students a chance to reflect on the ethical, social, and cultural impact of computer technology by focusing on the issues faced by and brought about by computing professionals.

Course Contents in brief:

The course will cover different topics both from a theoretical and a more practical point of view. We will start with a broad analysis of the concept of responsibility, in particular in an engineering perspective, and of normative ethics and its tools. We will introduce codes of conduct. Then ethics in IT-configured societies will be discussed and technology as the instrumentation of human action will be presented.
Within this context we will focus: on information flow, privacy, and surveillance, on digital intellectual property and on digital order.

Schedule:

January 21st 2019

• 09:00 – 13:00: responsibility; normative ethics; codes of conduct - Aula Magna Pacinotti, Largo Lucio Lazzarino 1
• 14:00 – 17:00: Q&A session; discussion and exercises - Aula Riunioni del Dipartimento di Ingegneria dell’Informazione, Via G. Caruso 16

January 22nd 2019 - Aula Riunioni del Dipartimento di Ingegneria dell’Informazione, Via G. Caruso 16

• 09:00 – 13:00: ethics in IT-configured societies; information flow, privacy, and surveillance; digital intellectual property; digital order
• 14:00 – 17:00: Q&A session; discussion and exercises

February 11th 2019 - Aula Riunioni del Dipartimento di Ingegneria dell’Informazione, Via G. Caruso 16

• 09:30 – 12:30: students’ presentations
• 13:30 – 16:30: students’ presentations

Hours:
20 hours (5 credits)

Room:
Aula Riunioni del Dipartimento di Ingegneria dell’Informazione, Via G. Caruso 16, Pisa – Ground Floor

Short Abstract:
The course will cover the main aspects of Edge Computing, from the description of the technology to the standards and industry associations working in the field. A particular emphasis will be given to the ETSI MEC standard (Multi-access Edge Computing), by mentioning as well other SDOs and the relationship with 3GPP for the definition of 5G systems. Short examples of “MEC in action” from Industry Groups, associations and involved companies will complete the course.

Course Contents in brief:

• Edge Computing, Fog computing, Cloud computing
• ETSI MEC Framework and Reference Architecture
• General principles for Mobile Edge Service APIs
• MEC APIs (Radio Network Information API, Location API, BW API, …)
• MEC Mobility aspects
• Performance Assessment, Metrics, Best Practices and Guidelines
• Mobile Edge Management
• Edge Computing and 5G
• MEC in action: examples and trials

Schedule:

Day 1 - Monday March 11th, 2019
14.00 – 15.45 Overview on Cloud computing, Edge Computing, Fog computing
15.45 – 16.00 break
16.00 – 17.00 MEC Framework and Reference Architecture
17.00 – 17.30 Presentation of the PhD Exercise work

Day 2 - Tuesday March 12th, 2019
9.15 – 9.30 Wrap-up of day1
9.30 – 10.00 MEC Framework and Reference Architecture (cntd)
10.00 – 10.30 General principles for Mobile Edge Service APIs
10.30 – 10.45 break
10.45 – 12.00 Mobile Edge Platform Application Enablement
12.00 – 13.00 Mobile Edge Management
13.00 – 14.00 Lunch break
14.00 – 16.00 Mobile Edge Management
16.00 – 16.15 break
16.15 – 17.30 MEC PoCs (case study: RAVEN PoC)

Day 3 - Wednesday March 13th, 2019
9.15 – 9.30 Wrap-up of day2
9.30 – 10.30 MEC in 5G, MEC in NFV
10.30 – 10.45 break
10.45 – 12.00 MEC in 5G, MEC in NFV (cntd)
12.00 – 13.00 MEC support for V2X use cases
13.00 – 14.00 Lunch break
14.00 – 16.00 MEC APIs (RNI, Location, BW mgmt, V2X, … )
16.00 – 16.15 break
16.15 – 17.30 MEC Hackathons, OpenAPI

Day 4 - Thursday March 14th, 2019
9.15 – 9.30 Wrap-up of day3
9.30 – 10.30 Metrics Best Practices and Guidelines, MEC Testing Framework
10.30 – 10.45 break
10.45 – 12.30 Exercise Class
12.30 – 13.00 Q&A

Hours:
25 hours (6 credits)

Room:
Aula Riunioni Piano 6 del Dipartimento di Ingegneria dell’Informazione, Largo Lazzarino and Aula ex B26 (ADII 3) Polo B

Short Abstract:
The objective of the course is to introduce the design principles of biomedical electronics and impart practical knowledge on construction and signal acquisition. The course is divided in 5 sessions. Each session consists of 2 hours of lecture and 3 hours of practical.

Course Contents in brief:

• Lecture 1: Introduction: Medical instrumentation systems, Sensors, transducers and other sensors, Measurement constraints, Signal acquisition, Bio amplifiers (instrumentation amplifiers) and Bio filters.
• Lab 1) Measurement of Pacemaker signals and design of a signal generator
• Lecture 2: Biostatistics, Signals and noise, Measurement of Temperature. Standards and norms of reference:
• Lab 2) Compare different Thermal sensors and design of Thermistor to measure breathing rate
• Lecture 3: Piezoelectric sensor, Measurement of Blood Pressure: Measurement of Blood Pressure and heart sound and Blood flow. Direct measurement, Dynamic properties of pressure measurement systems Analogous electric systems, Heart sounds and Electrical model of the heart
• Lab 3) Design and Test Piezoelectric sensor to record arterial pulse rate
• Lecture 4: Measurement of physiological fluids in motion and flow rate:
• Lab 4) Design and Test ECG recorder
• Lecture 5: Optosensors:
• Measurement of blood values, blood gases and glucose,… Spectrophotometry,
• Lab 5) Design and Test Optosensors sensor to record capillary blood flow.

Schedule:

• 14/01/2019 ore 9:30 - 11:30 - Aula Riunioni Piano 6, Largo Lazzarino
  
• 14/01/2019 ore14:00 - 17:00 - Aula ex B26 (ADII 3), Polo B

• 15/01/2019 ore 9:30 - 11:30 - Aula Riunioni Piano 6, Largo Lazzarino
  
• 15/01/2019 ore14:00 - 17:00 - Aula ex B26 (ADII 3), Polo B

• 16/01/2019 ore 9:30 - 11:30 - Aula Riunioni Piano 6, Largo Lazzarino
  
• 16/01/2019 ore14:00 - 17:00 - Aula ex B26 (ADII 3), Polo B

• 17/01/2019 ore 9:30 - 11:30 - Aula Riunioni Piano 6, Largo Lazzarino
  
• 17/01/2019 ore14:00 - 17:00 - Aula ex B26 (ADII 3), Polo B

• 18/01/2019 ore 9:30 - 11:30 - Aula Riunioni Piano 6, Largo Lazzarino
  
• 18/01/2019 ore14:00 - 17:00 - Aula ex B26 (ADII 3), Polo B

Hours:
15 hours (4 credits)

Room:
Aula Riunioni del Dipartimento di Ingegneria dell’Informazione

Short Abstract:
The course has the purpose of providing an understanding of the foundations of quantum computing and quantum communication, and of the nature of the problems for which they can provide an advantage (quantum supremacy) in comparison to their classical counterparts. After covering a few basic concepts in quantum mechanics, we will introduce the concept of the qubit and the basic single- and two-qubit operators. We will then discuss the no-cloning theorem and the teleportation of a state, as well as the implementation of a quantum algorithm with a quantum network. Dense coding, the Deutsch algorithm, and the Shor algorithm will be covered in detail. An example of a basic algorithm for quantum cryptography will also be presented. We will conclude with an overview of the most promising implementations of a quantum computer.

Course Contents in brief:

• States in quantum mechanics, superposition of states, entanglement, Bell’s theorem, Dirac notation
• Concept of a universal quantum computer vs. a universal classical computer
• Qubits, single- and two-qubit operators (identity, NOT, Y, Z, Hadamard, generic rotation, controlled NOT)
• No-cloning theorem, teleportation, dense coding scheme
• Oracles and Deutsch algorithm
• Shor algorithm and large number factorization
• Quantum cryptography
• Silicon-based quantum computer
• Quantum computer based on superconducting qubits

Schedule:

• 7 maggio 2018 ore 9:30 – 12:30 - Aula Riunioni piano 5 (ex A27) - Largo Lucio Lazzarino
• 8 maggio 2018 ore 14:30 – 17:30 - Aula Riunioni Piano Terra - Via Caruso
• 9 maggio 2018 ore 9:30 – 12:30 - Aula Riunioni Piano Terra - Via Caruso
• 10 maggio 2018 ore 9:30 – 12:30 - Aula Riunioni Piano Terra - Via Caruso
• 11 maggio 2018 ore 9:30 – 12:30 - Aula Riunioni Piano Terra - Via Caruso

Hours:
20 hours (5 credits)

Room:
Aula Riunioni del Dipartimento di Ingegneria dell’Informazione, Via G. Caruso 16, Pisa – Ground Floor

Short Abstract:
In this course, we will first recall basic notions on Fourier analysis and time-frequency analysis. The emphasis will then be put on recent developments, mainly reassigment techniques and synchrosqueezing. Finally, lab sessions will end the course.

Course Contents in brief:

• Topic 1: From Fourier analysis to time-frequency analysis
• Topic 2: Recent developments of time-frequency techniques reassignment techniques and synchrosqueezing
• Topic 3: Lab hours

Schedule:

• 21 maggio 2018: 9:30 - 13:30
• 22 maggio 2018: 14:30 - 18:30
• 23 maggio 2018: 9:30 - 13:30
• 24 maggio 2018: 9:30 - 13:30
• 25 maggio 2018: 9:30 - 13:30

Hours:
20 hours (5 credits)

Room:
Aula Riunioni del Dipartimento di Ingegneria dell’Informazione, Via Diotisalvi, Pisa

Short Abstract:
Current multicore processors implement shared resources like the last level cache (LLC) or the main memory. Requests from multiple applications compete among them in the shared resources. As a consequence, inter-application interference rises and the performance of individual applications slowdown with respect to isolated execution. This problem aggravates when considering simultaneous multithreading (SMT) cores, which implement shared resources within the core, resources that are critical for performance like the caches or the register files.

Current Operating Systems do not consider, or poorly consider these interferences, yielding the system to underrated performance.

In this course, we will study where the interference can arise, how to measure it, and we will study some approaches to reduce the interference. With this aim, we will focus first on some microarchitectural issues of current processors, the main reasons why multicore processors emerged, and on multicore evaluation. Once the basics are studied, we will focus on current technologies, like Intel CAT, that allow us to mitigate the slowdown that individual application suffer and improve the overall performance. Main memory and GPU aspect will be also studied.

We will also perform some labs to reinforce the theoretical concepts studied during the course.

Course Contents in brief:

• 1. Superscalar and multithreaded processors
• 2. Multicore Processors, why?
• 3. Multicore Evolution
• 4. Performance Evaluation of Multicores
• 5. Accounting Architectures
• 6. Cache memories: concepts and problems and advanced topics
• 7. Main memory - GPU

Schedule:
July 2018 (from 9 to 14)

Day1 - 09/07/2018 – 5 hours.
1. Superscalar and multithreaded processors
2. Multicore Processors, why?
3. Multicore Evolution

Day2 - 10/07/2018 - 5 hours.
4. Performance Evaluation of multicores
5. Accounting architecture
6. Cache memories (I): concepts and problems.

Day3 - 11/07/2018 - 5 hours
7. Cache memories (II): advanced topics from real hardware machine perspective. Cache Sharing, fairness, prefetching, and scheduling
8. Introduction to GPUs
9. Main memory controller and memory organization: concept and problem

Day4 - 12/07/2018 - 5 hours Labs.
Practical Experience

Hours:
20 hours (5 credits)

Room:
Aula Riunioni del Dipartimento di Ingegneria dell’Informazione, Via G. Caruso 16, Pisa – Ground Floor

Short Abstract:
Modern ICT applications are increasingly asking for systems with a relevant level of autonomy. Applications for Industry 4.0, for Internet of Things (IoT) or for service robotics, to mention a few, are gaining more and more attention nowadays. The ability to carry out complex tasks is critically related to the ability to retrieve meaningful information coming from the available sensors. To this end, it is mandatory to understand how a measurement process can be analytically described and how the sensorial data can be manipulated to extract the quantities of interest with the highest possible precision, i.e. the best estimate. This problem becomes even more challenging in dynamic environments when multiple systems interact together, e.g. robotic teams. In this course, the notions needed to correctly model a measurement process will be firstly introduced. Then, an introduction to Bayesian and non-Bayesian classic estimators will be given. Two of the most popular estimators will be studied in details for linear and nonlinear systems: the Weighted Least Squares and the Kalman Filter. Examples of clock synchronisation, state estimation for Smart Grid as well as localisation for single or multiple robots will be presented. Finally, a discussion on other state-of-the-art solutions for localisation as well as on implications for closed-loop systems in the presence of uncertainty will be offered.

Course Contents in brief:

• Background on Statistics: Probability, Random variables, Multivariate Pdfs, Conditional and Marginal pdfs, Propagation of error, stochastic processes
• Data analysis and estimation algorithms (Maximum Likelihood (ML), Least Squares (LS), Maximum A Posteriori (MAP), Minimum Mean Squared Error (MMSE))
• Linear and nonlinear Weighted Least Squares and Kalman filtering, with applications to automation and robotics
• Distributed estimation for team of robots with distributed Kalman Filters

Schedule:

Day I – 20/02/2018 – Morning (4h), 9:00 – 13:00:
Recap on Statistics: Probability, Random variables, Multivariate Pdfs, Conditional and Marginal pdfs, Propagation of errors, White processes, Markovian processes
Data Analysis: Regression for sensor calibration, Statistics of measurement processes

Day I – 20/02/2018 – Afternoon (3h), 14:00 – 17:00:
Estimation Algorithms: Examples of Maximum Likelihood (ML), Least Squares (LS), Maximum A Posteriori (MAP), Minimum Mean Squared Error (MMSE)
Matlab: Examples and Exercises

Day II – 21/02/2018 – Morning (4h), 9:00 – 13:00:
A non-Bayesian Estimator: The (Non-linear) Weighted Least Squares
Matlab: Application of the Least Squares in Distributed Systems - Clock synchronisation example
Application of the Non-linear Least Squares: Smart grid state estimation example
A Bayesian Estimator: The (Extended) Kalman Filter

Day II – 21/02/2018 – Afternoon (3h), 14:00 – 17:00:
Matlab: Robotic vehicles localization
Collaborative localisation: Observability analysis and cross-covariance issue, observability issues and consistency for Kalman filters in collaborative localisation

Day III – 22/02/2018 – Morning (4h), 9:00 – 13:00:
Distributed systems: Linear Consensus Theory

Day III – 22/02/2018 – Afternoon (3h), 14:00 – 17:00:
Distributed estimators: Distributed WLS and distributed Kalman filter
Matlab: Distributed target localization for WSNs

Teaching Notes and Source Code:

https://www.dropbox.com/sh/tlbz0uulw2hiu88/AAD1aLVlqOZH48uOmHmiMTv5a?dl=0

Hours:
16 hours (4 credits)

Room:
Aula Riunioni del Dipartimento di Ingegneria dell’Informazione

Short Abstract:
The huge diffusion of computational capabilities in embedded systems, cars, smart houses, smartphones, critical infrastructures, e-health, and the penetration of computers and software in enterprises of every dimension have led to an enormous number of victims of cyber attacks. Formal methods are techniques used to mathematically model systems in order to verify properties in a thorough fashion. Thus, formal methods offer the potential to develop secure systems. These lectures aim to introduce some formal verification techniques that have gained great interest in the recent years and to explain how they can be used for the cyber security and malware detection.

Course Contents in brief:

• Specification language for concurrent systems
• Temporal logic to express properties
• Automated formal verification tools
• Code obfuscation and Security
• Android Malware detection
• Formal tools for identifying mobile malicious behaviour

Schedule:

• 18 June 2018: 9:00 – 13:00, Largo Lucio Lazzarino 1, Pisa – Piano 6
• 19 June 2018: 14:00 – 18:00, Via G. Caruso 16, Pisa – Ground Floor
  
• 20 June 2018: 9:00 – 13:00, Via G. Caruso 16, Pisa – Ground Floor
• 21 June 2018: 9:00 – 13:00, Via G. Caruso 16, Pisa – Ground Floor