Science and Research

Author Title (all words) Keywords (any word) Year Years Publication Type

2024

DENIZIAK Stanisław, SITEK Paweł, JENIHHIN Maksim, STEININGER Andreas, SCHÖLZEL Mario and MRÁZEK Vojtěch, ed. 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
ARIF Muhammad, REHMAN (ur) Faizan, SEKANINA Lukáš and MALIK Aamir Saeed. A comprehensive survey of evolutionary algorithms and metaheuristics in brain EEG-based applications. Journal of Neural Engineering, vol. 21, no. 5, 2024, pp. 1-25. ISSN 1741-2552. Detail
HUYNH Trung Nam, ZHANG Edward, FRANCIES Olivia, KUKLIŠ Filip, ALLEN Thomas, ZHU Jiaqi, ABEYAKOON Oshaani, LUCKA Felix, BETCKE Marta, JAROŠ Jiří, ARRIDGE Simon, COX Ben T., PLUMB Andrew and BEARD Paul. A fast all-optical 3D photoacoustic scanner for clinical vascular imaging. Nature Biomedical Engineering, vol. 8, no. 10, 2024, pp. 1-18. ISSN 2157-846X. Detail
AMIN Ullah Hafeez, AHMED Amr, YUSOFF Zuki Mohd, MOHAMAD Saad Mohamad Naufal and MALIK Aamir Saeed. A neurophysiological model based on resting state EEG functional connectivity features for assessing semantic long-term memory performance. Biomedical Signal Processing and Control, vol. 99, no. 1, 2024, pp. 1-9. ISSN 1746-8108. Detail
SCHWARZEROVÁ Jana, HURTA Martin, BARTOŇ Vojtěch, LEXA Matej, WALTHER Dirk, PROVAZNÍK Valentine and WECKWERTH Wolfram. A perspective on genetic and polygenic risk scores-advances and limitations and overview of associated tools. Briefings in Bioinformatics, vol. 25, no. 3, 2024, pp. 1-11. ISSN 1467-5463. Detail
PECHER Branislav, SRBA Ivan and BIELIKOVÁ Mária. A Survey on Stability of Learning with Limited Labelled Data and its Sensitivity to the Effects of Randomness. ACM Computing Surveys, vol. 57, no. 1, 2024, pp. 1-40. ISSN 0360-0300. Detail
LAZÚR Juraj, HYNEK Jiří and HRUŠKA Tomáš. A Unified Approach to Real-Time Public Transport Data Processing. In: Lecture Notes in Networks and Systems. Lecture Notes in Networks and Systems, vol. 2024. Cham: Springer Nature Switzerland AG, 2024, pp. 86-95. ISBN 978-3-031-60226-9. ISSN 2367-3370. Detail
CHEN Tian-fu, CHEN Yu-Fang, JIANG Jie-hong, JOBRANOVÁ Sára and LENGÁL Ondřej. Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. In: IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA. Association for Computing Machinery, 2024. ISBN 979-8-4007-1077-3. Detail
JAROŠ Jiří and DUCHOŇ Radek. Acceleration of Ultrasound Neurostimulation Using Mixed-Precision Arithmetic. In: HPDC '24: Proceedings of the 33rd International Symposium on High-Performance Parallel and Distributed Computing. New York: Association for Computing Machinery, 2024, pp. 370-372. ISBN 979-8-4007-0413-0. Detail
JAROŠ Jiří and BAYER David. afft: a C++17 wrapper library for FFT-like computations on various targets. Soláň, 2024. Detail
HABERMEHL Peter, HAVLENA Vojtěch, HEČKO Michal, HOLÍK Lukáš and LENGÁL Ondřej. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. In: Proceedings of CAV'24. Montreal: Springer Verlag, 2024, pp. 42-67. ISSN 0302-9743. Detail
PIŇOS Michal, SEKANINA Lukáš and MRÁZEK Vojtěch. 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, pp. 1-8. ISBN 979-8-3503-5931-2. Detail
KAPINUS Michal, BERAN Vítězslav, MATERNA Zdeněk and BAMBUŠEK Daniel. Augmented Reality Spatial Programming Paradigm Applied to End-User Robot Programming. Robotics and Computer-Integrated Manufacturing, vol. 89, no. 89, 2024, pp. 1-13. ISSN 0736-5845. Detail
VAŠÍČEK Zdeněk. Automated Synthesis of Commutative Approximate Arithmetic Operators. In: 2024 IEEE Congress on Evolutionary Computation, CEC 2024 - Proceedings. Yokohama: IEEE Computer Society, 2024, pp. 1-8. ISBN 979-8-3503-0836-5. Detail
VAŠÍČEK Zdeněk, MRÁZEK Vojtěch and SEKANINA Lukáš. 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, pp. 1-6. ISBN 979-8-3503-4859-0. Detail
CHLUBNA Tomáš, MILET Tomáš and ZEMČÍK Pavel. Automatic 3D-Display-Friendly Scene Extraction from Video Sequences and Optimal Focusing Distance Identification. Multimedia Tools and Applications, vol. 83, no. 7, 2024, pp. 1-29. ISSN 1573-7721. Detail
VELECKÝ Jan, BEREZNÝ Matej, MUSIL Miloš, MAZURENKO Stanislav, BEDNÁŘ David and DAMBORSKÝ Jiří. BenchStab: A tool for automated querying of web-based stability predictors. Bioinformatics, vol. 2024, no. 9, pp. 1-8. ISSN 1367-4803. Detail
HANÁK Jiří, NOVÁK Jiří and CHUDÝ Peter. 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, pp. 1-15. ISBN 979-8-3503-4961-0. Detail
JEŘÁBEK Kamil, HYNEK Karel and RYŠAVÝ Ondřej. Comparative Analysis of DNS over HTTPS Detectors. The International Journal of Computer and Telecommunications Networking, vol. 2024, no. 247, pp. 110452-110465. ISSN 1389-1286. Detail
VÍDEŇSKÝ František, ZBOŘIL František, BERAN Jan, KOČÍ Radek and ZBOŘIL František V. 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, pp. 25-36. ISBN 978-989-758-680-4. Detail
MALINKA Kamil, FIRC Anton, ŠALKO Milan, PRUDKÝ Daniel, RADAČOVSKÁ Karolína and HANÁČEK Petr. Comprehensive Multiparametric Analysis of Human Deepfake Speech Recognition. Eurasip Journal on Image and Video Processing, vol. 2024, no. 1, pp. 1-25. ISSN 1687-5281. Detail
BHATTACHARJEE Mrinmoy, NIGMATULINA Iuliia, PRASAD Amrutha, RANGAPPA Pradeep, MADIKERI Srikanth, MOTLÍČEK Petr, HELMKE Hartmut and KLEINERT Matthias. 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, pp. 12652-12656. ISBN 979-8-3503-4485-1. Detail
HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and SÍČ Juraj. Cooking String-Integer Conversions with Noodles. In: Proceedings of SAT'24. Leibniz International Proceedings in Informatics (LIPIcs). Pune: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024, pp. 1-19. ISSN 1868-8969. Detail
DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš and ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: 2024. Detail
JAWED Soyiba, FAYE Ibrahima and MALIK Aamir Saeed. Deep learning-based assessment model for Real-time identification of visual learners using Raw EEG. IEEE Transactions on Neural Systems and Rehabilitation Engineering, vol. 32, no. 1, 2024, pp. 378-390. ISSN 1558-0210. Detail
FIRC Anton, MALINKA Kamil and HANÁČEK Petr. Deepfake Speech Detection: A Spectrogram Analysis. In: Proceedings of the ACM Symposium on Applied Computing. Avila: Association for Computing Machinery, 2024, pp. 1312-1320. ISBN 979-8-4007-0243-3. Detail
ANNA Polánecká, BALÁŽ Teodor, KOLÁŘ Dušan, NOVÁČKOVÁ Kateřina and RYDLO Štěpán. Detection of Laser Beams Aimed at Aircraft in Flight. In: 2024 New Trends in Civil Aviation (NTCA). Praha, 2024, pp. 119-124. ISBN 978-80-01-07182-3. Detail
HAN Jiangyu, LANDINI Federico Nicolás, ROHDIN Johan A., DIEZ Sánchez Mireia, BURGET Lukáš, CAO Yuhang, LU Heng and ČERNOCKÝ Jan. 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, pp. 11181-11185. ISBN 979-8-3503-4485-1. Detail
LANDINI Federico Nicolás, DIEZ Sánchez Mireia, STAFYLAKIS Themos and BURGET Lukáš. DiaPer: End-to-End Neural Diarization With Perceiver-Based Attractors. IEEE Transactions on Audio, Speech, and Language Processing, vol. 32, no. 7, 2024, pp. 3450-3465. ISSN 1558-7916. Detail
FIRC Anton, MALINKA Kamil and HANÁČEK Petr. Diffuse or Confuse: A Diffusion Deepfake Speech Dataset. In: Darmstadt: GI - Group for computer science, 2024. Detail
KLEMENT Dominik, DIEZ Sánchez Mireia, LANDINI Federico Nicolás, BURGET Lukáš, SILNOVA Anna, DELCROIX Marc and TAWARA Naohiro. Discriminative Training of VBx Diarization. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Seoul: IEEE Signal Processing Society, 2024, pp. 11871-11875. ISBN 979-8-3503-4485-1. Detail
ZHANG Lin, STAFYLAKIS Themos, LANDINI Federico Nicolás, DIEZ Sánchez Mireia, SILNOVA Anna and BURGET Lukáš. Do End-to-End Neural Diarization Attractors Need to Encode Speaker Characteristic Information?. In: Proceedings of Odyssey 2024: The Speaker and Language Recognition Workshop. Québec City: International Speech Communication Association, 2024, pp. 123-130. Detail
NOVÁK Jiří and CHUDÝ Peter. Dynamic Soaring in Uncertain Wind Conditions: Polynomial Chaos Expansion Approach. In: Machine Learning, Optimization, and Data Science. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Grasmere: Springer Nature Switzerland AG, 2024, pp. 104-115. ISBN 978-3-031-53968-8. ISSN 0302-9743. Detail
MALIK Aamir Saeed, HUSSAIN Muhammad and CHAUDHARY Safee Ullah. Editorial: From assessment to intervention: role of consumer technology and neurotech in preventive mental health. Frontiers in Psychology, vol. 15, no. 1, 2024. ISSN 1664-1078. Detail
ČEGIŇ Ján, PECHER Branislav, ŠIMKO Jakub, SRBA Ivan and BIELIKOVÁ Mária. Effects of diversity incentives on sample diversity and downstream model performance in LLM-based text augmentation. In: Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). Bangkok: Association for Computational Linguistics, 2024, pp. 13148-13171. ISBN 979-8-8917-6094-3. Detail
CHLUBNA Tomáš, ZEMČÍK Pavel and MILET Tomáš. Efficient Random-Access GPU Video Decoding for Light-Field Rendering. Journal of Visual Communication and Image Representation, vol. 2024, no. 102, pp. 1-14. ISSN 1047-3203. Detail
ŠÍMA Jiří, MRÁZEK Vojtěch and VIDNEROVÁ Petra. Energy Complexity of Convolutional Neural Networks. Neural Computation, vol. 36, no. 8, 2024, pp. 1601-1625. ISSN 0899-7667. Detail
TURYTSIA Oleksandr, ZAKLOVÁ Kristýna, HYNEK Jiří, JOHN Petr and HRUŠKA Tomáš. Enhancing Retail Location Decisions in City of Brno: An Application of Geospatial Analysis Tools. In: Information Systems Engineering and Management. Information Systems Engineering and Management. Aveiro, 2024, pp. 1-19. ISSN 2367-3389. Detail
DEKEL Shay, KELLER Yosi and ČADÍK Martin. 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, pp. 2588-2598. ISBN 979-8-3503-5301-3. Detail
JAROŠ Jiří, JAROŠ Marta and BUCHTA Martin. 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, pp. 1-8. ISBN 979-8-3503-0836-5. Detail
MRÁZEK Vojtěch, KOKKINIS Argyrios, PAPANIKOLAOU Panagiotis, VAŠÍČEK Zdeněk, SIOZIOS Kostas, TZIMPRAGOS Georgios, TAHOORI Mehdi and ZERVAKIS Georgios. Evolutionary Approximation of Ternary Neurons for On-sensor Printed Neural Networks. In: 2024 IEEE/ACM International Conference on Computer Aided Design (ICCAD). New Jersey, 2024, p. 9. Detail
MATOUŠEK Petr, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Experience Report: Using JA4+ Fingerprints for Malware Detection in Encrypted Traffic. In: Proceedings of 20th International Conference on Network and Service Management. Prague, 2024, pp. 1-5. Detail
KLHŮFEK Jan, ŠAFÁŘ Miroslav, MRÁZEK Vojtěch, VAŠÍČEK Zdeněk and SEKANINA Lukáš. 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, pp. 1-6. ISBN 979-8-3503-5934-3. Detail
PECHER Branislav, ČEGIŇ Ján, BELANEC Róbert, SRBA Ivan, ŠIMKO Jakub and BIELIKOVÁ Mária. Fighting Randomness With Randomness: Mitigating Optimisation Instability of Fine-Tuning Using Ensemble and Noise Regularisation. In: Findings of the Association for Computational Linguistics: EMNLP 2024. Miami: Association for Computational Linguistics, 2024, pp. 11005-11044. ISBN 979-8-8917-6168-1. Detail
PRASAD Amrutha, CAROFILIS Andrés, VANDERREYDT Geoffroy, KHALIL Driss, MADIKERI Srikanth, MOTLÍČEK Petr and SCHUEPBACH Christof. 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, pp. 11921-11925. ISBN 979-8-3503-4485-1. Detail
LOJDA Jakub, STRNADEL Josef, SMRŽ Pavel and ŠIMEK Václav. First Steps Towards Unified Low-Power IoT Design: The "DYNAMIC" Framework. In: Yerevan, 2024, p. 6. Detail
LAZÚR Juraj, HYNEK Jiří and HRUŠKA Tomáš. 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, pp. 1-6. ISBN 979-8-3503-6095-0. Detail
URBANOVÁ Petra, GOLDMANN Tomáš, ČERNÝ Dominik and DRAHANSKÝ Martin. Head Poses and Grimaces: Challenges for automated face identification algorithms?. Science & Justice, vol. 64, no. 4, 2024, pp. 421-442. ISSN 1355-0306. Detail
CHLUBNA Tomáš, MILET Tomáš and ZEMČÍK Pavel. How Capturing Camera Trajectory Distortion Affects User Experience on Looking Glass 3D Display. Multimedia Tools and Applications, vol. 2024, no. 83, pp. 20265-20287. ISSN 1573-7721. Detail
HAVEL Martin, KŘIVKA Zbyněk and MEDUNA Alexander. How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars. In: Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications. Göttingen, 2024, pp. 86-99. ISSN 2075-2180. Detail
NOVÁK Jiří, HANÁK Jiří and CHUDÝ Peter. Hybrid Modeling Approach for Optimization Based Control of Multirotor Unmanned Aerial Vehicles. In: 34th Congress of the International Council of the Aeronautical Sciences, ICAS 2024. Florence: International Council of the Aeronautical Sciences, 2024, pp. 1-10. ISSN 2958-4647. Detail
BENEŠ Karel, KOCOUR Martin and BURGET Lukáš. 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, pp. 11276-11280. ISBN 979-8-3503-4485-1. Detail
MALINKA Kamil. ChatGPT in education - year after. Have the catastrophic scenarios come true?. Book of Abstracts SCITEED 2024. Oludeniz, 2024. Detail
MEDUNA Alexander and KŘIVKA Zbyněk. Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing. Boca Raton: CRC Press LLC, 2024. ISBN 978-0-367-62093-6. Detail
JAROŠ Marta and JAROŠ Jiří. 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, pp. 358-360. ISBN 979-8-4007-0413-0. Detail
JAROŠ Marta and JAROŠ Jiří. k-Dispatch: Enabling Cost-Optimized Biomedical Workflow Offloading. Solan, 2024. Detail
JAROŠ Jiří, TREEBY Bradley E. and JAROŠ Marta. k-Plan: From the Hospital to the Cluster and Back. Sydney, 2024. Detail
ČIEF Matej. Learning Action Embeddings for Off-Policy Evaluation. In: ECIR 2024: Advances in Information Retrieval. Advances in Information Retrieval. Glasgow: Springer Nature Switzerland AG, 2024, pp. 108-122. Detail
CHLUBNA Tomáš, MILET Tomáš and ZEMČÍK Pavel. Lightweight All-Focused Light Field Rendering. Computer Vision and Image Understanding, vol. 244, no. 7, 2024, pp. 7-8. ISSN 1077-3142. Detail
KUBÍK Tibor and ŠPANĚL Michal. LMVSegRNN and Poseidon3D: Addressing Challenging Teeth Segmentation Cases in 3D Dental Surface Orthodontic Scans. Bioengineering, vol. 11, no. 10, 2024, pp. 1-18. ISSN 2306-5354. Detail
VINCENT Jean-baptiste, KOHOUT Tomáš and KAŠPÁREK Tomáš et al. Macro-scale roughness reveals the complex history of asteroids Didymos and Dimorphos. The Planetary Science Journal, vol. 5, no. 10, 2024, pp. 1-29. ISSN 2632-3338. Detail
STRNADEL Josef, LOJDA Jakub, SMRŽ Pavel and ŠIMEK Václav. 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, 2024, pp. 1-4. ISBN 979-8-3315-1617-8. Detail
FIEDOR Tomáš, HAVLENA Vojtěch, HOLÍK Lukáš, HRUŠKA Martin, CHOCHOLATÝ David, LENGÁL Ondřej and SÍČ Juraj. Mata: A Fast and Simple Finite Automata Library. In: Proceedings of TACAS'24. Luxembourgh: Springer Verlag, 2024, pp. 130-151. ISSN 0302-9743. Detail
BAYER David and JAROŠ Jiří. MATLAB Interface To The afft Library. Ostrava, 2024. Detail
NOVÁK Jiří, CHUDÝ Peter and HANÁK Jiří. Model Predictive Control Driven Aerial Grasping with Soft Perception Constraints. In: 34th Congress of the International Council of the Aeronautical Sciences, ICAS 2024. Florence: International Council of the Aeronautical Sciences, 2024, pp. 1-15. ISSN 2958-4647. Detail
VEIGEND Petr and ŠÁTEK Václav. Non-linear control using the numerical method based on the Taylor series. In: 20th International Conference of Numerical Analysis and Applied Mathematics. Heraklion: American Institute of Physics, 2024, pp. 1-4. ISSN 0094-243X. Detail
ESPUNA Fontcuberta Aleix, PRASAD Amrutha, MOTLÍČEK Petr, MADIKERI Srikanth and SCHUEPBACH Christof. Normalising Flows for Speaker and Language Recognition Backend. In: Proceedings of Odyssey 2024: The Speaker and Language Recognition Workshop. Quebec: International Speech Communication Association, 2024, pp. 74-80. Detail
PECHER Branislav, SRBA Ivan and BIELIKOVÁ Mária. On Sensitivity of Learning with Limited Labelled Data to the Effects of Randomness: Impact of Interactions and Systematic Choices. In: Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. Miami: Association for Computational Linguistics, 2024, pp. 522-556. ISBN 979-8-8917-6164-3. Detail
STRNADEL Josef, LOJDA Jakub, SMRŽ Pavel and ŠIMEK Václav. On SMC-Based Dependability Analysis in LoLiPoP-IoT Project. In: Limenas Hersonissou, 2024, p. 25. Detail
OLŠÁK Ondřej and JAROŠ Jiří. 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, pp. 107-113. ISBN 979-8-4007-0815-2. Detail
NEČASOVÁ Gabriela and ŠÁTEK Václav. Parallel numerical solution of PDEs using Taylor series method. Soláň, 2024. Detail
NEČASOVÁ Gabriela and ŠÁTEK Václav. Parallel solution of parabolic partial differential equation using higher-order method. In: 20th International Conference of Numerical Analysis and Applied Mathematics. Heraklion: American Institute of Physics, 2024, pp. 1-4. ISSN 0094-243X. Detail
MUTUA Nelson Makau, NADJM-TEHRANI Simin and MATOUŠEK Petr. Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systrems. In: 2024, pp. 1-19. Detail
ČIEF Matej and KOMPAN Michal. Pessimistic Off-Policy Optimization for Learning to Rank. In: 27TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE. Frontiers in Artificial Intelligence and Applications. Santiago de Compostela, 2024, pp. 1896-1903. ISBN 978-1-64368-548-9. Detail
NOVÁK Jiří, HANÁK Jiří and CHUDÝ Peter. Predictive Control Driven Tactical Maneuvering. In: 34th Congress of the International Council of the Aeronautical Sciences, ICAS 2024. Florence: International Council of the Aeronautical Sciences, 2024, pp. 1-12. ISSN 2958-4647. Detail
PENG Junyi, DELCROIX Marc, OCHIAI Tsubasa, ASHIHARA Takanori, PLCHOT Oldřich, ARAKI Shoko and ČERNOCKÝ Jan. 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, pp. 535-539. ISBN 979-8-3503-7451-3. Detail
KAŠPÁREK Tomáš and CHUDÝ Peter. Pulsar Signal Adaptive Surrogate Modeling. Aerospace, vol. 11, no. 10, 2024, pp. 1-22. ISSN 2226-4310. Detail
BOBÁK Petr, ČMOLÍK Ladislav and ČADÍK Martin. Reinforced Labels: Multi-Agent Deep Reinforcement Learning for Point-Feature Label Placement. IEEE Transactions on Visualization and Computer Graphics, vol. 30, no. 9, 2024, pp. 5908-5922. ISSN 1077-2626. Detail
NOVÁK Jiří, HANÁK Jiří and CHUDÝ Peter. Reliability-Based Control System Optimization in Uncertain Conditions. In: AIAA Aviation Forum and ASCEND, 2024. Las Vegas: American Institute of Aeronautics and Astronautics, 2024, pp. 1-15. ISBN 978-1-62410-716-0. Detail
MALINKA Kamil, FIRC Anton, KAŠKA Petr, LAPŠANSKÝ Tomáš, ŠANDOR Oskar and HOMOLIAK Ivan. 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, pp. 66-84. ISBN 978-3-031-70878-7. Detail
MOTLÍČEK Petr, DIKICI Erinç, MADIKERI Srikanth, RANGAPPA Pradeep, BACKFRIED Gerhard, ROHDIN Johan A., SCHWARZ Petr, KOVÁČ Marek, MALÝ Květoslav, BOBOŠ Dominik, KLAKOW Dietrich and SERGIDOU Eleni Konstantina et al. ROXSD: The ROXANNE Multimodal and Simulated Dataset for Advancing Criminal Investigations. In: Proceedings of Odyssey 2024: The Speaker and Language Recognition Workshop. Québec City: International Speech Communication Association, 2024, pp. 17-24. Detail
KOZÁK David, STANCU Codrut, WIMMER Christian and WÜRTHINGER Thomas. Scaling Type-Based Points-to Analysis with Saturation. In: Proceedings of the ACM on Programming Languages. New York, 2024, pp. 990-1013. Detail
ŠALKO Milan, FIRC Anton and MALINKA Kamil. Security Implications of Deepfakes in Face Authentication. In: Proceedings of the ACM Symposium on Applied Computing. Avila: Association for Computing Machinery, 2024, pp. 1376-1384. ISBN 979-8-4007-0243-3. Detail
HUSA Jakub and SEKANINA Lukáš. Semantic Mutation Operator for Fast and Efficient Design of Bent Boolean Functions. Genetic Programming and Evolvable Machines, vol. 25, no. 3, 2024, pp. 1-32. ISSN 1389-2576. Detail
ABDELFATTAH Amr S., BLANCHARD Austin, ČERNÝ Tomáš, HALE Jack, HUTCHESON Richard, KOZÁK David and LAMBARIA Noah. 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, 2024, pp. 12-22. ISBN 979-8-3503-3066-3. Detail
VEIGEND Petr, NEČASOVÁ Gabriela and ŠÁTEK Václav. Solving linear and nonlinear problems using Taylor Series Method. Open Computer Science, vol. 14, no. 1, 2024, pp. 1-15. ISSN 2299-1093. Detail
PRASAD Amrutha, MADIKERI Srikanth, KHALIL Driss, MOTLÍČEK Petr and SCHUEPBACH Christof. Speech and Language Recognition with Low-rank Adaptation of Pretrained Models. In: Proceedings of Interspeech. Kos Island: International Speech Communication Association, 2024, pp. 2825-2829. ISSN 1990-9772. Detail
PEŠÁN Jan, JUŘÍK Vojtěch, RŮŽIČKOVÁ Alexandra, SVOBODA Vojtěch, JANOUŠEK Oto, NĚMCOVÁ Andrea, BOJANOVSKÁ Hana, ALDABAGHOVÁ Jasmína, KYSLÍK Filip, VODIČKOVÁ Kateřina, SODOMOVÁ Adéla, BARTYS Patrik, CHUDÝ Peter and ČERNOCKÝ Jan. Speech production under stress for machine learning: multimodal dataset of 79 cases and 8 signals. Nature Scientific Data, vol. 11, no. 1, 2024, pp. 1-9. ISSN 2052-4463. Detail
HASLINGER Jaroslav, KUČERA Radek, MOTYČKOVÁ Kristina and ŠÁTEK Václav. Stokes problem with the Coulomb stick-slip boundary conditions in 3D: formulations, approximation, algorithms, and experiments. Mathematics and Computers in Simulation, vol. 2024, no. 216, pp. 145-167. ISSN 0378-4754. Detail
WANNER Leo, ČERNOCKÝ Jan, EGOROVA Ekaterina, KLUSCH Matthias and MAVROPOULOS Athanasios et al. Support of Migrant Reception, Integration, and Social Inclusion by Intelligent Technologies. Information, vol. 15, no. 11, 2024, pp. 1-33. ISSN 2078-2489. Detail
JAROŠ Marta, OLŠÁK Ondřej and JAROŠ Jiří. System for managing HPC-services and workflow executions. Ostrava, 2024. Detail
HANÁK Jiří, NOVÁK Jiří and CHUDÝ Peter. Tactical Scenario Adaptation for Pilot Training. In: AIAA/IEEE Digital Avionics Systems Conference - Proceedings. San Diego: Institute of Electrical and Electronics Engineers, 2024, pp. 1-7. ISBN 979-8-3503-4961-0. Detail
PENG Junyi, DELCROIX Marc, OCHIAI Tsubasa, PLCHOT Oldřich, ARAKI Shoko and ČERNOCKÝ Jan. Target Speech Extraction with Pre-Trained Self-Supervised Learning Models. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Seoul: IEEE Signal Processing Society, 2024, pp. 10421-10425. ISBN 979-8-3503-4485-1. Detail
OLŠÁK Ondřej and JAROŠ Jiří. 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, pp. 361-363. ISBN 979-8-4007-0413-0. Detail
OLŠÁK Ondřej and JAROŠ Jiří. Techniques for Efficient Fourier Transform Computation in Ultrasound Simulations. Soláň, 2024. Detail
LOJDA Jakub, STRNADEL Josef, ŠIMEK Václav, SMRŽ Pavel, HAYES Michael and POPP Ralf. The LoLiPoP-IoT Project: Long Life Power Platforms for Internet of Things. In: Paris: Institute of Electrical and Electronics Engineers, 2024, p. 8. Detail
BURGETOVÁ Ivana, MATOUŠEK Petr and RYŠAVÝ Ondřej. Towards Identification of Network Applications in Encrypted Traffic. In: 2024, p. 9. Detail
ZAKLOVÁ Kristýna, HYNEK Jiří and HRUŠKA Tomáš. 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, vol. 2024. Cham: Springer Nature Switzerland AG, 2024, pp. 402-411. ISBN 978-3-031-60220-7. ISSN 2367-3370. Detail
HRANICKÝ Radek, HORÁK Adam, POLIŠENSKÝ Jan, JEŘÁBEK Kamil and RYŠAVÝ Ondřej. 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, pp. 1-5. ISBN 979-8-3503-2794-6. Detail
MALINKA Kamil, FIRC Anton, LOUTOCKÝ Pavel, VOSTOUPAL Jakub, KRIŠTOFÍK Andrej and KASL František. 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, pp. 227-233. ISBN 979-8-4007-0600-4. Detail
ABDULLA Parosh A., CHEN Yo-ga, CHEN Yu-Fang, HOLÍK Lukáš, LENGÁL Ondřej, LIN Jyun-ao, LO Fang-yi and TSAI Wei-lun. Verifying Quantum Circuits with Level-Synchronized Tree Automata. Proceedings of the ACM on Programming Languages, vol. 9, no. 1, 2024, p. 31. ISSN 2475-1421. Detail
NOVÁK Jiří, CHUDÝ Peter and HANÁK Jiří. Weight-varying Model Predictive Control for Coupled Cyber-Physical Systems: Aerial Grasping Study. In: Machine Learning, Optimization, and Data Science. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Castiglione della Pescaia, 2024, pp. 1-15. Detail
GOLDSCHMIDT Patrik and KUČERA Jan. Windower: Feature Extraction for Real-Time DDoS Detection Using Machine Learning. In: NOMS 2024-2024 IEEE Network Operations and Management Symposium. Seoul: Institute of Electrical and Electronics Engineers, 2024, pp. 1-10. ISBN 979-8-3503-2793-9. Detail
YUSUF Bolaji and SARAÇLAR Murat. Written Term Detection Improves Spoken Term Detection. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, vol. 32, no. 06, 2024, pp. 3213-3223. ISSN 2329-9290. Detail
HAVLENA Vojtěch, HOLÍK Lukáš, CHEN Yu-Fang, CHOCHOLATÝ David, LENGÁL Ondřej and SÍČ Juraj. Z3-Noodler: An Automata-based String Solver. In: Proceedings of TACAS'24. Lecture Notes. Luxembourgh: Springer Verlag, 2024, pp. 24-33. ISSN 0302-9743. Detail

