News and events archive
From the faculty
Informatics Colloquium 22.10. Secure integration of demand side flexibility to power systemsInformatics Colloquium 22.10. 2019, 14:00 lecture hall D2 Ing. Martin Střelec, Ph.D., NTIS ZČU Plzeň Ing. Ondřej Mamula, MBA, CIIRC ČVUT Praha Secure integration of demand side flexibility to power systems Abstract: The electricity power domain is facing unprecedented system changes initiated by increasing penetration of novel technologies (e.g. massive installation of renewables, energy storages at various levels) and market arrangements (e.g. market integration, new market entities), which increases the volatility in power system, which needs to be properly managed in order to keep system reliability. On the other hand, traditional resources for power network stabilization are decreasing due change of energy mix. Demand side flexibility stands for a promising mechanism for enhancement of power network stabilization. The contribution will introduce power system flexibility, where main focus will be put on the demand side. The talk will cover description of whole value chain of secure flexibility integration in the context of the SecureFlex project. Different aspects will be presented ranging from the flexibility harvesting on demand side to market product creation with emphasis on cost optimization and maintaining network security and power quality.
Informal workshop on formal methodsThe workshop will take place on 23.10.2019 in KYPO. The presentations will be in Czech, but there will be an opportunity to discuss the possibilities of involving students in the activities of several laboratories: Laboratory for Parallel and Distributed Systems (ParaDiSe) Laboratory of Formal Methods, Logic and Algorithms (Formela) Laboratory of Discrete Methods and Algorithms (DIMEA) Systems Biology Laboratory (SYBILA)
Informatics Colloquium 15.10. Revisiting statistical tests for random data analysisInformatics Colloquium 15.10. 2019, 14:00 lecture hall D1 Mgr. Marek Sýs, Ph.D., FI MU doc. RNDr. Petr Švenda, Ph.D., FI MU prof. RNDr. Václav Matyáš, M.Sc., Ph.D., FI MU Revisiting statistical tests for random data analysis Abstract: Random data play important role in many areas e.g. gaming, simulation, cryptography, etc. The quality of the data is critical for several areas hence analysis of used generators (true or pseudo random) is crucial there. Multiple incompatible test suites exist, with the tests that analyse different but similar patterns. We created a framework to comfortably run all tests from the commonly used statistical testing batteries (NIST STS, Dieharder, TestU01 and BoolTest). Using this tool, we analyzed the output of 66 cryptographic functions and evaluated the power/uniqueness of individual tests in the domain of cryptographic data. Surprisingly, a subset of only 14 tests would be enough to detect all the biases detected by the whole set -- yet no standard battery contained them all. In the talk, we will discuss the results we obtained in more details. Also, we will introduce our BoolTest battery that outperforms standard batteries when partial bits on fixed positions in data blocks are correlated.
Informatics Colloquium 24.9. Computer-Aided Systems BiologyInformatics Colloquium 24.9. 2019, 14:00 lecture hall D2 RNDr. David Šafránek, Ph.D., FI MU Computer-Aided Systems Biology Abstract: In this lecture, we will introduce a novel paradigm for solving problems in biology. First, we will describe the framework of systems biology. Second, we will present an original approach to systems biology implemented on fundamental principles developed in computer science. Part of the talk will be dedicated to the comprehensive modelling platform we are developing in our research.