Věda a výzkum

2025

  • ABDULLA, P.; CHEN, Y.; CHEN, Y.; HOLÍK, L.; LENGÁL, O.; LIN, J.; LO, F.; TSAI, W. Verifying Quantum Circuits with Level-Synchronized Tree Automata. Proceedings of the ACM on Programming Languages, 2025, vol. 9, no. 1, p. 923-953. ISSN: 2475-1421. Detail
  • AMIN, H.; AHMED, A.; YUSOFF, M.; MOHAMAD SAAD, M.; MALIK, A. A neurophysiological model based on resting state EEG functional connectivity features for assessing semantic long-term memory performance. Biomedical Signal Processing and Control, 2025, vol. 99, no. 1, p. 1-11. ISSN: 1746-8108. Detail
  • ANDRIUSHCHENKO, R.; ČEŠKA, M.; MACÁK, F.; FRANCESCO, P.; MICHELE, C. Decentralized Planning Using Probabilistic Hyperproperties. Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems. Detroit: 2025. p. 1688-1697. ISBN: 979-8-4007-1426-9. Detail
  • ANDRIUSHCHENKO, R.; ČEŠKA, M.; MACÁK, F.; JUNGES, S. Policies Grow on Trees: Model Checking Families of MDPs. Proceeding of 22nd International Symposium on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Verlag, 2025. p. 51-75. ISBN: 978-3-031-78749-2. Detail
  • BAŘINA, D. Improved verification limit for the convergence of the Collatz conjecture. Journal of Supercomputing, 2025, vol. 81, no. 1, p. 1-14. ISSN: 1573-0484. Detail
  • BOSIO, A.; BERNARDI, P.; TRAIOLA, M.; MRÁZEK, V. 28th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. Lyon: Institute of Electrical and Electronics Engineers, 2025. ISBN: 979-8-3315-2801-0. Detail
  • FIEDOR, T.; PAVELA, J.; ROGALEWICZ, A.; VOJNAR, T. Efficient Manipulation of Control Flow Models in Evolving Software. Eurocast 2024 -- Computer Aided Systems Theory: Extended Abstracts. Lecture Notes in Computer Science. Las Palmas de Gran Canaria: Springer International Publishing, 2025. p. 412-427. ISBN: 978-3-031-82949-9. Detail
  • FIRC, A.; CHIBBER, M.; MISHRA, J.; SINGH, V.; KINNUNEN, T.; MALINKA, K. STOPA: A Database of Systematic VariaTion Of DeePfake Audio for Source Tracing and Attribution. 2025. Detail
  • FIRC, A.; KLUSÁČEK, J.; MALINKA, K. Hiding in Plain Sight: Query Obfuscation via Random Multilingual Searches. 2025. Detail
  • GOLDSCHMIDT, P.; CHUDÁ, D. Network Intrusion Datasets: A Survey, Limitations, and Recommendations. COMPUTERS & SECURITY, 2025, vol. 156, p. 104510-104542. ISSN: 0167-4048. Detail
  • HAN, J.; LANDINI, F.; ROHDIN, J.; SILNOVA, A.; DIEZ SÁNCHEZ, M.; BURGET, L. Leveraging Self-Supervised Learning for Speaker Diarization. Proceedings of ICASSP 2025. Hyderabad: IEEE Biometric Council, 2025. p. 1-5. ISBN: 979-8-3503-6874-1. Detail
  • HANÁK, J.; NOVÁK, J.; CHUDÝ, P.; BEN-ASHER, J. Cross-Entropy Method for Laser Defense Applications. Journal of Aerospace Information Systems, 2025, vol. 22, no. 1, p. 53-58. ISSN: 2327-3097. Detail
  • HAVLENA, V.; CHOCHOLATÝ, D.; LENGÁL, O.; HOLÍK, L.; SÍČ, J.; BLAHOUDEK, F.; CHEN, Y. Word equations in synergy with regular constraints (extended version). Constraints, 2025. ISSN: 1572-9354. Detail
  • HORI, T.; KOCOUR, M.; HAIDER, A.; MCDERMOTT, E.; ZHUANG, X. Delayed Fusion: Integrating Large Language Models into First-Pass Decoding in End-to-end Speech Recognition. Proceedings of ICASSP 2025. Hyderabad: IEEE Biometric Council, 2025. p. 1-5. ISBN: 979-8-3503-6874-1. Detail
  • HRANICKÝ, R.; ŠÍROVÁ, L.; RUCKÝ, V. Beyond the Dictionary Attack: Enhancing Password Cracking Efficiency through Machine Learning-Induced Mangling Rules. Forensic Science International: Digital Investigation, 2025, vol. 52, no. 1, p. 1-10. ISSN: 2666-2817. Detail
  • HURTA, M.; OVESNÁ, A.; MRÁZEK, V.; SEKANINA, L. Multi-Objective Evolutionary Design of Explainable EEG Classifier. Genetic Programming, 28th European Conference, EuroGP 2025. Lecture Notes in Computer Science. Terst: Springer Nature Switzerland AG, 2025. p. 52-67. ISBN: 978-3-031-89990-4. Detail
  • CHLUBNA, T.; MILET, T.; ZEMČÍK, P. How Color Profile Affects the Visual Quality in Light Field Rendering and Novel View Synthesis. MULTIMEDIA TOOLS AND APPLICATIONS, 2025, vol. 84, no. 14, p. 11079-11095. ISSN: 1573-7721. Detail
  • CHLUBNA, T.; MILET, T.; ZEMČÍK, P. Light Field Video Streaming on GPU. SIGNAL PROCESSING-IMAGE COMMUNICATION, 2025, vol. 2025, no. 138. ISSN: 0923-5965. Detail
  • CHLUBNA, T.; VLNAS, M.; BAŘINA, D.; MILET, T.; ZEMČÍK, P. Focus-aware compression and image quality metric for 3D displays. SIGNAL PROCESSING, 2025, vol. 2026, no. 238, p. 1-14. ISSN: 0165-1684. Detail
  • CHOCHOLATÝ, D.; HAVLENA, V.; HOLÍK, L.; HRANIČKA, J.; LENGÁL, O.; SÍČ, J. Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation. Proceedings of TACAS'25. Lecture Notes in Computer Science. Hamilton: Springer Verlag, 2025. p. 23-44. ISSN: 0302-9743. Detail
  • JOBRANOVÁ, S.; LENGÁL, O.; CHEN, Y.; CHEN, T.; 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. New York: Association for Computing Machinery, 2025. p. 1-9. ISBN: 979-8-4007-1077-3. Detail
  • KALKREUTH, R.; VAŠÍČEK, Z. TinyverseGP: Towards a Modular Cross-domain Benchmarking Framework for Genetic Programming. 2025. Detail
  • KOUTENSKÝ, M.; VESELÝ, V. Oracleboros: Reusing Hyperledger Fabric Mechanisms to Provide Oracle Functionality. 2025. Detail
  • KOZÁK, D.; STANCU, C.; VOJNAR, T.; WIMMER, C. SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges. In Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization. New York: Association for Computing Machinery, 2025. p. 347-361. ISBN: 979-8-4007-1275-3. Detail
  • KUBÍK, T.; GUIBAULT, F.; ŠPANĚL, M.; LOMBAERT, H. ToothForge: Automatic Dental Shape Generation using Synchronized Spectral Embeddings. Proceedings of Information Processing in Medical Imaging 2025. Kos: 2025. p. 1-14. Detail
  • LENGÁL, O.; CHEN, Y.; LIN, J.; TSAI, W.; HSIEH, M.; HUANG, W.; CHUNG, K. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs. In Proceedings of TACAS'25. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2025. p. 87-108. ISSN: 0302-9743. Detail
  • LOJDA, J.; JOYCE, D.; SMRŽ, P.; KATHURIA, S.; STRNADEL, J.; QUINN, C.; ŠIMEK, V.; STAROŇ, P. Portable Simulation Models for Energy Aspects of IoT Devices in the LoLiPoP-IoT Project. Salerno: 2025. Detail
  • MACÁK, F.; ANDRIUSHCHENKO, R.; ČEŠKA, M.; JUNGES, S.; KATOEN, J. An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2025, vol. 2025, no. 82, p. 433-469. ISSN: 1076-9757. Detail
  • MASÁR, F.; MRÁZEK, V.; SEKANINA, L. Late Breaking Result: FPGA-Based Emulation and Fault Injection for CNN Inference Accelerators. In 2025 Design, Automation & Test in Europe Conference & Exhibition (DATE). Lyon: Institute of Electrical and Electronics Engineers, 2025. p. 1-2. ISBN: 978-3-9826741-0-0. Detail
  • MRÁZEK, V.; VAŠÍČEK, Z. AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs. 2025 IEEE International Symposium on Circuits and Systems (ISCAS). London: 2025. Detail
  • MUTUA, N.; NADJM-TEHRANI, S.; MATOUŠEK, P. Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systrems. Critical Information Infrastructures Security. Lecture Notes in Computer Science. Springer Cham: 2025. p. 249-268. ISBN: 978-3-031-84259-7. Detail
  • NOVÁK, J.; CHUDÝ, P.; HANÁK, J. Weight-varying Model Predictive Control for Coupled Cyber-Physical Systems: Aerial Grasping Study. Machine Learning, Optimization, and Data Science. Lecture Notes in Computer Science. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Castiglione della Pescaia: Springer Nature Switzerland AG, 2025. p. 1-15. ISSN: 0302-9743. Detail
  • PENG, J.; ASHIHARA, T.; DELCROIX, M.; OCHIAI, T.; PLCHOT, O.; ARAKI, S.; ČERNOCKÝ, J. TS-SUPERB: A Target Speech Processing Benchmark for Speech Self-Supervised Learning Models. Proceedings of ICASSP 2025. Hyderabad: IEEE Biometric Council, 2025. p. 1-5. ISBN: 979-8-3503-6874-1. Detail
  • PENG, J.; MOŠNER, L.; ZHANG, L.; PLCHOT, O.; STAFYLAKIS, T.; BURGET, L.; ČERNOCKÝ, J. CA-MHFA: A Context-Aware Multi-Head Factorized Attentive Pooling for SSL-Based Speaker Verification. Proceedings of ICASSP 2025. Hyderabad: IEEE Biometric Council, 2025. p. 1-5. ISBN: 979-8-3503-6874-1. Detail
  • PIŇOS, M.; KLHŮFEK, J.; MRÁZEK, V.; SEKANINA, L. Inference Energy Analysis in Context of Hardware-Aware NAS. In 2025 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Lyon: Institute of Electrical and Electronics Engineers, 2025. p. 161-164. ISBN: 979-8-3315-2801-0. Detail
  • POLOK, A.; KLEMENT, D.; KOCOUR, M.; HAN, J.; LANDINI, F.; YUSUF, B.; WIESNER, M.; KHUDANPUR, S.; ČERNOCKÝ, J.; BURGET, L. DiCoW: Diarization-Conditioned Whisper for Target Speaker Automatic Speech Recognition. COMPUTER SPEECH AND LANGUAGE, 2025, p. 1-39. ISSN: 0885-2308. Detail
  • POLOK, A.; KLEMENT, D.; WIESNER, M.; KHUDANPUR, S.; ČERNOCKÝ, J.; BURGET, L. Target Speaker ASR with Whisper. Proceedings of ICASSP 2025. Hyderabad: IEEE Biometric Council, 2025. p. 1-5. ISBN: 979-8-3503-6874-1. Detail
  • SEDLÁK, D.; BIDLO, M.; CERVENKA, M. Action-based Representation for Stochastic Optimization of Complex Real-World RVRP. 2025. Detail
  • SEDLÁK, D.; KLHŮFEK, J.; MRÁZEK, V.; VAŠÍČEK, Z. Towards Efficient Scheduling of Transformer Neural Network Computation for Edge AI Deployment. Genetic and Evolutionary Computation Conference Companion 2025. Malaga: 2025. Detail
  • SEKANINA, L.; JŮZA, T. Genetic Programming with Memory for Approximate Data Reconstruction. In Genetic Programming Theory and Practice XXI. Singapore: Springer Nature Singapore, 2025. p. 199-218. ISBN: 978-981-9600-76-2. Detail
  • SETINSKÝ, J.; ŽÁDNÍK, M. EvoParser: An Evolutionary Approach to Log Parsing. 38th IEEE/IFIP Network Operations and Management Symposium (NOMS 2025). Honolulu: IEEE Communications Society, 2025. Detail
  • SKOG, K.; KOHOUT, T.; KAŠPÁREK, T.; WOLFMAYR, M. Lossless Hyperspectral Image Compression in Comet Interceptor and Hera Missions with Restricted Bandwith. Remote Sensing, 2025, vol. 17, no. 899, p. 1-18. ISSN: 2072-4292. Detail
  • ŠILLING, P.; ŠPANĚL, M. DEMIS: Electron Microscopy Image Stitching using Deep Learning Features and Global Optimisation. Proceedings of the 18th International Joint Conference on Biomedical Engineering Systems and Technologies - BIOIMAGING. Porto: Institute for Systems and Technologies of Information, Control and Communication, 2025. p. 255-256. ISBN: 978-989-758-731-3. Detail
  • ŠMAHLÍKOVÁ, B.; HAVLENA, V.; LENGÁL, O. Complementation of Emerson-Lei Automata. Proceedings of FoSSaCS'25. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2025. p. 88-110. ISSN: 0302-9743. Detail
  • TURYTSIA, O.; ZAKLOVÁ, K.; HYNEK, J.; JOHN, P.; HRUŠKA, T. Enhancing Retail Location Decisions in City of Brno: An Application of Geospatial Analysis Tools. Information Systems Engineering and Management. Information Systems Engineering and Management. Cham: Springer Nature Switzerland AG, 2025. p. 469-486. ISBN: 978-3-031-77530-7. ISSN: 2367-3389. Detail
  • VÍDEŇSKÝ, F.; ZBOŘIL, F.; VEIGEND, P. Integrating Late Variable Binding with SP-MCTS for Efficient Plan Execution in BDI Agents. In Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART. Porto: SciTePress - Science and Technology Publications, 2025. p. 679-686. ISBN: 978-989-758-737-5. Detail
  • VLČEK, O.; MRÁZEK, V. ApproxGNN: A Pretrained GNN for Parameter Prediction in Design Space Exploration for Approximate Computing. 2025 IEEE/ACM International Conference on Computer Aided Design (ICCAD). Munich: 2025. Detail
  • ZAVŘEL, J.; KOUTENSKÝ, M.; DOLEJŠKA, D.; VESELÝ, V. Tumbling Down the Stairs: Exploiting a Tumbler's Attempt to Hide with Ordinary-looking Transactions using Wallet Fingerprinting. Forensic Science International: Digital Investigation, 2025, vol. 52, no. 1, p. 1-9. ISSN: 2666-2817. Detail

