Length : 10 hours - 2 cfu

Abstract

The course has the aim of presenting advanced topics that, while rooted in digital signal processing, might be of help in different research contexts.

The main topics covered will be:

(i) Maximum entropy modelling of a time series (with a short review of stochastic processes);

(ii) Scaling and long memory (fractal) procecess.

Suggested Readings

Basic knowledge in statistics. Previous exposure to digital signal processing a plus.

Dates & Venue

Lecturer

Prof. Roberto Sassi

Assessor

Prof. Roberto Sassi

Length: 15 hours - 3 cfu

Abstract

l corso di dottorato qui proposto ha l’obiettivo di illustrare modelli, proprietà e conseguenti algoritmi sia di ottimizzazione che di approssimazione garantita per una classe di problemi di ottimizzazione combinatoria molto studiata in letteratura ma ancora molto ricca di problemi aperti, quella dei problemi di scheduling. I problemi di scheduling si pongono ogniqualvolta sia necessario ordinare nel tempo operazioni (“jobs”) che non si possono sovrapporre, utilizzando un numero limitato di risorse (“macchine”).                                                                                     

The PhD program proposed here aims to illustrate models, properties and consequent algorithms of both optimization and guaranteed approximation for a class of combinatorial optimization problems that is very studied in literature but still very rich in open problems, that of scheduling problems . Scheduling problems arise whenever it is necessary to order operations ("jobs") that can not be superimposed over time, using a limited number of resources ("machines").

Dates & Venue

Lecturer:

Prof. Alberto Ceselli - Dipartimento di Informatica

Prof.ssa Gaia Nicosia - Dipartimento di Ingegneria - Università Roma Tre

Prof. Andrea Pacifici - Dipartimento di Ingegneria Civile e Ingegneria Informatica - Università di Roma Tor Vergata

Assessor:

Prof. Alberto Ceselli 

Length: 15 hours - 3 cfu

Abstract

Networks are pervasive. Certainly our society heavily relies on computer networks, whose complexity scaled in a few decades from simple links among PCs in the same building to the rich structure of the Internet, in which heterogeneous nodes (ranging from datacenters to smartphones) connect by means of communication channels of diverse nature (cables, fiber optics, radio signals).
Indeed, this is just an example, as networks appear in many others - less obvious - contexts, like the modeling of social relations, the regulatory structure of genes, interactions in molecular dynamics, human transportation and distribution systems, just to name a few.

The PhD course will cover the issues of (a) understanding, extracting and exploiting network structures in various domains (b) modeling networks by means of mathematics (c) solving complex decision problems, and performing advanced analyses, by means of computer science methodologies, that is either selecting suitable existing algorithms and tools, or devising new ones.

The course is composed by two parts, the first focusing on routing, and especially on modeling and analyzing by means of network flows, the second covering the main foundational and algorithmic issues in optimal location and network design.

This year's edition will cover part 1.

Dates & Venue

Lecturer:

Prof. Alberto Ceselli 

Assessor:

Prof. Alberto Ceselli 

Length: 15 hours - 3 cfu

Abstract

The Ph.D. course will show some modeling techniques, algorithms, and data structures typically exploited
in circuit design. Whereas these methods are widely used in logic synthesis and formal verification
contexts, their use is recently extended in many other computer science areas. The aim of this course is to
provide the students with the experience for choosing logic-based tools for handling problems in their own
research area. In particular, the course will cover SAT based techniques, data structures for manipulation of
Boolean functions such as BDDs, and Boolean modelling through Boolean relations. Some examples will be
provided in classical circuit design, in BioCAD, in the design for new technologies, and in the security area.

Dates & Venue

Lecturer:

Prof.ssa Valentina Ciriani, Dr.ssa Gabriella Trucco

Assessor:

Prof.ssa Valentina Ciriani