Výsledky vyhledávání
- 1.0585930 - ÚI 2025 RIV PT eng C - Konferenční příspěvek (zahraniční konf.)
Kolárik, Tomáš - Ratschan, Stefan - Surynek, P.
Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence (Volume 1). Setubal: SCitePress, 2024 - (Rocha, A.; Steels, L.; an den Herik, J.), s. 47-58. ISBN 978-989-758-680-4. ISSN 2184-433X.
[ICAART 2024: International Conference on Agents and Artificial Intelligence /16./. Rome (IT), 24.02.2024-26.02.2024]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: Multi-Agent Path Finding * Satisfiability Modulo Theories
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.5220/0012379700003636
Trvalý link: https://hdl.handle.net/11104/0353563Název souboru Staženo Velikost Komentář Verze Přístup 0585930-oaf.pdf 1 305.5 KB OA CC BY-NC-ND 4.0 Vydavatelský postprint povolen - 2.0585146 - ÚI 2025 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Acharyya, A. - Keikha, Vahideh - Saumell, M. - Silveira, R.I.
Computing Largest Minimum Color-Spanning Intervals of Imprecise Points.
LATIN 2024: Theoretical Informatics. Proceedings, part I. Cham: Springer, 2024 - (Soto, J.; Wiese, A.), s. 81-96. Lecture Notes in Computer Science, 14578. ISBN 978-3-031-55597-8.
[LATIN 2024: The Latin American Symposium /16./. Puerto Varas (CL), 18.03.2024-22.03.2024]
Klíčová slova: Color-spanning interval * Imprecise points * Algorithms
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: https://hdl.handle.net/11104/0352881 - 3.0581988 - ÚI 2024 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Davoodi, Akbar - Piguet, Diana - Řada, Hanka - Sanhueza-Matamala, N.
Beyond the Erdős–Sós conjecture.
EUROCOMB’23. Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications. Brno: MUNI Press, 2023 - (Kráľ, D.; Nešetřil, J.), s. 328-335. E-ISSN 2788-3116.
[EUROCOMB 2023: European Conference on Combinatorics, Graph Theory and Applications /12./. Prague (CZ), 28.08.2023-01.09.2023]
Grant CEP: GA ČR(CZ) GA19-08740S
Institucionální podpora: RVO:67985807
Klíčová slova: conjecture * Erdős-Sós conjecture
Obor OECD: Pure mathematics
https://doi.org/10.5817/CZ.MUNI.EUROCOMB23-045
Trvalý link: https://hdl.handle.net/11104/0350124Název souboru Staženo Velikost Komentář Verze Přístup 0581988-aoa.pdf 1 414.2 KB OA CC BY NC ND 4.0 Autorský preprint povolen - 4.0580726 - ÚI 2024 RIV PT eng C - Konferenční příspěvek (zahraniční konf.)
Korel, L. - Behr, A. S. - Kockmann, N. - Holeňa, Martin
Using Paraphrasers to Detect Duplicities in Ontologies.
Proceedings of the 15th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2. Setubal: SciTePress, 2023 - (Aveiro, D.; Dietz, J.; Poggi, A.; Bernardino, J.), s. 40-49. ISBN 978-989-758-671-2. ISSN 2184-3228.
[KEOD 2023: Conference on Knowledge Engineering and Ontology Development /15./. Rome / hybrid (IT), 13.11.2023-15.11.2023]
Výzkumná infrastruktura: ELIXIR CZ III - 90255; e-INFRA CZ II - 90254
Institucionální podpora: RVO:67985807
Klíčová slova: Classifiers * Duplicity Detection * Ontologies * Paraphrasers * Representation Learning * Semantic Similarity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.5220/0012164500003598
Trvalý link: https://hdl.handle.net/11104/0349480Název souboru Staženo Velikost Komentář Verze Přístup 0580726-aoa.pdf 1 412.7 KB OA CC BY-NC-ND 4.0 Vydavatelský postprint povolen - 5.0579713 - ÚI 2024 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Tumpach, J. - Koza, J. - Holeňa, Martin
Improving Optimization With Gaussian Processes in the Covariance Matrix Adaptation Evolution Strategy.
Proceedings of the 23st Conference Information Technologies – Applications and Theory (ITAT 2023). Aachen: Technical University & CreateSpace Independent Publishing, 2023 - (Brejová, B.; Ciencialová, L.; Holeňa, M.; Jajcay, R.; Jajcayová, T.; Lexa, M.; Mráz, F.; Pardubská, D.; Plátek, M.), s. 82-88. CEUR Workshop Proceedings, 3498. ISSN 1613-0073.
[ITAT 2023: Conference Information Technologies – Applications and Theory /23./. Tatranské Matliare (SK), 22.09.2023-26.09.2023]
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 * covariance matrix adaptation evolution strategy * surrogate modelling * Gaussian processes
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://ceur-ws.org/Vol-3498/paper10.pdf
Trvalý link: https://hdl.handle.net/11104/0348533 - 6.0570721 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kolárik, T. - Ratschan, Stefan
Railway Scheduling Using Boolean Satisfiability Modulo Simulations.
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Cham: Springer, 2023 - (Chechik, M.; Katoen, J.; Leucker, M.), s. 56-73. Lecture Notes in Computer Science, 14000. ISBN 978-3-031-27480-0. ISSN 0302-9743.
[FM 2023: International Symposium on Formal Methods /25./. Lübeck (DE), 06.03.2023-10.03.2023]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: planning * scheduling * Boolean satisfiability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.1007/978-3-031-27481-7_5
Trvalý link: https://hdl.handle.net/11104/0342060 - 7.0565961 - ÚI 2023 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Korel, L. - Behr, A. S. - Kockmann, N. - Holeňa, Martin
Using Artificial Neural Networks to Determine Ontologies Most Relevant to Scientific Texts.
Proceedings of the 22st Conference Information Technologies – Applications and Theory (ITAT 2022). Aachen: Technical University & CreateSpace Independent Publishing, 2022 - (Ciencialová, L.; Holeňa, M.; Jajcay, R.; Jajcayová, R.; Mráz, F.; Pardubská, D.; Plátek, M.), s. 44-54. ISSN 1613-0073.
[ITAT 2022: Conference Information Technologies - Applications and Theory /22./. Zuberec (SK), 23.09.2022-27.09.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: ontology * text data * text preprocessing * text representation learning * text classification
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://ceur-ws.org/Vol-3226/paper5.pdf
Trvalý link: https://hdl.handle.net/11104/0337426 - 8.0565960 - ÚI 2023 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Yorsh, U. - Behr, A. S. - Kockmann, N. - Holeňa, Martin
Text-to-Ontology Mapping via Natural Language Processing Models.
Proceedings of the 22st Conference Information Technologies – Applications and Theory (ITAT 2022). Aachen: Technical University & CreateSpace Independent Publishing, 2022 - (Ciencialová, L.; Holeňa, M.; Jajcay, R.; Jajcayová, R.; Mráz, F.; Pardubská, D.; Plátek, M.), s. 28-34. ISSN 1613-0073.
[ITAT 2022: Conference Information Technologies - Applications and Theory /22./. Zuberec (SK), 23.09.2022-27.09.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: text analysis * language models * fastText * BERT * matching text to ontologies
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://ceur-ws.org/Vol-3226/paper3.pdf
Trvalý link: https://hdl.handle.net/11104/0337425 - 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.0556720 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Onderka, J. - Ratschan, Stefan
Fast Three-Valued Abstract Bit-Vector Arithmetic.
Verification, Model Checking, and Abstract Interpretation. Cham: Springer, 2022 - (Finkbeiner, B.; Wies, T.), s. 242-262. Lecture Notes on Computer Science, 13182. ISBN 978-3-030-94582-4. ISSN 0302-9743.
[VMCAI 2022: International Conference on Verification, Model Checking, and Abstract Interpretation /23./. Philadelphia (US), 16.01.2022-18.01.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Formal verification * Three-valued abstraction * Computer arithmetics * Addition and multiplication * Pseudo-Boolean modular inequality
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://dx.doi.org/10.1007/978-3-030-94583-1_12
Trvalý link: http://hdl.handle.net/11104/0330868