|
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 |
|
Kosouvislé algebry |
2017/2018 |
|
bakalářská práce |
| doc. Mgr. Libor Barto, Ph.D. |
|
13.10.2014 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Rozšíření problému splnitelnosti omezujících podmínek |
2023/2024 |
|
disertační práce |
P4M1A | doc. Mgr. Libor Barto, Ph.D. |
|
27.04.2023 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Kosouvislé algebry |
2007/2008 |
|
bakalářská práce |
| doc. Mgr. Libor Barto, Ph.D. |
|
08.10.2007 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Kosouvislé algebry |
2006/2007 |
|
bakalářská práce |
| doc. Mgr. Libor Barto, Ph.D. |
|
02.10.2006 |
Ne | Katedra algebry (32-KA) |
MFF |
|
An Algebraic Approach to the Constraint Satisfaction Problem |
2007/2008 |
|
diplomová práce |
| doc. Mgr. Libor Barto, Ph.D. |
|
08.10.2007 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Symetrie ve výpočetní složitosti |
2021/2022 |
|
disertační práce |
4M1, 4M1A | doc. Mgr. Libor Barto, Ph.D. |
|
20.04.2018 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Finitely Related Algebras |
2016/2017 |
|
diplomová práce |
| doc. Mgr. Libor Barto, Ph.D. |
|
21.10.2013 |
Ne | Katedra algebry (32-KA) |
MFF |
|
CSP nad orientovanými stromy |
2019/2020 |
|
bakalářská práce |
| doc. Mgr. Libor Barto, Ph.D. |
|
25.10.2016 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Vážené klony |
2017/2018 |
|
bakalářská práce |
| doc. Mgr. Libor Barto, Ph.D. |
|
13.10.2014 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Konzistentní systémy projekcí |
2019/2020 |
|
bakalářská práce |
| doc. Mgr. Libor Barto, Ph.D. |
|
25.10.2016 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Relational Approach to Universal Algebra |
2011/2012 |
2015/2016 |
disertační práce |
4M1 | doc. Mgr. Libor Barto, Ph.D. |
Mgr. Jakub Opršal, Ph.D. |
22.09.2011 |
26.09.2011 | Katedra algebry (32-KA) |
MFF |
|
Kosouvislé algebry |
2023/2024 |
|
bakalářská práce |
| doc. Mgr. Libor Barto, Ph.D. |
Lukáš Vlasák |
11.12.2023 |
13.12.2023 | Katedra algebry (32-KA) |
MFF |
|
Promises in Satisfaction Problems |
2018/2019 |
2022/2023 |
disertační práce |
P4M1A | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
20.04.2018 |
29.10.2018 | Katedra algebry (32-KA) |
MFF |
|
Perfektní neinteraktivní důkaz s nulovou znalostí |
2006/2007 |
2006/2007 |
bakalářská práce |
MMIB | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
06.10.2006 |
10.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Diofantické rovnice a p-adická čísla |
2009/2010 |
2009/2010 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
09.10.2009 |
22.10.2009 | Katedra algebry (32-KA) |
MFF |
|
Symetrie ve výpočetní složitosti |
2017/2018 |
|
disertační práce |
4M1A | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
20.04.2018 |
27.09.2018 | Katedra algebry (32-KA) |
MFF |
|
Combinatorial Gap Label Cover |
2021/2022 |
2021/2022 |
diplomová práce |
| doc. Mgr. Libor Barto, Ph.D. |
skrytý |
09.12.2021 |
27.01.2022 | Katedra algebry (32-KA) |
MFF |
|
Symmetric terms |
2022/2023 |
2022/2023 |
diplomová práce |
MSPN | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
04.11.2022 |
04.11.2022 | Katedra algebry (32-KA) |
MFF |
|
Clones of tournaments |
2021/2022 |
2021/2022 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
21.02.2022 |
21.04.2022 | Katedra algebry (32-KA) |
MFF |
|
Algebraický přístup k CSP |
2008/2009 |
2009/2010 |
diplomová práce |
MSTR | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
07.11.2008 |
11.11.2008 | Katedra algebry (32-KA) |
MFF |
|
Constraint satisfaction, graphs and algebras |
2010/2011 |
2013/2014 |
disertační práce |
4M1 | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
30.04.2010 |
11.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Selected Topics from Tame Congruence Theory |
2007/2008 |
2007/2008 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
08.10.2007 |
26.10.2007 | Katedra algebry (32-KA) |
MFF |
|
Algoritmus pro kvantovou faktorizaci |
2006/2007 |
2007/2008 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
07.12.2006 |
07.12.2006 | Katedra algebry (32-KA) |
MFF |
|
Kořeny polynomů |
2006/2007 |
2007/2008 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
07.12.2006 |
07.12.2006 | Katedra algebry (32-KA) |
MFF |
|
Extensions of Constraint Satisfaction Problem |
2023/2024 |
|
disertační práce |
P4M1A | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
27.04.2023 |
02.10.2023 | Katedra algebry (32-KA) |
MFF |
|
Arita NU polymorfismů |
2014/2015 |
2014/2015 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
13.10.2014 |
06.11.2014 | Katedra algebry (32-KA) |
MFF |
|
Finitely generated clones |
2015/2016 |
2017/2018 |
diplomová práce |
MSTR | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
08.03.2016 |
08.03.2016 | Katedra algebry (32-KA) |
MFF |
|
Rychlé násobení matic |
2007/2008 |
2007/2008 |
bakalářská práce |
MMIB | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
26.10.2007 |
19.11.2007 | Katedra algebry (32-KA) |
MFF |
|
Weighted Clones |
2014/2015 |
2017/2018 |
diplomová práce |
MSTR | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
13.10.2014 |
20.11.2014 | Katedra algebry (32-KA) |
MFF |
|
Finitely Related Algebras |
2015/2016 |
2016/2017 |
diplomová práce |
MSTR | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
13.10.2014 |
22.01.2016 | Katedra algebry (32-KA) |
MFF |
|
Rozhodnutelnost abelovských grup |
2006/2007 |
2006/2007 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
02.10.2006 |
22.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Extensions of Constraint Satisfaction Problem |
2023/2024 |
|
disertační práce |
P4M1A | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
19.02.2024 |
20.02.2024 | Katedra algebry (32-KA) |
MFF |
|
Kryptografie založená na eliptických křivkách |
2009/2010 |
2009/2010 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
16.10.2009 |
22.10.2009 | Katedra algebry (32-KA) |
MFF |
|
Minimální Taylorovy klony na třech prvcích |
2022/2023 |
2022/2023 |
rigorózní práce |
MSPN | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
25.07.2023 |
25.07.2023 | Katedra algebry (32-KA) |
MFF |
|
Minimální Taylorovy klony na třech prvcích |
2021/2022 |
2021/2022 |
diplomová práce |
MSPN | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
09.12.2021 |
14.03.2022 | Katedra algebry (32-KA) |
MFF |
|
Testování prvočíselnosti pomocí eliptických křivek |
2009/2010 |
2009/2010 |
bakalářská práce |
MMIB | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
08.10.2009 |
22.10.2009 | Katedra algebry (32-KA) |
MFF |
|
Minion Cores of Clones |
2022/2023 |
2022/2023 |
diplomová práce |
MSPN | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
05.09.2022 |
05.09.2022 | Katedra algebry (32-KA) |
MFF |
|
The Number of Homomorphisms to a Fixed Algebra |
2020/2021 |
2020/2021 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
22.10.2020 |
22.10.2020 | Katedra algebry (32-KA) |
MFF |
|
Rozšíření problému splnitelnosti omezujících podmínek |
2023/2024 |
|
disertační práce |
P4M1A | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
27.04.2023 |
11.10.2023 | Katedra algebry (32-KA) |
MFF |
|
Constraint Satisfaction Problem and Universal Algebra |
2009/2010 |
2012/2013 |
disertační práce |
4M1 | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
24.09.2009 |
03.11.2009 | Katedra algebry (32-KA) |
MFF |
|
Permutační polynomy nad konečnými tělesy |
2009/2010 |
2009/2010 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
14.10.2009 |
26.10.2009 | Katedra algebry (32-KA) |
MFF |
|
Úplně symetrické operace |
2023/2024 |
|
bakalářská práce |
| doc. Mgr. Libor Barto, Ph.D. |
skrytý |
23.10.2023 |
23.10.2023 | Katedra algebry (32-KA) |
MFF |
|
Algoritmus pro kvantové hledání |
2006/2007 |
2006/2007 |
bakalářská práce |
IP | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
02.10.2006 |
23.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Multisortové booleovské klony |
2023/2024 |
|
diplomová práce |
| doc. Mgr. Libor Barto, Ph.D. |
skrytý |
15.03.2024 |
19.03.2024 | Katedra algebry (32-KA) |
MFF |
|
Generalizing CSP-related results to infinite algebras |
2009/2010 |
2018/2019 |
disertační práce |
4M1 | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
19.04.2010 |
25.09.2015 | Katedra algebry (32-KA) |
MFF |
|
Monotone functions avoiding majorities |
2019/2020 |
2019/2020 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
25.02.2020 |
25.02.2020 | Katedra algebry (32-KA) |
MFF |
|
Konvoluční kódy |
2008/2009 |
2008/2009 |
bakalářská práce |
MMIB | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
07.11.2008 |
11.11.2008 | Katedra algebry (32-KA) |
MFF |
|
Faktorizace polynomů a problém batohu |
2009/2010 |
2009/2010 |
bakalářská práce |
MMIB | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
08.10.2009 |
03.11.2009 | Katedra algebry (32-KA) |
MFF |
|
Ireducibilní polynomy nad konečnými tělesy |
2009/2010 |
2009/2010 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
14.10.2009 |
24.10.2009 | Katedra algebry (32-KA) |
MFF |
|
Lineární rekurentní posloupnosti nad konečnými tělesy |
2009/2010 |
2009/2010 |
bakalářská práce |
MOM | doc. Mgr. Libor Barto, Ph.D. |
skrytý |
14.10.2009 |
03.11.2009 | Katedra algebry (32-KA) |
MFF |
Výsledky 1-50 z 55 1 2 další
|