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 | |
Genetic Algorithms driven by MCTS | 2014/2015 | 2015/2016 | diplomová práce | ITI | RNDr. Jan Hric | skrytý | 01.11.2011 | 24.03.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
λ-calculus as a Tool for Metaprogramming in C++ | 2015/2016 | 2015/2016 | diplomová práce | ITI | RNDr. Jan Hric | skrytý | 27.10.2015 | 14.04.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Metaprogramovanie a reprezentácia znalostí RNDr. Jan Hric - KTI | 1996/1997 | diplomová práce | I | RNDr. Jan Hric | skrytý | 13.11.1995 | 13.11.1995 | () | MFF | ||
Kombinátory a doménově specifické jazyky | 2007/2008 | diplomová práce | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Efektivní algoritmy oveřování cílů v počítačových hrách | 2009/2010 | 2009/2010 | rigorózní práce | RNDr. Jan Hric | skrytý | 20.11.2009 | 20.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Konfigurovatelné vyhledávání entit | 2005/2006 | 2007/2008 | bakalářská práce | IOI | RNDr. Jan Hric | skrytý | 06.10.2005 | 21.11.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Návrhové vzory ve funkcionálních jazycích | 2009/2010 | diplomová práce | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Programová podpora tezauru - Bc. KTI - RNDr. Jan Hric | 1997/1998 | diplomová práce | BI | RNDr. Jan Hric | skrytý | 14.11.1997 | 14.11.1997 | () | MFF | ||
Aplikace zpětnovazebního učení na optimalizační úlohy | 2009/2010 | bakalářská práce | RNDr. Jan Hric | 27.10.2009 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Algoritmus zobecněných hrozeb v počítačovém go | 2009/2010 | diplomová práce | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Efektivní algoritmy oveřování cílů v počítačových hrách | 2006/2007 | 2006/2007 | diplomová práce | ITI | RNDr. Jan Hric | skrytý | 10.11.2006 | 21.11.2006 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
MCTS pro omezující podmínky | 2010/2011 | diplomová práce | I | RNDr. Jan Hric | 11.01.2011 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
Go na malých deskách | 2005/2006 | 2007/2008 | bakalářská práce | IOI | RNDr. Jan Hric | skrytý | 06.10.2005 | 21.11.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
MCTS pro hru Metro | 2010/2011 | 2012/2013 | bakalářská práce | IOI | RNDr. Jan Hric | skrytý | 11.01.2011 | 11.04.2011 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Agent | 1998/1999 | projekt | I | RNDr. Jan Hric | skrytý | 18.05.1999 | 18.05.1999 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Datové štruktúry pre extrakciu informacií RNDr. Jan Hric | 1998/1999 | diplomová práce | I | RNDr. Jan Hric | skrytý | 10.10.1998 | 20.11.1998 | Katedra softwarového inženýrství (32-KSI) | MFF | ||
Datové štruktúry pre extráciu informacií | 2001/2002 | diplomová práce | I | RNDr. Jan Hric | skrytý | 01.10.2001 | 13.11.2001 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
MCTS a heuristiky | 2012/2013 | diplomová práce | ITI | RNDr. Jan Hric | skrytý | 23.04.2013 | 23.09.2013 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Řešení problémů pomocí MCTS | 2009/2010 | 2009/2010 | diplomová práce | I | RNDr. Jan Hric | skrytý | 11.12.2009 | 17.12.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Osadníci z Katanu | 2018/2019 | 2019/2020 | bakalářská práce | I | RNDr. Jan Hric | skrytý | 02.06.2017 | 11.04.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Použití vzorů při hře Go | 2008/2009 | 2009/2010 | bakalářská práce | IP | RNDr. Jan Hric | skrytý | 27.11.2008 | 03.12.2008 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Integrace funkcionálního a objektově orientovaného program. RNDr. Jan Hric - KTI | 1997/1998 | diplomová práce | I | RNDr. Jan Hric | skrytý | 08.11.1996 | 08.11.1996 | () | MFF | ||
PNS for the game Arimaa | 2011/2012 | 2011/2012 | bakalářská práce | IOI | RNDr. Jan Hric | skrytý | 18.10.2011 | 20.06.2012 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Zavedení kast do evoluce umělých bytostí. | 2009/2010 | 2010/2011 | bakalářská práce | RNDr. Jan Hric | skrytý | 27.10.2009 | 24.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Superkompilace | 2000/2001 | 2002/2003 | diplomová práce | I | RNDr. Jan Hric | skrytý | 16.10.2000 | 13.11.2000 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Survey Propagation pro řešení SAT a CSP | 2010/2011 | bakalářská práce | IOI | RNDr. Jan Hric | skrytý | 11.01.2011 | 11.04.2011 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Doménovo špecifické jazyky vo funkcionálnom programování | 2014/2015 | 2017/2018 | diplomová práce | ITI | RNDr. Jan Hric | skrytý | 09.01.2015 | 24.03.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Podpora XML v deklarativních jazycích | 2006/2007 | diplomová práce | RNDr. Jan Hric | 01.10.2006 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Testování správnosti deklarativních programů | 2007/2008 | diplomová práce | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Strukturované problémy pro SAT | 2012/2013 | 2012/2013 | bakalářská práce | IOI | RNDr. Jan Hric | skrytý | 12.11.2012 | 10.12.2012 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Interprety formálních výpočetních prostředků vedoucí DP - RNDr. Jan Hric - KTI | 1997/1998 | diplomová práce | UMI | RNDr. Jan Hric | skrytý | 14.11.1997 | 14.11.1997 | () | MFF | ||
Aplikace MCTS na hru Quoridor | 2009/2010 | 2010/2011 | bakalářská práce | RNDr. Jan Hric | skrytý | 27.10.2009 | 24.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Typy v logickém programování RNDr. Jan Hric - KTI | 1997/1998 | diplomová práce | I | RNDr. Jan Hric | skrytý | 08.11.1996 | 08.11.1996 | () | MFF | ||
Komonády (nejen) pro programátory | 2013/2014 | 2013/2014 | bakalářská práce | IP | RNDr. Jan Hric | skrytý | 14.11.2013 | 05.12.2013 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Querying semistructured data | 1999/2000 | diplomová práce | I | RNDr. Jan Hric | skrytý | 11.10.1999 | 20.11.1999 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Interpret a ladící prostředí pro Prolog | 2009/2010 | 2009/2010 | bakalářská práce | RNDr. Jan Hric | skrytý | 06.11.2009 | 24.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Hra 6 bere! | 2018/2019 | bakalářská práce | I | RNDr. Jan Hric | skrytý | 04.02.2019 | 02.04.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Polytypic programming in the context of logic programming | 2000/2001 | 2003/2004 | diplomová práce | I | RNDr. Jan Hric | skrytý | 01.10.2000 | 13.11.2000 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Řešení CSP s podporou MCTS | 2009/2010 | diplomová práce | I | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
Doménově specifické jazyky | 2008/2009 | 2008/2009 | diplomová práce | I | RNDr. Jan Hric | skrytý | 11.11.2008 | 19.11.2008 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Ohodnocovaci funkce v Atari Go | 2007/2008 | 2007/2008 | bakalářská práce | IOI | RNDr. Jan Hric | skrytý | 18.10.2007 | 26.11.2007 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Zkoumání struktury termů v lambda kalkulu na základě jejich typů | 2019/2020 | diplomová práce | ITI | RNDr. Jan Hric | skrytý | 06.08.2020 | 07.08.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Řízení prohledávání stromů hry | 2015/2016 | 2017/2018 | bakalářská práce | IPSS | RNDr. Jan Hric | skrytý | 26.02.2016 | 08.04.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Methods of MCTS and the game Arimaa | 2008/2009 | 2008/2009 | diplomová práce | I | RNDr. Jan Hric | skrytý | 11.11.2008 | 03.12.2008 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Staged programming | 2006/2007 | diplomová práce | RNDr. Jan Hric | 01.10.2006 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Doménově specifické jazyky | 2002/2003 | diplomová práce | I | RNDr. Jan Hric | skrytý | 01.10.2002 | 18.08.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
MCTS with Information Sharing | 2009/2010 | 2010/2011 | diplomová práce | ITI | RNDr. Jan Hric | skrytý | 22.10.2009 | 24.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Umělá inteligence pro hru Carcassonne - Objevitelé | 2019/2020 | 2019/2020 | bakalářská práce | IOI | RNDr. Jan Hric | Mgr. Ondřej Motlíček | 29.02.2020 | 13.03.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Umělá inteligence pro hru Tajuplné říše | 2019/2020 | 2020/2021 | bakalářská práce | IPSS | RNDr. Jan Hric | Bc. Tereza Miklóšová | 29.02.2020 | 13.03.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Datové struktury pro extrakci informací | 2003/2004 | 2003/2004 | bakalářská práce | I | RNDr. Jan Hric | skrytý | 01.10.2003 | 10.11.2003 | Katedra softwarového inženýrství (32-KSI) | MFF |