2024

  • ADAMEC, V.; BERGLOWIEC, P.; SVATOŇ, V.; SCHWARZ, P.; MÜLLER, L. Využití umělé inteligence v systému příjmu tísňových volání v podmínkách České republiky. SPEKTRUM, 2024, roč. 2024, č. 2, s. 3-8. ISSN: 1804-1639. Detail
  • ALAM, J.; BARAHONA QUIRÓS, S.; BOBOŠ, D.; BURGET, L.; CUMANI, S.; DAHMANE, M.; HAN, J.; HLAVÁČEK, M.; KODOVSKÝ, M.; LANDINI, F.; MOŠNER, L.; PÁLKA, P.; PAVLÍČEK, T.; PENG, J.; PLCHOT, O.; RAJASEKHAR, P.; ROHDIN, J.; SILNOVA, A.; STAFYLAKIS, T.; ZHANG, L. ABC SYSTEM DESCRIPTION FOR NIST SRE 2024. Proceedings of NIST SRE 2024. San Juan: National Institute of Standards and Technology, 2024. p. 1-9. Detail
  • ARIF, M.; REHMAN, F.; SEKANINA, L.; MALIK, A. A comprehensive survey of evolutionary algorithms and metaheuristics in brain EEG-based applications. Journal of Neural Engineering, 2024, vol. 21, no. 5, p. 1-25. ISSN: 1741-2552. Detail
  • BAYER, D.; JAROŠ, J. MATLAB Interface To The afft Library. Ostrava: 2024. Detail
  • BENEŠ, K.; KOCOUR, M.; BURGET, L. Hystoc: Obtaining Word Confidences for Fusion of End-To-End ASR Systems. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Seoul: IEEE Signal Processing Society, 2024. p. 11276-11280. ISBN: 979-8-3503-4485-1. Detail
  • BHATTACHARJEE, M.; NIGMATULINA, I.; PRASAD, A.; RANGAPPA, P.; MADIKERI, S.; MOTLÍČEK, P.; HELMKE, H.; KLEINERT, M. Contextual Biasing Methods for Improving Rare Word Detection in Automatic Speech Recognition. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Seoul: IEEE Signal Processing Society, 2024. p. 12652-12656. ISBN: 979-8-3503-4485-1. Detail
  • BOBÁK, P.; ČMOLÍK, L.; ČADÍK, M. Reinforced Labels: Multi-Agent Deep Reinforcement Learning for Point-Feature Label Placement. IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2024, vol. 30, no. 9, p. 5908-5922. ISSN: 1077-2626. Detail
  • BUDINSKÝ, R.; STANČÍKOVÁ, I.; HOMOLIAK, I. Mitigating Undercutting Attacks: Fee-Redistribution Smart Contracts for Transaction-Fee-Based Regime of Blockchains with the Longest Chain Rule. In 2023 IEEE International Conference on Blockchain (Blockchain). Danzhou, China: Institute of Electrical and Electronics Engineers, 2024. p. 25-32. ISBN: 979-8-3503-1929-3. Detail
  • BURDISSO, S.; RAMIREZ, A.; VILLATORO-TELLO, E.; SÁNCHEZ-VEGA, F.; LÓPEZ-MONROY, P.; MOTLÍČEK, P. DAIC-WOZ: On the Validity of Using the Therapist's prompts in Automatic Depression Detection from Clinical Interviews. Proceedings of the 6th Clinical Natural Language Processing Workshop. Association for Computational Linguistics. Mexico City: Association for Computational Linguistics, 2024. p. 82-90. Detail
  • BURGETOVÁ, I.; MATOUŠEK, P.; RYŠAVÝ, O. Towards Identification of Network Applications in Encrypted Traffic. The Proceedings of the 8th Cyber Security in Networking Conference (CSNet 2024). IEEE Explore. Paris: IEEE Communications Society, 2024. p. 213-221. ISBN: 979-8-3315-3410-3. Detail
  • ČEGIŇ, J.; PECHER, B.; ŠIMKO, J.; SRBA, I.; BIELIKOVÁ, M. Effects of diversity incentives on sample diversity and downstream model performance in LLM-based text augmentation. Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). Bangkok: Association for Computational Linguistics, 2024. p. 13148-13171. ISBN: 979-8-8917-6094-3. Detail
  • ČEŠKA, M.; ANDRIUSHCHENKO, R.; ARND, H.; JUNGES, S.; KŘETÍNSKÝ, J. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. In International TOOLympics Challenge. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2024. p. 90-146. ISBN: 978-3-031-67694-9. Detail
  • DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2024. p. 188-206. ISBN: 978-3-031-57245-6. Detail
  • DE BENITO GORRON, D.; ŽMOLÍKOVÁ, K.; TORRE TOLEDANO, D. Analysis and interpretation of joint source separation and sound event detection in domestic environments. PLOS ONE, 2024, vol. 19, no. 7, p. 1-30. ISSN: 1932-6203. Detail
  • DE LEON MARTINEZ, S. Understanding User Behavior in Carousel Recommendation Systems for Click Modeling and Learning to Rank. Proceedings of the Seventeenth ACM International Conference on Web Search and Data Mining. New York: Association for Computing Machinery, 2024. p. 1139-1141. ISBN: 979-8-4007-0371-3. Detail
  • DEKEL, S.; KELLER, Y.; ČADÍK, M. Estimating Extreme 3D Image Rotations using Cascaded Attention. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). Seattle: IEEE Computer Society, 2024. p. 2588-2598. ISBN: 979-8-3503-5301-3. Detail
  • DENIZIAK, S.; SITEK, P.; JENIHHIN, M.; STEININGER, A.; SCHÖLZEL, M.; MRÁZEK, V. 27th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. Kliece: Institute of Electrical and Electronics Engineers, 2024. ISBN: 979-8-3503-5934-3. Detail
  • ESPUNA, A.; PRASAD, A.; MOTLÍČEK, P.; MADIKERI, S.; SCHUEPBACH, C. Normalising Flows for Speaker and Language Recognition Backend. Proceedings of Odyssey 2024: The Speaker and Language Recognition Workshop. Quebec: International Speech Communication Association, 2024. p. 74-80. Detail
  • FIRC, A.; MALINKA, K.; HANÁČEK, P. Deepfake Speech Detection: A Spectrogram Analysis. In Proceedings of the ACM Symposium on Applied Computing. Avila: Association for Computing Machinery, 2024. p. 1312-1320. ISBN: 979-8-4007-0243-3. Detail
  • FIRC, A.; MALINKA, K.; HANÁČEK, P. Diffuse or Confuse: A Diffusion Deepfake Speech Dataset. In 2024 International Conference of the Biometrics Special Interest Group (BIOSIG). Darmstadt: GI - Group for computer science, 2024. p. 1-7. ISBN: 978-3-88579-749-4. Detail
  • GOLDSCHMIDT, P.; KUČERA, J. Windower: Feature Extraction for Real-Time DDoS Detection Using Machine Learning. NOMS 2024-2024 IEEE Network Operations and Management Symposium. Seoul: Institute of Electrical and Electronics Engineers, 2024. p. 1-10. ISBN: 979-8-3503-2793-9. Detail
  • HAN, J.; LANDINI, F.; ROHDIN, J.; DIEZ SÁNCHEZ, M.; BURGET, L.; CAO, Y.; LU, H.; ČERNOCKÝ, J. Diacorrect: Error Correction Back-End for Speaker Diarization. In ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Seoul: IEEE Signal Processing Society, 2024. p. 11181-11185. ISBN: 979-8-3503-4485-1. Detail
  • HANÁK, J.; NOVÁK, J.; CHUDÝ, P. Cognitive Modeling Approach for Generating Authentic Tactical Agent Behavior. In AIAA/IEEE Digital Avionics Systems Conference - Proceedings. San Diego: Institute of Electrical and Electronics Engineers, 2024. p. 1-15. ISBN: 979-8-3503-4961-0. ISSN: 2155-7195. Detail
  • HANÁK, J.; NOVÁK, J.; CHUDÝ, P. Tactical Scenario Adaptation for Pilot Training. In AIAA/IEEE Digital Avionics Systems Conference - Proceedings. San Diego: Institute of Electrical and Electronics Engineers, 2024. p. 1-7. ISBN: 979-8-3503-4961-0. ISSN: 2155-7195. 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. 216, no. February, p. 145-167. ISSN: 0378-4754. Detail
  • HAVEL, M.; KŘIVKA, Z.; MEDUNA, A. How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars. In Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications. Electronic Proceedings in Theoretical Computer Science, EPTCS. Göttingen: School of Computer Science and Engineering, University of New South Wales, 2024. p. 86-99. ISSN: 2075-2180. 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
  • HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; SÍČ, J. Cooking String-Integer Conversions with Noodles. Proceedings of SAT'24. Leibniz International Proceedings in Informatics, LIPIcs. Leibniz International Proceedings in Informatics (LIPIcs). Pune: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024. p. 1-19. ISSN: 1868-8969. Detail
  • HELFRICH, M.; ANDRIUSHCHENKO, R.; ČEŠKA, M.; KŘETÍNSKÝ, J.; MARTIČEK, Š.; ŠAFRÁNEK, D. Abstraction-based segmental simulation of reaction networks using adaptive memoization. BMC BIOINFORMATICS, 2024, vol. 25, no. 1, p. 1-24. ISSN: 1471-2105. Detail
  • HOLÍK, L.; CHOCHOLATÝ, D.; FIEDOR, T.; HAVLENA, V.; HRUŠKA, M.; LENGÁL, O.; SÍČ, J. Mata: A Fast and Simple Finite Automata Library. Proceedings of TACAS'24. Lecture Notes in Computer Science. Luxembourgh: Springer Verlag, 2024. p. 130-151. ISSN: 0302-9743. Detail
  • HOMOLIAK, I.; PEREŠÍNI, M. SoK: Cryptocurrency Wallets - A Security Review and Classification based on Authentication Factors. In 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) - Proceedings. Dublin: Institute of Electrical and Electronics Engineers, 2024. p. 1-8. ISBN: 979-8-3503-1674-2. Detail
  • HRANICKÝ, R.; HORÁK, A.; POLIŠENSKÝ, J.; JEŘÁBEK, K.; RYŠAVÝ, O. Unmasking the Phishermen: Phishing Domain Detection with Machine Learning and Multi-Source Intelligence. In Proceedings of IEEE/IFIP Network Operations and Management Symposium 2024. Soul: Institute of Electrical and Electronics Engineers, 2024. p. 1-5. ISBN: 979-8-3503-2794-6. Detail
  • HRANICKÝ, R.; HORÁK, A.; POLIŠENSKÝ, J.; ONDRYÁŠ, O.; JEŘÁBEK, K.; RYŠAVÝ, O. Spotting the Hook: Leveraging Domain Data for Advanced Phishing Detection. In 2024 10th International Conference on Network and Service Management (CNSM). Praha: Institute of Electrical and Electronics Engineers, 2024. p. 1-7. ISBN: 978-3-903176-66-9. Detail
  • HUSA, J.; SEKANINA, L. Semantic Mutation Operator for Fast and Efficient Design of Bent Boolean Functions. Genetic Programming and Evolvable Machines, 2024, vol. 25, no. 3, p. 1-32. ISSN: 1389-2576. Detail
  • HUYNH, N.; ZHANG, E.; FRANCIES, O.; KUKLIŠ, F.; ALLEN, T.; ZHU, J.; ABEYAKOON, O.; LUCKA, F.; BETCKE, M.; JAROŠ, J.; ARRIDGE, S.; COX, B.; PLUMB, A.; BEARD, P. A fast all-optical 3D photoacoustic scanner for clinical vascular imaging. Nature Biomedical Engineering, 2024, vol. 8, no. 10, p. 1-18. ISSN: 2157-846X. Detail
  • CHEN, Y.; CHOCHOLATÝ, D.; HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; SÍČ, J. Z3-Noodler: An Automata-based String Solver. Proceedings of TACAS'24. Lecture Notes in Computer Science. Lecture Notes. Luxembourgh: Springer Verlag, 2024. p. 24-33. ISSN: 0302-9743. Detail
  • CHLUBNA, T.; MILET, T.; ZEMČÍK, P. Automatic 3D-Display-Friendly Scene Extraction from Video Sequences and Optimal Focusing Distance Identification. MULTIMEDIA TOOLS AND APPLICATIONS, 2024, vol. 83, no. 7, p. 74535-74562. ISSN: 1573-7721. Detail
  • CHLUBNA, T.; MILET, T.; ZEMČÍK, P. How Capturing Camera Trajectory Distortion Affects User Experience on Looking Glass 3D Display. MULTIMEDIA TOOLS AND APPLICATIONS, 2024, vol. 2024, no. 83, p. 20265-20287. ISSN: 1573-7721. Detail
  • CHLUBNA, T.; MILET, T.; ZEMČÍK, P. Lightweight All-Focused Light Field Rendering. COMPUTER VISION AND IMAGE UNDERSTANDING, 2024, vol. 244, no. 7, p. 7-8. ISSN: 1077-3142. Detail
  • CHLUBNA, T.; MILET, T.; ZEMČÍK, P. Out-of-Focus Artifacts Mitigation and Autofocus Methods for 3D Displays. Visual Informatics, 2024, vol. 9, no. 1, p. 31-42. ISSN: 2468-502X. Detail
  • CHLUBNA, T.; ZEMČÍK, P.; MILET, T. Efficient Random-Access GPU Video Decoding for Light-Field Rendering. JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION, 2024, vol. 2024, no. 102, p. 1-14. ISSN: 1047-3203. Detail
  • JAROŠ, J.; BAYER, D. afft: a C++17 Wrapper Library for FFT-like Computations on Various Targets. Soláň: 2024. Detail
  • JAROŠ, J.; DUCHOŇ, R. Acceleration of Ultrasound Neurostimulation Using Mixed-Precision Arithmetic. HPDC '24: Proceedings of the 33rd International Symposium on High-Performance Parallel and Distributed Computing. New York: Association for Computing Machinery, 2024. p. 370-372. ISBN: 979-8-4007-0413-0. Detail
  • JAROŠ, J.; CHLEBÍK, J. Enhancing Acoustic Neural Predictors with Heterogeneous Density. Soláň: 2024. Detail
  • JAROŠ, J.; JAROŠ, M.; BUCHTA, M. Estimation of Distributed Ultrasound Simulation Execution Time Using Machine Learning. In 2024 IEEE Congress on Evolutionary Computation (CEC). Yokohama: Institute of Electrical and Electronics Engineers, 2024. p. 1-8. ISBN: 979-8-3503-0836-5. Detail
  • JAROŠ, J.; MAJER, M.; HORKÝ, J.; VÁVRA, J. Web-Based Simulator of Superscalar RISC-V Processors. Atlanta, GA: 2024. p. 1-2. Detail
  • JAROŠ, J.; MAJER, M.; HORKÝ, J.; VÁVRA, J. Web-Based Simulator of Superscalar RISC-V Processors. In Proceedings of SC 2024-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. Atlanta, GA: Institute of Electrical and Electronics Engineers, 2024. p. 1676-1684. ISBN: 979-8-3503-5554-3. Detail
  • JAROŠ, J.; TREEBY, B.; JAROŠ, M. k-Plan: From the Hospital to the Cluster and Back. Sydney: 2024. Detail
  • JAROŠ, M.; JAROŠ, J. k-Dispatch: Enabling Cost-Optimized Biomedical Workflow Offloading. Solan: 2024. Detail
  • JAROŠ, M.; JAROŠ, J. k-Dispatch: Enabling Cost-Optimized Biomedical Workflow Offloading. In HPDC '24: Proceedings of the 33rd International Symposium on High-Performance Parallel and Distributed Computing. New York: Association for Computing Machinery, 2024. p. 358-360. ISBN: 979-8-4007-0413-0. Detail
  • JAWED, S.; FAYE, I.; MALIK, A. Deep learning-based assessment model for Real-time identification of visual learners using Raw EEG. IEEE TRANSACTIONS ON NEURAL SYSTEMS AND REHABILITATION ENGINEERING, 2024, vol. 32, no. 1, p. 378-390. ISSN: 1558-0210. Detail
  • JEŘÁBEK, K.; HYNEK, K.; RYŠAVÝ, O. Comparative Analysis of DNS over HTTPS Detectors. Computer Networks, 2024, vol. 247, no. June, p. 1-13. ISSN: 1872-7069. Detail
  • JOHN, P.; ZAKLOVÁ, K.; LAZÚR, J.; HYNEK, J.; HRUŠKA, T. A Self-Hosted Approach to Automatic CI/CD Using Open-Source Tools on Low-power Devices. 2024 IEEE 17th International Scientific Conference on Informatics. Poprad: Institute of Electrical and Electronics Engineers, 2024. p. 105-112. ISBN: 979-8-3503-8767-4. Detail
  • KAPINUS, M.; BERAN, V.; MATERNA, Z.; BAMBUŠEK, D. Augmented Reality Spatial Programming Paradigm Applied to End-User Robot Programming. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2024, vol. 89, no. 89, p. 1-13. ISSN: 0736-5845. Detail
  • KAŠPÁREK, T.; CHUDÝ, P. Pulsar Signal Adaptive Surrogate Modeling. Aerospace, 2024, vol. 11, no. 10, p. 1-22. ISSN: 2226-4310. Detail
  • KHAN, R.; POKORNÁ, P.; ŠTOURAČ, J.; BORKO, S.; AREFIEV, I.; PLANAS-IGLESIAS, J.; DOBIÁŠ, A.; PINTO, G.; SZOTKOWSKÁ, V.; ŠTĚRBA, J.; SLABÝ, O.; DAMBORSKÝ, J.; MAZURENKO, S.; BEDNÁŘ, D. A computational workflow for analysis of missense mutations in precision oncology. Journal of Cheminformatics, 2024, vol. 16, no. 1, p. 1-10. ISSN: 1758-2946. Detail
  • KHAN, R.; POKORNÁ, P.; ŠTOURAČ, J.; BORKO, S.; DOBIÁŠ, A.; PLANAS-IGLESIAS, J.; MAZURENKO, S.; AREFIEV, I.; PINTO, G.; SZOTKOWSKÁ, V.; ŠTĚRBA, J.; DAMBORSKÝ, J.; SLABÝ, O.; BEDNÁŘ, D. Analysis of mutations in precision oncology using the automated, accurate, and user-friendly web tool PredictONCO. Computational and Structural Biotechnology Journal, 2024, vol. 24, no. 1, p. 734-738. ISSN: 2001-0370. Detail
  • KIŠŠ, M.; HRADIŠ, M. Self-supervised Pre-training of Text Recognizers. In Barney Smith, E.H., Liwicki, M., Peng, L. (eds) Document Analysis and Recognition - ICDAR 2024. Lecture Notes in Computer Science. Atény: Springer Nature Switzerland AG, 2024. p. 218-235. ISBN: 978-3-031-70545-8. Detail
  • KLEMENT, D.; DIEZ SÁNCHEZ, M.; LANDINI, F.; BURGET, L.; SILNOVA, A.; DELCROIX, M.; TAWARA, N. Discriminative Training of VBx Diarization. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Seoul: IEEE Signal Processing Society, 2024. p. 11871-11875. ISBN: 979-8-3503-4485-1. Detail
  • KLHŮFEK, J.; ŠAFÁŘ, M.; MRÁZEK, V.; VAŠÍČEK, Z.; SEKANINA, L. Exploiting Quantization and Mapping Synergy in Hardware-Aware Deep Neural Network Accelerators. In 2024 27th International Symposium on Design & Diagnostics of Electronic Circuits & Systems (DDECS). Kielce: Institute of Electrical and Electronics Engineers, 2024. p. 1-6. ISBN: 979-8-3503-5934-3. Detail
  • KOČÍ, R. On the Object Oriented Petri Nets Model Transformation into Java Programming Language. ICSEA 2024 The Nineteenth International Conference on Software Engineering Advances. Venice: Xpert Publishing Services, 2024. p. 38-42. ISBN: 978-1-68558-194-7. Detail
  • KOUTENSKÝ, M.; VESELÝ, V.; PEREŠÍNI, M.; DOLEJŠKA, D.; PLUSKAL, J. Using Blockchain to Secure Passenger Name Records and Effectively Protect Citizen Rights. In 2024 6th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2024. Berlin: Institute of Electrical and Electronics Engineers, 2024. p. 1-10. ISBN: 979-8-3503-6784-3. Detail
  • KOZÁK, D.; ČERNÝ, T.; ABDELFATTAH, A.; BLANCHARD, A.; HALE, J.; HUTCHESON, R.; LAMBARIA, N. Software Architecture Reconstruction for Microservice Systems using Static Analysis via GraalVM Native Image. In 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Los Alamitos: Institute of Electrical and Electronics Engineers, 2024. p. 12-22. ISBN: 979-8-3503-3066-3. Detail
  • KRÁL, J.; HRADIŠ, M.; BUŽGA, M.; KUNOVSKÝ, L. Exploring the benefits and challenges of AI-driven large language models in gastroenterology: Think out of the box. Biomedical Papers, 2024, vol. 168, no. 4, p. 277-283. ISSN: 1213-8118. Detail
  • KUBÍK, T.; ŠILLING, P.; ŠPANĚL, M. Souhrnná výzkumná zpráva k projektu TESCAN 3DIM - Automatizace zpracování obrazových a 3D dat pomocí hlubokého učení. Brno: TESCAN 3DIM, s.r.o., 2024. s. 0-0. Detail
  • KUBÍK, T.; ŠPANĚL, M. LMVSegRNN and Poseidon3D: Addressing Challenging Teeth Segmentation Cases in 3D Dental Surface Orthodontic Scans. Bioengineering, 2024, vol. 11, no. 10, p. 1-18. ISSN: 2306-5354. Detail
  • KUMAR, S.; MADIKERI, S.; NIGMATULINA, I.; VILLATORO-TELLO, E.; MOTLÍČEK, P.; PANDIA, K.; DUBAGUNTA, P.; GANAPATHIRAJU, A. Multitask Speech Recognition and Speaker Change Detection for Unknown Number of Speakers. ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Seoul: IEEE Signal Processing Society, 2024. p. 12592-12596. ISBN: 979-8-3503-4485-1. Detail
  • KUNEŠOVÁ, M.; ZAJÍC, Z.; ŠMÍDL, L.; KARAFIÁT, M. Comparison of wav2vec 2.0 models on three speech processing tasks. International Journal of Speech Technology, 2024, vol. 27, no. 4, p. 847-859. ISSN: 1572-8110. Detail
  • KUNÍK, O.; JAROŠ, J. Accelerating Hybrid Local Domain Decomposition for the k-Wave Toolbox on Multi-GPU Systems. Ostrava: 2024. Detail
  • LANDINI, F.; DIEZ SÁNCHEZ, M.; STAFYLAKIS, T.; BURGET, L. DiaPer: End-to-End Neural Diarization With Perceiver-Based Attractors. IEEE Transactions on Audio, Speech, and Language Processing, 2024, vol. 32, no. 7, p. 3450-3465. ISSN: 1558-7916. Detail
  • LAZÚR, J.; HYNEK, J.; HRUŠKA, T. A Unified Approach to Real-Time Public Transport Data Processing. In Lecture Notes in Networks and Systems. Lecture Notes in Networks and Systems. Lecture Notes in Networks and Systems. Cham: Springer Nature Switzerland AG, 2024. p. 86-95. ISBN: 978-3-031-60226-9. ISSN: 2367-3370. Detail
  • LAZÚR, J.; HYNEK, J.; HRUŠKA, T. From Data to Routes: A Comprehensive Approach to Public Transport Line Routing. In IEEE Xplore. 2024 Smart City Symposium Prague (SCSP). Prague: Institute of Electrical and Electronics Engineers, 2024. p. 1-6. ISBN: 979-8-3503-6095-0. Detail
  • LEHEČKA, D.; JEBAVÝ, F.; KERSCH, F.; PAVČÍK, F.; JANA, H.; FREMROVÁ, K.; KIŠŠ, M.; LHOTÁK, M.; DVOŘÁKOVÁ, M.; BEŽOVÁ, M.; HRADIŠ, M.; ŽABIČKA, P.; JIROUŠEK, V. Orbis Pictus: Zpřístupnění netextových dat z digitálních knihoven. ITlib, 2024, roč. 2024, č. 2, s. 22-31. ISSN: 1336-0779. Detail
  • LOJDA, J.; STRNADEL, J.; SMRŽ, P.; ŠIMEK, V. First Steps Towards Unified Low-Power IoT Design: The "DYNAMIC" Framework. 2024 IEEE East-West Design and Test Symposium, EWDTS 2024 - Proceedings. Yerevan: Institute of Electrical and Electronics Engineers, 2024. p. 1-6. ISBN: 979-8-3315-1576-8. Detail
  • LOJDA, J.; STRNADEL, J.; ŠIMEK, V.; SMRŽ, P.; HAYES, M.; POPP, R. The LoLiPoP-IoT Project: Long Life Power Platforms for Internet of Things. In Proceedings - 2024 27th Euromicro Conference on Digital System Design, DSD 2024. Paris: Institute of Electrical and Electronics Engineers, 2024. p. 604-611. ISBN: 979-8-3503-8038-5. Detail
  • MACIEJEWSKI, M.; KLEMENT, D.; HUANG, R.; WIESNER, M.; KHUDANPUR, S. Evaluating the Santa Barbara Corpus: Challenges of the Breadth of Conversational Spoken Language. In Proceedings of Interspeech 2024. Proceedings of Interspeech. Kos: International Speech Communication Association, 2024. p. 2155-2160. ISSN: 1990-9772. Detail
  • MALIK, A.; HUSSAIN, M.; CHAUDHARY, S. Editorial: From assessment to intervention: role of consumer technology and neurotech in preventive mental health. Frontiers in Psychology. 2024. p. 1-3. ISSN: 1664-1078. Detail
  • MALÍK, V.; VOJNAR, T.; SCHRAMMEL, P. Template-Based Verification of Array-Manipulating Programs. In Taming the Infinities of Concurrency. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2024. p. 206-224. ISBN: 978-3-031-56221-1. 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
  • MALINKA, K.; FIRC, A. Deepfakes: příležitost, nebo hrozba?. In Proč se nebát umělé inteligence?. Praha: Nakladatelství JOTA, s.r.o., 2024. s. 271-283. ISBN: 978-80-7689-459-4. Detail
  • MALINKA, K.; FIRC, A.; KAŠKA, P.; LAPŠANSKÝ, T.; ŠANDOR, O.; HOMOLIAK, I. Resilience of Voice Assistants to Synthetic Speech. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bydgoszcz: Springer Nature Switzerland AG, 2024. p. 66-84. ISBN: 978-3-031-70878-7. Detail
  • MALINKA, K.; FIRC, A.; LOUTOCKÝ, P.; VOSTOUPAL, J.; KRIŠTOFÍK, A.; KASL, F. Using Real-world Bug Bounty Programs in Secure Coding Course: Experience Report. In Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE. New York, NY, USA: Association for Computing Machinery, 2024. p. 227-233. ISBN: 979-8-4007-0600-4. Detail
  • MALINKA, K.; FIRC, A.; ŠALKO, M.; PRUDKÝ, D.; RADAČOVSKÁ, K.; HANÁČEK, P. Comprehensive Multiparametric Analysis of Human Deepfake Speech Recognition. Eurasip Journal on Image and Video Processing, 2024, vol. 2024, no. 24, p. 1-25. ISSN: 1687-5281. Detail
  • MARTÍNEK, T.; KOŘENEK, J.; ČEJKA, T. LGBM2VHDL: Mapping of LightGBM Models to FPGA. In 2024 IEEE 32nd Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM). Orlando, FL: IEEE Computer Society, 2024. p. 97-103. ISBN: 979-8-3503-7243-4. Detail
  • MATOUŠEK, P.; RYŠAVÝ, O.; BURGETOVÁ, I. Experience Report: Using JA4+ Fingerprints for Malware Detection in Encrypted Traffic. In Proceedings of 20th International Conference on Network and Service Management. Prague: 2024. p. 1-5. Detail
  • MEDUNA, A. Brněský rodák Kurt Gödel a jeho odkaz (doslov v českém překladu knihy Gödelův důkaz). Brno: Nakladatelství Vysokého učení technického v Brně VUTIUM, 2024. s. 109-123. ISBN: 978-80-214-6225-0. Detail
  • MEDUNA, A.; KŘIVKA, Z. Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing. Boca Raton: CRC Press LLC, 2024. 293 p. ISBN: 978-0-367-62093-6. Detail
  • MOŠNER, L.; SERIZEL, R.; BURGET, L.; PLCHOT, O.; VINCENT, E.; PENG, J.; ČERNOCKÝ, J. Multi-Channel Extension of Pre-trained Models for Speaker Verification. In Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Proceedings of Interspeech. Kos: International Speech Communication Association, 2024. p. 2135-2139. ISSN: 1990-9772. Detail
  • MOTLÍČEK, P.; DIKICI, E.; MADIKERI, S.; RANGAPPA, P.; BACKFRIED, G.; ROHDIN, J.; SCHWARZ, P.; KOVÁČ, M.; MALÝ, K.; BOBOŠ, D.; KLAKOW, D.; SERGIDOU, E. ROXSD: The ROXANNE Multimodal and Simulated Dataset for Advancing Criminal Investigations. Proceedings of Odyssey 2024: The Speaker and Language Recognition Workshop. Québec City: International Speech Communication Association, 2024. p. 17-24. Detail
  • MRÁZEK, V.; KOKKINIS, A.; PAPANIKOLAOU, P.; VAŠÍČEK, Z.; SIOZIOS, K.; TZIMPRAGOS, G.; TAHOORI, M.; ZERVAKIS, G. Evolutionary Approximation of Ternary Neurons for On-sensor Printed Neural Networks. 2024 IEEE/ACM International Conference on Computer Aided Design (ICCAD). New York: Association for Computing Machinery, 2024. p. 1-9. ISBN: 979-8-4007-1077-3. Detail
  • NEČASOVÁ, G.; ŠÁTEK, V. Parallel numerical solution of PDEs using Taylor series method. Soláň: 2024. p. 1 (1 s.). Detail
  • NEČASOVÁ, G.; ŠÁTEK, V. Parallel solution of parabolic partial differential equation using higher-order method. In 20th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Heraklion: American Institute of Physics, 2024. p. 1-4. ISSN: 0094-243X. Detail
  • NOVÁK, J.; HANÁK, J.; CHUDÝ, P. Hybrid Modeling Approach for Optimization Based Control of Multirotor Unmanned Aerial Vehicles. In ICAS Proceedings. ICAS Proceedings. Florence: International Council of the Aeronautical Sciences, 2024. p. 1-10. ISSN: 2958-4647. Detail
  • NOVÁK, J.; HANÁK, J.; CHUDÝ, P. Predictive Control Driven Tactical Maneuvering. In ICAS Proceedings. ICAS Proceedings. Florence: International Council of the Aeronautical Sciences, 2024. p. 1-12. ISSN: 2958-4647. Detail
  • NOVÁK, J.; HANÁK, J.; CHUDÝ, P. Reliability-Based Control System Optimization in Uncertain Conditions. In AIAA Aviation Forum and ASCEND, 2024. Las Vegas: American Institute of Aeronautics and Astronautics, 2024. p. 1-15. ISBN: 978-1-62410-716-0. Detail
  • NOVÁK, J.; CHUDÝ, P. Dynamic Soaring in Uncertain Wind Conditions: Polynomial Chaos Expansion Approach. In Machine Learning, Optimization, and Data Science. Lecture Notes in Computer Science. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Grasmere: Springer Nature Switzerland AG, 2024. p. 104-115. ISBN: 978-3-031-53968-8. ISSN: 0302-9743. Detail
  • NOVÁK, J.; CHUDÝ, P.; HANÁK, J. Model Predictive Control Driven Aerial Grasping with Soft Operational Constraints. In ICAS Proceedings. ICAS Proceedings. Florence: International Council of the Aeronautical Sciences, 2024. p. 1-15. ISSN: 2958-4647. Detail
  • OLIVEIRA, W.; HAMARI, J.; FERREIRA, W.; PASTUSHENKO, O.; TODA, A.; TOLEDO PALOMINO, P.; ISOTANI, S. Uncovering associations between users' behaviour and their flow experience. BEHAVIOUR & INFORMATION TECHNOLOGY, 2024, vol. 43, no. 14, p. 3416-3435. ISSN: 0144-929X. Detail
  • OLŠÁK, O.; JAROŠ, J. Investigating the Possibility of Using Pruned FFT in Ultrasound Wave Propagation Simulations. Ostrava: 2024. Detail
  • OLŠÁK, O.; JAROŠ, J. Techniques for Efficient Fourier Transform Computation in Ultrasound Simulations. Soláň: 2024. Detail
  • OLŠÁK, O.; JAROŠ, J. On the usage of the Sparse Fourier Transform in ultrasound propagation simulation. In ICBRA '23: Proceedings of the 10th International Conference on Bioinformatics Research and Applications. New York: Association for Computing Machinery, 2024. p. 107-113. ISBN: 979-8-4007-0815-2. Detail
  • OLŠÁK, O.; JAROŠ, J. Techniques for Efficient Fourier Transform Computation in Ultrasound Simulations. In HPDC '24: Proceedings of the 33nd International Symposium on High-Performance Parallel and Distributed Computing. New York: Association for Computing Machinery, 2024. p. 361-363. ISBN: 979-8-4007-0413-0. Detail
  • PECHER, B.; ČEGIŇ, J.; BELANEC, R.; SRBA, I.; ŠIMKO, J.; BIELIKOVÁ, M. Fighting Randomness With Randomness: Mitigating Optimisation Instability of Fine-Tuning Using Ensemble and Noise Regularisation. Findings of the Association for Computational Linguistics: EMNLP 2024. Miami: Association for Computational Linguistics, 2024. p. 11005-11044. ISBN: 979-8-8917-6168-1. Detail
  • PECHER, B.; SRBA, I.; BIELIKOVÁ, M. On Sensitivity of Learning with Limited Labelled Data to the Effects of Randomness: Impact of Interactions and Systematic Choices. Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. Miami: Association for Computational Linguistics, 2024. p. 522-556. ISBN: 979-8-8917-6164-3. Detail
  • PECHER, B.; SRBA, I.; BIELIKOVÁ, M. A Survey on Stability of Learning with Limited Labelled Data and its Sensitivity to the Effects of Randomness. ACM COMPUTING SURVEYS, 2024, vol. 57, no. 1, p. 1-40. ISSN: 0360-0300. Detail
  • PENG, J.; DELCROIX, M.; OCHIAI, T.; ASHIHARA, T.; PLCHOT, O.; ARAKI, S.; ČERNOCKÝ, J. Probing Self-Supervised Learning Models With Target Speech Extraction. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Seoul: IEEE Signal Processing Society, 2024. p. 535-539. ISBN: 979-8-3503-7451-3. Detail
  • PENG, J.; DELCROIX, M.; OCHIAI, T.; PLCHOT, O.; ARAKI, S.; ČERNOCKÝ, J. Target Speech Extraction with Pre-Trained Self-Supervised Learning Models. ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Seoul: IEEE Signal Processing Society, 2024. p. 10421-10425. ISBN: 979-8-3503-4485-1. Detail
  • PEREŠÍNI, M.; HLADKÝ, T.; MALINKA, K.; HOMOLIAK, I. DAG-Sword: A Simulator for DAG-Oriented Proof-of-Work Blockchains with Realistic Network Topologies. In Proceedings of the 57th Annual Hawaii International Conference on System Sciences. Waikiki: IEEE Computer Society, 2024. p. 1-10. ISBN: 978-0-9981331-7-1. Detail
  • PEŠÁN, J.; JUŘÍK, V.; KARAFIÁT, M.; ČERNOCKÝ, J. BESST Dataset: A Multimodal Resource for Speech-based Stress Detection and Analysis. In Proceedings of Interspeech 2024. Proceedings of Interspeech. Kos: International Speech Communication Association, 2024. p. 1355-1359. ISSN: 1990-9772. Detail
  • PEŠÁN, J.; JUŘÍK, V.; RŮŽIČKOVÁ, A.; SVOBODA, V.; JANOUŠEK, O.; NĚMCOVÁ, A.; BOJANOVSKÁ, H.; ALDABAGHOVÁ, J.; KYSLÍK, F.; VODIČKOVÁ, K.; SODOMOVÁ, A.; BARTYS, P.; CHUDÝ, P.; ČERNOCKÝ, J. Speech production under stress for machine learning: multimodal dataset of 79 cases and 8 signals. Scientific data, 2024, vol. 11, no. 1, p. 1-9. ISSN: 2052-4463. Detail
  • PIŇOS, M.; SEKANINA, L.; MRÁZEK, V. ApproxDARTS: Differentiable Neural Architecture Search with Approximate Multipliers. In 2024 The International Joint Conference on Neural Networks (IJCNN). Yokohama: Institute of Electrical and Electronics Engineers, 2024. p. 1-8. ISBN: 979-8-3503-5931-2. Detail
  • POLÁNECKÁ, A.; NOVÁČKOVÁ, K.; BALÁŽ, T.; RYDLO, Š.; KOLÁŘ, D. Detection of Laser Beams Aimed at Aircraft in Flight. In 2024 New Trends in Civil Aviation (NTCA). Praha: Institute of Electrical and Electronics Engineers, 2024. p. 119-124. ISBN: 978-80-01-07182-3. Detail
  • POLOK, A.; KLEMENT, D.; HAN, J.; SEDLÁČEK, Š.; YUSUF, B.; MACIEJEWSKI, M.; WIESNER, M.; BURGET, L. BUT/JHU System Description for CHiME-8 NOTSOFAR-1 Challenge. Proceedings of CHiME 2024 Workshop. Kos Island: International Speech Communication Association, 2024. p. 18-22. Detail
  • PRASAD, A.; CAROFILIS, A.; VANDERREYDT, G.; KHALIL, D.; MADIKERI, S.; MOTLÍČEK, P.; SCHUEPBACH, C. Fine-Tuning Self-Supervised Models for Language Identification Using Orthonormal Constraint. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Seoul: IEEE Signal Processing Society, 2024. p. 11921-11925. ISBN: 979-8-3503-4485-1. Detail
  • PRASAD, A.; MADIKERI, S.; KHALIL, D.; MOTLÍČEK, P.; SCHUEPBACH, C. Speech and Language Recognition with Low-rank Adaptation of Pretrained Models. In Proceedings of Interspeech. Proceedings of Interspeech. Kos Island: International Speech Communication Association, 2024. p. 2825-2829. ISSN: 1990-9772. Detail
  • RANGAPPA, P.; MUSCAT, A.; SANCHEZ-LARA, A.; MOTLÍČEK, P.; ANTONOPOULOU, M.; FOURFOURIS, I.; SKARLATOS, A.; AVGERINOS, N.; TSANGARIS, M.; KOSTKA, K. Detecting Criminal Networks via Non-Content Communication Data Analysis Techniques from the TRACY Project. Proceedings of the15th EAI International Conference on Digital Forensics & Cyber Crime (EAI-ICDF2C24). Dubrovnik: 2024. p. 1-15. Detail
  • ROHDIN, J.; ZHANG, L.; PLCHOT, O.; STANĚK, V.; MIHOLA, D.; PENG, J.; STAFYLAKIS, T.; BEVERAKI, D.; SILNOVA, A.; BRUKNER, J.; BURGET, L. BUT systems and analyses for the ASVspoof 5 Challenge. Proceedings of ASV spoof 2024 Workshop. Kos Island: International Speech Communication Association, 2024. p. 24-31. Detail
  • ROZSÍVAL, M. Automated Testing of Networked Systems Reliability. In ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. Vienna: Association for Computing Machinery, 2024. p. 1920-1922. ISBN: 979-8-4007-0612-7. Detail
  • ROZSÍVAL, M.; SMRČKA, A.; VOJNAR, T. Automated Testing of Reliability of Networked Systems. In 2024 IEEE 17th International Scientific Conference on Informatics Proceedings. Poprad: Institute of Electrical and Electronics Engineers, 2024. p. 312-317. ISBN: 979-8-3503-8768-1. Detail
  • SEKANINA, L. Tutorial: Evolutionary Design Methods in Electronic Design Automation. In IEEE 42nd International Conference on Computer Design (ICCD). Milano: IEEE Computer Society, 2024. p. 689-690. ISBN: 979-8-3503-8040-8. Detail
  • SERGIDOU, E.; YPMA, R.; ROHDIN, J.; WORRING, M.; GERADTS, Z.; BOSMA, W. Fusing linguistic and acoustic information for automated forensic speaker comparison. SCIENCE & JUSTICE, 2024, vol. 64, no. 5, p. 485-497. ISSN: 1355-0306. Detail
  • STAFYLAKIS, T.; SILNOVA, A.; ROHDIN, J.; PLCHOT, O.; BURGET, L. Challenging margin-based speaker embedding extractors by using the variational information bottleneck. In Proceedings of Interspeech 2024. Proceedings of Interspeech. Kos: International Speech Communication Association, 2024. p. 3220-3224. ISSN: 1990-9772. Detail
  • STRNADEL, J.; LOJDA, J.; SMRŽ, P.; ŠIMEK, V. On SMC-Based Dependability Analysis in LoLiPoP-IoT Project. Steffen, B. (eds) Bridging the Gap Between AI and Reality (AISolA 2024). Lecture Notes in Computer Science. Limenas Hersonissou: Springer Nature Switzerland AG, 2024. p. 420-425. ISBN: 978-3-031-75434-0. ISSN: 0302-9743. Detail
  • STRNADEL, J.; LOJDA, J.; SMRŽ, P.; ŠIMEK, V. Machine Learning in Context of IoT/Edge Devices and LoLiPoP-IoT Project. In Proceedings of 32nd Austrian Workshop on Microelectronics (Austrochip 2024). Vienna: Institute of Electrical and Electronics Engineers, US, 2024. p. 1-4. ISBN: 979-8-3315-1617-8. Detail
  • ŠALKO, M.; FIRC, A.; MALINKA, K. Security Implications of Deepfakes in Face Authentication. In Proceedings of the ACM Symposium on Applied Computing. Avila: Association for Computing Machinery, 2024. p. 1376-1384. ISBN: 979-8-4007-0243-3. Detail
  • ŠÍMA, J.; VIDNEROVÁ, P.; MRÁZEK, V. Energy Complexity of Convolutional Neural Networks. NEURAL COMPUTATION, 2024, vol. 36, no. 8, p. 1601-1625. ISSN: 0899-7667. Detail
  • URBANOVÁ, P.; GOLDMANN, T.; ČERNÝ, D.; DRAHANSKÝ, M. Head Poses and Grimaces: Challenges for automated face identification algorithms?. SCIENCE & JUSTICE, 2024, vol. 64, no. 4, p. 421-442. ISSN: 1355-0306. Detail
  • VARGOVČÍK, P.; HOLÍK, L. Antichain with SAT and Tries. 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024). Leibniz International Proceedings in Informatics, LIPIcs. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024. p. 1-15. ISBN: 978-3-95977-334-8. ISSN: 1868-8969. Detail
  • VAŠÍČEK, O.; ARIAS, J.; FIEDOR, J.; GUPTA, G.; HALL, B.; KŘENA, B.; LARSON, B.; VARANASI, S.; VOJNAR, T. Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. Theory and Practice of Logic Programming, 2024, vol. 24, no. 4, p. 844-862. ISSN: 1475-3081. Detail
  • VAŠÍČEK, Z. Automated Synthesis of Commutative Approximate Arithmetic Operators. In 2024 IEEE Congress on Evolutionary Computation, CEC 2024 - Proceedings. Yokohama: IEEE Computer Society, 2024. p. 1-8. ISBN: 979-8-3503-0836-5. Detail
  • VAŠÍČEK, Z.; MRÁZEK, V.; SEKANINA, L. Automated Verifiability-Driven Design of Approximate Circuits: Exploiting Error Analysis. In 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE). Valencia: Institute of Electrical and Electronics Engineers, 2024. p. 1-6. ISBN: 979-8-3503-4859-0. Detail
  • VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V. Solving linear and nonlinear problems using Taylor Series Method. Open Computer Science, 2024, vol. 14, no. 1, p. 1-15. ISSN: 2299-1093. Detail
  • VEIGEND, P.; ŠÁTEK, V. Non-linear control using the numerical method based on the Taylor series. In 20th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Heraklion: American Institute of Physics, 2024. p. 1-4. ISSN: 0094-243X. Detail
  • VELECKÝ, J.; BEREZNÝ, M.; MUSIL, M.; MAZURENKO, S.; BEDNÁŘ, D.; DAMBORSKÝ, J. BenchStab: A tool for automated querying of web-based stability predictors. BIOINFORMATICS, 2024, vol. 40, no. 9, p. 1-8. ISSN: 1367-4803. Detail
  • VÍDEŇSKÝ, F.; ZBOŘIL, F.; BERAN, J.; KOČÍ, R.; ZBOŘIL, F. Comparing Variable Handling Strategies in BDI Agents: Experimental Study. In 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
  • VILLATORO-TELLO, E.; MADIKERI, S.; SHARMA, B.; KHALIL, D.; KUMAR, S.; NIGMATULINA, I.; MOTLÍČEK, P.; GANAPATHIRAJU, A. Probability-Aware Word-Confusion-Network-to-Text Alignment Approach for Intent Classification. ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Seoul: IEEE Signal Processing Society, 2024. p. 12617-12621. ISBN: 979-8-3503-4485-1. Detail
  • VINCENT, J.; KOHOUT, T.; KAŠPÁREK, T. Macroscale Roughness Reveals the Complex History of Asteroids Didymos and Dimorphos. The Planetary Science Journal, 2024, vol. 5, no. 10, p. 1-29. ISSN: 2632-3338. Detail
  • VYKOPAL, I.; PIKULIAK, M.; SRBA, I.; MÓRO, R.; MACKO, D.; BIELIKOVÁ, M. Disinformation Capabilities of Large Language Models. Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). Bangkok: Association for Computational Linguistics, 2024. p. 14830-14847. ISBN: 979-8-8917-6094-3. Detail
  • WANG, S.; CHEN, Z.; HAN, B.; WANG, H.; XIANG, X.; ROHDIN, J.; SILNOVA, A.; QIAN, Y.; LI, H. Advancing speaker embedding learning: Wespeaker toolkit for research and production. Speech Communication, 2024, vol. 162, no. 103104, p. 1-12. ISSN: 0167-6393. Detail
  • WANNER, L.; ČERNOCKÝ, J.; EGOROVA, E.; KLUSCH, M.; MAVROPOULOS, A. Support of Migrant Reception, Integration, and Social Inclusion by Intelligent Technologies. Information (Switzerland), 2024, vol. 15, no. 11, p. 1-33. ISSN: 2078-2489. Detail
  • WIMMER, C.; STANCU, C.; KOZÁK, D.; WUERTHINGER, T. Scaling Type-Based Points-to Analysis with Saturation. Proceedings of the ACM on Programming Languages, 2024, vol. 8, no. PLDI, p. 990-1013. ISSN: 2475-1421. Detail
  • YUSUF, B.; BASKAR, M.; ROSENBERG, A.; RAMABHADRAN, B. Speculative Speech Recognition by Audio-Prefixed Low-Rank Adaptation of Language Models. In Proceedings of Interspeech 2024. Proceedings of Interspeech. Kos: International Speech Communication Association, 2024. p. 792-796. ISSN: 1990-9772. Detail
  • YUSUF, B.; ČERNOCKÝ, J.; SARAÇLAR, M. Pretraining End-to-End Keyword Search with Automatically Discovered Acoustic Units. In Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Proceedings of Interspeech. Kos: International Speech Communication Association, 2024. p. 5068-5072. ISSN: 1990-9772. Detail
  • YUSUF, B.; SARAÇLAR, M. Written Term Detection Improves Spoken Term Detection. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, 2024, vol. 32, no. 06, p. 3213-3223. ISSN: 2329-9290. Detail
  • ZAKLOVÁ, K.; HYNEK, J.; HRUŠKA, T. Towards Transparent Governance: Unifying City Councils Decision-Making Data Processing and Visualization. In Lecture Notes in Networks and Systems. Lecture Notes in Networks and Systems. Lecture Notes in Networks and Systems. Cham: Springer Nature Switzerland AG, 2024. p. 402-411. ISBN: 978-3-031-60220-7. ISSN: 2367-3370. Detail
  • ZHANG, L.; STAFYLAKIS, T.; LANDINI, F.; DIEZ SÁNCHEZ, M.; SILNOVA, A.; BURGET, L. Do End-to-End Neural Diarization Attractors Need to Encode Speaker Characteristic Information?. Proceedings of Odyssey 2024: The Speaker and Language Recognition Workshop. Québec City: International Speech Communication Association, 2024. p. 123-130. Detail
  • ZHANG, L.; WANG, X.; COOPER, E.; DIEZ SÁNCHEZ, M.; LANDINI, F.; EVANS, N.; YAMAGISHI, J. Spoof Diarization: "What Spoofed When" in Partially Spoofed Audio. In Proceedings of Interspeech 2024. Proceedings of Interspeech. Kos: International Speech Communication Association, 2024. p. 502-506. ISSN: 1990-9772. Detail
  • ZHANG, R.; WEI, J.; LU, X.; LU, W.; JIN, D.; ZHANG, L.; XU, J. Unsupervised Adaptive Speaker Recognition by Coupling-Regularized Optimal Transport. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, 2024, vol. 32, no. 1, p. 3603-3617. ISSN: 2329-9290. Detail
Nahoru