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 |