Lectures

Topic questions at the exam: DsaQuestions

Week	Date	Lecturer	Lecture Topic	Educational Documents
1	22.09.2020	RM	skipped
2	29.09.2020	RM	Introduction to complex networks.	Overview P01Handouts
2	1.10.2020	RM	Fundamental characteristics of networks and models of random graphs.	P02Handouts
3	06.10.2020	RM	Network properties	P03Handouts
4	13.10.2020	RM	Network structure identification	P04Handouts
5	20.10.2020	RM	Community detection	P05CommunityDetection.pdf
6	27.10.2020	RM	Ties prediction and network inference	P06.NetworkInference.pdf
7	03.11.2020	RM	Specification system Alloy	P07.Alloy.pdf
8	10.11.2020	RM	Verification system UPPAAL	UPPAAL.pdf
9	17.11.2020		State Holiday - no lecture
10	24.11.2020	RM	Protocol verification	ProtocolVerification.pdf
11	01.12.2020	RM	Finite state machines testing	FsmCheckingSequence.pdf
12	08.12.2020	RM	Checking sequences of finite state machines	FsmSequences.pdf
13	15.12.2020	RM	Finite state machine behavior learning	FsmLearning
14	05.01.2021	RM	Network dynamics and dynamic network processes	P07.NetworkDynamics.pdf