Ústav inteligentních systémů

2024

  • ANNA, P.; RYDLO, Š.; BALÁŽ, T.; KOLÁŘ, D.; NOVÁČKOVÁ, K. Detection of Laser Beams Aimed at Aircraft in Flight. 2024 New Trends in Civil Aviation (NTCA). Praha: 2024. p. 119-124. ISBN: 978-80-01-07182-3. Detail
  • DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. 2024. p. 0-0. Detail
  • FIRC, A.; MALINKA, K.; HANÁČEK, P. Diffuse or Confuse: A Diffusion Deepfake Speech Dataset. Darmstadt: GI - Group for computer science, 2024. p. 0-0. Detail
  • HASLINGER, J.; KUČERA, R.; MOTYČKOVÁ, K.; ŠÁTEK, V. Stokes problem with the Coulomb stick-slip boundary conditions in 3D: formulations, approximation, algorithms, and experiments. Mathematics and Computers in Simulation, 2024, vol. 2024, no. 216, p. 145-167. ISSN: 0378-4754. Detail
  • HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O.; HABERMEHL, P. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. Proceedings of CAV'24. Lecture Notes in Computer Science. Montreal: Springer Verlag, 2024. p. 42-67. ISSN: 0302-9743. Detail
  • JOBRANOVÁ, S.; LENGÁL, O.; CHEN, T.; CHEN, Y.; JIANG, J. Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA. Association for Computing Machinery, 2024. p. 0-0. ISBN: 979-8-4007-1077-3. Detail
  • MALINKA, K. ChatGPT in education - year after. Have the catastrophic scenarios come true?. Book of Abstracts SCITEED 2024. Oludeniz: 2024. p. 23-24. Detail
  • NEČASOVÁ, G.; ŠÁTEK, V. Parallel numerical solution of PDEs using Taylor series method. Soláň: 2024. p. 1 (1 s.). Detail
  • URBANOVÁ, P.; GOLDMANN, T.; ČERNÝ, D.; DRAHANSKÝ, M. Head Poses and Grimaces: Challenges for automated face identification algorithms?. SCIENCE & JUSTICE, 2024, roč. 64, č. 4, s. 421-442. ISSN: 1355-0306. Detail
  • VÍDEŇSKÝ, F.; ZBOŘIL, F.; BERAN, J.; KOČÍ, R.; ZBOŘIL, F. Comparing Variable Handling Strategies in BDI Agents: Experimental Study. Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 1. Rome: SciTePress - Science and Technology Publications, 2024. p. 25-36. ISBN: 978-989-758-680-4. Detail

