Keywords
informační technologie, superpočítač, bezpečnost

Key words in English
information technology, security, safety

LQ1602

Czech

Hruška Tomáš, prof. Ing., CSc. - principal person responsible
Ali Anas - fellow researcher
Bambušek Daniel, Ing. - fellow researcher
Barabas Maroš, Ing., Ph.D. - fellow researcher
Bartík Vladimír, Ing., Ph.D. - fellow researcher
Bartl Vojtěch, Ing., Ph.D. - fellow researcher
Bařina David, Ing., Ph.D. - fellow researcher
Baskar Murali Karthick, Ing., Ph.D. - fellow researcher
Behúň Kamil, Ing. - fellow researcher
Beneš Karel, Ing. - fellow researcher
Beran Vítězslav, doc. Ing., Ph.D. - fellow researcher
Bidlo Michal, doc. Ing., Ph.D. - fellow researcher
Bordovský Gabriel, Ing. - fellow researcher
Budiský Jakub, Ing. - fellow researcher
Burget Lukáš, doc. Ing., Ph.D. - fellow researcher
Burget Radek, doc. Ing., Ph.D. - fellow researcher
Burgetová Ivana, Ing., Ph.D. - fellow researcher
Čadík Martin, doc. Ing., Ph.D. - fellow researcher
Čekan Ondřej, Ing., Ph.D. - fellow researcher
Černocký Jan, prof. Dr. Ing. - fellow researcher

Department of Information Systems
- responsible department (29.1.2016 - not assigned)
Faculty of Information Technology
- co-beneficiary (29.1.2016 - 31.12.2020)

HYNEK, J.; RUSŇÁK, V. Towards Interactive Geovisualization Authoring Toolkit for Industry Use Cases. In Communications in Computer and Information Science. Volume 1691 CCIS. Cham: Springer Nature Switzerland AG, 2023. p. 232-256. ISBN: 978-3-031-25476-5.
Detail

BAŘINA, D. Experimental lossless data compressor. Microprocessors and Microsystems, 2023, vol. 98, no. 4, p. 104803-104803. ISSN: 0141-9331.
Detail

HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019. p. 1-19.
Detail

HAVEL, M.; MEDUNA, A. On Elimination of Erasing Rules from E0S Grammars. Computer Science Journal of Moldova, 2022, vol. 30, no. 2, p. 135-147. ISSN: 1561-4042.
Detail

PLASCENCIA, A.; BERAN, V.; ROZMAN, J. Working Progress Towards Lawn Mower Automation. In Proceedings of the 17th International Conference on Informatics in Control, Automation and Robotics. Setúbal: SciTePress - Science and Technology Publications, 2020. p. 99-108. ISBN: 978-989-758-442-8.
Detail

HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). New York: Springer International Publishing, 2020. p. 1-33.
Detail

HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Automata Terms in a Lazy WSkS Decision Procedure. JOURNAL OF AUTOMATED REASONING, 2021, vol. 65, no. 7, p. 971-999. ISSN: 0168-7433.
Detail

KODYM, O.; HRADIŠ, M. TG2: text-guided transformer GAN for restoring document readability and perceived quality. International Journal on Document Analysis and Recognition, 2021, vol. 2021, no. 1, p. 1-14. ISSN: 1433-2825.
Detail

BAŘINA, D.; ŠOLONY, M.; CHLUBNA, T.; DLABAJA, D.; KLÍMA, O.; ZEMČÍK, P. Comparison of light field compression methods. MULTIMEDIA TOOLS AND APPLICATIONS, 2022, vol. 81, no. 2, p. 2517-2528. ISSN: 1573-7721.
Detail

DELCROIX, M.; ŽMOLÍKOVÁ, K.; OCHIAI, T.; KINOSHITA, K.; NAKATANI, T. Speaker activity driven neural speech extraction. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Toronto: IEEE Signal Processing Society, 2021. p. 6099-6103. ISBN: 978-1-7281-7605-5.
Detail

OLŠOVSKÁ, E.; TOKARSKÝ, J.; MICHALIČKA, J.; MAMULOVÁ KUTLÁKOVÁ, K. Simple and fast method for determination of preferred crystallographic orientation of nanoparticles: A study on ZnS/kaolinite nanocomposite. Applied Surface Science, 2021, vol. 544, no. 1, p. 148966-1 (148966-9 p.)ISSN: 0169-4332.
Detail

BURGET, L.; GLEMBEK, O.; LOZANO DÍEZ, A.; MATĚJKA, P.; NOVOTNÝ, O.; PLCHOT, O.; PULUGUNDLA, B.; ROHDIN, J.; SILNOVA, A.; VESELÝ, K. BUT System Description to SdSV Challenge 2020. Proceedings of Short-duration Speaker Verification Challenge 2020 Workshop. Shanghai, on-line event of Interspeech 2020 Conference: 2020. p. 1-5.
Detail

SUBRAMANIAN, A.; WANG, X.; BASKAR, M.; WATANABE, S.; TANIGUCHI, T.; TRAN, D.; FUJITA, Y. Speech Enhancement Using End-to-End Speech Recognition Objectives. In IEEE Workshop on Applications of Signal Processing to Audio and Acoustics. New Paltz, NY: IEEE Signal Processing Society, 2019. p. 234-238. ISBN: 978-1-7281-1123-0.
Detail

FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T. Lazy Automata Techniques for WS1S. arXiv:1701.06282: 2017. p. 0-0.
Detail

HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; IOSIF, R. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. FORMAL METHODS IN SYSTEM DESIGN, 2020, vol. 55, no. 3, p. 137-170. ISSN: 0925-9856.
Detail

LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. Register Automata with Linear Arithmetic. arXiv:1704.03972: 2017. p. 1-30.
Detail

LENGÁL, O.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B. An Executable Sequential Specification for Spark Aggregation. Ithaca: 2017. p. 0-0.
Detail

KOTÁSEK, Z.; PODIVÍNSKÝ, J. Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems. Proceedings of the 4th Prague Embedded Systems Workshop. Roztoky u Prahy: 2016. p. 0-0.
Detail

PLUSKAL, J.; BREITINGER, F.; RYŠAVÝ, O. Netfox Detective: A novel open-source Network Forensics Analysis Tool. Forensic Science International: Digital Investigation, 2020, vol. 35, no. 301019, p. 1-13. ISSN: 2666-2825.
Detail

KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A.; NAGY, B. A Jumping 5'->3' Watson-Crick Finite Automata Model. Acta Informatica, 2022, vol. 59, no. 5, p. 557-584. ISSN: 0001-5903.
Detail

Responsibility: Hruška Tomáš, prof. Ing., CSc.