Seminar
Spring 2023 Program
Spring 2023 Program
This is the program of the Sitola seminar in spring 2023. Presentations for the current semester are available here.
- 15.2.2023
Bc. Jiří Papoušek
Solver for dynamic vehicle routing problems with time windows
Abstract: Static vehicle routing problem with time windows (VRPTW) is a highly constrained routing problem that has been thoroughly studied, and solvers with good results have been proposed in previous years. Nevertheless, these algorithms are usually based on metaheuristics and/or exact methods. Surprisingly, there are not many successful applications of machine learning in the area of vehicle routing problems in the literature.
In the presentation, we will describe dynamic VRPTW formulated in the EURO Meets NeurIPS 2022 Vehicle Routing Competition. We will discuss the possibilities and limitations of combining well-established methods with reinforcement learning (specifically deep Q-learning) in order to implement an effective solver for this problem. - 22.2.2023
doc. Ing. RNDr. Barbora Bühnová, Ph.D.
Trust management in dynamic autonomous ecosystems
Abstract: Digitalization is leading us toward a future where people, processes, data, and things are not only interacting with each other but might start forming societies on their own. In these dynamic systems enhanced by artificial intelligence, trust management on the level of human-to-machine as well as machine-to-machine interaction becomes an essential ingredient to supervise the safe and secure progress of our digitalized future. In this talk, we will look into the essential elements of trust management in complex digital ecosystems and discuss how trust-building can be leveraged to support people in safe interaction with other autonomous digital agents (e.g., self-driving cars, drones, and other robotic systems), highlighting our research on establishing trust among autonomous agents. - 1.3.2023
Ing. Eva Výtvarová
Predicting responsiveness to deep brain stimulation in Parkinson’s disease
Abstract: Parkinson’s disease (PD) typically occurs in people over the age of 60; however, it can be diagnosed even in 40-year-old ones. It is a neurodegenerative disorder with the first symptoms targeting motion quality — tremor, rigidity, slowness of movement, and difficulty walking. Cognitive and behavioral problems such as depression, anxiety, and apathy soon follow. Mostly, PD is treated by medication that aims to reduce symptoms; no cure is known. In severe cases of PD, microelectrodes are surgically placed inside the brain to help to reduce motor symptoms. Since it is an invasive procedure, the patient’s responsiveness to the stimulation is essential. We aim to find a pattern of functional brain connectivity that is different in good responders to the stimulation and non-responders.
In the presentation, I will describe the dataset and walk listeners through individual analysis steps. They include evaluating the effect of deep brain stimulation (DBS) on connectivity, estimating patterns of connectivity related to an improvement of motion after DBS, and detecting patterns related to cognition. These three combined will provide an understanding of parts of the brain influenced by DBS and offer hypotheses for the prediction of the suitability of DBS for a specific patient. - 8.3.2023
Mgr. Martin Brakl
UDP packet reflector in P4 for Tofino Native Architecture
Abstract: Computer networks are mostly driven by networking devices with fixed-function hardware. That leads to many problems. The biggest one is the slow development of new networking applications and their nonexisting direct support in the hardware of networking devices. Software-defined networks or SDNs have the goal to shatter this long-lasting era of legacy networking and fix issues that are slowing down the development of computer networks.
In this talk, we will look at the newest generation of SDNs driven by the P4 programming language and ASIC chip Tofino developed just for P4. More specifically, I will show the basic architecture the language and the ASIC chip and how are they cooperating. The second part of the talk will focus on the experimental implementation of the UDP packet reflector in P4 for Tofino utilizing virtual protocol-independent multicast. - 15.3.2023
Spring holidays - 22.3.2023
RNDr. Petra Němcová, RNDr. Jiří Filipovič, Ph.D.
Caverdock (2.0.?): Flexible receptors and robotic motion planning
Abstract: The receptor-ligand interactions are an important part of many biologically relevant processes. The small ligand molecule needs to pass via a tunnel into a receptor before the interaction of interest begins.Both receptor-ligand interaction and ligand pathway need to be studied.CaverDock is a computational tool that simulates the transport of the ligand in a tunnel. CaverDock 1.0. works with one receptor’s conformation.
Since then, we have made two improvements. First, CaverDock can work with multiple receptors and, therefore, can better simulate natural receptor behavior. Second, CaverDock has expanded to use robotic algorithms that can work better in the open parts of the tunnel. We will demonstrate the use of both new methods on real data. - 29.3.2023
Mgr. Pavel Novák
Unraveling the security patterns in complex networks: A modelling perspective
Abstract: The increasing dependence on interconnected systems has exposed organizations and societies to various security threats. Securing complex networks requires a systematic approach that can identify and mitigate potential vulnerabilities. This presentation explores modeling approaches to analyze and develop security patterns in complex networks. We will discuss how to represent complex networks using models, simulate security threats, and recommend optimal security strategies. - 5.4.2023
Canceled due to illness!
Mgr. Aleš Křenek, Ph.D.
Quick, easy, and dirty guide to finding the best hyperparameters of a neural network
The performance of neural network models strongly depends on the good setting of their hyperparameters (e.g., number and size of layers, activation functions, learning rate, etc.). There are textbook guides to handle textbook examples, however, the more complex network architecture, the less intuitive the process, resulting in the need for state space search in most practical instances. We demonstrate the problem with a realistic yet simple image generation example and show how to approach the tuning with the Keras Tuner library.
The search space and computational requirements grow proportionally with the growing number of hyperparameters. On the other hand, the used search algorithms are fairly easy to run in parallel, and Keras Tuner supports it directly. We show how to exploit the parallelism using CERIT-SC Jupyter/Kubernetes compute resources.
Finally, certain homogeneous subsets of hyperparameter configurations can be fused into a single, bigger model, having the potential to use GPU acceleration more effectively. We will briefly discuss this approach and its tradeoffs. - 12.4.2023
Ing. Václav Oujezský, Ph.D.
Data backup and storage system with integrated active protection against cyber threats
Abstract: Nowadays, the issue of data backups is a hot topic due to the threat of cyber-attacks. The speech presents a current project which aims to research, design and develop a platform to protect backed-up data against the threat of cyber-attacks such as ransomware and malware. The focus is on automation, artificial intelligence, and support for most backup and archiving software, so-called full agnostic solutions combined with a malware defense system. - 19.4.2023
doc. RNDr. Tomáš Brázdil, Ph.D.
On explainable neural networks in practice
Abstract: I will concentrate on the following neural network: -4.8129e-04, -5.6481e-04, 2.4511e-03, 1.2085e-03, 2.7492e-03, 1.7652e-03 … the rest is omitted due to limited space. What is it good for? Is it good? How to find out that it’s good? How to explain that it’s good? How to explain to the end users that it’s good? How to explain what it does? How to explain what it does to the end users? How to explain why it does what it does to the end users? How to deploy it in production? How to move it from one application place to another one? I won’t answer all these questions completely, but I will give it a try. - 26.4.2023
Canceled: CESNET seminar - 3.5.2023
RNDr. Pavel Troubil, Ph.D.
Deep reinforcement learning for practical scheduling
Abstract: Out of all energy used worldwide, a significant portion (8%) is consumed to make steel. Efficient scheduling of production can offer notable savings.
Not only in steel production but across numerous other industrial sectors, finding the optimal sequence of operations on one or more resources is a daily task for planners. Operations research has developed many effective scheduling algorithms to assist them. Yet the algorithms often require customization to fit individual plants‘ unique rules and objectives, asking a lot of time from skilled experts.
What if we could replace their effort with training cycles of AI agents? The talk will present some ideas on how deep reinforcement learning on top of graph neural networks could solve practical scheduling problems. - 10.5.2023
Future Sitola - Examination period
Meetings devoted to state exam rehearsals are scheduled mostly. State exam rehearsals are in Czech mostly. If you are interested in an additional date, please let me know. - 7.6.2023
State exam rehearsals (master)
Jiří Papoušek: Solver for dynamic vehicle routing problem with time windows
Supervisor: Hana Rudová
Reader: Tomáš Brázdil - 14.6.2023
State exam rehearsals (master and bachelor)
Filip Jozefov: Machine learning techniques of mass spectra prediction
Supervisor: Aleš Křenek
Reader: Tomáš Rebok - 21.6.2023
State exam rehearsals (bachelor)
Jan Ševeček: Artificial bee colony for project scheduling
Supervisor: Hana Rudová
Reader: Petra NěmcováAlexander Zgabur: Analysis of DNS records management systems and design of deployment
Supervisor: Tomáš Rebok
Reader: Miloš Liška - 14.9. – 16.9. 2023
SitSem seminar at Telč
See more about the program
Ondřej Holub: Framework for dynamic vehicle routing
Supervisor: Hana Rudová
Reader: Dávid Halász
Lukáš Kratochvíl: Systém pro zajištění evidence a bezpečnosti MR měření v laboratoři MAFIL
Supervisor: Tomáš Svoboda
Reader: Tomáš Rebok
Maxmilián Šeffer: Interactive data system to record the process of neurological measurements of volunteers
Supervisor: Tomáš Svoboda
Reader: Michal Růžička
Contact: Hana Rudová