  Thesis title |
Year of announcement |
Year of defence |
Thesis type | Thesis discipline | Supervisor |
Author |
Announced |
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