Výsledky vyhledávání
- 1.0581950 - MÚ 2024 RIV US eng J - Článek v odborném periodiku
Gavinsky, Dmitry - Lee, T. - Santha, M. - Sanyal, S.
Optimal composition theorem for randomized query complexity.
Theory of Computing. Roč. 19, December (2023), č. článku 9. ISSN 1557-2862. E-ISSN 1557-2862
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: query complexity * randomized decision tree * composed function * lower bound
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 1, rok: 2022
Způsob publikování: Open access
http://dx.doi.org/10.4086/toc.2021.v017a008
Trvalý link: https://hdl.handle.net/11104/0350086Název souboru Staženo Velikost Komentář Verze Přístup Gavinsky.pdf 2 510.5 KB Vydavatelský postprint povolen - 2.0577240 - MÚ 2024 RIV IL eng J - Článek v odborném periodiku
Hrubeš, Pavel - Yehudayoff, A.
Shadows of Newton polytopes.
Israel Journal of Mathematics. Roč. 256, č. 1 (2023), s. 311-343. ISSN 0021-2172. E-ISSN 1565-8511
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: Newton polytopes * shadow complexity
Obor OECD: Pure mathematics
Impakt faktor: 1, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11856-023-2510-z
Trvalý link: https://hdl.handle.net/11104/0346450Název souboru Staženo Velikost Komentář Verze Přístup Hrubes2.pdf 0 434 KB Vydavatelský postprint vyžádat - 3.0572825 - MÚ 2024 RIV DE eng J - Článek v odborném periodiku
Hrubeš, Pavel - Talebanfard, Navid
On the extension complexity of polytopes separating subsets of the Boolean cube.
Discrete & Computational Geometry. Roč. 70, č. 1 (2023), s. 268-278. ISSN 0179-5376. E-ISSN 1432-0444
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: Boolean cube * extension complexity * polytopes * sign patterns
Obor OECD: Pure mathematics
Impakt faktor: 0.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s00454-022-00419-3
Trvalý link: https://hdl.handle.net/11104/0343383Název souboru Staženo Velikost Komentář Verze Přístup Hrubes.pdf 0 292.4 KB Vydavatelský postprint vyžádat - 4.0561963 - MÚ 2023 RIV HU eng J - Článek v odborném periodiku
Pudlák, Pavel - Rödl, V.
Extractors for small zero-fixing sources.
Combinatorica. Roč. 42, č. 4 (2022), s. 587-616. ISSN 0209-9683. E-ISSN 1439-6912
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: deterministic extracors * graphs
Obor OECD: Pure mathematics
Impakt faktor: 1.1, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s00493-020-4626-7
Trvalý link: https://hdl.handle.net/11104/0334398Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 2 528.8 KB Vydavatelský postprint vyžádat - 5.0559957 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Khaniki, Erfan
On proof complexity of resolution over polynomial calculus.
ACM Transactions on Computational Logic. Roč. 23, č. 3 (2022), č. článku 16. ISSN 1529-3785. E-ISSN 1557-945X
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: lower bounds * modular counting * Polynomial Calculus * propositional pigeonhole principle
Obor OECD: Pure mathematics
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1145/3506702
Trvalý link: https://hdl.handle.net/11104/0333080Název souboru Staženo Velikost Komentář Verze Přístup Khaniki2.pdf 2 302.2 KB Vydavatelský postprint vyžádat - 6.0553323 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Khaniki, Erfan
Not all Kripke models of HA are locally PA.
Advances in Mathematics. Roč. 397, March (2022), č. článku 108126. ISSN 0001-8708. E-ISSN 1090-2082
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: Heyting Arithmetic * Kripke models * Local models * PA-normal
Obor OECD: Pure mathematics
Impakt faktor: 1.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.aim.2021.108126
Trvalý link: http://hdl.handle.net/11104/0328281Název souboru Staženo Velikost Komentář Verze Přístup Khaniki.pdf 2 392.9 KB Vydavatelský postprint vyžádat - 7.0551098 - MÚ 2022 RIV DE eng J - Článek v odborném periodiku
Koucký, M. - Rödl, V. - Talebanfard, Navid
A separator theorem for hypergraphs and a CSP-SAT algorithm.
Logical Methods in Computer Science. Roč. 17, č. 4 (2021), č. článku 17. ISSN 1860-5974. E-ISSN 1860-5974
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: computational complexity * logic in computer science * computer science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.591, rok: 2021
Způsob publikování: Open access
https://doi.org/10.46298/lmcs-17(4:17)2021
Trvalý link: http://hdl.handle.net/11104/0326454Název souboru Staženo Velikost Komentář Verze Přístup Talebanfard.pdf 5 403.2 KB Vydavatelský postprint povolen - 8.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 - 9.0546785 - MÚ 2022 RIV US eng J - Článek v odborném periodiku
Gavinsky, Dmitry
The Layer complexity of Arthur-Merlin-like communication.
Theory of Computing. Roč. 17, č. 1 (2021), č. článku 8. ISSN 1557-2862. E-ISSN 1557-2862
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: communication complexity * complexity classes
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.816, rok: 2021
Způsob publikování: Open access
http://dx.doi.org/10.4086/toc.2021.v017a008
Trvalý link: http://hdl.handle.net/11104/0323166Název souboru Staženo Velikost Komentář Verze Přístup Gavinsky1.pdf 2 321.6 KB Vydavatelský postprint povolen - 10.0545830 - MÚ 2022 RIV US eng J - Článek v odborném periodiku
Gavinsky, Dmitry
Bare quantum simultaneity versus classical interactivity in communication complexity.
IEEE Transactions on Information Theory. Roč. 67, č. 10 (2021), s. 6583-6605. ISSN 0018-9448. E-ISSN 1557-9654
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: communication complexity * complexity theory * quantum communication
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.978, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1109/TIT.2021.3050528
Trvalý link: http://hdl.handle.net/11104/0322473Název souboru Staženo Velikost Komentář Verze Přístup Gavinsky.pdf 2 733.3 KB Vydavatelský postprint vyžádat