Výsledky vyhledávání
- 1.0546790 - MÚ 2023 RIV NL eng J - Článek v odborném periodiku
Pudlák, Pavel
On matrices potentially useful for tree codes.
Information Processing Letters. Roč. 174, March (2022), č. článku 106180. ISSN 0020-0190. E-ISSN 1872-6119
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: theory of computation * matrix * tree code * finite field * singleton bound
Obor OECD: Pure mathematics
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.ipl.2021.106180
Trvalý link: http://hdl.handle.net/11104/0323169Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 2 234 KB Vydavatelský postprint vyžádat - 2.0546442 - ÚI 2022 US eng J - Článek v odborném periodiku
Balbiani, P. - Boudou, J. - Diéguez, M. - Fernández-Duque, David
Intuitionistic Linear Temporal Logics.
ACM Transactions on Computational Logic. Roč. 21, č. 2 (2020), č. článku 14. ISSN 1529-3785. E-ISSN 1557-945X
Klíčová slova: semantics * programs * Theory of computation * mathematics of computing * intuitionistic logic * temporal logic * bisimulation
Impakt faktor: 0.625, rok: 2020
Trvalý link: http://hdl.handle.net/11104/0322946 - 3.0523857 - MÚ 2021 RIV US eng J - Článek v odborném periodiku
Galesi, N. - Talebanfard, Navid - Torán, J.
Cops-Robber games and the resolution of Tseitin formulas.
ACM Transactions on Computation Theory. Roč. 12, č. 2 (2020), č. článku 9. ISSN 1942-3454
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: theory of computation * proof complexity * graph theory
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Způsob publikování: Omezený přístup
https://doi.org/10.1145/3378667
Trvalý link: http://hdl.handle.net/11104/0308136Název souboru Staženo Velikost Komentář Verze Přístup Talebanfard.pdf 2 422.9 KB Vydavatelský postprint vyžádat - 4.0489225 - MÚ 2019 RIV NL eng J - Článek v odborném periodiku
Lauria, M. - Thapen, Neil
On semantic cutting planes with very small coefficients.
Information Processing Letters. Roč. 136, August (2018), s. 70-75. ISSN 0020-0190. E-ISSN 1872-6119
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: theory of computation * proof complexity * cutting planes
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.914, rok: 2018
https://www.sciencedirect.com/science/article/pii/S0020019018300875
Trvalý link: http://hdl.handle.net/11104/0283676Název souboru Staženo Velikost Komentář Verze Přístup Thapen.pdf 2 301.5 KB Vydavatelský postprint vyžádat - 5.0447653 - MÚ 2016 RIV DE eng M - Část monografie knihy
Paturi, R. - Pudlák, Pavel - Saks, M. - Zane, F.
Backtracking based k-SAT algorithms.
Encyclopedia of Algorithms. Berlin: Springer, 2015 - (Kao, M.), s. 1-6. ISBN 978-3-642-27848-8
Institucionální podpora: RVO:67985840
Klíčová slova: theory of computation * algorithms
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/referenceworkentry/10.1007/978-3-642-27848-8_45-2
Trvalý link: http://hdl.handle.net/11104/0249436Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 132.6 KB Vydavatelský postprint vyžádat - 6.0039741 - ÚI 2007 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
One Computer Theorist's View of Cognitive Systems.
[Kognitivní systém z pohledu počítačového teoretika.]
The European Network for the Advancement of Artificial Cognitive Systems. Genova: University of Genova, 2006, s. 1-30.
[euCognition Inaugural Meeting. Nice (FR), 16.02.2006-17.02.2006]
Grant CEP: GA AV ČR 1ET100300419
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: cognitive systems * computationalism * evolving systems * theory of computation
Kód oboru RIV: IN - Informatika
www.eucognition.org/inaugural.htm
Trvalý link: http://hdl.handle.net/11104/0133725