Výsledky vyhledávání
- 1.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
https://dx.doi.org/10.1109/LICS56636.2023.10175784
Trvalý link: https://hdl.handle.net/11104/0344576 - 2.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
https://doi.org/10.1007/978-3-030-75267-5
Trvalý link: https://hdl.handle.net/11104/0340578 - 3.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
https://link.springer.com/book/10.1007/978-3-030-75267-5
Trvalý link: https://hdl.handle.net/11104/0332907 - 4.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
Způsob publikování: Open access
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 5 403.2 KB Vydavatelský postprint povolen - 5.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
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 - 6.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
http://pssdm.math.cas.cz/2020
Trvalý link: http://hdl.handle.net/11104/0317649 - 7.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
https://link.springer.com/book/10.1007/978-3-030-65840-3
Trvalý link: http://hdl.handle.net/11104/0314799 - 8.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)
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 - 9.0500645 - MÚ 2019 RIV eng U - Uspořádání akce
Dvořák, Z. - Hladký, Jan
Prague Summer School on Discrete Mathematics 2018.
[Prague, 16.07.2018-20.07.2018, (W-WRD 45/34)]
Institucionální podpora: RVO:67985840
Klíčová slova: topology * theoretical computer science * graph theory
Obor OECD: Pure mathematics
https://calendar.math.cas.cz/content/prague-summer-school-discrete-mathematics
Trvalý link: http://hdl.handle.net/11104/0292728 - 10.0491993 - ÚI 2019 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Šlapák, M. - Neruda, Roman
Matching Subtrees in Genetic Programming Crossover Operator.
ICNC-FSKD 2017. Proceedings of International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery. Piscataway: IEEE, 2017, s. 208-213. ISBN 978-1-5386-2165-3.
[ICNC-FSKD 2017. International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery /13./. Guilin (CN), 29.07.2017-31.07.2017]
Grant CEP: GA ČR GA15-19877S
Grant ostatní: ČVUT(CZ) SGS17/210/OHK3/3T/18
Institucionální podpora: RVO:67985807
Klíčová slova: Semantics * Genetic programming * Benchmark testing * Encoding * Standards * Computer science * Electronic mail
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/0285591