Prohlížení Diplomové práce - 13136 dle autora "Horčík Rostislav"
-
Kombinace time-triggered a event-triggered rozvrhování s dedikovanými zdroji a s precedencemi
Autor: Lukáš Halaška; Vedoucí práce: Vlk Marek; 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., 2023-06-15)Event-triggered (ET) systémy poskytují flexibilní a responsivní chování tím, že dynamicky rozvrhují úlohy na základě událostí v systému, zatímco time-triggered (TT) systémy poskytují robustnost a sledovatelnost rozvrhováním ... -
Počítání vážených modelů pro některé doménově-liftovatelné jazyky
Autor: Václav Kůla; Vedoucí práce: Tóth Jan; 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-12)Tato práce studuje počítání vážených modelů v logice prvního řádu. Počítání vážených modelů v logice prvního řádu může být použito k řešení mnoha praktických problémů a bylo dokázáno, že pro určité logické fragmenty je ... -
Transparentní AI s neuro-symbolickým programováním
Autor: David Tampier; Vedoucí práce: Šír Gustav; 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-12)Rostoucí využívání AI v každodenním životě a kritických aplikacích zvyšuje potřebu interpretovatelnosti AI řešení. Současné architektury neuronových sítí, jako je GPT-4, s miliardami parametrů však postrádají interpretovatelnost. ...