Výsledky vyhledávání
- 1.0585025 - ÚI 2025 US eng J - Článek v odborném periodiku
Cerna, David M. - Buran, M.
One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus.
ACM Transactions on Computational Logic. Accepted March 2024 (2024). ISSN 1529-3785. E-ISSN 1557-945X
Institucionální podpora: RVO:67985807
Impakt faktor: 0.5, rok: 2022
Trvalý link: https://hdl.handle.net/11104/0352793Název souboru Staženo Velikost Komentář Verze Přístup 0585025-acc.pdf 0 248.9 KB Online dostupné zde: https://dl.acm.org/doi/pdf/10.1145/3654798 Autorský postprint vyžádat - 2.0581572 US BXXS
Sentance, S. (ed.) - Grillenberger, M. (ed.)
Proceedings of the 18th WIPSCE Conference in primary and secondary computing education research.
New York: Association for Computing Machinery, 2023. ISBN 979-8-4007-0851-0 - 3.0581407 - PSÚ 2024 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Yaghobová, A. - Drobná, A. - Urban, Marek - Brom, C.
„What Is Inside a Computer?“: Preconceptions About Computer Principles in 6-9-Graders.
Proceedings of the 18th WIPSCE Conference in primary and secondary computing education research. New York: Association for Computing Machinery, 2023 - (Sentance, S.; Grillenberger, M.), (2023), č. článku 30. ISBN 979-8-4007-0851-0.
[WiPSCE Conference on Primary and Secondary Computing Education Research /18./. Cambridge (GB), 27.09.2023-29.09.2023]
Institucionální podpora: RVO:68081740
Klíčová slova: childrens * preconceptions * children * hardware * lower secondary education
Obor OECD: Psychology (including human - machine relations)
https://dl.acm.org/doi/proceedings/10.1145/3605468
Trvalý link: https://hdl.handle.net/11104/0349675Název souboru Staženo Velikost Komentář Verze Přístup 0581407 C Urban et al_What's is inside a computer_wipsce23-28.pdf 1 396.6 KB Vydavatelský postprint vyžádat - 4.0577928 - MÚA 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Lanz, V. - Hajič, Jan
Text boundaries do not provide a better segmentation of Gregorian antiphons.
DLfM ’23: Proceedings of the 10th International Conference on Digital Libraries for Musicology. New York: Association for Computing Machinery, 2023 - (Thomae, M.), s. 72-76. ISBN 979-8-4007-0833-6.
[International Conference on Digital Libraries for Musicology /10./. Milan (IT), 10.11.2023]
Grant ostatní: John Templeton Foundation(US) 61913
Program: Cultural Evolution Society Transformation Fund
Zdroj financování: N - neveřejné zdroje
Klíčová slova: digital musicology * Gregorian chant * machine learning
Obor OECD: Performing arts studies (Musicology, Theater science, Dramaturgy)
https://doi.org/10.1145/3625135.3625143
Trvalý link: https://hdl.handle.net/11104/0347008 - 5.0577927 US BXXS
Thomae, M. E. (ed.)
DLfM ’23: Proceedings of the 10th International Conference on Digital Libraries for Musicology.
New York: Association for Computing Machinery, 2023. ISBN 979-8-4007-0833-6 - 6.0574198 - MÚ 2024 RIV US eng J - Článek v odborném periodiku
Folwarczný, Lukáš
On protocols for monotone feasible interpolation.
ACM Transactions on Computation Theory. Roč. 15, 1-2 (2023), č. článku 2. ISSN 1942-3454
Institucionální podpora: RVO:67985840
Klíčová slova: circuit complexity * communication complexity * proof complexity
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1145/3583754
Trvalý link: https://hdl.handle.net/11104/0344548Název souboru Staženo Velikost Komentář Verze Přístup Folwarczny1.pdf 1 492.8 KB Vydavatelský postprint vyžádat - 7.0560295 - ÚI 2023 RIV US eng J - Článek v odborném periodiku
Jiřina, Marcel - Krayem, S.
The Distance Function Optimization for the Near Neighbors-Based Classifiers.
ACM Transactions on Knowledge Discovery from Data. Roč. 16, č. 6 (2022), č. článku 101. ISSN 1556-4681. E-ISSN 1556-472X
Grant CEP: GA MŠMT(CZ) LM2018113
Institucionální podpora: RVO:67985807
Klíčová slova: Near neighbors * classification * distance function * metric
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 4.3, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1145/3434769
Trvalý link: https://hdl.handle.net/11104/0333274 - 8.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 - 9.0557942 - ÚI 2023 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Pitra, Z. - Hanuš, M. - Koza, J. - Tumpach, Jiří - Holeňa, Martin
Interaction between Model and its Evolution Control in Surrogate-assisted CMA Evolution Strategy.
Proceedings Of The 2021 Genetic And Evolutionary Computation Conference (Gecco'21). New York: Association for Computing Machinery, 2021 - (Chicano, F.), s. 528-536. ISBN 978-1-4503-8350-9.
[Gecco 2021: Genetic and Evolutionary Computation Conference. Lille / Online (FR), 10.07.2021-14.07.2021]
Grant CEP: GA ČR(CZ) GA18-18080S
Grant ostatní: Ministerstvo školství, mládeže a tělovýchovy - GA MŠk(CZ) LM2018140
Institucionální podpora: RVO:67985807
Klíčová slova: black-box optimization * evolutionary optimization * surrogate modelling * evolution control * CMA-ES
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://dx.doi.org/10.1145/3449639.3459358
Trvalý link: http://hdl.handle.net/11104/0331826 - 10.0557941 US BXXS
Chicano, F. (ed.)
Proceedings Of The 2021 Genetic And Evolutionary Computation Conference (Gecco'21).
New York: Association for Computing Machinery, 2021. ISBN 978-1-4503-8350-9