Výsledky vyhledávání

Nalezeno záznamů: 11  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_epca 0255071 zj^"
    1.
    0479819 - ÚI 2018 US eng J - Článek v odborném periodiku
    Čadek, M. - Krčál, Marek - Matoušek, J. - Vokřínek, L. - Wagner, U.
    Polynomial-Time Computation of Homotopy Groups and Postnikov Systems in Fixed Dimension.
    Siam Journal on Computing. Roč. 43, č. 5 (2014), s. 1728-1780. ISSN 0097-5397. E-ISSN 1095-7111
    Klíčová slova: algebraic-topology * computability * maps * algebraic topology * homotopy theory * homotopy groups * Postnikov systems * computational complexity
    Impakt faktor: 0.741, rok: 2014
    Trvalý link: http://hdl.handle.net/11104/0275746
     
     
    2.
    0478998 - ÚI 2018 RIV US eng J - Článek v odborném periodiku
    Cabello, S. - Cibulka, J. - Kynčl, J. - Saumell, Maria - Valtr, P.
    Peeling Potatoes Near-optimally in Near-linear Time.
    Siam Journal on Computing. Roč. 46, č. 5 (2017), s. 1574-1602. ISSN 0097-5397. E-ISSN 1095-7111
    Grant CEP: GA ČR GBP202/12/G061
    Grant ostatní: GA MŠk(CZ) LO1506; GA MŠk(CZ) EE2.3.30.0038
    Institucionální podpora: RVO:67985807
    Klíčová slova: geometric optimization * potato peeling * visibility graph * geometric probability * approximation algorithm
    Obor OECD: Pure mathematics
    Impakt faktor: 0.902, rok: 2017
    Trvalý link: http://hdl.handle.net/11104/0275024
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0478998.pdf14341.8 KBVydavatelský postprintvyžádat
     
     
    3.
    0473043 - MÚ 2018 RIV US eng J - Článek v odborném periodiku
    Gavinsky, Dmitry - Meir, O. - Weinstein, O. - Wigderson, A.
    Toward better formula lower bounds: The composition of a function and a universal relation.
    Siam Journal on Computing. Roč. 46, č. 1 (2017), s. 114-131. ISSN 0097-5397. E-ISSN 1095-7111
    Grant CEP: GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: formula * Karchmer-Wigderson relations * lower bounds
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impakt faktor: 0.902, rok: 2017
    http://epubs.siam.org/doi/10.1137/15M1018319
    Trvalý link: http://hdl.handle.net/11104/0270211
    Název souboruStaženoVelikostKomentářVerzePřístup
    Gavinsky.pdf6229.7 KBVydavatelský postprintvyžádat
     
     
    4.
    0466751 - MÚ 2017 RIV US eng J - Článek v odborném periodiku
    Bonacina, I. - Galesi, N. - Thapen, Neil
    Total space in resolution.
    Siam Journal on Computing. Roč. 45, č. 5 (2016), s. 1894-1909. ISSN 0097-5397. E-ISSN 1095-7111
    Grant CEP: GA ČR GBP202/12/G061
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Institucionální podpora: RVO:67985840
    Klíčová slova: total space * resolution random CNFs * proof complexity
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 1.433, rok: 2016
    http://epubs.siam.org/doi/10.1137/15M1023269
    Trvalý link: http://hdl.handle.net/11104/0264987
    Název souboruStaženoVelikostKomentářVerzePřístup
    Thapen2.pdf8493.9 KBVydavatelský postprintvyžádat
     
     
    5.
    0447629 - MÚ 2016 RIV US eng J - Článek v odborném periodiku
    Filmus, Y. - Lauria, M. - Nordström, J. - Ron-Zewi, N. - Thapen, Neil
    Space complexity in polynomial calculus.
    Siam Journal on Computing. Roč. 44, č. 4 (2015), s. 1119-1153. ISSN 0097-5397. E-ISSN 1095-7111
    Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: proof complexity * polynomial calculus * lower bounds
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.841, rok: 2015
    http://epubs.siam.org/doi/10.1137/120895950
    Trvalý link: http://hdl.handle.net/11104/0249428
    Název souboruStaženoVelikostKomentářVerzePřístup
    Thapen.pdf2439.5 KBVydavatelský postprintvyžádat
     
     
    6.
    0443869 - MÚ 2016 RIV US eng J - Článek v odborném periodiku
    Hrubeš, Pavel - Tzameret, I.
    Short proofs for the determinant identities.
    Siam Journal on Computing. Roč. 44, č. 2 (2015), s. 340-383. ISSN 0097-5397. E-ISSN 1095-7111
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Program: FP7
    Institucionální podpora: RVO:67985840
    Klíčová slova: proof complexity * arithmetic circuits
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.841, rok: 2015
    http://epubs.siam.org/doi/abs/10.1137/130917788
    Trvalý link: http://hdl.handle.net/11104/0246543
    Název souboruStaženoVelikostKomentářVerzePřístup
    Hrubes.pdf10430.7 KBVydavatelský postprintvyžádat
     
     
    7.
    0402598 - UIVT-O 981037 US eng J - Článek v odborném periodiku
    Kratochvíl, J. - Savický, Petr - Tuza, Z.
    One More Occurrence of Variables Makes Satisfiability Jump from Trivial to NP-Complete.
    Siam Journal on Computing. Roč. 22, č. 1 (1993), s. 203-210. ISSN 0097-5397. E-ISSN 1095-7111
    Klíčová slova: satisfiability * Boolean formula * conjuctive normal form * NP-completeness
    Trvalý link: http://hdl.handle.net/11104/0122996
     
     
    8.
    0175115 - MU-W 20025166 RIV US eng J - Článek v odborném periodiku
    Berkman, O. - Parnas, M. - Sgall, Jiří
    Efficient dynamic traitor tracing.
    Siam Journal on Computing. Roč. 30, č. 6 (2001), s. 1802-1828. ISSN 0097-5397. E-ISSN 1095-7111
    Grant CEP: GA AV ČR IAA1019901; GA ČR GA201/97/P038
    Klíčová slova: cryptography%online algorithms
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.655, rok: 2001
    Trvalý link: http://hdl.handle.net/11104/0072104
    Název souboruStaženoVelikostKomentářVerzePřístup
    Sgall2.pdf1250.9 KBVydavatelský postprintvyžádat
     
     
    9.
    0174430 - MU-W 970026 RIV US eng J - Článek v odborném periodiku
    Pudlák, Pavel - Rödl, V. - Sgall, Jiří
    Boolean Circuits, Tensor Ranks and Communication Complexity.
    Siam Journal on Computing. Roč. 26, č. 3 (1997), s. 605-633. ISSN 0097-5397. E-ISSN 1095-7111
    Grant CEP: GA AV ČR IAA119107
    Grant ostatní: US-CS Science and Technology Program 93025
    Zdroj financování: US
    Trvalý link: http://hdl.handle.net/11104/0071438
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak3.pdf1537.6 KBVydavatelský postprintvyžádat
     
     
    10.
    0096123 - MÚ 2008 RIV US eng J - Článek v odborném periodiku
    Chrobák, M. - Jawor, W. - Sgall, Jiří - Tichý, Tomáš
    Online scheduling of equal-length jobs: Randomization and restarts help.
    [Online rozvrhování úloh stejné délky: Náhodnost a restarty pomáhají.]
    Siam Journal on Computing. Roč. 36, č. 6 (2007), s. 1709-1728. ISSN 0097-5397. E-ISSN 1095-7111
    Grant CEP: GA MŠMT(CZ) 1M0545; GA ČR GA201/05/0124; GA AV ČR IAA1019401
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: online algorithms * scheduling
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 1.310, rok: 2007
    Trvalý link: http://hdl.handle.net/11104/0155562
    Název souboruStaženoVelikostKomentářVerzePřístup
    Sgall2.pdf1363.8 KBVydavatelský postprintvyžádat
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše