![]() ![]() |
![]() ![]() |
![]() ![]() |
Type of assignment | Specialization | ![]() ![]() |
![]() ![]() |
![]() ![]() |
Assigned | Department | Faculty | |
![]() |
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 | |||
![]() |
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 | |||
![]() |
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 | ||
![]() |
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 | |||
![]() |
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 | ||
![]() |
Staged Programming | 2006/2007 | diploma thesis | RNDr. Jan Hric | 01.10.2006 | Ne | 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 |
Results 1-10 of 10 1