Lecturer: Kim Larsen, http://people.cs.aau.dk/~kgl/ Title: From Timed Automata to Stochastic Hybrid Games – Model Checking, Synthesis, Performance Analysis, Optimization and Machine Learning Abstract: Timed automata and games, priced timed automata and energy automata have emerged as useful formalisms for modeling real-time and energy-aware systems as found in several embedded and cyber-physical systems. During the last […]
Slides and Lecture Notes of Andrea Clementi‘s course on “Gossip Algorithms for Information Spreading, Consensus and Community Detection” can be downloaded here. Moreover, a useful (free) book on the matter is available at this link.
Speaker: Prof. L.A. Gąsieniec (University of Liverpool) Title: Deterministic Majority/Plurality Consensus Protocols Where: GSSI (Main Lecture Hall) When: Tue 27/09/2016, 15:00-16:00 Abstract: We study space-optimal population protocols for several variants of the majority and plurality consensus problems. We start with an important amendment allowing majority population protocols to report equality if neither of the original […]
The slides of Prof. Giuseppe F. Italiano‘s course on Dynamic Graph Algorithms are now available: – Introduction – Connectivity – Shortest Paths
Here are the slides of the module on software architecture of the immigration course on Software systems and service. The lectures belong to the Software systems and services immigration course held here at GSSI. This is the webpage of the course: http://lore.com/Software-systems-and-services.1
Here are the slides of the first module of the immigration course on Software systems and service. The lectures belong to the Software systems and services immigration course held here at GSSI. This is the webpage of the course: http://lore.com/Software-systems-and-services.1
The slides of prof. Paola Inverardi‘s introductory lecture are now available here. The lecture belongs to the Software systems and services immigration course held here at GSSI. This is the webpage of the course: http://lore.com/Software-systems-and-services.1 Please, note that you need a code to access the webpage of the course, Ivano will hand it to you […]
The 2014/2015 academic calendar is available here, please remember to check it out often in order to be aware of possible lecture changes or other updates! Notice also that the detailed program of this academic year is available here. Good luck to all the new PhD students!!