Výsledky vyhledávání
- 1.0570761 - MÚ 2024 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
Elementary analytic functions in VTC^0.
Annals of Pure and Applied Logic. Roč. 174, č. 6 (2023), č. článku 103269. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: bounded arithmetic * elementary analytic functions * models of arithmetic * threshold circuits
Obor OECD: Pure mathematics
Impakt faktor: 0.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2023.103269
Trvalý link: https://hdl.handle.net/11104/0342097Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 0 743.8 KB Vydavatelský postprint vyžádat - 2.0565597 - MÚ 2023 RIV SG eng J - Článek v odborném periodiku
Kołodziejcz, L. A. - Thapen, Neil
Approximate counting and NP search problems.
Journal of Mathematical Logic. Roč. 22, č. 3 (2022), č. článku 2250012. ISSN 0219-0613. E-ISSN 1793-6691
Grant CEP: GA ČR(CZ) GA19-05497S
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: approximate counting * bounded arithmetic * CPLS * NP search problems
Obor OECD: Pure mathematics
Impakt faktor: 0.9, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1142/S021906132250012X
Trvalý link: https://hdl.handle.net/11104/0337115Název souboru Staženo Velikost Komentář Verze Přístup Thapen.pdf 2 439.3 KB Vydavatelský postprint vyžádat - 3.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 - 4.0559081 - MÚ 2023 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
Iterated multiplication in VTC0.
Archive for Mathematical Logic. Roč. 61, 5-6 (2022), s. 705-767. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: bounded arithmetic * integer division * iterated multiplication * modular powering
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s00153-021-00810-6
Trvalý link: https://hdl.handle.net/11104/0332500Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 2 674.5 KB Vydavatelský postprint vyžádat - 5.0523579 - MÚ 2021 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
Induction rules in bounded arithmetic.
Archive for Mathematical Logic. Roč. 59, č. 3-4 (2020), s. 461-501. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: bounded arithmetic * parameter-free induction
Obor OECD: Pure mathematics
Impakt faktor: 0.287, rok: 2020
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs00153-019-00702-w
Trvalý link: http://hdl.handle.net/11104/0307919Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 2 646.7 KB Vydavatelský postprint vyžádat - 6.0507203 - ÚI 2020 DE eng J - Článek v odborném periodiku
Pich, Ján
Logical Strength of Complexity Theory and a Formalization of the PCP Theorem in Bounded Arithmetic.
Logical Methods in Computer Science. Roč. 11, č. 2 (2015), č. článku 8. ISSN 1860-5974. E-ISSN 1860-5974
Klíčová slova: weak pigeonhole principle * provability * hardness * np * Bounded arithmetic * Complexity theory * Formalizations
Impakt faktor: 0.569, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0298247 - 7.0488110 - MÚ 2018 RIV eng U - Uspořádání akce
Thapen, Neil - Pudlák, Pavel
Prague Bounded Arithmetic Workshop 2017.
[Prague, 02.11.2017-03.11.2017, (W-WRD 30/19)]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: logic * bounded arithmetic * computational complexity
Obor OECD: Pure mathematics
https://calendar.math.cas.cz/content/prague-bounded-arithmetic-workshop-2017
Trvalý link: http://hdl.handle.net/11104/0282728 - 8.0438367 - MÚ 2015 RIV NL eng J - Článek v odborném periodiku
Pich, Ján
Circuit lower bounds in bounded arithmetics.
Annals of Pure and Applied Logic. Roč. 166, č. 1 (2015), s. 29-45. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA AV ČR IAA100190902
Klíčová slova: bounded arithmetic * circuit lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.582, rok: 2015
http://www.sciencedirect.com/science/article/pii/S0168007214000888
Trvalý link: http://hdl.handle.net/11104/0241791 - 9.0437494 - MÚ 2015 RIV US eng J - Článek v odborném periodiku
Atserias, A. - Thapen, Neil
The ordering principle in a fragment of approximate counting.
ACM Transactions on Computational Logic. Roč. 15, č. 4 (2014), s. 29. ISSN 1529-3785. E-ISSN 1557-945X
Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: computational complexity * bounded arithmetic * propositional proof complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.618, rok: 2014
http://dl.acm.org/citation.cfm?doid=2656934.2629555
Trvalý link: http://hdl.handle.net/11104/0241058Název souboru Staženo Velikost Komentář Verze Přístup Thapen1.pdf 3 134.3 KB Vydavatelský postprint vyžádat - 10.0433869 - MÚ 2015 RIV US eng J - Článek v odborném periodiku
Buss, S.R. - Kolodziejczyk, L. A. - Thapen, Neil
Fragments of approximate counting.
Journal of Symbolic Logic. Roč. 79, č. 2 (2014), s. 496-525. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA100190902
Institucionální podpora: RVO:67985840
Klíčová slova: approximate counting * bounded arithmetic * ordering principle
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.541, rok: 2014
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9287274&fileId=S0022481213000376
Trvalý link: http://hdl.handle.net/11104/0238073Název souboru Staženo Velikost Komentář Verze Přístup Thapen3.pdf 1 366.7 KB Vydavatelský postprint vyžádat