Prohlížení Bakalářské práce - 13133 dle autora "Horčík Rostislav"
-
Abstrakce využívající statistickou informaci
Autor: Vasily Levitskiy; Vedoucí práce: Horčík Rostislav; Oponent práce: Fišer Daniel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-08)Tato bakalářská práce představuje nový přístup ke zvýšení přesnosti plánovačů využívajících abstrakce. V tradičních procesech abstrakce dochází k nevyhnutelné ztrátě určitých informací, což může vést ke ztrátě přesnosti. ... -
Aplikace grafových neuronových sítí v klasickém plánování
Autor: Bohdan Nazarenko; Vedoucí práce: Horčík Rostislav; Oponent práce: Kuželka Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-08)V této práci studujeme aplikaci grafových neuronových sítí (GNN) v klasickém plánování, která se objevila v článku [SBG22]. Reimplementujeme a upravujeme původní kód, přidáváme nové části kódu. Využíváme GNNs pro učení ... -
Závislé typy a specifikace v teorii typů
Autor: Marika Slouková; Vedoucí práce: Dostál Matěj; Oponent práce: Horčík Rostislav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-13)Vývoj softwaru, který je nejen funkční, ale i formálně prokazatelně korektní, je klíčovou výzvou v informatice. V této bakalářská práce se zaměřujeme na formální dokazování korektnosti algoritmů pomocí důkazového asistenta ...