Výsledky vyhledávání
- 1.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 - 2.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 - 3.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 - 4.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 - 5.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 - 6.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 - 7.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 - 8.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 - 9.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 - 10.0472477 - ÚI 2017 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Šíma, Jiří
Energy-Time Tradeoff in Recurrent Neural Nets.
Artificial Neural Networks. Methods and Applications in Bio-/Neuroinformatics. Cham: Springer, 2015 - (Koprinkova-Hristova, P.; Mladenov, V.; Kasabov, N.), s. 51-62. Springer Series in Bio-/Neuroinformatics, 4. ISBN 978-3-319-09902-6. ISSN 2193-9349.
[ICANN 2013. International Conference on Artificial Neural Networks /23./. Sofia (BG), 10.09.2013-13.09.2013]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: energy complexity * recurrent neural network * finite automaton * energy-time tradeoff
Kód oboru RIV: IN - Informatika
https://link.springer.com/content/pdf/bfm:978-3-319-09903-3/1
Trvalý link: http://hdl.handle.net/11104/0269779Název souboru Staženo Velikost Komentář Verze Přístup a0472477.pdf 2 272.2 KB Vydavatelský postprint vyžádat 0472477.pdf 1 648.5 KB Autorský preprint povolen