|
Security Certification: From Traditional Software and Cloud System to ML-based Services - October 2022
|
|
Probabilistic model checking for complex, self-organising systems - October 2022
|
|
Heuristic algorithms for Combinatorial Optimization problems - January 2023
|
|
Introduction to Quantum Information and Cryptography - January 2023
|
|
Dynamic programming - January 2023
|
|
Network flows (modeling, analysis and optimization of networks part 1) - February 2023
|
|
Constructing and mining biomedical knowledge graphs - March 2023
|
|
User study experimental design - March 2023
|
|
Reversible Logic and Quantum Computing - June 2023
|
|
User support for data protection in emerging scenarios - July 2023
|
