Search results
- 1.0574237 - ÚI 2024 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : Computer science * Semantics * Extraterrestrial measurements * Behavioral sciences * Proposals * Standards
OECD category: Pure mathematics
https://dx.doi.org/10.1109/LICS56636.2023.10175784
Permanent Link: https://hdl.handle.net/11104/0344576 - 2.0565804 - FLÚ 2023 CH eng O - Others
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 - others:AV ČR(CZ) AP1602
Program: Akademická prémie - Praemium Academiae
Institutional support: RVO:67985955
Keywords : philosophy of artificial inteligence * philosophy of computer science * ethics * epistemology * distributed computing
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-75267-5
Permanent Link: https://hdl.handle.net/11104/0340578 - 3.0559659 - FLÚ 2023 CH eng O - Others
Nuñez Hernández, Nancy Abigail - Lundgren, B.
Preface.
2022
Institutional support: RVO:67985955
Keywords : philosophy of artificial intelligence * philosophy of computer science * ethics and new epistemology
OECD category: Philosophy, History and Philosophy of science and technology
https://link.springer.com/book/10.1007/978-3-030-75267-5
Permanent Link: https://hdl.handle.net/11104/0332907 - 4.0551098 - MÚ 2022 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GX19-27871X
Institutional support: RVO:67985840
Keywords : computational complexity * logic in computer science * computer science
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.591, year: 2021
Method of publishing: Open access
https://doi.org/10.46298/lmcs-17(4:17)2021
Permanent Link: http://hdl.handle.net/11104/0326454File Download Size Commentary Version Access Talebanfard.pdf 5 403.2 KB Publisher’s postprint open-access - 5.0549290 - MÚ 2022 RIV CZ cze J - Journal Article
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
Institutional support: RVO:67985840
Keywords : Abel prize * discrete mathematics * theoretical computer science
OECD category: Pure mathematics
Method of publishing: Open access with time embargo
http://hdl.handle.net/10338.dmlcz/149217
Permanent Link: http://hdl.handle.net/11104/0325313File Download Size Commentary Version Access Pudlak1.pdf 3 566.1 KB Publisher’s postprint open-access - 6.0539966 - MÚ 2021 RIV eng U - Conference, Workshop Arrangement
Dvořák, Z. - Hladký, Jan
Prague Summer School on Discrete Mathematics 2020.
[Prague, 24.08.2020-28.08.2020, (W-WRD 70/66)]
Institutional support: RVO:67985840
Keywords : topology * theoretical computer science * graph theory
OECD category: Pure mathematics
http://pssdm.math.cas.cz/2020
Permanent Link: http://hdl.handle.net/11104/0317649 - 7.0537046 - ÚI 2021 RIV CH eng G - Proceedings (international conference)
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]
Institutional support: RVO:67985807
Keywords : 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
OECD category: Pure mathematics
https://link.springer.com/book/10.1007/978-3-030-65840-3
Permanent Link: http://hdl.handle.net/11104/0314799 - 8.0501039 - ÚI 2020 GB eng B - Monography
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
Institutional support: RVO:67985807 ; RVO:67985840
Keywords : Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
OECD category: Pure mathematics; Pure mathematics (MU-W)
Permanent Link: http://hdl.handle.net/11104/0293053File Download Size Commentary Version Access 0501039-titlist.pdf 8 138.3 KB volne online Publisher’s postprint open-access - 9.0500645 - MÚ 2019 RIV eng U - Conference, Workshop Arrangement
Dvořák, Z. - Hladký, Jan
Prague Summer School on Discrete Mathematics 2018.
[Prague, 16.07.2018-20.07.2018, (W-WRD 45/34)]
Institutional support: RVO:67985840
Keywords : topology * theoretical computer science * graph theory
OECD category: Pure mathematics
https://calendar.math.cas.cz/content/prague-summer-school-discrete-mathematics
Permanent Link: http://hdl.handle.net/11104/0292728 - 10.0491993 - ÚI 2019 RIV US eng C - Conference Paper (international conference)
Š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]
R&D Projects: GA ČR GA15-19877S
Grant - others:ČVUT(CZ) SGS17/210/OHK3/3T/18
Institutional support: RVO:67985807
Keywords : Semantics * Genetic programming * Benchmark testing * Encoding * Standards * Computer science * Electronic mail
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: http://hdl.handle.net/11104/0285591