Výsledky vyhledávání
- 1.0585936 - MÚ 2025 RIV US eng J - Článek v odborném periodiku
Shen, L. - Miao, S. - Lai, A. - Komenda, Jan
Verification of initial-and-final-state opacity for unambiguous weighted automata.
Isa Transactions. Roč. 148, May (2024), s. 237-246. ISSN 0019-0578. E-ISSN 1879-2022
Institucionální podpora: RVO:67985840
Klíčová slova: initial-and-final-state opacity * labeled observer * unambiguous weighted automaton
Obor OECD: Automation and control systems
Impakt faktor: 7.3, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.isatra.2024.03.019
Trvalý link: https://hdl.handle.net/11104/0353570Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 0 856.9 KB Vydavatelský postprint vyžádat - 2.0578399 - MÚ 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Miao, S. - Lai, A. - Yu, X. - Lahaye, S. - Komenda, Jan
Verification of detectability for unambiguous weighted automata using self-composition.
9th International Conference on Control, Decision and Information Technologies (CoDIT). Los Alamitos: IEEE, 2023 - (Califano, C.; Jabeur Telmoud, A.; Herrera Viedma, E.), s. 251-256. ISBN 979-8-3503-1141-9.
[9th International Conference on Control, Decision and Information Technologies (CoDIT). Rome (IT), 03.07.2023-06.07.2023]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event system * unambiguous weighted automaton * self-composition * detectability * polynomial time
Obor OECD: Automation and control systems
https://doi.org/10.1109/CoDIT58514.2023.10284082
Trvalý link: https://hdl.handle.net/11104/0347401Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 0 465.3 KB Vydavatelský postprint vyžádat - 3.0546279 - ÚI 2022 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Plátek, M. - Mráz, F. - Pardubská, D. - Průša, D. - Šíma, Jiří
On Separations of LR(0)-Grammars by Two Types of Pumping Patterns.
Proceedings of the 21st Conference Information Technologies – Applications and Theory (ITAT 2021). Aachen: Technical University & CreateSpace Independent Publishing, 2021 - (Brejová, B.; Ciencialová, L.; Holeňa, M.; Mráz, F.; Pardubská, D.; Plátek, M.; Vinař, T.), s. 140-146. ISSN 1613-0073.
[ITAT 2021: Information Technologies - Applications and Theory /21./. Heľpa (SK), 24.09.2021-28.09.2021]
Grant CEP: GA ČR(CZ) GA19-05704S
Institucionální podpora: RVO:67985807
Klíčová slova: deterministic context-free language * restarting automaton * pumping
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ceur-ws.org/Vol-2962/paper05.pdf
Trvalý link: http://hdl.handle.net/11104/0322818Název souboru Staženo Velikost Komentář Verze Přístup 0546279-aoa.pdf 3 174.8 KB OA CC BY 4.0 Vydavatelský postprint povolen - 4.0543570 - ÚI 2022 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Jančar, P. - Šíma, Jiří
The Simplest Non-Regular Deterministic Context-Free Language.
46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Dagstuhl: Dagstuhl Publishing, 2021 - (Bonchi, F.; Puglisi, S.), č. článku 63. LIPIcs - Leibniz International Proceedings in Informatics, 202. ISSN 1868-8969.
[MFCS 2021: International Symposium on Mathematical Foundations of Computer Science /46./. Tallinn (EE), 23.08.2021-27.08.2021]
Grant CEP: GA ČR(CZ) GA19-05704S
Institucionální podpora: RVO:67985807
Klíčová slova: deterministic context-free language * truth-table reduction * Mealy automaton * pushdown automaton
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/0320756Název souboru Staženo Velikost Komentář Verze Přístup 0543570-aoa.pdf 9 1 MB OA CC BY 4.0 Vydavatelský postprint povolen - 5.0533617 - ÚI 2021 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Mráz, F. - Pardubská, D. - Plátek, Martin - Šíma, Jiří
Pumping Deterministic Monotone Restarting Automata and DCFL.
Proceedings of the 20th Conference Information Technologies - Applications and Theory. Aachen: Technical University & CreateSpace Independent Publishing, 2020 - (Holeňa, M.; Horváth, T.; Kelemenová, A.; Mráz, F.; Pardubská, D.; Plátek, M.; Sosík, P.), s. 51-58. CEUR Workshop Proceedings, 2718. ISSN 1613-0073.
[ITAT 2020: Information Technologies - Applications and Theory /20./. Oravská Lesná (SK), 18.09.2020-22.09.2020]
Grant CEP: GA ČR(CZ) GA19-05704S
Institucionální podpora: RVO:67985807
Klíčová slova: deterministic context-free language * restarting automaton * pumping
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ceur-ws.org/Vol-2718/paper13.pdf
Trvalý link: http://hdl.handle.net/11104/0311953Název souboru Staženo Velikost Komentář Verze Přístup 0533617-a.pdf 1 199.6 KB OA CC BY 4.0 Vydavatelský postprint povolen - 6.0517855 - ÚI 2020 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Plátek, Martin - Mráz, F. - Pardubská, D.
Lexically Syntactic Characterization by Restarting Automata.
ITAT 2019: Information Technologies – Applications and Theory. Aachen: Technical University & CreateSpace Independent Publishing, 2019 - (Barančíková, P.; Holeňa, M.; Horváth, T.; Pleva, M.; Rosa, R.), s. 104-111. CEUR Workshop Proceeding, 2473. ISSN 1613-0073.
[ITAT 2019: Conference Information Technologies - Applications and Theory /19./. Donovaly (SK), 20.09.2019-24.09.2019]
Grant CEP: GA ČR(CZ) GA19-05704S
Institucionální podpora: RVO:67985807
Klíčová slova: Restarting automaton * lexicalized syntax * correctness preserving property
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ceur-ws.org/Vol-2473/paper1.pdf
Trvalý link: http://hdl.handle.net/11104/0303106Název souboru Staženo Velikost Komentář Verze Přístup 0517855-aw.pdf 1 454.5 KB volně online, CC BY 4.0 Vydavatelský postprint povolen - 7.0517853 - ÚI 2023 RIV DE eng J - Článek v odborném periodiku
Mráz, F. - Otto, F. - Pardubská, D. - Plátek, Martin
Lexicalized Syntactic Analysis by Two-Way Restarting Automata.
Journal of Automata, Languages and Combinatorics. Roč. 26, 1-2 (2021), s. 145-171. ISSN 1430-189X. E-ISSN 2567-3785
Grant CEP: GA ČR(CZ) GA19-05704S
Institucionální podpora: RVO:67985807
Klíčová slova: analysis by reduction * two-way restarting automaton * h-lexicalization * contextually transparent language * mildly context-sensitive language
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Způsob publikování: Omezený přístup
http://dx.doi.org/10.25596/jalc-2021-145
Trvalý link: http://hdl.handle.net/11104/0303102 - 8.0517845 - ÚI 2020 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Mráz, F. - Otto, F. - Pardubská, D. - Plátek, Martin
Lexicalized Syntactic Analysis by Restarting Automata.
Proceedings of the Prague Stringology Conference 2019. Prague: Czech Technical University in Prague, 2019 - (Holub, J.; Žďárek, J.), s. 69-83. ISBN 978-80-01-06618-8.
[Prague Stringology Conference 2019. Prague (CZ), 26.08.2019-28.08.2019]
Grant CEP: GA ČR(CZ) GA19-05704S
Institucionální podpora: RVO:67985807
Klíčová slova: Restarting automaton * h-lexicalization * lexical disambiguation
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://www.stringology.org/papers/PSC2019.pdf
Trvalý link: http://hdl.handle.net/11104/0303097Název souboru Staženo Velikost Komentář Verze Přístup 0517845-aw.pdf 2 243.3 KB volně online Vydavatelský postprint povolen - 9.0505945 - ÚI 2020 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Šíma, Jiří - Plátek, Martin
One Analog Neuron Cannot Recognize Deterministic Context-Free Languages.
Neural Information Processing. Proceedings, Part III. Heidelberg: Springer, 2019 - (Gedeon, T.; Wong, K.; Lee, M.), s. 77-89. Lecture Notes on Computer Science, 11955. ISBN 978-3-030-36717-6.
[ICONIP 2019. International Conference on Neural Information Processing of the Asia-Pacific Neural Network /26./. Sydney (AU), 12.12.2019-15.12.2019]
Grant CEP: GA ČR(CZ) GA19-05704S
Institucionální podpora: RVO:67985807
Klíčová slova: Neural computing * Analog neuron hierarchy * Deterministic context-free language * Restart automaton * Chomsky hierarchy
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://www.springer.com/gp/book/9783030367176
Trvalý link: http://hdl.handle.net/11104/0297270Název souboru Staženo Velikost Komentář Verze Přístup 0505945-afin.pdf 10 326.5 KB Vydavatelský postprint vyžádat - 10.0502583 - ÚI 2020 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Šíma, Jiří
Counting with Analog Neurons.
Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation. Proceedings, Part I. Cham: Springer, 2019 - (Tetko, I.; Kůrková, V.; Karpov, P.; Theis, F.), s. 389-400. Lecture Notes in Computer Science, 11727. ISBN 978-3-030-30486-7. ISSN 0302-9743.
[ICANN 2019. International Conference on Artificial Neural Networks /28./. Munich (DE), 17.09.2019-19.09.2019]
Grant CEP: GA ČR(CZ) GA19-05704S
Institucionální podpora: RVO:67985807
Klíčová slova: Neural computing * Analog state * Deterministic pushdown automaton * Deterministic context-free language * Chomsky hierarchy
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/0294486Název souboru Staženo Velikost Komentář Verze Přístup 0502583-sub.pdf 4 316.6 KB Verze submit Autorský preprint vyžádat