  Název práce |
Rok vypsání |
Rok obhájení |
Typ práce | Obor práce | Vedoucí / školitel |
Řešitel |
 Vypsáno |
Zadáno | Ústav | Fakulta | |
 |
Editor rovnic pro Android | 2013/2014 | 2013/2014 | bakalářská práce | IP | RNDr. Petr Kučera, Ph.D. | skrytý |
05.03.2014 | 05.03.2014 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Rozšíření matched formulí | 2014/2015 | 2014/2015 | diplomová práce | ITI | RNDr. Petr Kučera, Ph.D. | skrytý |
23.03.2015 | 23.03.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Minimální reprezentace víceintervalových booleovských funkcí | 2014/2015 | 2014/2015 | diplomová práce | ITI | RNDr. Petr Kučera, Ph.D. | Mgr. Filip Bártek | 23.03.2015 | 24.03.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Virtuální šipkovaná pro Android | 2015/2016 | 2015/2016 | bakalářská práce | IPSS | RNDr. Petr Kučera, Ph.D. | skrytý |
25.02.2016 | 25.02.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
O-Hunter | 2015/2016 | 2015/2016 | bakalářská práce | IOI | RNDr. Petr Kučera, Ph.D. | skrytý |
29.02.2016 | 29.02.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Nové techniky v kompilaci znalostí a aplikace | 2021/2022 | disertační práce | P4I1 | RNDr. Petr Kučera, Ph.D. | skrytý |
07.03.2018 | 08.02.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
|
Kompilace KNF do backdoor decomposable monotone circuit | 2020/2021 | 2020/2021 | diplomová práce | IUI | RNDr. Petr Kučera, Ph.D. | skrytý |
08.12.2020 | 08.12.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Heuristické přístupy ke kompilaci do SLR reprezentace | 2023/2024 | bakalářská práce | RNDr. Petr Kučera, Ph.D. | Pavel Humlíček | 10.01.2024 | 12.01.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Efektivní implementace DP eliminace | 2023/2024 | diplomová práce | RNDr. Petr Kučera, Ph.D. | skrytý |
15.03.2024 | 01.04.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
Výsledky 1-9 z 9 1