Thesis title | Year of announcement | Year of defence | Thesis type | Thesis discipline | Supervisor | Author | Announced | Assigned | Department | Faculty | |
Interval Representations of Boolean Functions | 2003/2004 | 2006/2007 | dissertation | I1 | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 25.11.2003 | 25.11.2003 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Special Classes of Boolean Functions with Respect to the Complexity of their Minimization. | 2010/2011 | 2013/2014 | dissertation | 4I1 | prof. RNDr. Ondřej Čepek, Ph.D. | Mgr. Bc. Štefan Gurský, Ph.D. | 30.04.2010 | 18.11.2010 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Boolean techniques in Knowledge representation | 2015/2016 | 2019/2020 | dissertation | P4I1 | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 19.05.2015 | 25.09.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Properties of k-interval Boolean functions | 2009/2010 | 2009/2010 | diploma thesis | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 10.11.2009 | 10.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Boolean Functions | 2001/2002 | 2004/2005 | dissertation | I1 | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 01.10.2001 | 01.10.2001 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Minimal Forms of Boolean Functions with Respect to Various Input Representations | 2010/2011 | dissertation | 4I1 | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 22.04.2010 | 18.11.2010 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Boolean techniques in Knowledge representation | 2020/2021 | 2020/2021 | rigorosum thesis | P4I1 | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 26.10.2020 | 26.10.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Properties of interval Boolean functions | 2018/2019 | 2018/2019 | rigorosum thesis | IDMA | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 18.07.2019 | 18.07.2019 | Katedra aplikované matematiky (32-KAM) | MFF | |
Efficient implementation of queries and transformations on SL representations of Boolean functions. | 2020/2021 | diploma thesis | prof. RNDr. Ondřej Čepek, Ph.D. | James Weigle | 28.01.2021 | 13.04.2021 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
Properties of interval Boolean functions | 2013/2014 | 2013/2014 | diploma thesis | IDMA | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 06.12.2013 | 19.12.2013 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Multiprocesorové rozvrhování | 2002/2003 | 2002/2003 | diploma thesis | I | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 01.10.2002 | 06.11.2002 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Hornovské formule, jejich rozšíření a souvislost s oriento- vanými hypergrafy | 1999/2000 | diploma thesis | I | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 11.10.1999 | 20.11.1999 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Recognition of 2-interval Boolean functions | 2009/2010 | diploma thesis | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 12.11.2009 | 12.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Classes of Boolean Formulae with effectively soluable SAT. | 2007/2008 | 2008/2009 | diploma thesis | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 19.10.2007 | 16.11.2007 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Classes of Boolean Formulae with Effectively Solvable SAT | 2009/2010 | 2012/2013 | dissertation | 4I1 | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 24.09.2009 | 13.10.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Řešení speciálních rozvrhovacích úloh | 2002/2003 | 2003/2004 | diploma thesis | IDMO | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 01.10.2002 | 06.11.2002 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Time complexity of Boolean minimization. | 2009/2010 | 2009/2010 | diploma thesis | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | Mgr. Bc. Štefan Gurský, Ph.D. | 12.11.2009 | 12.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Horn Formulas | 2005/2006 | 2009/2010 | diploma thesis | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 06.10.2005 | 25.11.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Classes of Boolean functions which admit an effective search for minimal representations. | 2008/2009 | 2009/2010 | diploma thesis | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 03.11.2008 | 12.11.2008 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Boolean methods in knowledge compilation | 2015/2016 | 2015/2016 | diploma thesis | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 29.09.2015 | 29.09.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Synchronization and Discontinuous Input Processing in Transition Systems | 2015/2016 | 2017/2018 | dissertation | 4I1 | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 19.05.2015 | 15.09.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Special scheduling problems | 2004/2005 | 2004/2005 | diploma thesis | IDMO | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 06.10.2004 | 15.11.2004 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Minimální formy Hornovských funkcí | 2002/2003 | 2002/2003 | diploma thesis | I | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 01.10.2002 | 06.11.2002 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
A construction of minimum DNF representations of 2-interval functions. | 2011/2012 | 2011/2012 | diploma thesis | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 01.11.2011 | 12.02.2012 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Integration of classical scheduling methods into CSP | 2005/2006 | dissertation | I1 | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 28.04.2005 | 01.10.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
Non-standard representations of Boolean functions for knowledge compilation | 2023/2024 | diploma thesis | prof. RNDr. Ondřej Čepek, Ph.D. | Jelena Glišić | 14.11.2023 | 20.11.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
Řešení speciálních rozvrhovacích úloh RNDr. Ondřej Čepek, PhD. | 1999/2000 | diploma thesis | I | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 11.10.1999 | 20.11.1999 | () | MFF | ||
SL representations of Boolean functions with respect to non-standard orderings of the truth table. | 2024/2025 | diploma thesis | prof. RNDr. Ondřej Čepek, Ph.D. | 03.02.2021 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||||
Approximation of Hard Scheduling Problems | 2006/2007 | 2007/2008 | diploma thesis | prof. RNDr. Ondřej Čepek, Ph.D. | hidden | 06.10.2006 | 24.11.2006 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
Results 1-29 of 29 1