Výsledky vyhledávání
- 1.0575343 - ÚPT 2024 RIV US eng J - Článek v odborném periodiku
Starčuková, Jana - Stefan, D. - Graveron-Demilly, D.
Quantification of short echo time MRS signals with improved version of QUantitation based on quantum ESTimation algorithm.
Nmr in Biomedicine. Roč. 36, č. 11 (2023), č. článku e5008. ISSN 0952-3480. E-ISSN 1099-1492
Grant CEP: GA MŠMT(CZ) LM2018129; GA MŠMT(CZ) LM2023050; GA MŠMT(CZ) EF16_013/0001775
Institucionální podpora: RVO:68081731
Klíčová slova: Cramér–Rao lower bounds * jMRUI * macromolecule basis set * magnetic resonance spectroscopy * metabolite basis set * quantification * QUEST-MM
Obor OECD: Medical engineering
Impakt faktor: 2.9, rok: 2022
Způsob publikování: Open access
https://analyticalsciencejournals.onlinelibrary.wiley.com/doi/10.1002/nbm.5008
Trvalý link: https://hdl.handle.net/11104/0347840 - 2.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 - 3.0559957 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Khaniki, Erfan
On proof complexity of resolution over polynomial calculus.
ACM Transactions on Computational Logic. Roč. 23, č. 3 (2022), č. článku 16. ISSN 1529-3785. E-ISSN 1557-945X
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: lower bounds * modular counting * Polynomial Calculus * propositional pigeonhole principle
Obor OECD: Pure mathematics
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1145/3506702
Trvalý link: https://hdl.handle.net/11104/0333080Název souboru Staženo Velikost Komentář Verze Přístup Khaniki2.pdf 2 302.2 KB Vydavatelský postprint vyžádat - 4.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 - 5.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/0320627Název souboru Staženo Velikost Komentář Verze Přístup deRezende1.pdf 0 1 MB Vydavatelský postprint povolen - 6.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/0317276Název souboru Staženo Velikost Komentář Verze Přístup deRezende1.pdf 0 223.9 KB Vydavatelský postprint vyžádat - 7.0523286 - MÚ 2020 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Pich, Ján - Santhanamz, R.
Why are proof complexity lower bounds hard?
2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS 2019). Los Alamitos: IEEE, 2019, s. 1305-1324. Annual IEEE Symposium on Foundations of Computer Science. ISBN 978-1-7281-4952-3. ISSN 0272-5428.
[60th IEEE Annual Symposium on Foundations of Computer Science (FOCS). Baltimore (US), 09.11.2019-12.11.2019]
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: computational complexity * proof complexity * circuit lower bounds
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://ieeexplore.ieee.org/document/8948624
Trvalý link: http://hdl.handle.net/11104/0307653 - 8.0523269 - MÚ 2021 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Chen, L. - Hirahara, S. - Oliveira, I.C. - Pich, Ján - Rajgopal, N. - Santhanamz, R.
Beyond natural proofs: Hardness magnification and locality.
11th Innovations in Theoretical Computer Science Conference (ITCS 2020). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2020 - (Vidick, T.), č. článku 70. Leibniz International Proceedings in Informatics (LIPIcs), 151. ISBN 978-3-95977-134-4. ISSN 1868-8969.
[11th Innovations in Theoretical Computer Science Conference (ITCS 2020). Seattle (US), 12.01.2020-14.01.2020]
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: hardness magnification * natural proofs * minimum circuit size problem * circuit lower bounds
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://drops.dagstuhl.de/opus/volltexte/2020/11755/
Trvalý link: http://hdl.handle.net/11104/0307638 - 9.0521198 - ÚI 2021 RIV CH eng M - Část monografie knihy
Kůrková, Věra
Limitations of Shallow Networks.
Recent Trends in Learning from Data. Cham: Springer, 2020 - (Oneto, L.; Navarin, N.; Sperduti, A.; Anguita, D.), s. 129-154. Studies in Computational Intelligence, 896. ISBN 978-3-030-43882-1
Grant CEP: GA ČR(CZ) GA18-23827S
Institucionální podpora: RVO:67985807
Klíčová slova: shallow and deep networks * model complexity * probabilistic lower bounds
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0307155 - 10.0507748 - MÚ 2020 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Gavinsky, Dmitry - Lee, T. - Santha, M. - Sanyal, S.
A composition theorem for randomized query complexity via Max-conflict complexity.
46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2019 - (Baier, C.; Chatzigiannakis, I.; Flocchini, P.; Leonardi, S.), č. článku 64. Leibniz International Proceedings in Informatics (LIPIcs), 132. ISBN 978-3-95977-109-2. ISSN 1868-8969.
[46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Patras (GR), 08.07.2019-12.07.2019]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: query complexity * lower bounds
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://drops.dagstuhl.de/opus/volltexte/2019/10640/
Trvalý link: http://hdl.handle.net/11104/0298723Název souboru Staženo Velikost Komentář Verze Přístup Gavinsky.pdf 1 616.2 KB Vydavatelský postprint vyžádat