|
Thesis title |
Year of announcement |
Year of defence |
Thesis type |
Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department |
Faculty |
|
Scalable graph neural networks for social network processing |
2023/2024 |
|
diploma thesis |
IUI | doc. RNDr. Iveta Mrázová, CSc. |
hidden |
26.11.2023 |
11.12.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Package delivering in preferred times |
2023/2024 |
|
Bachelor's thesis |
IPA5 | RNDr. Jiří Fink, Ph.D. |
hidden |
15.01.2024 |
16.01.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Framework for interactive distributed network of luminous devices |
2022/2023 |
|
Bachelor's thesis |
IPP5 | RNDr. David Obdržálek, Ph.D. |
hidden |
03.11.2022 |
07.11.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Tournament environment for the board game Hive with an implementation of sample bots |
2023/2024 |
|
Bachelor's thesis |
| Mgr. Vladan Majerech, Dr. |
Avazagha Ahmadov |
13.03.2024 |
25.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Relational reasoning in vision-language models |
2023/2024 |
|
Bachelor's thesis |
IPP5 | RNDr. Jakub Bulín, Ph.D. |
hidden |
07.03.2024 |
12.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Deep Learning Models for Product Mapping |
2023/2024 |
|
Bachelor's thesis |
IPP5 | RNDr. Kateřina Macková |
Mkrtich Hovsepyan |
12.02.2024 |
27.02.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Plan recognition |
2019/2020 |
|
dissertation |
P4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
20.04.2020 |
08.09.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
New techniques in knowledge compilation and their application |
2021/2022 |
|
dissertation |
P4I1 | RNDr. Petr Kučera, Ph.D. |
hidden |
07.03.2018 |
08.02.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Analysis and validation of webcam images in real time |
2023/2024 |
|
Bachelor's thesis |
IPP5 | RNDr. Kateřina Macková |
Karel Vlk |
04.03.2024 |
04.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Evolutionary algorithms for 2D bridge construction in the Poly Bridge game |
2023/2024 |
|
Bachelor's thesis |
IPP5 | Mgr. Roman Neruda, CSc. |
Václav Krňák |
08.03.2024 |
16.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Transferability of Adversarial Examples in Machine Learning |
2023/2024 |
|
diploma thesis |
| Mgr. Martin Pilát, Ph.D. |
hidden |
08.04.2024 |
10.04.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Heuristic approaches to the compilation to the SLR representation |
2023/2024 |
|
Bachelor's thesis |
| RNDr. Petr Kučera, Ph.D. |
Pavel Humlíček |
10.01.2024 |
12.01.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Fine-tuning Code Generation Models with Compiler Feedback |
2023/2024 |
|
Bachelor's thesis |
| Mgr. Martin Pilát, Ph.D. |
hidden |
11.01.2024 |
18.01.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Hierarchical Plan Recognition |
2023/2024 |
|
Bachelor's thesis |
| prof. RNDr. Roman Barták, Ph.D. |
Benjamin Vincent Verner |
11.03.2024 |
18.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Genetic programming methods for classification |
2023/2024 |
|
diploma thesis |
IUIP | Mgr. Roman Neruda, CSc. |
hidden |
29.02.2024 |
16.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
User-configurable 3x3x3 Rubik's Cube solver |
2023/2024 |
|
Bachelor's thesis |
| Mgr. Vladan Majerech, Dr. |
hidden |
18.08.2023 |
18.08.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Evolutionary procedural content generation of 2D spaceships |
2023/2024 |
|
diploma thesis |
IUIP | Mgr. Roman Neruda, CSc. |
hidden |
04.04.2024 |
08.04.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Artificial Intelligence for Billiard |
2023/2024 |
|
Bachelor's thesis |
IPP5 | RNDr. Jiří Fink, Ph.D. |
Antonín Beňa |
27.09.2023 |
27.09.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Artificial intelligence for board game Sneaks & Snitches |
2023/2024 |
|
Bachelor's thesis |
| RNDr. Jiří Švancara, Ph.D. |
Jan Plot |
18.01.2024 |
18.01.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Enhancing PPO with Intrinsic Rewards: A Study in the NetHack Environment |
2023/2024 |
|
Bachelor's thesis |
IPA | Mgr. Roman Neruda, CSc. |
Pavel Yanushonak |
29.02.2024 |
16.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Reinforcement Learning in Multi-agent Path Finding |
2021/2022 |
|
diploma thesis |
| Mgr. Martin Pilát, Ph.D. |
Bc. Martin Jenč |
03.06.2022 |
05.06.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Study of LSTM networks on natural sciences data |
2021/2022 |
|
diploma thesis |
IUIP | prof. RNDr. Ing. Martin Holeňa, CSc. |
hidden |
06.09.2021 |
01.10.2021 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Evolutionary techniques in AutoML |
2020/2021 |
|
diploma thesis |
IUIPA | Mgr. Roman Neruda, CSc. |
Rajat Sharma |
14.09.2021 |
14.09.2021 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Deep Belief Networks Used to Generate Meaningful Patterns |
2022/2023 |
|
diploma thesis |
IUI | doc. RNDr. Iveta Mrázová, CSc. |
Bc. Juraj Trappl |
10.02.2023 |
29.06.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Bottleneck identification for constraint relaxation in resource-constrained project scheduling |
2023/2024 |
|
Bachelor's thesis |
| RNDr. Jiří Švancara, Ph.D. |
Lukáš Nedbálek |
28.11.2023 |
28.11.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Nature inspired algorithms for demand-responsive transport |
2023/2024 |
|
Bachelor's thesis |
IPP5 | RNDr. Jiří Fink, Ph.D. |
hidden |
07.12.2023 |
07.12.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Artificial neural networks in black-box optimization |
2022/2023 |
|
diploma thesis |
IUIP | prof. RNDr. Ing. Martin Holeňa, CSc. |
Bc. Anthony Leamer |
30.11.2022 |
14.02.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Fire Spread Simulator |
2023/2024 |
|
Bachelor's thesis |
| RNDr. Jiří Švancara, Ph.D. |
Ondřej Hlava |
05.01.2024 |
18.01.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Approximate Techniques for Dynamic Vehicle Routing Problems |
2022/2023 |
|
Bachelor's thesis |
IPP1 | prof. RNDr. Roman Barták, Ph.D. |
David Zeman |
09.11.2022 |
22.11.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Machine Learning Security |
2021/2022 |
|
dissertation |
P4I1 | Mgr. Martin Pilát, Ph.D. |
hidden |
27.04.2022 |
02.08.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Helper for solving sudoku variants |
2023/2024 |
|
Bachelor's thesis |
| doc. Mgr. Petr Gregor, Ph.D. |
hidden |
05.12.2023 |
05.12.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Efficient implementation of queries and transformations on SL representations of Boolean functions. |
2020/2021 |
|
diploma thesis |
| prof. RNDr. Ondřej Čepek, Ph.D. |
James Weigle |
28.01.2021 |
13.04.2021 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Active deep learning |
2018/2019 |
|
dissertation |
P4I1 | prof. RNDr. Ing. Martin Holeňa, CSc. |
Mgr. Jiří Tumpach |
18.04.2019 |
30.09.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Improved graph pruning for multi-agent pathfinding using heuristics |
2023/2024 |
|
diploma thesis |
| RNDr. Jiří Švancara, Ph.D. |
hidden |
15.09.2023 |
15.09.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Adversarial Examples for Speech Recognition Models |
2023/2024 |
|
Bachelor's thesis |
| Mgr. Martin Pilát, Ph.D. |
hidden |
05.03.2024 |
11.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Hierarchical Planning |
2019/2020 |
|
dissertation |
DP4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
14.12.2019 |
20.02.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Techniques Applicable to the Analysis of Educational Data |
2022/2023 |
|
diploma thesis |
IUIPA | doc. RNDr. Iveta Mrázová, CSc. |
hidden |
31.03.2023 |
04.04.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Aplikace systémové dynamiky v businessu |
2012/2013 |
|
dissertation |
4I1 | doc. RNDr. Mirko Křivánek, CSc. |
hidden |
30.04.2012 |
26.09.2012 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Multi-Agent Path Finding Per Partes: Automatic Warehouses |
2022/2023 |
|
diploma thesis |
IUIP | RNDr. Jiří Švancara, Ph.D. |
hidden |
07.06.2023 |
07.06.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Artificial Intelligence for the Hex Game |
2023/2024 |
|
Bachelor's thesis |
| Mgr. Martin Pilát, Ph.D. |
Lucie Kunčarová |
11.01.2024 |
09.02.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Fitness and novelty in evolutionary reinforcement learning |
2023/2024 |
|
diploma thesis |
IUIPA | Mgr. Roman Neruda, CSc. |
hidden |
05.12.2023 |
07.12.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Efficient Hyper-Parameter Tuning |
2023/2024 |
|
diploma thesis |
| Mgr. Martin Pilát, Ph.D. |
hidden |
13.03.2024 |
15.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Adversarial Examples in Image Classification |
2023/2024 |
|
Bachelor's thesis |
| RNDr. Věra Flídrová |
hidden |
05.10.2023 |
12.11.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Image Colorization |
2022/2023 |
|
Bachelor's thesis |
IPP5 | Mgr. Martin Pilát, Ph.D. |
Ekaterina Lipina |
28.09.2022 |
30.09.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Artificial Intelligence for the Calico Game |
2022/2023 |
|
Bachelor's thesis |
IPP1 | Mgr. Martin Pilát, Ph.D. |
Dita Chabičovská |
29.09.2022 |
30.09.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Algorithms for adversarial multi-agent path finding |
2023/2024 |
|
Bachelor's thesis |
IPP5 | Mgr. Marika Ivanová, Ph.D. |
hidden |
14.03.2024 |
22.04.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Leveraging lower fidelity proxies for neural network based NAS predictors |
2023/2024 |
|
diploma thesis |
IUIP | Mgr. Roman Neruda, CSc. |
hidden |
07.12.2023 |
07.12.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Evolutionary Algorithms for Multi-Stage Transcriptomic Data Analysis |
2023/2024 |
|
diploma thesis |
| Mgr. Martin Pilát, Ph.D. |
hidden |
13.03.2024 |
15.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Algorithms for multi-agent planning |
2023/2024 |
|
dissertation |
P4I1A | prof. RNDr. Roman Barták, Ph.D. |
hidden |
29.05.2023 |
16.10.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Scalable Multi-Agent Pathfinding in Large Environments |
2023/2024 |
|
Bachelor's thesis |
| RNDr. Jiří Švancara, Ph.D. |
Vendula Pokludová |
11.12.2023 |
16.12.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
Results 1-50 of 81 1 2 next
|