Thesis title | Year of announcement | Year of defence | Thesis type | Thesis discipline | Supervisor | Author | Announced | Assigned | Department | Faculty | |
Genetic Algorithms driven by MCTS | 2014/2015 | 2015/2016 | diploma thesis | ITI | RNDr. Jan Hric | hidden | 01.11.2011 | 24.03.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
A database of Go games with a tutor | 2015/2016 | Bachelor's thesis | RNDr. Jan Hric | 12.11.2012 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Configurable Entity Extraction | 2005/2006 | 2007/2008 | Bachelor's thesis | IOI | RNDr. Jan Hric | hidden | 06.10.2005 | 21.11.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Effective Algorithms for Verifying Goals in Computer Games | 2006/2007 | 2006/2007 | diploma thesis | ITI | RNDr. Jan Hric | hidden | 10.11.2006 | 21.11.2006 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Effective Algorithms for Verifying Goals in Computer Games | 2009/2010 | 2009/2010 | rigorosum thesis | RNDr. Jan Hric | hidden | 20.11.2009 | 20.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Metaprogramovanie a reprezentácia znalostí RNDr. Jan Hric - KTI | 1996/1997 | diploma thesis | I | RNDr. Jan Hric | hidden | 13.11.1995 | 13.11.1995 | () | MFF | ||
Combinators and Domain Specific Languages | 2007/2008 | diploma thesis | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Design Patterns in Functional Languages | 2009/2010 | diploma thesis | 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 | diploma thesis | BI | RNDr. Jan Hric | hidden | 14.11.1997 | 14.11.1997 | () | MFF | ||
Application of Reinforcement Learning to Optimization Problems | 2009/2010 | Bachelor's thesis | RNDr. Jan Hric | 27.10.2009 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Generalized Threats Algorithm in Computer Go | 2009/2010 | diploma thesis | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Go on Small Boards | 2005/2006 | 2007/2008 | Bachelor's thesis | IOI | RNDr. Jan Hric | hidden | 06.10.2005 | 21.11.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Solving of Problems using MCTS | 2009/2010 | 2009/2010 | diploma thesis | I | RNDr. Jan Hric | hidden | 11.12.2009 | 17.12.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Applications of Patterns in Game Go | 2008/2009 | 2009/2010 | Bachelor's thesis | IP | RNDr. Jan Hric | hidden | 27.11.2008 | 03.12.2008 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
MCTS for the game Metro | 2010/2011 | 2012/2013 | Bachelor's thesis | IOI | RNDr. Jan Hric | hidden | 11.01.2011 | 11.04.2011 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Settlers of Catan | 2018/2019 | 2019/2020 | Bachelor's thesis | I | RNDr. Jan Hric | hidden | 02.06.2017 | 11.04.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
MCTS for constraint programming | 2010/2011 | diploma thesis | I | RNDr. Jan Hric | 11.01.2011 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
Agent | 1998/1999 | project | I | RNDr. Jan Hric | hidden | 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 | diploma thesis | I | RNDr. Jan Hric | hidden | 10.10.1998 | 20.11.1998 | Katedra softwarového inženýrství (32-KSI) | MFF | ||
Data Structures for Information Extraction | 2001/2002 | diploma thesis | I | RNDr. Jan Hric | hidden | 01.10.2001 | 13.11.2001 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
MCTS and heuristics | 2012/2013 | diploma thesis | ITI | RNDr. Jan Hric | hidden | 23.04.2013 | 23.09.2013 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Integrace funkcionálního a objektově orientovaného program. RNDr. Jan Hric - KTI | 1997/1998 | diploma thesis | I | RNDr. Jan Hric | hidden | 08.11.1996 | 08.11.1996 | () | MFF | ||
Introduction of Castes in Evolution of Artificial Beings | 2009/2010 | 2010/2011 | Bachelor's thesis | RNDr. Jan Hric | hidden | 27.10.2009 | 24.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
PNS for the game Arimaa | 2011/2012 | 2011/2012 | Bachelor's thesis | IOI | RNDr. Jan Hric | hidden | 18.10.2011 | 20.06.2012 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Superkompilace | 2000/2001 | 2002/2003 | diploma thesis | I | RNDr. Jan Hric | hidden | 16.10.2000 | 13.11.2000 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Domain Specific Languages in Functional Programming | 2014/2015 | 2017/2018 | diploma thesis | ITI | RNDr. Jan Hric | hidden | 09.01.2015 | 24.03.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Survey Propagation for solving SAT a CSP | 2010/2011 | Bachelor's thesis | IOI | RNDr. Jan Hric | hidden | 11.01.2011 | 11.04.2011 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Application of MCTS to the game Quoridor | 2009/2010 | 2010/2011 | Bachelor's thesis | RNDr. Jan Hric | hidden | 27.10.2009 | 24.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Structured problems for SAT | 2012/2013 | 2012/2013 | Bachelor's thesis | IOI | RNDr. Jan Hric | hidden | 12.11.2012 | 10.12.2012 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
XML Support in declarative languages | 2006/2007 | diploma thesis | RNDr. Jan Hric | 01.10.2006 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Correctness Testing of Declarative Programs | 2007/2008 | diploma thesis | RNDr. Jan Hric | 18.10.2007 | Ne | 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 | diploma thesis | UMI | RNDr. Jan Hric | hidden | 14.11.1997 | 14.11.1997 | () | MFF | ||
Typy v logickém programování RNDr. Jan Hric - KTI | 1997/1998 | diploma thesis | I | RNDr. Jan Hric | hidden | 08.11.1996 | 08.11.1996 | () | MFF | ||
Interpret and Debugging Environment for Prolog | 2009/2010 | 2009/2010 | Bachelor's thesis | RNDr. Jan Hric | hidden | 06.11.2009 | 24.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Polytypic programming in the context of logic programming | 2000/2001 | 2003/2004 | diploma thesis | I | RNDr. Jan Hric | hidden | 01.10.2000 | 13.11.2000 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Comonads (not only) for programmers | 2013/2014 | 2013/2014 | Bachelor's thesis | IP | RNDr. Jan Hric | hidden | 14.11.2013 | 05.12.2013 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Querying semistructured data | 1999/2000 | diploma thesis | I | RNDr. Jan Hric | hidden | 11.10.1999 | 20.11.1999 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Game 6 takes! | 2018/2019 | Bachelor's thesis | I | RNDr. Jan Hric | hidden | 04.02.2019 | 02.04.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Domain Specific Languages | 2008/2009 | 2008/2009 | diploma thesis | I | RNDr. Jan Hric | hidden | 11.11.2008 | 19.11.2008 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Methods of MCTS and the game Arimaa | 2008/2009 | 2008/2009 | diploma thesis | I | RNDr. Jan Hric | hidden | 11.11.2008 | 03.12.2008 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Evaluation function for Atari-go | 2007/2008 | 2007/2008 | Bachelor's thesis | IOI | RNDr. Jan Hric | hidden | 18.10.2007 | 26.11.2007 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
MCTS with Information Sharing | 2009/2010 | 2010/2011 | diploma thesis | ITI | RNDr. Jan Hric | hidden | 22.10.2009 | 24.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
A Controlled Searching of Game Trees | 2015/2016 | 2017/2018 | Bachelor's thesis | IPSS | RNDr. Jan Hric | hidden | 26.02.2016 | 08.04.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Solving of CSP with MCTS | 2009/2010 | diploma thesis | I | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
Examining the structure of terms in lambda calculus based on their type | 2019/2020 | diploma thesis | ITI | RNDr. Jan Hric | hidden | 06.08.2020 | 07.08.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Staged Programming | 2006/2007 | diploma thesis | RNDr. Jan Hric | 01.10.2006 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Doménově specifické jazyky | 2002/2003 | diploma thesis | I | RNDr. Jan Hric | hidden | 01.10.2002 | 18.08.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
An Environment for the game Atari-go | 2007/2008 | 2008/2009 | Bachelor's thesis | IP | RNDr. Jan Hric | hidden | 15.11.2007 | 11.04.2008 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Applications of Patterns in Game Go | 2008/2009 | 2008/2009 | Bachelor's thesis | IP | RNDr. Jan Hric | hidden | 27.11.2008 | 03.12.2008 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Datové struktury pro extrakci informací | 2003/2004 | 2003/2004 | Bachelor's thesis | I | RNDr. Jan Hric | hidden | 01.10.2003 | 10.11.2003 | Katedra softwarového inženýrství (32-KSI) | MFF |