Lectures

Topic questions at the exam:DsaQuestionsEN

Week Date Lecturer Lecture Topic Educational Documents
1 21.09.2022 RM Introduction to complex networks. Overview
P01Handouts
2 28.09.2022 State Holiday - no lecture
3 05.10.2022 RM Fundamental characteristics of networks and models of random graphs. P02Handouts
4 12.10.2022 RM Network properties P03Handouts
5 19.10.2022 RM Network structure identification P04Handouts
6 26.10.2022 RM Community detection P05CommunityDetection.pdf
7 02.11.2022 RM Ties prediction and network inference P06.NetworkInference.pdf
8 09.11.2022 RM Network dynamics and dynamic network processes P07.NetworkDynamics.pdf
9 16.11.2022 RM Specification system Alloy P07.Alloy.pdf
10 23.11.2022 RM Verification system UPPAAL UPPAAL.pdf
11 30.11.2022 RM Protocol verification ProtocolVerification.pdf
12 07.12.2022 RM Finite state machines testing FsmCheckingSequence.pdf
13 14.12.2022 RM Checking sequences of finite state machines FsmSequences.pdf
14 11.01.2023 RM Finite state machine behavior learning FsmLearning
courses/be2m32dsaa/lectures/start.txt ยท Last modified: 2022/09/20 22:20 by marikr