2023

  • ANDRIUSHCHENKO, R.; ALEXANDER, B.; ČEŠKA, M.; JUNGES, S.; KATOEN, J.; MACÁK, F. Search and Explore: Symbiotic Policy Synthesis in POMDPs. In Computer Aided Verification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Verlag, 2023. p. 113-135. ISBN: 978-3-031-37708-2. Detail
  • ANDRIUSHCHENKO, R.; BARTOCCI, E.; ČEŠKA, M.; FRANCESCO, P.; SARAH, S. Deductive Controller Synthesis for Probabilistic Hyperproperties. In Quantitative Evaluation of SysTems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Verlag, 2023. p. 288-306. ISBN: 978-3-031-43834-9. Detail
  • DRGA, J.; HOMOLIAK, I.; VANČO, J.; PEREŠÍNI, M.; HANÁČEK, P.; VASILAKOS, A. Detecting and Preventing Credential Misuse in OTP-Based Two and Half Factor Authentication Toward Centralized Services Utilizing Blockchain-Based Identity Management. In 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). Dubai: Institute of Electrical and Electronics Engineers, 2023. p. 1-4. ISBN: 979-8-3503-1019-1. Detail
  • DYK, T.; DRAHANSKÝ, M. Tank Barrel Surface Damage Detection Algorithm. In ICMT 2023: 17. International Conference on Military Technology. Brno: IEEE Computer Society, 2023. p. 1-4. ISBN: 979-8-3503-2568-3. Detail
  • FIEDOR, J.; KŘENA, B.; SMRČKA, A.; VAŠÍČEK, O.; VOJNAR, T. Integrating OSLC Services into Eclipse. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Las Palmas de Gran Canaria: Springer International Publishing, 2023. p. 240-249. ISBN: 978-3-031-25311-9. Detail
  • FIRC, A.; MALINKA, K.; HANÁČEK, P. Deepfakes as a threat to a speaker and facial recognition: an overview of tools and attack vectors. Heliyon, 2023, vol. 9, no. 4, p. 1-33. ISSN: 2405-8440. Detail
  • FIRC, A.; MALINKA, K.; HANÁČEK, P. Deepfakes: Bezpečnostní výzva pro naše uši. DSM Data Security Management, 2023, roč. 2023, č. 02, s. 41-44. ISSN: 1211-8737. Detail
  • GOLDMANN, T.; URBANOVÁ, P. Poses and Grimaces: Challenges for automated face identification algorithms?. Colorado: 2023. p. 421-421. Detail
  • HARMIM, D.; MARCIN, V.; SVOBODOVÁ, L.; VOJNAR, T. Static Deadlock Detection in Low-Level C Code. In International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2023. p. 267-276. ISBN: 978-3-031-25311-9. Detail
  • HAVLENA, V.; CHOCHOLATÝ, D.; LENGÁL, O.; HOLÍK, L.; SÍČ, J.; BLAHOUDEK, F.; CHEN, Y. Word Equations in Synergy with Regular Constraints. In Proceedings of FM'23. Lecture Notes in Computer Science. Lübeck: Springer Verlag, 2023. p. 403-423. ISSN: 0302-9743. Detail
  • HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report). Ithaca: Cornell University Library, 2023. p. 0-0. Detail
  • HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A symbolic algorithm for the case-split rule in solving word constraints with extensions. JOURNAL OF SYSTEMS AND SOFTWARE, 2023, vol. 201, no. 201, p. 111673-111693. ISSN: 0164-1212. Detail
  • HAVLENA, V.; ŠMAHLÍKOVÁ, B.; LENGÁL, O.; LI, Y.; TURRINI, A. Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). Ithaca: Cornell University Library, 2023. p. 1-37. Detail
  • HAVLENA, V.; ŠMAHLÍKOVÁ, B.; LENGÁL, O.; LI, Y.; TURRINI, A. Modular Mix-and-Match Complementation of Büchi Automata. In Proceedings of TACAS'23. Lecture Notes in Computer Science. Paris: Springer Verlag, 2023. p. 249-270. ISSN: 0302-9743. Detail
  • HOLÍK, L.; HOLÍKOVÁ, L.; SÍČ, J.; VOJNAR, T. Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). Ithaca: 2023. p. 1-32. Detail
  • HOLÍK, L.; HOLÍKOVÁ, L.; SÍČ, J.; VOJNAR, T. Fast Matching of Regular Patterns with Synchronizing Counting. In Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2023. p. 392-412. ISSN: 0302-9743. Detail
  • HOLÍK, L.; HRUŠKA, M.; SÍČ, J.; VARGOVČÍK, P.; FIEDOR, T.; ROGALEWICZ, A. Reasoning about Regular Properties: A Comparative Study. In Automated Deduction - CADE 29. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2023. p. 286-306. ISSN: 0302-9743. Detail
  • HOLÍK, L.; ŠEDÝ, M. Utilization of Repeating Substructures for Efficient Representation of Automata (Technical Report). Brno: 2023. p. 1-12. Detail
  • HOLÍKOVÁ, L.; HORKÝ, M.; SÍČ, J. Automata with Bounded Repetition in RE2. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2023. p. 232-239. ISSN: 0302-9743. Detail
  • HRUŠKA, M.; FIEDOR, T.; SMRČKA, A. Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Zurich: Springer International Publishing, 2023. p. 223-231. ISBN: 978-3-031-25311-9. Detail
  • HUJŇÁK, O.; MALINKA, K.; HANÁČEK, P. Indirect Bluetooth Low Energy Connection Detection. In 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023. p. 328-333. ISBN: 978-1-6654-6268-6. Detail
  • CHEN, Y.; CHOCHOLATÝ, D.; HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; SÍČ, J. Solving String Constraints with Lengths by Stabilization. Proceedings of the ACM on Programming Languages, 2023, vol. 7, no. 10, p. 2112-2141. ISSN: 2475-1421. Detail
  • KOČÍ, R.; JANOUŠEK, V. Prerequisites for Simulation-Based Software Design and Deployment. ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances. Porto: Xpert Publishing Services, 2023. p. 105-109. ISBN: 978-1-68558-098-8. Detail
  • KOZÁK, D.; JOVANOVIC, V.; STANCU, C.; VOJNAR, T.; WIMMER, C. Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. In Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. New York: Association for Computing Machinery, 2023. p. 129-142. ISBN: 979-8-4007-0380-5. Detail
  • KUČERA, R.; ŠÁTEK, V. Numerical solution of the Navier-Stokes system with the stick-slip boundary condition. In 19th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2023. p. 1-4. ISSN: 0094-243X. Detail
  • LENGÁL, O.; CHEN, Y.; TSAI, W.; CHUNG, K.; LIN, J. AutoQ: An Automata-based Quantum Circuit Verifier. In Proceedings of 35th International Conference on Computer Aided Verification. Lecture Notes in Computer Science. Cham: Springer Verlag, 2023. p. 139-153. ISSN: 0302-9743. Detail
  • LENGÁL, O.; CHEN, Y.; TSAI, W.; LIN, J.; CHUNG, K.; YEN, D. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proceedings of the ACM on Programming Languages, 2023, vol. 7, no. 6, p. 1218-1243. ISSN: 2475-1421. Detail
  • MALÍK, V.; NEČAS, F.; SCHRAMMEL, P.; VOJNAR, T. 2LS: Arrays and Loop Unwinding (Competition Contribution). In Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science. Paris: Springer International Publishing, 2023. p. 529-534. ISBN: 978-3-031-30819-2. Detail
  • MALINKA, K.; FIRC, A.; HANÁČEK, P. Deepfakes a lidé: dokážeme ještě rozlišit pravou řeč od umělé?. DSM Data Security Management, 2023, roč. 2023, č. 04, s. 22-26. ISSN: 1211-8737. Detail
  • MALINKA, K.; FIRC, A.; PEREŠÍNI, M.; JANUŠ, F.; HUJŇÁK, O. On the educational impact of ChatGPT: Is Artificial Intelligence ready to obtain a University degree?. In Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education. Turku: Association for Computing Machinery, 2023. p. 47-53. ISBN: 979-8-4007-0138-2. Detail
  • NEČASOVÁ, G.; ŠÁTEK, V. Taylor series based parallel numerical solution of partial differential equations. In 19th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2023. p. 1-4. ISSN: 0094-243X. Detail
  • PLEŠKO, F.; GOLDMANN, T.; MALINKA, K. Facial Image Reconstruction and its Influence to Face Recognition. 2023 International Conference of the Biometrics Special Interest Group (BIOSIG). Darmstadt: Society for Informatics, 2023. p. 1-4. ISBN: 979-8-3503-3655-9. Detail
  • PRUDKÝ, D.; FIRC, A.; MALINKA, K. Assessing the Human Ability to Recognize Synthetic Speech in Ordinary Conversation. In 2023 International Conference of the Biometrics Special Interest Group (BIOSIG). Proceedings of the 22nd International Conference of the Biometrics Special Interest Group. Darmstadt: GI - Group for computer science, 2023. p. 1-5. ISBN: 978-3-88579-733-3. Detail
  • SCHWARZ, M.; KANICH, O.; BERKA, M.; HAVLOVICOVÁ, M.; DRAHANSKÝ, M. Dermatoglyphic Patterns in Monozygotic Twins with Zimmermann-Laband Syndrome. Journal of Forensic Identification, 2023, vol. 73, no. 1, p. 3-13. ISSN: 0895-173X. Detail
  • SMRČKA, A.; ROZSÍVAL, M. NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection. In Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. Porto: Institute of Electrical and Electronics Engineers, 2023. p. 207-210. ISBN: 979-8-3503-2543-0. Detail
  • STANČÍKOVÁ, I.; HOMOLIAK, I. SBvote: Scalable Self-Tallying Blockchain-Based Voting. In SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. Tallin: Association for Computing Machinery, 2023. p. 203-2011. ISBN: 978-1-4503-9517-5. Detail
  • ŠŮSTEK, M.; JOSHI, S.; LI, H.; THEBAUD, T.; VILLALBA LOPEZ, J.; KHUDANPUR, S.; DEHAK, N. Joint Energy-Based Model for Robust Speech Classification System against Dirty-Label Backdoor Poisoning Attacks. Proceedings of IEEE Automatic Speech Recognition and Understanding Workshop (ASRU). Taipei: IEEE Signal Processing Society, 2023. p. 1-8. ISBN: 979-8-3503-0689-7. Detail
  • THEBAUD, T.; JOSHI, S.; LI, H.; ŠŮSTEK, M.; VILLALBA LOPEZ, J.; KHUDANPUR, S.; DEHAK, N. Clustering Unsupervised Representations as Defense against Poisoning Attacks on Speech Commands Classification System. Proceedings of IEEE Automatic Speech Recognition and Understanding Workshop (ASRU). Taipei: IEEE Signal Processing Society, 2023. p. 1-8. ISBN: 979-8-3503-0689-7. Detail
  • VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V. Taylor Series Method in Numerical Integration: Linear and Nonlinear problems. In 2022 IEEE 16th International Scientific Conference on Informatics, Informatics 2022 - Proceedings. Poprad: IEEE Communications Society, 2023. p. 239-244. ISBN: 979-8-3503-1034-4. Detail
  • VEIGEND, P.; ŠÁTEK, V. Nonlinear Control Using High-Order Integration Method. In 19th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2023. p. 1-4. ISSN: 0094-243X. Detail
  • VÍDEŇSKÝ, F.; ZBOŘIL, F.; KOČÍ, R.; ZBOŘIL, F. Operational Semantic of an AgentSpeak(L) Interpreter using Late Bindings. In Proceedings of the 15th International Conference on Agents and Artificial Intelligence, Volume 1. Lisabon: SciTePress - Science and Technology Publications, 2023. p. 173-180. ISBN: 978-989-758-623-1. Detail
  • ZBOŘIL, F.; DOKOUPIL, L.; VÍDEŇSKÝ, F.; BERAN, J. General deSouches commands multi-agent army for performing in Agents Assembe III scenario: FIT-BUT at MAPC 2022. In The Multi-Agent Programming Contest 2022 Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not. Lecture Notes in Computer Science. Lecture Notes of Artificial Intelligence. Berlin: Springer Nature Switzerland AG, 2023. p. 120-150. ISSN: 1611-3349. Detail
  • ZBOŘIL, J.; HUJŇÁK, O.; MALINKA, K. IoT Gateways Network Communication Analysis. In 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023. p. 334-339. ISBN: 978-1-6654-6268-6. Detail
  • ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. Energy Efficiency of a Wheeled Bio-Inspired Hexapod Walking Robot in Sloping Terrain. Robotics, 2023, vol. 12, no. 2, p. 1-15. ISSN: 2218-6581. Detail
Nahoru