Course
|
Credits
|
Scientific Disciplinary Sector Code
|
Contact Hours
|
Exercise Hours
|
Laboratory Hours
|
Personal Study Hours
|
Type of Activity
|
Language
|
20801728 -
THEORETICAL INFORMATICS
(objectives)
Introduce the students to the theory of languages and, at the same time, to the theory of automata. introduce computability and complexity paradigms. At the end of the course students should know new formal methodologies, should be able to critically review, from the perspective of their expressive potential, already known methodologies and should be able to classify problems from the point of view of the resources required for their solution.
|
|
20801728-1 -
INFORMATICA TEORICA MODULO I
(objectives)
Introduce the students to the theory of languages and, at the same time, to the theory of automata. introduce computability and complexity paradigms. At the end of the course students should know new formal methodologies, should be able to critically review, from the perspective of their expressive potential, already known methodologies and should be able to classify problems from the point of view of the resources required for their solution.
-
PATRIGNANI MAURIZIO
( syllabus)
- Elementary properties of languages: operations on languages, Kleene operator, regular expressions, cardinality of languages. - Formal grammars: Chomsky grammars, productions, recognition of languages. - Regular languages: finite state automata, relationships between automata and regular languages, pumping lemma, closure properties of regular languages, regular expressions and regular languages, Myhill-Nerode theorem. - Context-free languages.
( reference books)
- Slides provided by the professor. - Books (useful but non mandatory): G. Ausiello, F. d'Amore, G. Gambosi, Linguaggi Modelli Complessità, Franco Angeli (i primi dieci capitoli sono distribuiti dagli autori gratuitamente). M. Sipser, Introduction to the Theory of Computation, Thompson.
|
6
|
ING-INF/05
|
54
|
-
|
-
|
-
|
Core compulsory activities
|
ITA |
20801728-2 -
INFORMATICA TEORICA MODULO II
(objectives)
Introduce the students to the theory of languages and, at the same time, to the theory of automata. introduce computability and complexity paradigms. At the end of the course students should know new formal methodologies, should be able to critically review, from the perspective of their expressive potential, already known methodologies and should be able to classify problems from the point of view of the resources required for their solution.
-
PATRIGNANI MAURIZIO
( syllabus)
- Cardinality of infinite sets. - Turing Machines (TM) and computability: operation of TM, multi-tape TM, non deterministic TM, linear description of a TM, universal TM, halting problem, Turing computability, Rice theorem, Type 0 languages and TMs. - Random Access Machines (RAM): cost models for RAMs, uniform cost model, logarithmic cost model, RAM and TM. - Complexity theory: type of problems, decision problems, complexity and decision problems involving languages, complexity classes, elementary relationships between complexity classes, reductions, completeness, the class NP, NP-completeness, examples of NP-complete problems, the class Pspace, Pspace-completeness, Savitch theorem, the classes L and NL, NL-completeness.
( reference books)
- Slides provided by the professor. - Books (useful but non mandatory): G. Ausiello, F. d'Amore, G. Gambosi, Linguaggi Modelli Complessità, Franco Angeli (i primi dieci capitoli sono distribuiti dagli autori gratuitamente). M. Sipser, Introduction to the Theory of Computation, Thompson.
|
6
|
ING-INF/05
|
54
|
-
|
-
|
-
|
Core compulsory activities
|
ITA |
20801732 -
OPERATIONAL RESEARCH II
(objectives)
The course aims at providing basic methodological and operative knowledge to represent and cope with decision processes and quantitative models.
|
6
|
MAT/09
|
54
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20801733 -
WIRELESS TELECOMMUNICATIONS
(objectives)
To acquire a general framework on mobile systems, including access and core networks architectures, multiple access techniques, mobility and security, internetworking of different standards and integration with IP network, main tools and procedures for implementation of applications and services.
-
GIUNTA GAETANO
( syllabus)
Mobile networks with shared access. Networks and services plans, including financial and economic aspects. New generation mobile networks (3G, 4G, 5G, 6G). Provided services and quality of service. Mobility management, security, secrecy and authentication problems. Localization services, power control of connected devices. Access technologies from wireless devices. Evolution of architecture based on SW network virtualization. Algorithms of array processing to allow dedicated efficient links in modern standards (5G and beyond) between terminals or smart objects connected to the IoT world. Further details on the site: http://host.uniroma3.it/laboratori/sp4te/teaching/tw/program.html
( reference books)
G. Giunta, Lucidi del corso di Telecomunicazioni Wireless. 2017. G. COLUMPSI, M. LEONARDI, A. RICCI: “UMTS: TECNICHE E ARCHITETTURE PER LE RETI DI COMUNICAZIONI MOBILI MULTIMEDIALI”, SECONDA EDIZIONE; HOEPLI INFORMATICA; NOVEMBRE 2005. Stefania Sesia, Issam Toufik, Matthew Baker: “LTE - The UMTS Long Term Evolution: From Theory to Practice, 2nd Edition”, Wiley publ.; July 2011. Mansoor Shafi, Andreas F. Molisch, Peter J. Smith, Thomas Haustein, Peiying Zhu, PrasanDeSilva, Fredrik Tufvesson, Anass Benjebbour, and Gerhard Wunder: “5G: A Tutorial Overview of Standards, Trials, Challenges, Deployment, and Practice. IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 35, NO. 6, JUNE 2017. Mamta Agiwal, Abhishek Roy, and Navrati Saxena: “Next Generation 5G Wireless Networks: A Comprehensive Survey. IEEE COMMUNICATIONS SURVEYS & TUTORIALS, VOL. 18, NO. 3, THIRD QUARTER 2016.
|
6
|
ING-INF/03
|
54
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
Optional group:
comune Orientamento unico I ANNO QUATTRO A SCELTA - (show)
|
36
|
|
|
|
|
|
|
|
20801729 -
INFRASTRUCTURES OF CALCULATOR NETWORKS
(objectives)
The purpose is to provide advanced knowledge on computer networks, with methodological and technical contents. Special attention is devoted to scalability issues. At the end of the course the student is supposed to get the following concepts: inter-domain and intra-domain routing, congestion control, architectures for scalable systems. The student is also supposed to get advanced technicalities on widely adopted protocols. Finally, the student is supposed to understand the main economic and technical drivers of the internet evolution.
-
DI BATTISTA GIUSEPPE
( syllabus)
PART 1: The application level. The point of view of the applications. Network service QoS. Design of scalable architectures for Web services. Internet data center arn account chitectures. Content delivery networks. Peer-to-peer networks and distributed hash tables. PART 2: The relationship between transport and application layers. The socket library and its use. PART 3: Congestion control and the transport layer. Transport techniques. TCP and congestion control. Focus: TCP exercises and examples. PART 4: Routing metodologies and technologies. Routing algorithm for the network infrastructure. Link-State-Packet algorithms. Routing protocols and the Internet network. Software Defined Networks. Spanning tree computation for switched networks. PART 5: Interdomain routing. Border Gateway Protocol. Scalability of BGP. Internet architecture. Internet data analysis. Design of a transit AS. Stability of BGP protocol. PART 6: Virtual networks. Virtual local networks (VLAN). Evolution of the Spanning Tree Protocol. MPLS-based Virtual Private Networks. PART 7: IPv6. NAT and IPv4 exhaustion. Basics of IPv6 protocol and address space. ICMPv6. Source address selection and multihoming. IPv4-IPv6 transition mechanisms.
( reference books)
Slides provided by the teacher and downloadable day by day from the course website: http://www.dia.uniroma3.it/~impianti/ In order to download the slides a userid-password pair is necessary (ask the teacher)
|
9
|
ING-INF/05
|
81
|
-
|
-
|
-
|
Core compulsory activities
|
ITA |
20810157 -
PARALLEL AND DISTRIBUTED COMPUTING
(objectives)
The course aims to develop the skill needed to produce computer programs for parallel and distributed computation. The theory is carefully linked to practice by implementing programming projects in a cutting edge environment
-
PAOLUZZI ALBERTO
( syllabus)
Brief introduction to Julia language. Introduction to parallel architectures, Parallel and distributed programming with Julia. Primitives of communication and synchronization. Languages based on directives. Performance metrics. Matrix operations and dense linear systems. Sparse linear systems. Cache-oblivious algorithms. Collaborative development of projects. Test driven development and debugging.
( reference books)
Lecture slides
Blaise N. Barney, HPC Training Materials, by kind permission of Lawrence Livermore National Laboratory's Computational Training Center
Avik Sengupta, Julia High Performance: Optimizations, distributed computing, multithreading, and GPU programming with Julia 1.0 and beyond, 2nd Edition, Pakt, 2019
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Core compulsory activities
|
ITA |
|