Výsledky vyhledávání
- 1.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.100, 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/0334398
Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 2 528.8 KB Vydavatelský postprint vyžádat - 2.0549290 - MÚ 2022 RIV CZ cze J - Článek v odborném periodiku
Pudlák, Pavel
Abelova cena pro Aviho Wigdersona.
[The Abel Prize for Avi Wigderson.]
Pokroky matematiky, fyziky & astronomie. Roč. 66, č. 3 (2021), s. 149-156. ISSN 0032-2423
Institucionální podpora: RVO:67985840
Klíčová slova: Abel prize * discrete mathematics * theoretical computer science
Obor OECD: Pure mathematics
Způsob publikování: Open access s časovým embargem
http://hdl.handle.net/10338.dmlcz/149217
Trvalý link: http://hdl.handle.net/11104/0325313
Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 2 566.1 KB Vydavatelský postprint povolen - 3.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.500, 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/0323169
Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 2 234 KB Vydavatelský postprint vyžádat - 4.0535773 - MÚ 2022 RIV NL eng J - Článek v odborném periodiku
Pudlák, Pavel
The canonical pairs of bounded depth Frege systems.
Annals of Pure and Applied Logic. Roč. 172, č. 2 (2021), č. článku 102892. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GX19-27871X
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: circuits * complexity * games * proofs
Obor OECD: Pure mathematics
Impakt faktor: 0.776, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2020.102892
Trvalý link: http://hdl.handle.net/11104/0313709
Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 3 676.3 KB Vydavatelský postprint vyžádat - 5.0531290 - MÚ 2021 RIV US eng J - Článek v odborném periodiku
Gavinsky, Dmitry - Pudlák, Pavel
Santha-Vazirani sources, deterministic condensers and very strong extractors.
Theory of Computing Systems. Roč. 64, č. 6 (2020), s. 1140-1154. ISSN 1432-4350. E-ISSN 1433-0490
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: deterministic condensers * extractors * randomness * Santha-Vazirani sources
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.582, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s00224-020-09975-8
Trvalý link: http://hdl.handle.net/11104/0309977
Název souboru Staženo Velikost Komentář Verze Přístup Gavinsky2.pdf 2 373.8 KB Vydavatelský postprint vyžádat - 6.0511322 - MÚ 2020 RIV US eng J - Článek v odborném periodiku
de Oliveira Oliveira, M. - Pudlák, Pavel
Representations of monotone Boolean functions by linear programs.
ACM Transactions on Computation Theory. Roč. 11, č. 4 (2019), č. článku 22. ISSN 1942-3454
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: monotone linear programming circuits * Lovász-Schrijver proof systems * feasible interpolation
Obor OECD: Pure mathematics
Způsob publikování: Open access
http://dx.doi.org/10.1145/3337787
Trvalý link: http://hdl.handle.net/11104/0301620
Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 1 431 KB Vydavatelský postprint povolen - 7.0504571 - MÚ 2020 RIV CH eng J - Článek v odborném periodiku
Pudlák, Pavel - Thapen, Neil
Random resolution refutations.
Computational Complexity. Roč. 28, č. 2 (2019), s. 185-239. ISSN 1016-3328. E-ISSN 1420-8954
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: probabilistic proof * proof complexity * resolutions * witching lemma
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.850, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00037-019-00182-7
Trvalý link: http://hdl.handle.net/11104/0296173
Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 567.4 KB Vydavatelský postprint vyžádat - 8.0487354 - MÚ 2019 RIV US eng J - Článek v odborném periodiku
Pudlák, Pavel
Incompleteness in the finite domain.
Bulletin of Symbolic Logic. Roč. 23, č. 4 (2017), s. 405-441. ISSN 1079-8986. E-ISSN 1943-5894
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: finite domain
Obor OECD: Pure mathematics
Impakt faktor: 0.613, rok: 2017
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/incompleteness-in-the-finite-domain/D239B1761A73DCA534A4805A76D81C76
Trvalý link: http://hdl.handle.net/11104/0282020
Název souboru Staženo Velikost Komentář Verze Přístup Pudlak4.pdf 8 623 KB Vydavatelský postprint vyžádat - 9.0484738 - MÚ 2018 RIV DE eng J - Článek v odborném periodiku
Glivický, Petr - Pudlák, Pavel
A wild model of linear arithmetic and discretely ordered modules.
Mathematical Logic Quarterly. Roč. 63, č. 6 (2017), s. 501-508. ISSN 0942-5616. E-ISSN 1521-3870
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: linear arithmetics
Obor OECD: Pure mathematics
Impakt faktor: 0.522, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0279883
Název souboru Staženo Velikost Komentář Verze Přístup Glivicky1.pdf 2 170.3 KB Vydavatelský postprint vyžádat - 10.0482972 - MÚ 2019 RIV NL eng J - Článek v odborném periodiku
Hrubeš, Pavel - Pudlák, Pavel
A note on monotone real circuits.
Information Processing Letters. Roč. 131, March (2018), s. 15-19. ISSN 0020-0190. E-ISSN 1872-6119
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: computational complexity * monotone real circuit * Karchmer-Wigderson game
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
http://www.sciencedirect.com/science/article/pii/S0020019017301965?via%3Dihub
Trvalý link: http://hdl.handle.net/11104/0278383
Název souboru Staženo Velikost Komentář Verze Přístup Hrubes.pdf 4 264.6 KB Vydavatelský postprint vyžádat