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 |