![]() ![]() |
![]() ![]() |
![]() ![]() |
Type of assignment | Specialization | ![]() ![]() |
![]() ![]() |
![]() ![]() |
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 |
![]() |
λ-calculus as a Tool for Metaprogramming in C++ | 2015/2016 | 2015/2016 | diploma thesis | ITI | RNDr. Jan Hric | hidden![]() |
27.10.2015 | 14.04.2016 | 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 |
![]() |
Artificial intelligence for the Game Carcassonne: The Discovery | 2019/2020 | 2019/2020 | Bachelor's thesis | IOI | RNDr. Jan Hric | hidden![]() |
29.02.2020 | 13.03.2020 | 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 |
![]() |
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 |
![]() |
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 |