Výsledky vyhledávání
- 1.0582267 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Folwarczný, Lukáš - Göös, M. - Hubáček, Pavel - Maystre, G. - Yuan, W.
One-way functions vs. TFNP: Simpler and improved.
15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Guruswami, V.), č. článku 50. Leibniz International Proceedings in Informatics (LIPIcs), 287. ISBN 978-3-95977-309-6.
[15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Berkeley (US), 30.01.2024-02.02.2024]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: TFNP * one-way functions * Oracle * Black-Box
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: https://hdl.handle.net/11104/0350366Název souboru Staženo Velikost Komentář Verze Přístup Folwarczny.pdf 1 763 KB Vydavatelský postprint povolen - 2.0582265 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hubáček, Pavel - Khaniki, Erfan - Thapen, Neil
TFNP intersections through the lens of feasible disjunction.
15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Guruswami, V.), č. článku 63. Leibniz International Proceedings in Informatics (LIPIcs), 287. ISBN 978-3-95977-309-6.
[15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Berkeley (US), 30.01.2024-02.02.2024]
Grant CEP: GA ČR(CZ) GX19-27871X; GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: TFNP * feasible disjunction * proof complexity * TFNP intersection classes
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: https://hdl.handle.net/11104/0350365Název souboru Staženo Velikost Komentář Verze Přístup Hubacek.pdf 0 785.4 KB Vydavatelský postprint povolen - 3.0579718 - MÚ 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Hoffmann, C. - Hubáček, Pavel - Kamath, C. - Krňák, T.
(Verifiable) delay functions from Lucas sequences.
Theory of Cryptography: 21st International Conference, TCC 2023, Taipei, Taiwan, November 29–December 2, 2023, Proceedings, Part IV. Cham: Springer, 2023 - (Rothblum, G.; Wee, H.), s. 336-362. Lecture Notes in Computer Science, 14372. ISBN 978-3-031-48623-4. ISSN 0302-9743.
[21st Theory of Cryptography Conference (TCC 2023). Taipei (TW), 29.11.2023-02.12.2023]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: delay functions * Lucas sequences * verifiable delay functions
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1007/978-3-031-48624-1_13
Trvalý link: https://hdl.handle.net/11104/0348529Název souboru Staženo Velikost Komentář Verze Přístup Hubacek1.pdf 0 510 KB Vydavatelský postprint vyžádat - 4.0579481 - MÚ 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Dvořák, P. - Folwarczný, Lukáš - Opler, M. - Pudlák, Pavel - Šámal, R. - Vu, T.
Bounds on functionality and symmetric difference - two intriguing graph parameters.
Graph-Theoretic Concepts in Computer Science. Cham: Springer, 2023 - (Paulusma, D.; Ries, B.), s. 305-318. Lecture Notes in Computer Science, 14093. ISBN 978-3-031-43379-5. ISSN 0302-9743.
[49th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2023. Fribourg (CH), 28.06.2023-30.06.2023]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: finite projective plane * functionality * intersection graphs * symmetric difference
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-031-43380-1_22
Trvalý link: https://hdl.handle.net/11104/0348321Název souboru Staženo Velikost Komentář Verze Přístup Folwarczny3.pdf 0 247.8 KB Vydavatelský postprint vyžádat - 5.0575139 - MÚ 2024 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Chatterjee, Prerona - Hrubeš, Pavel
New lower bounds against homogeneous non-commutative circuits.
38th Computational Complexity Conference (CCC 2023). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2023 - (Ta-Shma, A.), č. článku 13. Leibniz International Proceedings in Informatics, 264. ISBN 978-3-95977-282-2. ISSN 1868-8969.
[38th Computational Complexity Conference (CCC 2023). Warwick (GB), 17.07.2023-20.07.2023]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: algebraic circuit complexity * non-commutative circuits * homogeneous computation * lower bounds against algebraic circuits
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.2023.13
Trvalý link: https://hdl.handle.net/11104/0344997Název souboru Staženo Velikost Komentář Verze Přístup Hrubes1.pdf 1 716.8 KB Vydavatelský postprint povolen - 6.0573360 - MÚ 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Hoffmann, C. - Hubáček, Pavel - Kamath, C. - Pietrzak, K.
Certifying giant nonprimes.
Public-Key Cryptography – PKC 2023. Cham: Springer, 2023 - (Boldyreva, A.; Kolesnikov, V.), s. 530-553. Lecture Notes in Computer Science, 13940. ISBN 978-3-031-31367-7. ISSN 0302-9743.
[26th IACR International Conference on Practice and Theory of Public-Key Cryptography. Atlanta (US), 07.05.2023-10.05.2023]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: chromium compounds * distributed projects * exponentiations
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1007/978-3-031-31368-4_19
Trvalý link: https://hdl.handle.net/11104/0343824Název souboru Staženo Velikost Komentář Verze Přístup Hubacek.pdf 0 601.9 KB Vydavatelský postprint vyžádat - 7.0569857 - MÚ 2024 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bourneuf, R. - Folwarczný, Lukáš - Hubáček, P. - Rosen, A. - Schwartzbach, N. I.
PPP-completeness and extremal combinatorics.
14th Innovations in Theoretical Computer Science Conference (ITCS 2023). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2023 - (Kalai, Y.), č. článku 22. Leibniz International Proceedings in Informatics, 251. ISBN 978-3-95977-263-1. ISSN 1868-8969.
[14th Innovations in Theoretical Computer Science Conference (ITCS 2023). Cambridge, Massachusetts (US), 10.01.2023-13.01.2023]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: total search problems * extremal combinatorics * PPP-completeness
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.ITCS.2023.22
Trvalý link: https://hdl.handle.net/11104/0341197Název souboru Staženo Velikost Komentář Verze Přístup Folwarczny.pdf 0 778.8 KB Vydavatelský postprint povolen - 8.0559512 - MÚ 2023 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Gryaznov, Svyatoslav - Pudlák, Pavel - Talebanfard, Navid
Linear branching programs and directional affine extractors.
37th Computational Complexity Conference (CCC 2022). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2022 - (Lovett, S.), s. 1-16, č. článku 4. Leibniz International Proceedings in Informatics, 234. ISBN 978-3-95977-241-9. ISSN 1868-8969.
[37th Computational Complexity Conference (CCC 2022). Philadelphia (US), 20.07.2022-23.07.2022]
Grant CEP: GA ČR(CZ) GX19-27871X; GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: Boolean functions * average-case lower bounds * affine dispersers * affine extractors
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.2022.4
Trvalý link: https://hdl.handle.net/11104/0332788Název souboru Staženo Velikost Komentář Verze Přístup Gryaznov.pdf 2 696.6 KB Vydavatelský postprint povolen - 9.0559510 - MÚ 2023 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Khaniki, Erfan
Nisan-Wigderson generators in proof complexity: New lower bounds.
37th Computational Complexity Conference (CCC 2022). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2022 - (Lovett, S.), s. 1-15, č. článku 17. Leibniz International Proceedings in Informatics, 234. ISBN 978-3-95977-241-9. ISSN 1868-8969.
[37th Computational Complexity Conference (CCC 2022). Philadelphia (US), 20.07.2022-23.07.2022]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * bounded arithmetic * bounded depth Frege * Nisan-Wigderson generators
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.4230/LIPIcs.CCC.2022.17
Trvalý link: https://hdl.handle.net/11104/0332787Název souboru Staženo Velikost Komentář Verze Přístup Khaniki1.pdf 2 703.9 KB Vydavatelský postprint povolen - 10.0553336 - MÚ 2023 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Frankl, P. - Gryaznov, Svyatoslav - Talebanfard, Navid
A variant of the VC-dimension with applications to depth-3 circuits.
13th Innovations in Theoretical Computer Science Conference (ITCS 2022). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2022 - (Braverman, M.), č. článku 72. Leibniz International Proceedings in Informatics, 215. ISBN 978-3-95977-217-4. ISSN 1868-8969.
[13th Innovations in Theoretical Computer Science Conference (ITCS 2022). Berkeley (US), 31.01.2022-03.02.2022]
Grant CEP: GA ČR(CZ) GX19-27871X; GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: VC-dimension * hypergraph * clique
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.ITCS.2022.72
Trvalý link: http://hdl.handle.net/11104/0328294Název souboru Staženo Velikost Komentář Verze Přístup Talebanfard.pdf 2 649.8 KB Vydavatelský postprint povolen