  Title |
Year of announcement |
Year of defence |
Type of assignment | Specialization | 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 |
|
SL representations of Boolean functions with respect to non-standard orderings of the truth table. | 2023/2024 | diploma thesis | prof. RNDr. Ondřej Čepek, Ph.D. | 03.02.2021 | Ne | 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 |
|
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 |
|
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 | |
|
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 | |
|
Ř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 | |
|
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-28 of 28 1