Výsledky vyhledávání

  1. 1.
    0543415 - MÚ 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    de Rezende, Susanna F. - Göös, M. - Nordström, J. - Pitassi, T. - Robere, R. - Sokolov, D.
    Automating algebraic proof systems is NP-hard.
    STOC 2021: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. New York: ACM, 2021 - (Khuller, S.; Vassilevska Williams, V.), s. 209-222. ISBN 978-1-4503-8053-9.
    [53rd Annual ACM SIGACT Symposium on Theory of Computing. Virtual (IT), 21.06.2021-25.06.2021]
    Institucionální podpora: RVO:67985840
    Klíčová slova: proof complexity * automatability * pigeonhole principle * algebraic proof systems * lower bounds
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://doi.org/10.1145/3406325.3451080
    Trvalý link: http://hdl.handle.net/11104/0320627
    Název souboruStaženoVelikostKomentářVerzePřístup
    deRezende1.pdf01 MBVydavatelský postprintpovolen
     
     
  2. 2.
    0539558 - MÚ 2021 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    de Rezende, Susanna F. - Meir, O. - Norström, J. - Pitassi, T. - Robere, R. - Vinyals, M.
    Lifting with simple gadgets and applications to circuit and proof complexity.
    2020 IEEE 61st Annual Symposium on Foundations of Computer Science. Los Alamitos: IEEE, 2020, s. 24-30. ISBN 978-1-7281-9622-0.
    [61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020. Durham (US), 16.11.2020-19.11.2020]
    Institucionální podpora: RVO:67985840
    Klíčová slova: circuit complexity * communication complexity * cutting planes
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://doi.org/10.1109/FOCS46700.2020.00011
    Trvalý link: http://hdl.handle.net/11104/0317277
    Název souboruStaženoVelikostKomentářVerzePřístup
    deRezende2.pdf0209.6 KBVydavatelský postprintvyžádat
     
     
  3. 3.
    0539556 - MÚ 2021 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    de Rezende, Susanna F. - Meir, O. - Norström, J. - Pitassi, T. - Robere, R.
    Krw composition theorems via lifting.
    2020 IEEE 61st Annual Symposium on Foundations of Computer Science. Los Alamitos: IEEE, 2020, s. 43-49. ISBN 978-1-7281-9622-0.
    [61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020. Durham (US), 16.11.2020-19.11.2020]
    Institucionální podpora: RVO:67985840
    Klíčová slova: circuit complexity * circuit lower bounds * communication complexity
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://doi.org/10.1109/FOCS46700.2020.00013
    Trvalý link: http://hdl.handle.net/11104/0317276
    Název souboruStaženoVelikostKomentářVerzePřístup
    deRezende1.pdf0223.9 KBVydavatelský postprintvyžádat
     
     
  4. 4.
    0531886 - MÚ 2021 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    de Rezende, Susanna F. - Nordstöm, J. - Risse, K. - Sokolov, D.
    Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs.
    35th Computational Complexity Conference (CCC 2020). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2020 - (Shubhangi, S.), č. článku 28. Leibniz International Proceedings in Informatics, 169. ISBN 978-3-95977-156-6. ISSN 1868-8969.
    [35th Computational Complexity Conference (CCC 2020). Saarbrücken (DE), 28.07.2020-31.07.2020]
    Institucionální podpora: RVO:67985840
    Klíčová slova: proof complexity * resolution * weak pigeonhole principle * perfect matching * sparse graphs
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://doi.org/10.4230/LIPIcs.CCC.2020.28
    Trvalý link: http://hdl.handle.net/11104/0310520
    Název souboruStaženoVelikostKomentářVerzePřístup
    deRezende.pdf0643.9 KBVydavatelský postprintpovolen
     
     
  5. 5.
    0450543 - ÚIACH 2016 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
    Novotný, Jakub - Lafleur, J. P. - Kutter, J. P. - Foret, František
    Thiol-ene-based monolithic enzymatic microreactor for glycoprotein deglycosylation.
    CECE 2015. 12th International Interdisciplinary Meeting on Bioanalysis. Brno: Ústav analytické chemie AV ČR, v. v. i, 2015 - (Foret, F.; Křenková, J.; Drobníková, I.; Klepárník, K.), s. 166-169. ISBN 978-80-904959-3-7.
    [CECE 2015. International Interdisciplinary Meeting on Bioanalysis /12./. Brno (CZ), 21.09.2015-23.09.2015]
    Institucionální podpora: RVO:68081715
    Klíčová slova: thiol-enes * mictoreactor * monolith
    Kód oboru RIV: CB - Analytická chemie, separace
    http://www.ce-ce.org/CECE2015/CECE%202015%20proceedings_full.pdf
    Trvalý link: http://hdl.handle.net/11104/0251837
    Název souboruStaženoVelikostKomentářVerzePřístup
    0450543.pdf2709.6 KBJinápovolen
     
     
  6. 6.
    0437881 - ÚIACH 2015 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
    Novotný, Jakub - Lafleur, J. P. - Kutter, J. P.
    Thiol-ene-based monolithic microreactors.
    CECE 2014. 11th International Interdisciplinary Meeting on Bioanalysis. Brno: Institute of Analytical Chemistry AS CR, 2014 - (Foret, F.; Křenková, J.; Drobníková, I.; Guttman, A.; Klepárník, K.), s. 53-55. ISBN 978-80-904959-2-0.
    [CECE 2014. International Interdisciplinary Meeting on Bioanalysis /11./. Brno (CZ), 20.10.2014-22.10.2014]
    Institucionální podpora: RVO:68081715
    Klíčová slova: thiol-ene * monolith * enzyme immobilization
    Kód oboru RIV: CB - Analytická chemie, separace
    http://www.ce-ce.org/CECE2014/CECE%202014%20proceedings_full.pdf
    Trvalý link: http://hdl.handle.net/11104/0241370
    Název souboruStaženoVelikostKomentářVerzePřístup
    20140103.pdf02.1 MBJinápovolen
     
     


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