  Název práce |
Rok vypsání |
Rok obhájení |
Typ práce | Obor práce | Vedoucí / školitel |
Řešitel |
Vypsáno |
Zadáno | Ústav | Fakulta | |
 |
Interval Representations of Boolean Functions | 2003/2004 | 2006/2007 | disertační práce | I1 | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
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 | disertační práce | 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 | disertační práce | P4I1 | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
19.05.2015 | 25.09.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Vlastnosti k-intervalových booleovských funkcí | 2009/2010 | 2009/2010 | diplomová práce | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
10.11.2009 | 10.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Boolean Functions | 2001/2002 | 2004/2005 | disertační práce | I1 | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
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 | disertační práce | 4I1 | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
22.04.2010 | 18.11.2010 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
|
Boolean techniques in Knowledge representation | 2020/2021 | 2020/2021 | rigorózní práce | P4I1 | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
26.10.2020 | 26.10.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Vlastnosti intervalových booleovských funkcí | 2018/2019 | 2018/2019 | rigorózní práce | IDMA | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
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 | diplomová práce | prof. RNDr. Ondřej Čepek, Ph.D. | James Weigle | 28.01.2021 | 13.04.2021 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Vlastnosti intervalových booleovských funkcí | 2013/2014 | 2013/2014 | diplomová práce | IDMA | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
06.12.2013 | 19.12.2013 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Multiprocesorové rozvrhování | 2002/2003 | 2002/2003 | diplomová práce | I | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
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 | diplomová práce | I | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
11.10.1999 | 20.11.1999 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
|
Rozpoznávání 2-intervalových booleovských funkcí | 2009/2010 | diplomová práce | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
12.11.2009 | 12.11.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
|
Třídy Booleovských formulí s efektivně řešitelným SATem. | 2007/2008 | 2008/2009 | diplomová práce | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
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 | disertační práce | 4I1 | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
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 | diplomová práce | IDMO | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
01.10.2002 | 06.11.2002 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Časová složitost minimalizace Booleovských funkcí. | 2009/2010 | 2009/2010 | diplomová práce | 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 reprezentace Booleovských funkcí vzhedem k nestandardním uspořádáním pravdivostní tabulky. | 2023/2024 | diplomová práce | prof. RNDr. Ondřej Čepek, Ph.D. | 03.02.2021 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Hornovské formule | 2005/2006 | 2009/2010 | diplomová práce | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
06.10.2005 | 25.11.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Boolean methods in knowledge compilation | 2015/2016 | 2015/2016 | diplomová práce | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
29.09.2015 | 29.09.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Třídy Booleovských funkcí umožňující efektivní hledání minimálních reprezentací. | 2008/2009 | 2009/2010 | diplomová práce | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
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 | disertační práce | 4I1 | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
19.05.2015 | 15.09.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Speciální rozvrhovací úlohy | 2004/2005 | 2004/2005 | diplomová práce | IDMO | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
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 | diplomová práce | I | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
01.10.2002 | 06.11.2002 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Konstrukce minimálních DNF reprezentací 2-intervalových funkcí. | 2011/2012 | 2011/2012 | diplomová práce | ITI | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
01.11.2011 | 12.02.2012 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Integrace metod klasického rozvrhování do CSP | 2005/2006 | disertační práce | I1 | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
28.04.2005 | 01.10.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
|
Nestandardní reprezentace Booleovských funkcí pro kompilaci znalostí | 2023/2024 | diplomová práce | 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 | diplomová práce | I | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
11.10.1999 | 20.11.1999 | () | MFF | |
|
Aproximace obtížných rozvrhovacích úloh | 2006/2007 | 2007/2008 | diplomová práce | prof. RNDr. Ondřej Čepek, Ph.D. | skrytý |
06.10.2006 | 24.11.2006 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
Výsledky 1-29 z 29 1