Ing. Štefan Krištofík, PhD. - domovská stránka

Výskum

Osobné

Výučba na FIIT STU

predmet	2010	2011	2012	2013	2014	2015	2016-súčasnosť
Opis digitálnych systémov	●
Princípy počítačového inžinierstva	●				●		●
Logické obvody		●
Diagnostika digitálnych systémov		●	●		●	●
Testovateľnosť digitálnych systémov		●	●			●
Spoľahlivosť digitálnych systémov		●	●	●
Testovateľnosť a spoľahlivosť digitálnych systémov				●	●

Vedené bakalárske práce

Balga, P.: Programový systém na podporu výučby v predmetoch LO a PPI. Obhájené.
Gottstein, M.: Vizualizácia stochastických automatov a diagnózerov. Neukončené.
Kachman, O.: Simulácia medziregistrových prenosov v počítači. Obhájené.
Kováčová, H.: Programový systém na podporu výučby v predmetoch LO a PPI. Neukončené.

Jom, D.: Vizualizácia stochastických automaov a diagnózerov. Ukončené sčasti.
Spurný, M.: Simulátor algoritmov pre opravu vnorených pamätí. Ukončené sčasti.

Bacigál, L.: Grafický model porúch v pamätiach. Obhájené.
Jom, D.: Grafický editor pravdepodobnostných automatov a diagnózerov. Neukončené.
Spurný, M.: Grafický simulátor rekonfigurácie vnorených pamätí. Obhájené.
Tamáši, R.: Grafický model porúch v pamätiach. Obhájené.

Chalachán, J.: Generátor poruchových máp pamätí RAM. Obhájené.
Rychvalský, T.: Grafický simulátor pokročilého algoritmu opravy vnorených pamätí. Obhájené.
Szakszová, K.: Generátor poruchových máp pamätí RAM. Obhájené.

Jom, D.: Grafický editor pravdepodobnostných automatov a diagnózerov. Obhájené.

Gembec, M.: Riadenie a simulácia pohybu automatických vozidiel vo výrobných halách. Obhájené.
Andrejkovič, I.: Analýza vplyvu rozloženia porúch na úspešnosť opravy pamätí RAM. Obhájené.

Kasáš, M.: Dynamické riadenie a simulácia pohybu automatických vozidiel vo výrobných halách. Obhájené.

Frankovičová, I.: Webová aplikácia ako pomôcka pre výučbu logických obvodov. Obhájené.
Šoška, M.: Webová aplikácia ako pomôcka pre výučbu logických obvodov. Obhájené.

Langová, A.: Alternatívne metódy výučbu logických obvodov. Obhájené.
Řeřicha, S.: Alternatívne metódy výučbu logických obvodov. Obhájené.
Gozora, D.: Alternatívne metódy výučbu logických obvodov. Neukončené.
Štuller, J.: Príspevok k vybraným aspektom agenta pre stratégiu reálneho času. Neukončené.
Hanková, M.: Príspevok k vybraným aspektom agenta pre stratégiu reálneho času. Obhájené.

Pénzeš, E.: Detekcia druhov húb zo snímok Petriho misiek metódou hlbokého učenia. Obhájené.
Krajčovičová, L.: Detekcia druhov húb zo snímok Petriho misiek metódou hlbokého učenia. Obhájené.
Griščík, J.S.: Overenie a nasadenie webovej aplikácie pre predmet PPI. Obhájené.
Bordácsová, V.: Ladenie úspešnosti agenta strategickej hry. Obhájené.
Hládek, A.: Ladenie úspešnosti agenta strategickej hry. Obhájené.
Štuller, J.: Ladenie úspešnosti agenta strategickej hry. Obhájené.

Vedené diplomové práce

Neupauer, Š.: Vytváranie modelu súpera v stratégií reálneho času. Obhájené.
Kasáš, M.: Agent pre stratégiu reálneho času s využitím automaticky anotovanej znalostnej bázy. Obhájené.
Tran Duc, D.: Rozhodovanie v stratégií v reálnom čase metódou strojového učenia. Obhájené.

Mačuga, P.: Agent s hlbokým učením s posilňovaním pre strategickú hru hranú v reálnom čase. Obhájené.
Karpiel, R.: Vývoj agenta pre stratégiu reálneho času pomocou učenia posilňovaním. Obhájené.

Hanková, M.: Klasifikácia stratégií v RTS hre StarCraft: BroodWar z vybranej podmnožiny záznamov. Obhájené.
Višvader, T.: Klasifikácia stratégií v RTS hre StarCraft pomocou zhlukovania. Obhájené.
Řeřicha, S.: Tvorba agenta využívajúceho klasifikáciu stratégie súpera v prostredí RTS. Obhájené.

Srnec, M.: Vývoj agenta umelej inteligencie pre strategickú hru reálneho času využitím učenia posilňovaním. Rozpracované.
Jávorka, M.: Vývoj agenta umelej inteligencie pre strategickú hru s obmedzeniami podobnými ľudským hráčom. Rozpracované.
Miškove, A.: Vývoj agenta umelej inteligencie pre strategickú hru s obmedzeniami podobnými ľudským hráčom. Rozpracované.