![]() 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 | |
![]() |
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 |
![]() |
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 | |
![]() |
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 |
![]() |
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 | |
![]() |
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 | |
![]() |
Databáze partií go s tutorem | 2015/2016 | bakalářská práce | RNDr. Jan Hric | 12.11.2012 | Ne | 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 |
![]() |
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 |
![]() |
Učení vzorů ve hře Go | 2016/2017 | diplomová práce | I | RNDr. Jan Hric | skrytý![]() |
18.10.2015 | 24.04.2017 | 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 | |
![]() |
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 | |
![]() |
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 | |
![]() |
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 | |||
![]() |
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 | |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
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 | |
![]() |
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 | |||
![]() |
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 | |
![]() |
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 | |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
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 |
![]() |
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 | |||
![]() |
Ří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 |
![]() |
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 |
![]() |
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 | |||
![]() |
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 | |
![]() |
Uživatelsky definovaná syntax RNDr. Jan Hric - KTI | 1997/1998 | diplomová práce | I | RNDr. Jan Hric | skrytý![]() |
08.11.1996 | 08.11.1996 | () | 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 |
![]() |
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 |
![]() |
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 | |||
![]() |
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 | |
![]() |
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 |
![]() |
Prostředí pro hru Atari Go | 2007/2008 | 2008/2009 | bakalářská práce | IP | RNDr. Jan Hric | skrytý![]() |
15.11.2007 | 11.04.2008 | 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 |
![]() |
Použití vzorů při hře Go | 2008/2009 | 2008/2009 | bakalářská práce | IP | RNDr. Jan Hric | skrytý![]() |
27.11.2008 | 03.12.2008 | 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 | |
![]() |
Ř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 | ||
![]() |
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 | ||
![]() |
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 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 | |
![]() |
Ř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 |
![]() |
Staged programming | 2006/2007 | diplomová práce | RNDr. Jan Hric | 01.10.2006 | Ne | 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 |



