Výsledky vyhledávání

  1. 1.
    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 souboruStaženoVelikostKomentářVerzePřístup
    Pudlak1.pdf2566.1 KBVydavatelský postprintvyžádat
     
     
  2. 2.
    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.851, rok: 2021
    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 souboruStaženoVelikostKomentářVerzePřístup
    Pudlak.pdf0234 KBVydavatelský postprintvyžádat
     
     
  3. 3.
    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 souboruStaženoVelikostKomentářVerzePřístup
    Pudlak.pdf2676.3 KBVydavatelský postprintvyžádat
     
     
  4. 4.
    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 souboruStaženoVelikostKomentářVerzePřístup
    Gavinsky2.pdf2373.8 KBVydavatelský postprintvyžádat
     
     
  5. 5.
    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 souboruStaženoVelikostKomentářVerzePřístup
    Pudlak1.pdf1431 KBVydavatelský postprintpovolen
     
     
  6. 6.
    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 souboruStaženoVelikostKomentářVerzePřístup
    Pudlak.pdf1567.4 KBVydavatelský postprintvyžádat
     
     
  7. 7.
    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 souboruStaženoVelikostKomentářVerzePřístup
    Pudlak4.pdf8623 KBVydavatelský postprintvyžádat
     
     
  8. 8.
    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 souboruStaženoVelikostKomentářVerzePřístup
    Glivicky1.pdf2170.3 KBVydavatelský postprintvyžádat
     
     
  9. 9.
    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 souboruStaženoVelikostKomentářVerzePřístup
    Hrubes.pdf4264.6 KBVydavatelský postprintvyžádat
     
     
  10. 10.
    0474390 - MÚ 2018 RIV HU eng J - Článek v odborném periodiku
    Lauria, M. - Pudlák, Pavel - Rödl, V. - Thapen, Neil
    The complexity of proving that a graph is Ramsey.
    Combinatorica. Roč. 37, č. 2 (2017), s. 253-268. ISSN 0209-9683. E-ISSN 1439-6912
    Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: complexity * c-Ramsey graphs
    Obor OECD: Pure mathematics
    Impakt faktor: 1.406, rok: 2017
    http://link.springer.com/article/10.1007%2Fs00493-015-3193-9
    Trvalý link: http://hdl.handle.net/11104/0271451
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak1.pdf7433.6 KBVydavatelský postprintvyžádat