Výsledky vyhledávání

  1. 1.
    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
    Grant CEP: GA ČR(CZ) GX19-27871X
    Institucionální podpora: RVO:67985840
    Klíčová slova: deterministic condensers * extractors * randomness * Santha-Vazirani sources
    Kód oboru RIV: BA - Obecná matematika
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impakt faktor: 0.497, rok: 2019
    https://doi.org/10.1007/s00224-020-09975-8
    Trvalý link: http://hdl.handle.net/11104/0309977
    Název souboruStaženoVelikostKomentářVerzePřístup
    Gavinsky2.pdf0373.8 KBVydavatelský postprintvyžádat
     
  2. 2.
    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
    Kód oboru RIV: BA - Obecná matematika
    Obor OECD: Pure mathematics
    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
     
  3. 3.
    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
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Institucionální podpora: RVO:67985840
    Klíčová slova: probabilistic proof * proof complexity * resolutions * witching lemma
    Kód oboru RIV: IN - Informatika
    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
    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
     
  4. 4.
    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
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Institucionální podpora: RVO:67985840
    Klíčová slova: finite domain
    Kód oboru RIV: BA - Obecná matematika
    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
     
  5. 5.
    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
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Institucionální podpora: RVO:67985840
    Klíčová slova: linear arithmetics
    Kód oboru RIV: BA - Obecná matematika
    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
     
  6. 6.
    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
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Institucionální podpora: RVO:67985840
    Klíčová slova: computational complexity * monotone real circuit * Karchmer-Wigderson game
    Kód oboru RIV: IN - Informatika
    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.pdf3264.6 KBVydavatelský postprintvyžádat
     
  7. 7.
    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
    Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: complexity * c-Ramsey graphs
    Kód oboru RIV: BA - Obecná matematika
    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
     
  8. 8.
    0473687 - MÚ 2018 RIV US eng J - Článek v odborném periodiku
    Gavinsky, Dmitry - Pudlák, Pavel
    Partition expanders.
    Theory of Computing Systems. Roč. 60, č. 3 (2017), s. 378-395. ISSN 1432-4350
    Grant CEP: GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: expanders * pseudorandomness * communication complexity
    Kód oboru RIV: BA - Obecná matematika
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impakt faktor: 0.458, rok: 2017
    http://link.springer.com/article/10.1007%2Fs00224-016-9738-5
    Trvalý link: http://hdl.handle.net/11104/0270815
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak.pdf1284.9 KBVydavatelský postprintvyžádat
     
  9. 9.
    0463333 - MÚ 2017 RIV CZ eng J - Článek v odborném periodiku
    Gavinsky, Dmitry - Pudlák, Pavel
    On the joint entropy of d-wise-independent variables.
    Commentationes Mathematicae Universitatis Carolinae. Roč. 57, č. 3 (2016), s. 333-343. ISSN 0010-2628
    Grant CEP: GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: d-wise-independent variables * entropy * lower bound
    Kód oboru RIV: BA - Obecná matematika
    Obor OECD: Pure mathematics
    http://hdl.handle.net/10338.dmlcz/145838
    Trvalý link: http://hdl.handle.net/11104/0262546
    Název souboruStaženoVelikostKomentářVerzePřístup
    Gavinsky.pdf2139.5 KBVydavatelský postprintpovolen
     
  10. 10.
    0450633 - MÚ 2017 RIV US eng J - Článek v odborném periodiku
    Pudlák, Pavel
    Linear tree codes and the problem of explicit constructions.
    Linear Algebra and Its Applications. Roč. 490, February 1 (2016), s. 124-144. ISSN 0024-3795
    Grant CEP: GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: tree code * error correcting code * triangular totally nonsingular matrix
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.973, rok: 2016
    http://www.sciencedirect.com/science/article/pii/S002437951500645X
    Trvalý link: http://hdl.handle.net/11104/0251898
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak.pdf6393.3 KBVydavatelský postprintvyžádat