Thesis title | Year of announcement | Year of defence | Thesis type | Thesis discipline | Supervisor | Author | Announced | Assigned | Department | Faculty | |
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 | ||||
Staged Programming | 2006/2007 | diploma thesis | RNDr. Jan Hric | 01.10.2006 | 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 | |||
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 | ||||
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 | ||||
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 | ||||
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 | ||||
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 | ||||
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 | |||
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