Výsledky vyhledávání
- 1.0584210 - ÚFP 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Krása, J. - Nassisi, V. - Burian, Tomáš - Hájková, V. - Chalupský, J. - Jelínek, Šimon - Frantálová, K. - Krupka, Michal - Kuglerová, Z. - Singh, Sushil Kumar - Vozda, V. - Vyšín, L. - Wild, J. - Šmíd, M. - Perez-Martin, P. - Pan, X. - Kühlman, M. - Pintor, J. - Cikhardt, J. - Dreimann, M. - Eckermann, D. - Rosenthal, F. - Vinko, S. M. - Forte, A. - Gawne, T. - Campbell, T. - Ren, S. - Shi, Y. F. - Hutchinson, T. - Humphries, O. - Preston, T. - Makita, M. - Nakatsutsumi, M. - Köhler, A. - Harmand, M. - Toleikis, S. - Falk, K. - Juha, L.
Ion emission from plasmas produced by femtosecond pulses of short-wavelength free-electron laser radiation focused on massive targets: an overview and comparison with long-wavelength laser ablation.
Proceedings of SPIE - The International Society for Optical Engineering. Vol. 12578. Bellingham: SPIE, 2023, Roč. 12578 (2023), č. článku 125780J. ISBN 9781510662766. ISSN 0277-786X.
[Conference on Optics Damage and Materials Processing by EUV/X-ray Radiation VIII (XDam8). Prague (CZ), 24.04.2023-26.04.2023]
Grant CEP: GA MŠMT(CZ) LM2023068; GA ČR(CZ) GA20-08452S
Institucionální podpora: RVO:61389021
Klíčová slova: Ablation * femtosecond pulses * free-electron laser * ion acoustic velocity * ion detector function * ion diagnostics * ion rarefaction * ion scaling * nanosecond pulses * soft-x-ray laser * UV excimer laser
Obor OECD: Fluids and plasma physics (including surface physics)
https://www.spiedigitallibrary.org/conference-proceedings-of-spie/12578/2670113/Ion-emission-from-plasmas-produced-by-femtosecond-pulses-of-short/10.1117/12.2670113.short
Trvalý link: https://hdl.handle.net/11104/0352179 - 2.0579478 - MÚ 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Jakl, Tomáš - Marsden, D. - Shah, N.
A categorical account of composition methods in logic.
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings. New York: IEEE, 2023, s. 1-14. ISBN 979-8-3503-3588-0.
[LICS 2023: Annual ACM/IEEE Symposium on Logic in Computer Science /38./. Boston (US), 26.06.2023-29.06.2023]
Institucionální podpora: RVO:67985840
Klíčová slova: computer circuits * equivalence classes * finite model theory
Obor OECD: Pure mathematics
https://doi.org/10.1109/LICS56636.2023.10175751
Trvalý link: https://hdl.handle.net/11104/0348314 - 3.0546261 - MÚ 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Pich, Ján - Santhanamz, R.
Strong co-nondeterministic lower bounds for NP cannot be proved feasibly.
STOC 2021: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. New York: ACM, 2021 - (Khuller, S.; Vassilevska Williams, V.), s. 223-233. ISBN 978-1-4503-8053-9.
[53rd Annual ACM SIGACT Symposium on Theory of Computing. Virtual (IT), 21.06.2021-25.06.2021]
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: Cook’s theory
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.3451117
Trvalý link: http://hdl.handle.net/11104/0322805 - 4.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 - 5.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