Ústav počítačových systémů
2026
- HUSSAIN, Y.; ZAHEER, M.; KHAN, A.; MALIK, A. Depression detection using deep learning and large language models from multimodalities. Frontiers in Digital Health, 2026, vol. 8, iss. 8,
p. 1-10. Detail - Lukáš Šišmiš, Jan Kořenek. FRAPPE: Feasibility Report on Accelerating Payload Pattern-matching Engines in Intrusion Detection Systems with FPGAs. In 2026 IEEE 29th International Symposium on Design and Diagnostics of Electronic Circuits and Systems Ddecs 2026. IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems. Institute of Electrical and Electronics Engineers Inc., 2026.
p. 1-6. ISBN: 979-8-3315-8229-6. Detail - Muhammad Asad Zaheer Aamir Saeed Malik. Unveiling Neural Signatures: A Comprehensive Review of EEG Biomarkers in Stress, Anxiety, and Depression. IEEE Transactions on Affective Computing, 2026, vol. 17, iss. 1,
p. 61-76. Detail - Muhammad Asad Zaheer Hafeez Ullah Amin Mehwish S. Bhatti Aamir Saeed Malik. An Interpretable Machine Learning Framework for Multilevel EEG-Based Stress Recognition. Barcelona: Institute of Electrical and Electronics Engineers, 2026. 5 p. Detail
- SEDLÁK. D.; KLHŮFEK, J.; MRÁZEK, V. Evolving Memory-Aware Schedules for Transformer Inference on Systolic Array Accelerators. In Applications of Evolutionary Computation. Toulouse, France: 2026.
p. 313-329. ISBN: 978-3-032-23604-3. Detail - ZACHARIÁŠOVÁ, M. Embedded Tutorial: AI vs. Verification Engineer: Fight or Synergy?. In 2026 IEEE 29th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems. IEEE, 2026. iss. 05/2026,
p. 1-8. ISBN: 979-8-3315-8229-6. Detail
2025
- 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, iss. 1,
p. 1-11. ISSN: 1746-8108. Detail - AZHAR ALI, S.; AL-QURAISHI, M.; EL FERIK, S.; MALIK, A. Enhancing Mental Workload Prediction through LightGBM during Multitasking. 2025 11th International Conference on Control, Decision and Information Technologies (CoDIT). Croatia: IEEE, 2025.
p. 1267. ISBN: 979-8-3315-0338-3. Detail - BARDONEK, P.; ZACHARIÁŠOVÁ, M. Leveraging Design Static Analysis for Vertical Reuse in Functional Verification. In 2025 28th Euromicro Conference on Digital System Design (DSD). Salerno, Italy: IEEE, 2025.
p. 452-459. ISBN: 979-8-3315-8499-3. Detail - BARDONEK, P.; ZACHARIÁŠOVÁ, M. VerTrace: An Open-Source Toolchain for Portable Stimulus Vertical Reuse. In 2025 32nd IEEE International Conference on Electronics, Circuits and Systems (ICECS). Marrakech, Morocco: IEEE, 2025.
p. 1-4. ISBN: 979-8-3315-9585-2. Detail - BARDONEK, P.; ZACHARIÁŠOVÁ, M.; ALESSANDRA, D.; GUIDO, M. Towards Achieving Vertical Reuse in SoC-level Verification. In 2025 IEEE Nordic Circuits and Systems Conference (NorCAS). Riga, Latvia: IEEE, 2025.
p. 1-7. ISBN: 979-8-3315-1501-0. Detail - BIDLO, M.; SARANOVÁ, I. Multi-purpose Image Filter Evolution Using Cellular Automata and Function-Based Conditional Rules. In Applications of Evolutionary Computation: 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II. Lecture Notes in Computer Science. Trieste: Springer Nature Switzerland AG, 2025.
p. 457-472. ISBN: 978-3-031-90064-8. 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. 168 p. ISBN: 979-8-3315-2801-0. Detail
- HURTA, M.; OVESNÁ, A.; MRÁZEK, V.; SEKANINA, L. Multi-Objective Evolutionary Design of Explainable EEG Classifier. In 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 - HUSSAIN, Y.; AMNA, R.; MALIK, A. ECG and EEG Analysis of Brain-Heart Interactions During Seizure Episodes. In 2025 IEEE International Instrumentation and Measurement Technology Conference (I2MTC). Chemnitz: IEEE Computer Society, 2025.
p. 1-6. ISBN: 979-8-3315-0500-4. Detail - HUSSAIN, Y.; FATIMA, M.; MALIK, A. A Deep Learning Approach to EEG-Based Diagnosis of Cognitive Skills Impairment: Electrode-Level Analysis Insights. In 2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI). Athens, Greece: IEEE, 2025.
p. 1470-1475. ISBN: 979-8-3315-4919-0. Detail - HUSSAIN, Y.; SURAWEERA, S.; MALIK, A. Unraveling Cognitive Impairments in Mental and Neurological Disorders: A Biomarker-Based Mapping Framework. Neuroscience and Biobehavioral Reviews, 2025, vol. 180, iss. 106426,
p. 0-0. Detail - KALKREUTH, R.; DE, O.; JANKOVIC, A.; ANASTACIO, M.; DIERKES, J.; VAŠÍČEK, Z.; HOOS, H. TinyverseGP: Towards a Modular Cross-domain Benchmarking Framework for Genetic Programming. Proceedings of the Genetic and Evolutionary Computation Conference Companion. Malaga: Association for Computing Machinery, 2025.
p. 2172. ISBN: 979-8-4007-1464-1. 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. 2025 28th Euromicro Conference on Digital System Design (DSD). Salerno: IEEE Computer Society, 2025.
p. 368. ISBN: 979-8-3315-8499-3. Detail - LOJDA, J.; STRNADEL, J.; SMRŽ, P.; ŠIMEK, V. Multi-Partner Project: LoLiPoP-IoT - Design and Simulation of Energy-Efficient Devices for the Internet of Things. In 2025 Design, Automation & Test in Europe Conference (DATE) Proceedings. Lyon: Institute of Electrical and Electronics Engineers, 2025.
p. 1-7. ISBN: 978-3-9826741-0-0. 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.; BALASKAS, K.; DUARTE, P.; VAŠÍČEK, Z.; TAHOORI, M.; ZERVAKIS, G. Arbitrary Precision Printed Ternary Neural Networks with Holistic Evolutionary Approximation. IEEE Transactions on Circuits and Systems for Artificial Intelligence, 2025, vol. 2, iss. 4,
p. 351-363. Detail - MRÁZEK, V.; VAŠÍČEK, Z. AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs. In 2025 IEEE International Symposium on Circuits and Systems (ISCAS). London: Institute of Electrical and Electronics Engineers, 2025.
p. 1-5. ISBN: 979-8-3503-5683-0. Detail - OLŠÁK, O.; BAYER, D.; JAROŠ, J. Accelerating Two-Dimensional k-Wave Ultrasound Simulations Through Pruned FFT: A Treatment Planning Optimisation. Computational Science - ICCS 2025 Workshops. Lecture Notes in Computer Science, vol 15908. Cham: Springer Nature Switzerland AG, 2025.
p. 67. ISBN: 978-3-031-97557-8. Detail - OLŠÁK, O.; JAROŠ, J. Accelerating Ultrasound Wave Propagation Simulations using Pruned FFT. 2024 IEEE International Conference on High Performance Computing and Communications (HPCC). IEEE International Conference on High Performance Computing and Communications. Wuhan: IEEE Computer Society, 2025.
p. 168. ISBN: 979-8-3315-4046-3. 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 - PLEVAČ, L.; VAŠÍČEK, Z. Towards Efficient Semantic Mutation in CGP: Enhancing SOMOk. Proceedings of the Genetic and Evolutionary Computation Conference Companion. Malaga: Association for Computing Machinery, 2025.
p. 2172. ISBN: 979-8-4007-1464-1. Detail - SEDLÁK, D.; BIDLO, M.; CERVENKA, M. Action-based Representation for Stochastic Optimization of Complex Real-World RVRP. In 2025 IEEE Congress on Evolutionary Computation, CEC 2025. Hangzhou: Institute of Electrical and Electronics Engineers, 2025.
p. 1-4. ISBN: 979-8-3315-3431-8. 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. Proceedings of the Genetic and Evolutionary Computation Conference Companion. Malaga: Association for Computing Machinery, 2025.
p. 2242. ISBN: 979-8-4007-1464-1. 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. ISBN: 978-981-9600-76-2. Detail - SETINSKÝ, J.; ŽÁDNÍK, M. An Empirical Study of a PCA-Based Multivariate Framework for Interpretable Log Anomaly Detection. In 2025 21st International Conference on Network and Service Management (CNSM). New York: IEEE, 2025.
p. 1-6. ISBN: 978-3-903176-75-1. Detail - SETINSKÝ, J.; ŽÁDNÍK, M. EvoParser: An Evolutionary Approach to Log Parsing. In 38th IEEE/IFIP Network Operations and Management Symposium, NOMS 2025. Honolulu: IEEE Communications Society, 2025.
p. 1-8. ISBN: 979-8-3315-3164-5. Detail - STRNADEL, J. Using Statistical Model Checker for Schedulability Analysis of Real-Time Systems Under Uncertainty. In Lecture Notes in Computer Science, Bridging the Gap Between AI and Reality. Cham: Springer Nature Switzerland, 2025.
p. 233-256. ISBN: 978-3-032-01376-7. Detail - Šišmiš Lukáš, Evrard Colin, Rivière Etienne, Barbette Tom. PAMO: Pattern Matching Offload for Intrusion Detection Systems. Proceedings of the 26th International Middleware Conference. New York, NY, USA: ACM, 2025.
p. 140. Detail - VLČEK, O.; MRÁZEK, V. ApproxGNN: A Pretrained GNN for Parameter Prediction in Design Space Exploration for Approximate Computing. In 2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD). Munich, Germany: IEEE, 2025.
p. 1-8. ISBN: 979-8-3315-1560-7. Detail