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 | |
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 | |
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 | |
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 | ||
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 | |||
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 | |
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 | |
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 | |
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 | |||
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 |
Výsledky 1-9 z 9 1