Lectures

Topic questions at the exam:DsaQuestionsEN

Week	Date	Lecturer	Lecture Topic	Educational Documents
1	27.09.2023	RM	Introduction to complex networks.	Overview P01Handouts
2	04.10.2023	RM	Fundamental characteristics of networks and models of random graphs.	P02Handouts
3	11.10.2023	RM	Network properties	P03Handouts
4	18.10.2023	RM	Network structure identification	P04Handouts
5	27.10.2023	RM	Community detection	P05CommunityDetection.pdf
6	01.11.2023	RM	Ties prediction and network inference	P06.NetworkInference.pdf
7	08.11.2023	RM	Specification system Alloy	P07.Alloy.pdf
8	15.11.2023	RM	Verification system UPPAAL	UPPAAL.pdf
9	22.11.2023	RM	Protocol verification	ProtocolVerification.pdf
10	29.11.2023	RM	Finite state machines testing	FsmCheckingSequence.pdf
11	06.12.2023	RM	Checking sequences of finite state machines	FsmSequences.pdf
11	13.12.2023	RM	Finite state machine behavior learning	FsmLearning
13	20.12.2023	RM	Network dynamics and dynamic network processes	P07.NetworkDynamics.pdf
14	10.01.2024	RM	Multilayer Network Diagnostics	P14.MultilayerDiagnostics.pdf