Výsledky vyhledávání
- 1.0545961 - ÚI 2022 US eng V - Výzkumná zpráva
Hartman, David - Aranda, A.
Morphism extension classes of countable L-colored graphs.
Cornell University, 2018. 12 s. arXiv.org e-Print archive, arXiv:1805.01781 [math.CO].
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
https://arxiv.org/abs/1805.01781
Trvalý link: http://hdl.handle.net/11104/0322567 - 2.0545429 - ÚI 2022 US eng V - Výzkumná zpráva
Kučera, P. - Savický, Petr - Vorel, V.
A lower bound on CNF encodings of the at-most-one constraint.
Cornell University, 2017. 38 s. arXiv.org e-Print archive, arXiv:1704.08934 [cs.CC].
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
https://arxiv.org/abs/1704.08934
Trvalý link: http://hdl.handle.net/11104/0322116 - 3.0504982 - ÚI 2020 US eng V - Výzkumná zpráva
Bonzio, S. - Moraschini, Tommaso - Pra Baldi, M.
Logic of left variable inclusion and Plonka sums of matrices.
Cornell University, 2018. arXiv.org e-Print archive, arXiv:1804.08897 [math.LO].
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Obor OECD: Pure mathematics
https://arxiv.org/abs/1804.08897
Trvalý link: http://hdl.handle.net/11104/0296514 - 4.0486590 - ÚI 2018 US eng V - Výzkumná zpráva
Klimošová, T. - Piguet, Diana - Rozhoň, Václav
A version of the Loebl-Komlós-Sós conjecture for skewed trees.
Cornell University, 2018. 28 s. arXiv.org e-Print archive, arXiv:1802.00679 [math.CO].
Grant CEP: GA ČR GJ16-07822Y; GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: extremal graph theory * tree embedding * Loebl-Komlos-Sos conjecture * regularity lemma
Kód oboru RIV: BA - Obecná matematika
https://arxiv.org/abs/1802.00679
Trvalý link: http://hdl.handle.net/11104/0281354 - 5.0465640 - ÚI 2017 CZ eng V - Výzkumná zpráva
Šíma, Jiří - Savický, Petr
Cut Languages in Rational Bases.
Prague: ICS CAS, 2016. 12 s. Technical Report, V-1236.
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: cut language * rational base * quassi-periodic power series
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0264101Název souboru Staženo Velikost Komentář Verze Přístup v1236-16.pdf 15 283 KB Jiná povolen - 6.0465639 - ÚI 2017 CZ eng V - Výzkumná zpráva
Šíma, Jiří
Neural Networks Between Integer and Rational Weights.
Prague: ICS CAS, 2016. 8 s. Technical Report, V-1237.
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: neural networks * analog unit * rational weight * cut languages * computational power
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0264100Název souboru Staženo Velikost Komentář Verze Přístup v1237-16.pdf 15 327.1 KB Jiná povolen - 7.0439176 - ÚI 2015 US eng V - Výzkumná zpráva
Haniková, Zuzana - Savický, Petr
Term satisfiability in FLew-algebras.
Cornell University, 2015. 24 s. arXiv.org e-Print archive, arXiv:1501.02250 [cs.LO].
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
Kód oboru RIV: BA - Obecná matematika
http://arxiv.org/abs/1501.02250
Trvalý link: http://hdl.handle.net/11104/0242467