2023

KIEFER Benjamin, BARTL Vojtěch, ŠPAŇHEL Jakub, HEROUT Adam and YANG Mau-tsuen et al. 1stWorkshop on Maritime Computer Vision (MaCVi) 2023: Challenge Results. In: 2023 IEEE/CVF Winter Conference on Applications of Computer Vision Workshops (WACVW). Waikoloa, Hawaii: Institute of Electrical and Electronics Engineers, 2023, pp. 265-302. ISBN 979-8-3503-2056-5. Detail
MALÍK Viktor, NEČAS František, SCHRAMMEL Peter and VOJNAR Tomáš. 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, vol. 13994. Paris: Springer International Publishing, 2023, pp. 529-534. ISBN 978-3-031-30819-2. Detail
QADRI Syed Safi Uddin, ARIF Muhammad and SAEED Bin Omer Muhammad. A Novel Variable Step-Size LMS Algorithm for Decentralized Incremental Distributed Networks. Circuits, Systems, and Signal Processing, vol. 41, no. 12, 2023, pp. 7226-7249. ISSN 0278-081X. Detail
JURÁNEK Roman, KLEPÁRNÍK Petr, KAPINUS Michal, DOBEŠ Petr and SMRŽ Pavel. A Study of Real-time Computer Vision Tasks in 5G-enhanced Environment. In: EuCNC & 6G Summit Proceedings. Gothenburg, 2023, pp. 1-5. Detail
HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej and TURRINI Andrea. A symbolic algorithm for the case-split rule in solving word constraints with extensions. Journal of Systems and Software, vol. 201, no. 201, 2023, pp. 111673-111693. ISSN 0164-1212. Detail
HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej and TURRINI Andrea. A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report). Ithaca: Cornell University Library, 2023. Detail
ZULUAGA-GOMEZ Juan, PRASAD Amrutha, NIGMATULINA Iuliia, MOTLÍČEK Petr and KLEINERT Matthias. A Virtual Simulation-Pilot Agent for Training of Air Traffic Controllers. Aerospace, vol. 10, no. 5, 2023, pp. 1-25. ISSN 2226-4310. Detail
MOINUDDIN Muhammad, ZERGUINE Azzedine and ARIF Muhammad. A Weighted Gaussian Kernel Least Mean Square Algorithm. Circuits, Systems, and Signal Processing, vol. 42, no. 9, 2023, pp. 5267-5288. ISSN 0278-081X. Detail
SILNOVA Anna, SLAVÍČEK Josef, MOŠNER Ladislav, KLČO Michal, PLCHOT Oldřich, MATĚJKA Pavel, PENG Junyi, STAFYLAKIS Themos and BURGET Lukáš. ABC System Description for NIST LRE 2022. In: Proceedings of NIST LRE 2022 Workshop. Washington DC: National Institute of Standards and Technology, 2023, pp. 1-5. Detail
KOŠAŘ Vlastimil, ŠIŠMIŠ Lukáš, MATOUŠEK Jiří and KOŘENEK Jan. Accelerating IDS Using TLS Pre-Filter in FPGA. In: Proceedings - IEEE Symposium on Computers and Communications. Tunis: IEEE Computer Society, 2023, pp. 436-442. ISBN 979-8-3503-0048-2. Detail
BAYER David and JAROŠ Jiří. Acceleration of Heat Diffusion Simulation on Single-Node Systems. Ostrava, 2023. Detail
PIŇOS Michal, MRÁZEK Vojtěch, VAVERKA Filip, VAŠÍČEK Zdeněk and SEKANINA Lukáš. Acceleration Techniques for Automated Design of Approximate Convolutional Neural Networks. IEEE Journal on Emerging and Selected Topics in Circuits and Systems, vol. 13, no. 1, 2023, pp. 212-224. ISSN 2156-3357. Detail
HAVLENA Vojtěch, MATOUŠEK Petr, RYŠAVÝ Ondřej and HOLÍK Lukáš. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, vol. 2023, no. 14, pp. 2352-2366. ISSN 1949-3053. Detail
HURTA Martin, MRÁZEK Vojtěch, DRAHOŠOVÁ Michaela and SEKANINA Lukáš. ADEE-LID: Automated Design of Energy-Efficient Hardware Accelerators for Levodopa-Induced Dyskinesia Classifiers. In: 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE). Antwerp: Institute of Electrical and Electronics Engineers, 2023, pp. 1-2. ISBN 978-3-9819263-7-8. Detail
VENUGOPALAN Sarad, STANČÍKOVÁ Ivana and HOMOLIAK Ivan. Always on Voting: A Framework for Repetitive Voting on the Blockchain. 2023, pp. 1-11. Detail
PENG Junyi, PLCHOT Oldřich, STAFYLAKIS Themos, MOŠNER Ladislav, BURGET Lukáš and ČERNOCKÝ Jan. An attention-based backend allowing efficient fine-tuning of transformer models for speaker verification. In: 2022 IEEE Spoken Language Technology Workshop, SLT 2022 - Proceedings. Doha: IEEE Signal Processing Society, 2023, pp. 555-562. ISBN 978-1-6654-7189-3. Detail
CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao, TSAI Wei-lun and YEN Di-de. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proceedings of the ACM on Programming Languages, vol. 7, no. 6, 2023, pp. 1218-1243. ISSN 2475-1421. Detail
KHALIL Driss, PRASAD Amrutha, MOTLÍČEK Petr, ZULUAGA-GOMEZ Juan, NIGMATULINA Iuliia, MADIKERI Srikanth and SCHUEPBACH Christof. An Automatic Speaker Clustering Pipeline for the Air Traffic Communication Domain. Aerospace, vol. 10, no. 10, 2023, pp. 1-14. ISSN 2226-4310. Detail
ŠIŠMIŠ Lukáš and KOŘENEK Jan. Analysis of TLS Prefiltering for IDS Acceleration. In: Passive and Active Measurement 2023. Lecture Notes in Computer Science, vol. 2023. Madrid: Springer Nature Switzerland AG, 2023, pp. 85-109. ISBN 978-3-031-28485-4. ISSN 0302-9743. Detail
JEŘÁBEK Kamil, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Analysis of Well-Known DNS over HTTPS Resolvers. In: 2023 IEEE 13th Annual Computing and Communication Workshop and Conference (CCWC). Las Vegas, 2023, pp. 516-524. ISBN 979-8-3503-3286-5. Detail
JOHN Petr, HYNEK Jiří, HRUŠKA Tomáš and VALNÝ Michal. Application of Time Series Database for IoT Smart City Platform. In: IEEE Xplore. 2023 Smart City Symposium Prague (SCSP). Prague: Institute of Electrical and Electronics Engineers, 2023, pp. 1-6. ISBN 979-8-3503-2162-3. Detail
MRÁZEK Vojtěch. Approximation of Hardware Accelerators driven by Machine-Learning Models. In: Proceedings of International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS '23). Tallinn: Institute of Electrical and Electronics Engineers, 2023, pp. 91-92. ISBN 979-8-3503-3277-3. Detail
PRUDKÝ Daniel, FIRC Anton and MALINKA Kamil. 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, pp. 1-5. ISBN 978-3-88579-733-3. Detail
SRBA Ivan, MÓRO Róbert, TOMLEIN Matúš, PECHER Branislav, ŠIMKO Jakub, ŠTEFANCOVÁ Elena, KOMPAN Michal, HRČKOVÁ Andrea, PODROUŽEK Juraj, GAVORNÍK Adrián and BIELIKOVÁ Mária. Auditing YouTube's Recommendation Algorithm for Misinformation Filter Bubbles. ACM Transactions on Recommender Systems, vol. 1, no. 1, 2023, pp. 1-33. ISSN 2770-6699. Detail
PEŠEK Jaroslav, PLNÝ Richard, KOUMAR Josef, JEŘÁBEK Kamil and ČEJKA Tomáš. Augmenting Monitoring Infrastructure For Dynamic Software-Defined Networks. In: 8th International Conference on Smart and Sustainable Technologies (SpliTech). Split, 2023, pp. 1-4. Detail
HOLÍKOVÁ Lenka, HORKÝ Michal and SÍČ Juraj. Automata with Bounded Repetition in RE2. In: Computer Aided Systems Theory - EUROCAST 2022. Heidelberg: Springer Verlag, 2023, pp. 232-239. ISSN 0302-9743. Detail
KOŽÁR Tomáš and MEDUNA Alexander. Automata: Theory, Trends, And Applications. Singapore: World Scientific Publishing Co Pte Ltd, 2023. ISBN 978-981-1278-12-9. Detail
LOJDA Jakub, PÁNEK Richard, SEKANINA Lukáš and KOTÁSEK Zdeněk. Automated Design and Usage of the Fault-Tolerant Dynamic Partial Reconfiguration Controller for FPGAs. Microelectronics Reliability, vol. 2023, no. 144, pp. 1-16. ISSN 0026-2714. Detail
SUKEI Emese, DE Leon Martinez Santiago Jose, OLMOS Pablo M. and ARTES Antonio. Automatic Patient Functionality Assessment from Multimodal Data using Deep Learning Techniques - Development and Feasibility Evaluation. Internet Interventions, vol. 33, no. 100657, 2023, pp. 1-9. ISSN 2214-7829. Detail
MOTLÍČEK Petr, PRASAD Amrutha, NIGMATULINA Iuliia, HELMKE Hartmut, OHNEISER Oliver and KLEINERT Matthias. Automatic Speech Analysis Framework for ATC Communication in HAAWAII. In: Proceedings of the 13th SESAR Innovation Days. Seville: SESAR Joint Undertaking, 2023, pp. 1-9. Detail
HELMKE Hartmut, KLEINERT Matthias, AHRENHOLD Nils, EHR Heiko, MÜHLHAUSEN Thorsten, PINSKA Chauvin Ella, OHNEISER Oliver, KLAMERT Lucas, MOTLÍČEK Petr, PRASAD Amrutha, ZULUAGA-GOMEZ Juan and DOKIC Jelena. Automatic Speech Recognition and Understanding for Radar Label Maintenance Support Increases Safety and Reduces Air Traffic Controllers' Workload. In: Proceedings of ATM Seminar. Savannah, Georgia: EUROPEAN ORGANISATION FOR THE SAFETY OF AIR NAVIGATION, 2023, pp. 1-11. Detail
CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao and TSAI Wei-lun. AutoQ: An Automata-based Quantum Circuit Verifier. In: Proceedings of 35th International Conference on Computer Aided Verification. Cham: Springer Verlag, 2023, pp. 139-153. ISSN 0302-9743. Detail
LI Zengpeng, SZALACHOWSKI Pawel, VENUGOPALAN Sarad and HOMOLIAK Ivan. BBB-Voting: 1-out-of-k Blockchain-Based Boardroom Voting with Fault Recovery. In: 2023, p. 15. Detail
ZULUAGA-GOMEZ Juan, SARFJOO Seyyed Saeed, PRASAD Amrutha, NIGMATULINA Iuliia, MOTLÍČEK Petr, ONDŘEJ Karel, OHNEISER Oliver and HELMKE Hartmut. BERTraffic: BERT-based Joint Speaker Role and Speaker Change Detection for Air Traffic Control Communications. In: IEEE Spoken Language Technology Workshop, SLT 2022 - Proceedings. Doha: IEEE Signal Processing Society, 2023, pp. 633-640. ISBN 978-1-6654-7189-3. Detail
DOLEJŠKA Daniel, KOUTENSKÝ Michal, VESELÝ Vladimír and PLUSKAL Jan. Busting up Monopoly: Methods for Modern Darknet Marketplace Forensics. Forensic Science International: Digital Investigation, vol. 46, no. 1, 2023, pp. 1-11. ISSN 2666-2817. Detail
KESIRAJU Santosh, BENEŠ Karel, TIKHONOV Maksim and ČERNOCKÝ Jan. BUT Systems for IWSLT 2023 Marathi - Hindi Low Resource Speech Translation Task. In: 20th International Conference on Spoken Language Translation, IWSLT 2023 - Proceedings of the Conference. Toronto (in-person and online): Association for Computational Linguistics, 2023, pp. 227-234. ISBN 978-1-959429-84-5. Detail
FAJČÍK Martin, MOTLÍČEK Petr and SMRŽ Pavel. Claim-Dissector: An Interpretable Fact-Checking System with Joint Re-ranking and Veracity Prediction. In: Findings of the Association for Computational Linguistics: ACL 2023. ACL, vol. 2023. Toronto: Association for Computational Linguistics, 2023, pp. 10184-10205. ISBN 978-1-959429-62-3. Detail
THEBAUD Thomas, JOSHI Sonal, LI Henry, ŠŮSTEK Martin, VILLALBA Lopez Jesus Antonio, KHUDANPUR Sanjeev and DEHAK Najim. Clustering Unsupervised Representations as Defense against Poisoning Attacks on Speech Commands Classification System. In: Proceedings of IEEE Automatic Speech Recognition and Understanding Workshop (ASRU). Taipei: IEEE Signal Processing Society, 2023, pp. 1-8. ISBN 979-8-3503-0689-7. Detail
HANÁK Jiří, CHUDÝ Peter and VLK Jan. Collaborative Agents for Synthetic Tactical Training. In: AIAA/IEEE Digital Avionics Systems Conference - Proceedings. Barcelona: Institute of Electrical and Electronics Engineers, 2023, pp. 1-9. ISBN 979-8-3503-3357-2. ISSN 2155-7195. Detail
MATERNA Zdeněk, KAPINUS Michal, DOBEŠ Petr, JURÁNEK Roman and SMRŽ Pavel. Communication Framework for 5G-Enabled Network Applications. In: EuCNC & 6G Summit Proceedings. Gothenburg, 2023, pp. 1-5. Detail
JOVANOVIC Vojin, KOZÁK David, STANCU Codrut, VOJNAR Tomáš and WIMMER Christian. 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, pp. 129-142. ISBN 979-8-4007-0380-5. Detail
POLJOVKA Andrej, MUSIL Miloš, BEDNÁŘ David, CHOVANOVÁ Katarína, BAUEROVÁ-HLINKOVÁ Vladena, BELLOVÁ Jana, KOHÚTOVÁ Lenka, BARÁTH Peter and ZÁMOCKÝ Marcel. Comparison of Fungal Thermophilic and Mesophilic Catalase-Peroxidases for Their Antioxidative Properties. Antioxidants, vol. 12, no. 7, 2023, pp. 1-19. ISSN 2076-3921. Detail
PAPŠO Rastislav. Complementary Product Recommendation for Long-tail Products. In: The 17th ACM Recommender Systems Conference. New York: Association for Computing Machinery, 2023, pp. 1305-1311. ISBN 979-8-4007-0241-9. Detail
SUKEI Emese, ROMERO-MEDRANO Lorena, DE Leon Martinez Santiago Jose, HERRERA Lopez Jesus, CAMPANA-MONTES Juan Jose, OLMOS Pablo M., BACA-GARCIA Enrique and ARTES Antonio. Continuous Assessment of Function and Disability via Mobile Sensing: Real-World Data-Driven Feasibility Study. JMIR Formative Research, vol. 7, no. 2023, 2023, pp. 1-10. ISSN 2561-326X. Detail
BARDONEK Petr and ZACHARIÁŠOVÁ Marcela. Control Flow Analysis for Bottom-up Portable Models Creation. In: DVCon Europe 2023; Design and Verification Conference and Exhibition Europe. Mnichov: VDE VERLAG, 2023, pp. 65-70. ISBN 978-3-8007-6205-7. Detail
KOCUR Viktor, HEGROVÁ Veronika, PATOČKA Marek, NEUMAN Jan and HEROUT Adam. Correction of AFM data artifacts using a convolutional neural network trained with synthetically generated data. Ultramicroscopy, vol. 246, no. 1, 2023, pp. 113666-113666. ISSN 0304-3991. Detail
BURGET Radek and SALEM Hamza. Creating Searchable Web Page Snapshots using Semantic Technologies. In: Web Engineering - 23rd International Conference, ICWE 2023. Lecture Notes in Computer Science. Alicante: Springer Nature Switzerland AG, 2023, pp. 355-358. ISBN 978-3-031-34443-5. Detail
BHATTACHARJEE Mrinmoy, MOTLÍČEK Petr, NIGMATULINA Iuliia, HELMKE Hartmut, OHNEISER Oliver, KLEINERT Matthias and EHR Heiko. Customization of Automatic Speech Recognition Engines for Rare Word Detection Without Costly Model Re-Training. In: Proceedings of the 13th SESAR Innovation Days. Seville: SESAR Joint Undertaking, 2023, pp. 1-8. Detail
PEREŠÍNI Martin, HLADKÝ Tomáš, MALINKA Kamil and HOMOLIAK Ivan. DAG-Sword: A Simulator for DAG-Oriented Proof-of-Work Blockchains with Realistic Network Topologies. In: 2023. Detail
POLČÁK Libor and SLEZÁKOVÁ Alexandra. Data Exfiltration by Hotjar Revisited. In: Proceedings of the 19th International Conference on Web Information Systems and Technologies. Řím: SciTePress - Science and Technology Publications, 2023, pp. 347-354. ISBN 978-989-758-672-9. Detail
POLČÁK Libor and JEŘÁBEK Kamil. Data Protection and Security Issues with Network Error Logging. In: Proceedings of the 20th International Conference on Security and Cryptography. Řím: SciTePress - Science and Technology Publications, 2023, pp. 683-690. ISBN 978-989-758-666-8. Detail
ANDRIUSHCHENKO Roman, BARTOCCI Ezio, ČEŠKA Milan, FRANCESCO Pontiggia and SARAH Sallinger. 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), vol. 14287. Cham: Springer Verlag, 2023, pp. 288-306. ISBN 978-3-031-43834-9. Detail
SKOWRON Marcin, BACKFRIED Gerhard, NAVAS Eva, BERZINŠ Aivars, VAN Den Bogaert Joachim, DE Jong Franciska, DEMARCO Andrea, POLÁK Peter, KOVÁČ Marek, POLÁK Peter, ROHDIN Johan A., ROSNER Michael, SANCHEZ Jon, SARATXAGA Ibon and SCHWARZ Petr. Deep Dive Speech Technology. European Language Equality. Cham: Springer Nature Switzerland AG, 2023, pp. 289-312. ISBN 978-3-031-28819-7. Detail
IMERI Arbnor and RYŠAVÝ Ondřej. Deep learning for predictive alerting and cyber-attack mitigation. In: IEEE 13th Annual Computing and Communication Workshop and Conference, CCWC 2023. Las Vegas: IEEE Computer Society, 2023, pp. 476-481. ISBN 978-3-319-93490-7. Detail
MALINKA Kamil, FIRC Anton and HANÁČEK Petr. Deepfakes a lidé: dokážeme ještě rozlišit pravou řeč od umělé?. DSM Data Security Management, vol. 2023, no. 04, pp. 22-26. ISSN 1211-8737. Detail
FIRC Anton, MALINKA Kamil and HANÁČEK Petr. Deepfakes as a threat to a speaker and facial recognition: an overview of tools and attack vectors. Heliyon, vol. 9, no. 4, 2023, pp. 1-33. ISSN 2405-8440. Detail
FIRC Anton, MALINKA Kamil and HANÁČEK Petr. Deepfakes: Bezpečnostní výzva pro naše uši. DSM Data Security Management, vol. 2023, no. 02, pp. 41-44. ISSN 1211-8737. Detail
ŘIHÁČEK Tomáš, NEHYBA Jan, ČEVELÍČEK Michal, POLOK Alexander, MATĚJKA Pavel and DOLEŽAL Petr. DeePsy: Představení online nástroje pro zpětnou vazbu v psychoterapii. Psychoterapie. Masarykova univerzita AN FL, vol. 17, no. 1, 2023, pp. 1-11. ISSN 1802-3983. Detail
SCHWARZ Martin, KANICH Ondřej, BERKA Miroslav, HAVLOVICOVÁ Markéta and DRAHANSKÝ Martin. Dermatoglyphic Patterns in Monozygotic Twins with Zimmermann-Laband Syndrome. Journal of Forensic Identification, vol. 73, no. 1, 2023, pp. 3-13. ISSN 0895-173X. Detail
MATĚJKA Pavel, SILNOVA Anna, SLAVÍČEK Josef, MOŠNER Ladislav, PLCHOT Oldřich, KLČO Michal, PENG Junyi, STAFYLAKIS Themos and BURGET Lukáš. Description and Analysis of ABC Submission to NIST LRE 2022. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Dublin: International Speech Communication Association, 2023, pp. 511-515. ISSN 1990-9772. Detail
DRGA Jozef, HOMOLIAK Ivan, VANČO Juraj, PEREŠÍNI Martin, HANÁČEK Petr and VASILAKOS Athanasios. 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, pp. 1-4. ISBN 0-06-000020-1. Detail
RADER Roman, JEŘÁBEK Kamil and RYŠAVÝ Ondřej. Detecting DoH-Based Data Exfiltration: FluBot Malware Case Study. In: IEEE 48th Conference on Local Computer Networks (LCN). Daytona Beach: IEEE Computer Society, 2023, pp. 50-54. ISBN 979-8-3503-0074-1. Detail
JEŘÁBEK Kamil, HYNEK Karel, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. DNS over HTTPS Detection Using Standard Flow Telemetry. IEEE Access, vol. 2023, no. 11, pp. 50000-50012. ISSN 2169-3536. Detail
MRÁZEK Vojtěch, JAWED Soyiba, ARIF Muhammad and MALIK Aamir Saeed. Effective EEG Feature Selection for Interpretable MDD (Major Depressive Disorder) Classification. In: GECCO 2023 - Proceedings of the 2023 Genetic and Evolutionary Computation Conference. Lisbon: Association for Computing Machinery, 2023, pp. 1427-1435. ISBN 979-8-4007-0119-1. Detail
VILLATORO-TELLO Esaú, MADIKERI Srikanth, ZULUAGA-GOMEZ Juan, SHARMA Bidisha, SARFJOO Seyyed Saeed, NIGMATULINA Iuliia, MOTLÍČEK Petr, IVANOV Alexei V. and GANAPATHIRAJU Aravind. Effectiveness of Text, Acoustic, and Lattice-Based Representations in Spoken Language Understanding Tasks. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Rhodes Island: IEEE Signal Processing Society, 2023, pp. 1-5. ISBN 978-1-7281-6327-7. Detail
YUSUF Bolaji, ČERNOCKÝ Jan and SARAÇLAR Murat. End-to-End Open Vocabulary Keyword Search With Multilingual Neural Representations. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, vol. 31, no. 08, 2023, pp. 3070-3080. ISSN 2329-9290. Detail
ŠÍMA Jiří, VIDNEROVÁ Petra and MRÁZEK Vojtěch. Energy Complexity Model for Convolutional Neural Networks. In: Artificial Neural Networks and Machine Learning - ICANN 2023: 32nd International Conference on Artificial Neural Networks. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Heraklion, 2023, pp. 186-198. ISBN 978-3-031-44203-2. Detail
ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Energy Efficiency of a Wheeled Bio-Inspired Hexapod Walking Robot in Sloping Terrain. Robotics, vol. 12, no. 2, 2023, pp. 1-15. ISSN 2218-6581. Detail
SEDLÁČEK Marek and SEKANINA Lukáš. Evolution of Editing Scripts From Examples. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO '23). Lisbon: Association for Computing Machinery, 2023, pp. 803-806. ISBN 979-8-4007-0120-7. Detail
CHLEBÍK Jakub and JAROŠ Jiří. Evolutionary Optimization of a Focused Ultrasound Propagation Predictor Neural Network. GECCO 2023 Companion - Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion. Lisbon: Association for Computing Machinery, 2023. ISBN 979-8-4007-0120-7. Detail
BAŘINA David. Experimental lossless data compressor. Microprocessors and Microsystems, vol. 98, no. 4, 2023, pp. 104803-104803. ISSN 0141-9331. Detail
STAFYLAKIS Themos, MOŠNER Ladislav, KAKOUROS Sofoklis, PLCHOT Oldřich, BURGET Lukáš and ČERNOCKÝ Jan. Extracting speaker and emotion information from self-supervised speech models via channel-wise correlations. In: 2022 IEEE Spoken Language Technology Workshop, SLT 2022 - Proceedings. Doha: IEEE Signal Processing Society, 2023, pp. 1136-1143. ISBN 978-1-6654-7189-3. Detail
DE Leon Martinez Santiago Jose, MORO Robert and BIELIKOVÁ Mária. Eye Tracking as a Source of Implicit Feedback in Recommender Systems: A Preliminary Analysis. In: ETRA '23: Proceedings of the 2023 Symposium on Eye Tracking Research and Applications. New York, NY: Association for Computing Machinery, 2023, pp. 1-3. ISBN 979-8-4007-0150-4. Detail
PLEŠKO Filip, GOLDMANN Tomáš and MALINKA Kamil. Facial Image Reconstruction and its Influence to Face Recognition. In: 2023 International Conference of the Biometrics Special Interest Group (BIOSIG). Darmstadt: Society for Informatics, 2023, pp. 1-4. ISBN 979-8-3503-3655-9. Detail
HOLÍK Lukáš, HOLÍKOVÁ Lenka, SÍČ Juraj and VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting. In: Foundations of Software Science and Computation Structures. Heidelberg: Springer Verlag, 2023, pp. 392-412. ISSN 0302-9743. Detail
HOLÍK Lukáš, HOLÍKOVÁ Lenka, SÍČ Juraj and VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). Ithaca, 2023. Detail
BUDINSKÝ Rastislav, HOMOLIAK Ivan and STANČÍKOVÁ Ivana. Fee-Redistribution Smart Contracts for Transaction-Fee-Based Regime of Blockchains with the Longest Chain Rule. In: 2023. Detail
KOŽÁR Tomáš, KŘIVKA Zbyněk and MEDUNA Alexander. Final sentential forms. In: Proceedings 13th International Workshop on Non-Classical Models of Automata and Applications. Famagusta: School of Computer Science and Engineering, University of New South Wales, 2023, pp. 38-47. ISSN 2075-2180. Detail
KOHÚT Jan and HRADIŠ Michal. Finetuning Is a Surprisingly Effective Domain Adaptation Baseline in Handwriting Recognition. In: Document Analysis and Recognition - ICDAR 2023. Lecture Notes in Computer Science, vol. 14190. San José: Springer Nature Switzerland AG, 2023, pp. 269-286. ISBN 978-3-031-41684-2. ISSN 0302-9743. Detail
MUSIL Miloš, JEŽÍK Andrej, BORKO Simeon, DAMBORSKÝ Jiří and BEDNÁŘ David. FireProt 2.0: Web-based Platform for the Fully-Automated Design of Thermostable Proteins. Lyon, 2023. Detail
MUSIL Miloš, JEŽÍK Andrej, HORÁČKOVÁ Jana, BORKO Simeon, KABOUREK Petr, DAMBORSKÝ Jiří and BEDNÁŘ David. FireProt 2.0: Web-based Platform for the Fully-Automated Design of Thermostable Proteins. Briefings in Bioinformatics, vol. 25, no. 1, 2023, pp. 1-10. ISSN 1467-5463. Detail
APAROVICH Maksim, KESIRAJU Santosh, DUFKOVÁ Aneta and SMRŽ Pavel. FIT BUT at SemEval-2023 Task 12: Sentiment Without Borders - Multilingual Domain Adaptation for Low-Resource Sentiment Classification. In: Proceedings of the The 17th International Workshop on Semantic Evaluation (SemEval-2023). Toronto (online): Association for Computational Linguistics, 2023, pp. 1518-1524. ISBN 978-1-959429-99-9. Detail
KALKREUTH Roman, VAŠÍČEK Zdeněk, HUSA Jakub, VERMETTEN Diederick, YE Furong and THOMAS Bäck. General Boolean Function Benchmark Suite. In: FOGA 2023 - Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. Potsdam: Association for Computing Machinery, 2023, pp. 84-95. ISBN 979-8-4007-0202-0. Detail
ZBOŘIL František, BERAN Jan, DOKOUPIL Ladislav and VÍDEŇSKÝ František. 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 of Artificial Intelligence. Berlin: Springer Nature Switzerland AG, 2023, pp. 120-150. ISSN 1611-3349. Detail
GIACOBINI Mario, PAPPA Gisele and VAŠÍČEK Zdeněk, ed. Genetic Programming. LNCS 13986. Cham: Springer Verlag, 2023. ISBN 978-3-031-29572-0. Detail
REGÉCIOVÁ Dominika and KOLÁŘ Dušan. GenRex: Leveraging Regular Expressions for Dynamic Malware Detection. In: IEEE Xplore. Exeter: Institute of Electrical and Electronics Engineers, 2023, pp. 857-864. ISBN 979-8-3503-8199-3. Detail
JŮZA Tadeáš and SEKANINA Lukáš. GPAM: Genetic Programming with Associative Memory. In: 26th European Conference on Genetic Programming (EuroGP) Held as Part of EvoStar. LNCS, vol. 13986. Cham: Springer Nature Switzerland AG, 2023, pp. 68-83. ISBN 978-3-031-29572-0. ISSN 0302-9743. Detail
SEKANINA Lukáš, MRÁZEK Vojtěch and PIŇOS Michal. Hardware-Aware Evolutionary Approaches to Deep Neural Networks. Handbook of Evolutionary Machine Learning. Genetic and Evolutionary Computation. Singapore: Springer Nature Singapore, 2023, pp. 367-396. ISBN 978-981-9938-13-1. Detail
BAMBUŠEK Daniel, MATERNA Zdeněk, KAPINUS Michal, BERAN Vítězslav and SMRŽ Pavel. How Do I Get There? Overcoming Reachability Limitations of Constrained Industrial Environments in Augmented Reality Applications. In: 2023 IEEE Conference on Virtual Reality and 3D User Interfaces (VR). Shanghai: Institute of Electrical and Electronics Engineers, 2023, pp. 115-122. ISBN 979-8-3503-4815-6. Detail
ZULUAGA-GOMEZ Juan, PRASAD Amrutha, NIGMATULINA Iuliia, SARFJOO Seyyed Saeed, MOTLÍČEK Petr, KLEINERT Matthias, HELMKE Hartmut, OHNEISER Oliver and ZHAN Qingran. How Does Pre-Trained Wav2Vec 2.0 Perform on Domain-Shifted ASR? an Extensive Benchmark on Air Traffic Control Communications. In: IEEE Spoken Language Technology Workshop, SLT 2022 - Proceedings. Doha: IEEE Signal Processing Society, 2023, pp. 205-212. ISBN 978-1-6654-7189-3. Detail
TESAŘOVÁ Alena, HEROUT Adam, BAMBUŠEK Daniel and JUŘÍK Vojtěch. How to shoot yourself right with a smartphone?. Virtual Reality, vol. 2023, no. 1, pp. 1-13. ISSN 1434-9957. Detail
MAI Florian, ZULUAGA-GOMEZ Juan, PARCOLLET Titouan and MOTLÍČEK Petr. HyperConformer: Multi-head HyperMixer for Efficient Speech Recognition. In: Proceedings of the Annual Conference of International Speech Communication Association, INTERSPEECH. Dublin: International Speech Communication Association, 2023, pp. 2213-2217. ISSN 1990-9772. Detail
ČEGIŇ Ján and ŠIMKO Jakub. ChatGPT to Replace Crowdsourcing of Paraphrases for Intent Classification: Higher Diversity and Comparable Model Robustness. In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing. Singapur: Association for Computational Linguistics, 2023, pp. 1889-1905. ISBN 979-8-8917-6060-8. Detail
NIGMATULINA Iuliia, MADIKERI Srikanth, VILLATORO-TELLO Esaú, MOTLÍČEK Petr, ZULUAGA-GOMEZ Juan, PANDIA Karthick and GANAPATHIRAJU Aravind. Implementing contextual biasing in GPU decoder for online ASR. In: Proceedings of the Annual Conference of International Speech Communication Association, INTERSPEECH. Dublin: International Speech Communication Association, 2023, pp. 4494-4498. ISSN 1990-9772. Detail
GAVRIELIDES Andreas, SOPHOCLEOUS Marios, AGAPIOU George, LESSI Christina, ŠPAŇHEL Jakub, LENDINEZ Adrian, QIU Renxi and LI Dayou. Implementing Network Applications for 5G-Enabled Robots Through the 5G-ERA Platform. In: IFIP Advances in Information and Communication Technology. Artificial Intelligence Applications and Innovations, vol. 677. Cham: Springer Nature Switzerland AG, 2023, pp. 55-65. ISBN 978-3-031-34170-0. ISSN 1868-422X. Detail
PENG Junyi, PLCHOT Oldřich, STAFYLAKIS Themos, MOŠNER Ladislav, BURGET Lukáš and ČERNOCKÝ Jan. Improving Speaker Verification with Self-Pretrained Transformer Models. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Dublin: International Speech Communication Association, 2023, pp. 5361-5365. ISSN 1990-9772. Detail
PEREŠÍNI Martin, HOMOLIAK Ivan, HRUBÝ Martin, BENČIĆ Federico M. and MALINKA Kamil. Incentive Attacks on DAG-Oriented Blockchains with Random Transaction Selection. In: 2023, p. 12. Detail
HUJŇÁK Ondřej, MALINKA Kamil and HANÁČEK Petr. Indirect Bluetooth Low Energy Connection Detection. In: 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023, pp. 328-333. ISBN 978-1-6654-6268-6. Detail
FIEDOR Jan, KŘENA Bohuslav, SMRČKA Aleš, VAŠÍČEK Ondřej and VOJNAR Tomáš. Integrating OSLC Services into Eclipse. In: Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science, vol. 13789. Las Palmas de Gran Canaria: Springer International Publishing, 2023, pp. 240-249. ISBN 978-3-031-25311-9. Detail
ZBOŘIL Jan, HUJŇÁK Ondřej and MALINKA Kamil. IoT Gateways Network Communication Analysis. In: 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023, pp. 334-339. ISBN 978-1-6654-6268-6. Detail
ŠŮSTEK Martin, JOSHI Sonal, LI Henry, THEBAUD Thomas, VILLALBA Lopez Jesus Antonio, KHUDANPUR Sanjeev and DEHAK Najim. Joint Energy-Based Model for Robust Speech Classification System against Dirty-Label Backdoor Poisoning Attacks. In: Proceedings of IEEE Automatic Speech Recognition and Understanding Workshop (ASRU). Taipei: IEEE Signal Processing Society, 2023, pp. 1-8. ISBN 979-8-3503-0689-7. Detail
POLČÁK Libor, SALOŇ Marek, MAONE Giorgio, HRANICKÝ Radek and MCMAHON Michael. JShelter: Give Me My Browser Back. In: Proceedings of the 20th International Conference on Security and Cryptography. Řím: SciTePress - Science and Technology Publications, 2023, pp. 287-294. ISBN 978-989-758-666-8. Detail
HROMÁDKA Timo, SMOLEŇ Timotej, REMIŠ Tomáš, PECHER Branislav and SRBA Ivan. KInITVeraAI at SemEval-2023 Task 3: Simple yet Powerful Multilingual Fine-Tuning for Persuasion Techniques Detection. In: 17th International Workshop on Semantic Evaluation, SemEval 2023 - Proceedings of the Workshop. Toronto: Association for Computational Linguistics, 2023, pp. 629-637. ISBN 978-1-959429-99-9. Detail
ZULUAGA-GOMEZ Juan, NIGMATULINA Iuliia, PRASAD Amrutha, MOTLÍČEK Petr, KHALIL Driss, MADIKERI Srikanth, TART Allan, SZŐKE Igor, LENDERS Vincent, RIGAULT Mickael and CHOUKRI Khalid. Lessons Learned in Transcribing 5000 h of Air Traffic Control Communications for Robust Automatic Speech Understanding. Aerospace, vol. 2023, no. 10, pp. 1-33. ISSN 2226-4310. Detail
HURTA Martin, MRÁZEK Vojtěch, DRAHOŠOVÁ Michaela and SEKANINA Lukáš. MODEE-LID: Multiobjective Design of Energy-Efficient Hardware Accelerators for Levodopa-Induced Dyskinesia Classifiers. In: 2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). Tallinn: Institute of Electrical and Electronics Engineers, 2023, pp. 155-160. ISBN 979-8-3503-3277-3. Detail
HAVLENA Vojtěch, LENGÁL Ondřej, LI Yong, ŠMAHLÍKOVÁ Barbora and TURRINI Andrea. Modular Mix-and-Match Complementation of Büchi Automata. In: Proceedings of TACAS'23. Paris: Springer Verlag, 2023, pp. 249-270. ISSN 0302-9743. Detail
HAVLENA Vojtěch, LENGÁL Ondřej, LI Yong, ŠMAHLÍKOVÁ Barbora and TURRINI Andrea. Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). Ithaca: Cornell University Library, 2023. Detail
MOŠNER Ladislav, PLCHOT Oldřich, PENG Junyi, BURGET Lukáš and ČERNOCKÝ Jan. Multi-Channel Speech Separation with Cross-Attention and Beamforming. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Dublin: International Speech Communication Association, 2023, pp. 1693-1697. ISSN 1990-9772. Detail
HURTA Martin, MRÁZEK Vojtěch, DRAHOŠOVÁ Michaela and SEKANINA Lukáš. Multi-objective Design of Hardware Accelerators for Levodopa-Induced Dyskinesia Classifiers. Evo* 2023 -- Late-Breaking Abstracts Volume. Brno, 2023. Detail
LANDINI Federico Nicolás, DIEZ Sánchez Mireia, LOZANO Díez Alicia and BURGET Lukáš. Multi-Speaker and Wide-Band Simulated Conversations as Training Data for End-to-End Neural Diarization. In: Proceedings of ICASSP 2023. Rhodes Island: IEEE Signal Processing Society, 2023, pp. 1-5. ISBN 978-1-7281-6327-7. Detail
DELCROIX Marc, TAWARA Naohiro, DIEZ Sánchez Mireia, LANDINI Federico Nicolás, SILNOVA Anna, OGAWA Atsunori, NAKATANI Tomohiro, BURGET Lukáš and ARAKI Shoko. Multi-Stream Extension of Variational Bayesian HMM Clustering (MS-VBx) for Combined End-to-End and Vector Clustering-based Diarization. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Dublin: International Speech Communication Association, 2023, pp. 3477-3481. ISSN 1990-9772. Detail
ROZSÍVAL Michal and SMRČKA Aleš. 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, pp. 207-210. ISBN 979-8-3503-2543-0. Detail
ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, OCHIAI Tsubasa, ČERNOCKÝ Jan, KINOSHITA Keisuke and YU Dong. Neural Target Speech Extraction: An overview. IEEE Signal Processing Magazine, vol. 40, no. 3, 2023, pp. 8-29. ISSN 1558-0792. Detail
BURDISSO Sergio, VILLATORO-TELLO Esaú, MADIKERI Srikanth and MOTLÍČEK Petr. Node-weighted Graph Convolutional Network for Depression Detection in Transcribed Clinical Interviews. In: Proceedings of the Annual Conference of International Speech Communication Association, INTERSPEECH. Dublin: International Speech Communication Association, 2023, pp. 3617-3621. ISSN 1990-9772. Detail
VEIGEND Petr and ŠÁTEK Václav. Nonlinear Control Using High-Order Integration Method. In: 19th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2023, pp. 1-4. ISSN 0094-243X. Detail
KUČERA Radek, ARZT Vladimír, HASLINGER Jaroslav and ŠÁTEK Václav. Numerical solution of the Navier-Stokes system with the stick-slip boundary condition. In: 19th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2023, pp. 1-4. ISSN 0094-243X. Detail
MALINKA Kamil, FIRC Anton, PEREŠÍNI Martin, JANUŠ Filip and HUJŇÁK Ondřej. On the educational impact of ChatGPT: Is Artificial Intelligence ready to obtain a University degree?. In: Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE. Turku: Association for Computing Machinery, 2023, pp. 47-53. ISBN 979-8-4007-0138-2. Detail
KAŠPÁREK Tomáš, JAVORKA Martin, CHUDÝ Peter and PITOŇÁK Radoslav. On-board data processing for meteor detection on SLAVIA mission. In: Proceedings of the 2023 European Data Handling and Data Processing Conference for Space, EDHPC 2023. Juan Les Pins: Institute of Electrical and Electronics Engineers, 2023, pp. 1-5. ISBN 978-90-90-37924-1. Detail
YUSUF Bolaji, GOURAV Aditya, GANDHE Ankur and BULYKO Ivan. On-the-Fly Text Retrieval for end-to-end ASR Adaptation. In: Proceedings of ICASSP 2023. Rhodes Island: IEEE Signal Processing Society, 2023, pp. 1-5. ISBN 978-1-7281-6327-7. Detail
VÍDEŇSKÝ František, ZBOŘIL František, ZBOŘIL František V. and KOČÍ Radek. 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, pp. 173-180. ISBN 978-989-758-623-1. Detail
JAROŠ Marta and JAROŠ Jiří. Optimization of Execution Parameters of Moldable Ultrasound Workflows Under Incomplete Performance Data. In: Job Scheduling Strategies for Parallel Processing. JSSPP 2022. Lecture Notes in Computer Science, LNCS 13592, vol. 13592. Virtual Event: Springer Nature Switzerland AG, 2023, pp. 152-171. ISBN 978-3-031-22697-7. Detail
KEKELY Michal and KOŘENEK Jan. Optimizing Packet Classification on FPGA. In: PROCEEDINGS 2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). Tallinn: Institute of Electrical and Electronics Engineers, 2023, pp. 7-12. ISBN 979-8-3503-3277-3. ISSN 2334-3133. Detail
FIEDOR Tomáš, HRUŠKA Martin and SMRČKA Aleš. Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. In: Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science, vol. 13789. Zurich: Springer International Publishing, 2023, pp. 223-231. ISBN 978-3-031-25311-9. Detail
PENG Junyi, STAFYLAKIS Themos, GU Rongzhi, PLCHOT Oldřich, MOŠNER Ladislav, BURGET Lukáš and ČERNOCKÝ Jan. Parameter-Efficient Transfer Learning of Pre-Trained Transformer Models for Speaker Verification Using Adapters. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Rhodes Island: IEEE Signal Processing Society, 2023, pp. 1-5. ISBN 978-1-7281-6327-7. Detail
VANDERREYDT Geoffroy, PRASAD Amrutha, KHALIL Driss, MADIKERI Srikanth, DEMUYNCK Kris and MOTLÍČEK Petr. Parameter-Efficient Tuning With Adaptive Bottlenecks For Automatic Speech Recognition. In: Proceedings of IEEE Automatic Speech Recognition and Understanding Workshop (ASRU). Taipei: IEEE Signal Processing Society, 2023, pp. 1-7. ISBN 979-8-3503-0689-7. Detail
PASTUSHENKO Olena and PASSMORE J. Cale. Play and Resistance: Intersecting Identities and Implicit Biases in Gamified Educational Tools. In: Conference on Human Factors in Computing Systems - Proceedings. Hamburg: Association for Computing Machinery, 2023, pp. 1-7. ISBN 978-1-4503-9422-2. Detail
RŮŽIČKA Richard, ŠIMEK Václav and NEVORAL Jan. Polymorphic RTL Computational Elements. In: Proceedings of the DSD 2023. Durres: IEEE Computer Society, 2023, pp. 523-530. ISBN 979-8-3503-4419-6. Detail
GOLDMANN Tomáš and URBANOVÁ Petra. Poses and Grimaces: Challenges for automated face identification algorithms?. Colorado, 2023. Detail
STRNADEL Josef. Poznámky k psaní technických zpráv. Brno: Department of Computer Systems FIT BUT, 2023. Detail
POLÁŠEK Tomáš and ČADÍK Martin. Predicting Photovoltaic Power Production using High-Uncertainty Weather Forecasts. Applied Energy, vol. 2023, no. 339, pp. 120989-121004. ISSN 0306-2619. Detail
PIŇOS Michal, MRÁZEK Vojtěch and SEKANINA Lukáš. Prediction of Inference Energy on CNN Accelerators Supporting Approximate Circuits. In: 2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Talinn: Institute of Electrical and Electronics Engineers, 2023, pp. 45-50. ISBN 979-8-3503-3277-3. Detail
KOČÍ Radek and JANOUŠEK Vladimír. Prerequisites for Simulation-Based Software Design and Deployment. In: ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances. Porto: Xpert Publishing Services, 2023, pp. 105-109. ISBN 978-1-68558-098-8. Detail
CHLUBNA Tomáš, MILET Tomáš, ZEMČÍK Pavel and KULA Michal. Real-Time Light Field Video Focusing and GPU Accelerated Streaming. Journal of Signal Processing Systems, vol. 95, no. 6, 2023, pp. 703-719. ISSN 1939-8115. Detail
FIEDOR Tomáš, HOLÍK Lukáš, HRUŠKA Martin, ROGALEWICZ Adam, SÍČ Juraj and VARGOVČÍK Pavol. Reasoning about Regular Properties: A Comparative Study. In: Automated Deduction - CADE 29. Cham: Springer Nature Switzerland AG, 2023, pp. 286-306. ISSN 0302-9743. Detail
POLČÁK Libor. Responsible And Safe Home Metering: How to Design A Privacy-Friendly Metering System?. Information Security and Privacy in Smart Devices: Tools, Methods, and Applications. Information Security and Privacy in Smart Devices: Tools, Methods, and Applications. Hershey, PA: IGI Global, 2023, pp. 1-40. ISBN 978-1-6684-5991-1. Detail
VONDRÁČEK Martin, BAGGILI Ibrahim, CASEY Peter and MEKNI Mehdi. Rise of the Metaverse's Immersive Virtual Reality Malware and the Man-in-the-Room Attack & Defenses. Computers and Security, vol. 127, no. 1, 2023, pp. 1-13. ISSN 0167-4048. Detail
SHAIKH Qamar Usman, SHAHZAIB Muhammad, SHAKIL Sadia, BHATTI A. Farrukh and MALIK Aamir Saeed. Robust and Adaptive Terrain Classification and Gait Event Detection System. Heliyon, vol. 9, no. 11, 2023, pp. 1-12. ISSN 2405-8440. Detail
STANČÍKOVÁ Ivana and HOMOLIAK Ivan. 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, pp. 203-2011. ISBN 978-1-4503-9517-5. Detail
BURGET Radek. Scraping Data from Web Pages using SPARQL Queries. In: Web Engineering - 23rd International Conference, ICWE 2023. Lecture Notes in Computer Science. Alicante: Springer Nature Switzerland AG, 2023, pp. 293-300. ISBN 978-3-031-34443-5. Detail
ANDRIUSHCHENKO Roman, ALEXANDER Bork, ČEŠKA Milan, JUNGES Sebastian, KATOEN Joost-Pieter and MACÁK Filip. 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), vol. 13966. Cham: Springer Verlag, 2023, pp. 113-135. ISBN 978-3-031-37708-2. Detail
HUSA Jakub and SEKANINA Lukáš. Semantic Mutation Operator for Fast and Efficient Design of Bent Boolean Functions. Evo* 2023 -- Late-Breaking Abstracts Volume. Brno, 2023. Detail
MAHRUKH Rimsha, SHAKIL Sadia and MALIK Aamir Saeed. Sentiments analysis of fMRI using automatically generated stimuli labels under naturalistic paradigm. Scientific Reports, vol. 13, no. 7267, 2023, pp. 1-15. ISSN 2045-2322. Detail
AMIN Ullah Hafeez, ULLAH Rafi, REZA Faruque Mohammed and MALIK Aamir Saeed. Single-trial extraction of event-related potentials (ERPs) and classification of visual stimuli by ensemble use of discrete wavelet transform with Huffman coding and machine learning techniques. Journal of NeuroEngineering and Rehabilitation, vol. 20, no. 70, 2023, pp. 1-17. ISSN 1743-0003. Detail
JURÁNEK Roman, MUSIL Petr, MUSIL Martin, NOSKO Svetozár and ZEMČÍK Pavel. Smart camera for traffic applications. Journal of Signal Processing Systems, vol. 95, no. 9, 2023, pp. 1067-1077. ISSN 1939-8115. Detail
KIŠŠ Martin, HRADIŠ Michal, BENEŠ Karel, BUCHAL Petr and KULA Michal. SoftCTC-semi-supervised learning for text recognition using soft pseudo-labels. International Journal on Document Analysis and Recognition (IJDAR), vol. 2024, no. 27, 2023, pp. 177-193. ISSN 1433-2825. Detail
CHEN Yu-Fang, CHOCHOLATÝ David, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and SÍČ Juraj. Solving String Constraints with Lengths by Stabilization. Proceedings of the ACM on Programming Languages, vol. 7, no. 10, 2023, pp. 2112-2141. ISSN 2475-1421. Detail
KAKOUROS Sofoklis, STAFYLAKIS Themos, MOŠNER Ladislav and BURGET Lukáš. Speech-Based Emotion Recognition with Self-Supervised Models Using Attentive Channel-Wise Correlations and Label Smoothing. In: Proceedings of ICASSP 2023. Rhodes Island: IEEE Signal Processing Society, 2023, pp. 1-5. ISBN 978-1-7281-6327-7. Detail
HARMIM Dominik, MARCIN Vladimír, SVOBODOVÁ Lucie and VOJNAR Tomáš. Static Deadlock Detection in Low-Level C Code. In: International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science, vol. 13789. Cham: Springer Nature Switzerland AG, 2023, pp. 267-276. ISBN 978-3-031-25311-9. Detail
KESIRAJU Santosh, SARVAŠ Marek, PAVLÍČEK Tomáš, MACAIRE Cécile and CIUBA Alejandro. Strategies for Improving Low Resource Speech to Text Translation Relying on Pre-trained ASR Models. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Dublin: International Speech Communication Association, 2023, pp. 2148-2152. ISSN 1990-9772. Detail
NOVÁK Jiří and CHUDÝ Peter. Surrogate Modeling of Optimal Control Based Collision Avoidance System for Multirotor Unmanned Aerial Vehicles. In: AIAA/IEEE Digital Avionics Systems Conference - Proceedings. Barcelona: Institute of Electrical and Electronics Engineers, 2023, pp. 1-7. ISBN 979-8-3503-3357-2. ISSN 2155-7195. Detail
VAFEK Zdeněk and KRESLÍKOVÁ Jitka. Syndorm vyhoření softwarových vývojářů v agilním vývoji. Soudní inženýrství, vol. 34, no. 1, 2023, pp. 52-56. ISSN 1211-443X. Detail
OLŠÁK Ondřej, JAROŠ Marta and JAROŠ Jiří. System for managing HPC-services and workflow executions. Ostrava, 2023. Detail
DYK Tomáš and DRAHANSKÝ Martin. Tank Barrel Surface Damage Detection Algorithm. In: ICMT 2023: 17. International Conference on Military Technology. Brno: IEEE Computer Society, 2023, pp. 1-4. ISBN 979-8-3503-2568-3. Detail
NEČASOVÁ Gabriela and ŠÁTEK Václav. Taylor series based parallel numerical solution of partial differential equations. In: 19th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2023, pp. 1-4. ISSN 0094-243X. Detail
VEIGEND Petr, NEČASOVÁ Gabriela and ŠÁTEK Václav. 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, pp. 239-244. ISBN 979-8-3503-1034-4. Detail
HANÁK Jiří, NOVÁK Jiří, CHUDÝ Peter and BEN-ASHER Joseph Z. The Cross-Entropy Method for Laser Defense Applications. Journal of Aerospace Information Systems, 2023, p. 14. ISSN 2327-3097. Detail
PÁNEK Richard and LOJDA Jakub. The Fault-tolerant Single-FPGA Systems with a Self-repair Reconfiguration Controller. In: LASCAS 2023 - 14th IEEE Latin American Symposium on Circuits and Systems, Proceedings. Quito: Institute of Electrical and Electronics Engineers, 2023, pp. 104-107. ISBN 978-1-6654-5705-7. Detail
SILNOVA Anna, BRUMMER Johan Nikolaas Langenhoven, SWART Albert du Preez and BURGET Lukáš. Toroidal Probabilistic Spherical Discriminant Analysis. In: Proceedings of ICASSP 2023. Rhodes Island: IEEE Signal Processing Society, 2023, pp. 1-5. ISBN 978-1-7281-6327-7. Detail
YOUSSEF Sawsan and RYŠAVÝ Ondřej. Toward migration to SDN: Generating SDN Forwarding Rules by Decision Tree. In: 26th Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN). Paris: IEEE Computer Society, 2023, pp. 16-20. ISBN 979-8-3503-9804-5. Detail
KALKREUTH Roman, VAŠÍČEK Zdeněk, HUSA Jakub, VERMETTEN Diederick, YE Furong and THOMAS Bäck. Towards a General Boolean Function Benchmark Suite. In: GECCO 2023 Companion - Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion. New York: Association for Computing Machinery, 2023, pp. 591-594. ISBN 979-8-4007-0120-7. Detail
SMRČKA Aleš, SANGCHOOLIE Behrooz, EMANUELE Mingozzi, VARA Luis De La Jose, FARRELL Marie, BARBOSA Raul, BAGLUM Cem, YAYAN Ugur, ERGUN Salih and KANAK Alper. Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems [version 1; peer review: 2 approved]. Open Research Europe, vol. 3, no. 219, 2023, pp. 1-21. ISSN 2732-5121. Detail
LI Jianning, ELLIS G. David, KODYM Oldřich, HEROUT Adam, ŠPANĚL Michal and EGGER Jan et al. Towards clinical applicability and computational efficiency in automatic cranial implant design: An overview of the AutoImplant 2021 cranial implant design challenge. Medical Image Analysis, vol. 88, no. 102865, 2023, pp. 1-15. ISSN 1361-8423. Detail
HYNEK Jiří and RUSŇÁK Vít. Towards Interactive Geovisualization Authoring Toolkit for Industry Use Cases. In: Communications in Computer and Information Science. Volume 1691 CCIS, vol. 1691. Cham: Springer Nature Switzerland AG, 2023, pp. 232-256. ISBN 978-3-031-25476-5. Detail
KOHÚT Jan, HRADIŠ Michal and KIŠŠ Martin. Towards Writing Style Adaptation in Handwriting Recognition. In: Document Analysis and Recognition - ICDAR 2023. Lecture Notes in Computer Science, vol. 14190. San José: Springer Nature Switzerland AG, 2023, pp. 377-394. ISBN 978-3-031-41684-2. ISSN 0302-9743. Detail
YU Dong, GONG Yifan, PICHENY Michael Alan, RAMABHADRAN Bhuvana, HAKKANI-TÜR Dilek, PRASAD Rohit, ZEN Heiga, SKOGLUND Jan, ČERNOCKÝ Jan, BURGET Lukáš and MOHAMED Abdelrahman. Twenty-Five Years of Evolution in Speech and Language Processing. IEEE Signal Processing Magazine, vol. 40, no. 5, 2023, pp. 27-39. ISSN 1558-0792. Detail
HOLÍK Lukáš and ŠEDÝ Michal. Utilization of Repeating Substructures for Efficient Representation of Automata (Technical Report). Brno, 2023. Detail
HURTA Martin, SCHWARZEROVÁ Jana, PROVAZNÍK Valentine, WECKWERTH Wolfram, WALTHER Dirk and SEKANINA Lukáš. Utilizing Cartesian Genetic Programming for Efficient Polygenic Risk Score Calculation in Plants. Program and Abstract Book: Swedish Bioinformatics Workshop 2023. Stockholm, 2023. Detail
NAGELE Thomas, WECKWERTH Wolfram, HURTA Martin, SCHWARZEROVÁ Jana, SEKANINA Lukáš and PROVAZNÍK Valentine. Utilizing Genetic Programming to Enhance Polygenic Risk Score Calculation. In: 2023 IEEE International Conference on Bioinformatics and Biomedicine (BIBM 2023). Istanbul: Institute of Electrical and Electronics Engineers, 2023, pp. 3782-3787. ISBN 979-8-3503-3748-8. Detail
POLÁŠEK Tomáš, ČADÍK Martin, KELLER Yosi and BENEŠ Bedřich. Vision UFormer: Long-Range Monocular Absolute Depth Estimation. Computers and Graphics, vol. 111, no. 4, 2023, pp. 180-189. ISSN 0097-8493. Detail
BLAHOUDEK František, HAVLENA Vojtěch, HOLÍK Lukáš, CHEN Yu-Fang, CHOCHOLATÝ David, LENGÁL Ondřej and SÍČ Juraj. Word Equations in Synergy with Regular Constraints. In: Proceedings of FM'23. Lübeck: Springer Verlag, 2023, pp. 403-423. ISSN 0302-9743. Detail
PRABAKARAN Bharath S., MRÁZEK Vojtěch, VAŠÍČEK Zdeněk, SEKANINA Lukáš and SHAFIQUE Muhammad. Xel-FPGAs: An End-to-End Automated Exploration Framework for Approximate Accelerators in FPGA-Based Systems. In: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD). San Francisco: Institute of Electrical and Electronics Engineers, 2023, pp. 1-9. ISBN 979-8-3503-1559-2. Detail