Výsledky vyhledávání
- 1.0602173 - PSÚ 2026 US eng C - Konferenční příspěvek (zahraniční konf.)
Brom, C. - Petíř, O. - Děchtěrenko, Filip - Drobná, A. - Yaghobová, A. - Ježek, P. - Volná, K. - Kačerovská, K.
Clouds, Hacking and App Permissions: Model Lessons for Grades 5-7: Experience Report.
SIGCSE Virtual 2024: Proceedings of the 2024 on ACM Virtual Global Computing Education Conference V. 1. New York: Association for Computing Machinery, 2024, s. 26-32. ISBN 979-8-4007-0598-4.
[SIGCSE Virtual 2024 /1./ ACM Virtual Global Computing Education Conference. online (US), 05.12.2024-08.12.2024]
Institucionální podpora: RVO:68081740
Klíčová slova: app permissions * cloud * computer science * constructivism * education * err framework * hacking * k-8
Obor OECD: Psychology (including human - machine relations)
Web výsledku:
https://dl.acm.org/doi/proceedings/10.1145/3649165DOI: https://doi.org/10.1145/3649165.3690133
Trvalý link: https://hdl.handle.net/11104/0359392Název souboru Staženo Velikost Komentář Verze Přístup 0602173 C Děchtěrenko et al_Clouds, Hacking and App Permissions.pdf 0 956 KB Vydavatelský postprint vyžádat - 2.0579671 - FLÚ 2025 eng U - Uspořádání akce
Hříbek, Tomáš - Černý, David
IACAP 2023. The International Association of Computing and Philosophy Conference.
[Prague, 03.07.2023-05.07.2023, (K-WRD 90/86)]
Grant ostatní: AV ČR(CZ) StrategieAV21/26
Program: StrategieAV
Institucionální podpora: RVO:67985955 ; RVO:68378122
Klíčová slova: philosophy of computing * artificial intelligence * computer science
Obor OECD: Philosophy, History and Philosophy of science and technology
Web výsledku:
https://www.iacap.org/iacap-2023-prague-czech-republic/
Trvalý link: https://hdl.handle.net/11104/0358097 - 3.0574237 - ÚI 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Fernández-Duque, David - Gougeon, Q.
Fixed Point Logics on Hemimetric Spaces.
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings. New York: IEEE, 2023, č. článku 190687. 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]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Computer science * Semantics * Extraterrestrial measurements * Behavioral sciences * Proposals * Standards
Obor OECD: Pure mathematics
Web výsledku:
https://dx.doi.org/10.1109/LICS56636.2023.10175784DOI: https://doi.org/10.1109/LICS56636.2023.10175784
Trvalý link: https://hdl.handle.net/11104/0344576 - 4.0565804 - FLÚ 2023 CH eng O - Ostatní výsledky
Nuñez Hernández, Nancy Abigail (ed.) - Lundgren, B. (ed.)
Philosophy of Computing. Themes from IACAP 2019.
Cham: Springer, 2022. Philosophical Studies Series, 143.
Grant ostatní: AV ČR(CZ) AP1602
Program: Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985955
Klíčová slova: philosophy of artificial inteligence * philosophy of computer science * ethics * epistemology * distributed computing
Obor OECD: Philosophy, History and Philosophy of science and technology
Web výsledku:
https://doi.org/10.1007/978-3-030-75267-5DOI: https://doi.org/10.1007/978-3-030-75267-5
Trvalý link: https://hdl.handle.net/11104/0340578 - 5.0559659 - FLÚ 2023 CH eng O - Ostatní výsledky
Nuñez Hernández, Nancy Abigail - Lundgren, B.
Preface.
2022
Institucionální podpora: RVO:67985955
Klíčová slova: philosophy of artificial intelligence * philosophy of computer science * ethics and new epistemology
Obor OECD: Philosophy, History and Philosophy of science and technology
Web výsledku:
https://link.springer.com/book/10.1007/978-3-030-75267-5
Trvalý link: https://hdl.handle.net/11104/0332907 - 6.0551098 - MÚ 2022 RIV DE eng J - Článek v odborném periodiku
Koucký, M. - Rödl, V. - Talebanfard, Navid
A separator theorem for hypergraphs and a CSP-SAT algorithm.
Logical Methods in Computer Science. Roč. 17, č. 4 (2021), č. článku 17. ISSN 1860-5974. E-ISSN 1860-5974
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: computational complexity * logic in computer science * computer science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.591, rok: 2021 ; AIS: 0.468, rok: 2021
Způsob publikování: Open access
Web výsledku:
https://doi.org/10.46298/lmcs-17(4:17)2021DOI: https://doi.org/10.46298/lmcs-17(4:17)2021
Trvalý link: http://hdl.handle.net/11104/0326454Název souboru Staženo Velikost Komentář Verze Přístup Talebanfard.pdf 6 403.2 KB Vydavatelský postprint povolen - 7.0549290 - MÚ 2022 RIV CZ cze J - Článek v odborném periodiku
Pudlák, Pavel
Abelova cena pro Aviho Wigdersona.
[The Abel Prize for Avi Wigderson.]
Pokroky matematiky, fyziky & astronomie. Roč. 66, č. 3 (2021), s. 149-156. ISSN 0032-2423
Institucionální podpora: RVO:67985840
Klíčová slova: Abel prize * discrete mathematics * theoretical computer science
Obor OECD: Pure mathematics
Způsob publikování: Open access s časovým embargem
Web výsledku:
http://hdl.handle.net/10338.dmlcz/149217
Trvalý link: http://hdl.handle.net/11104/0325313Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 3 566.1 KB Vydavatelský postprint povolen - 8.0539966 - MÚ 2021 RIV eng U - Uspořádání akce
Dvořák, Z. - Hladký, Jan
Prague Summer School on Discrete Mathematics 2020.
[Prague, 24.08.2020-28.08.2020, (W-WRD 70/66)]
Institucionální podpora: RVO:67985840
Klíčová slova: topology * theoretical computer science * graph theory
Obor OECD: Pure mathematics
Web výsledku:
http://pssdm.math.cas.cz/2020
Trvalý link: http://hdl.handle.net/11104/0317649 - 9.0537046 - ÚI 2021 RIV CH eng G - Konferenční sborník (zahraniční konf.)
Martins, M. A. (ed.) - Sedlár, Igor (ed.)
Dynamic Logic. New Trends and Applications.
Cham: Springer, 2020. 295 s. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: architecting * architecture verification and validation * artificial intelligence * computer programming * computer science * computer systems * dynamic logic * embedded systems * epistemic logic * formal languages * formal logic * linguistics * mathematics * modal logic * model checking * multiagent system * semantics * software architecture * software design * software engineering
Obor OECD: Pure mathematics
Web výsledku:
https://link.springer.com/book/10.1007/978-3-030-65840-3DOI: https://doi.org/10.1007/978-3-030-65840-3
Trvalý link: http://hdl.handle.net/11104/0314799 - 10.0501039 - ÚI 2020 GB eng B - Monografie kniha jako celek
Hájek, Petr - Pudlák, Pavel
Metamathematics of First-Order Arithmetic.
Cambridge: Cambridge University Press, 2017. 474 s. Perspectives in Logic. ISBN 978-1-107-16841-1
Institucionální podpora: RVO:67985807 ; RVO:67985840
Klíčová slova: Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
Obor OECD: Pure mathematics; Pure mathematics (MU-W)
DOI: https://doi.org/10.1017/9781316717271
Trvalý link: http://hdl.handle.net/11104/0293053Název souboru Staženo Velikost Komentář Verze Přístup 0501039-titlist.pdf 8 138.3 KB volne online Vydavatelský postprint povolen