Science and Research

2021

  • SHAFIQUE Muhammad, STEININGER Andreas, SEKANINA Lukáš, KRSTIĆ Miloš, STOJANOVIC Goran and MRÁZEK Vojtěch, ed. 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. USA: Institute of Electrical and Electronics Engineers, 2021. ISBN 978-1-6654-3595-6. Detail
  • ŠLAPAL Josef. A convenient graph connectedness for digital imagery. In: High Performance Computing in Science and Engineering 2019. Lecture Notes in Computer Science, vol. 2021. Cham: Springer International Publishing, 2021, pp. 150-162. ISBN 978-3-030-67076-4. ISSN 0302-9743. Detail
  • YUSUF Bolaji, ONDEL Lucas Antoine Francois, BURGET Lukáš, ČERNOCKÝ Jan and SARAÇLAR Murat. A Hierarchical Subspace Model for Language-Attuned Acoustic Unit Discovery. In: ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Toronto, Ontario: IEEE Signal Processing Society, 2021, pp. 3710-3714. ISBN 978-1-7281-7605-5. Detail
  • RYŠAVÝ Ondřej and MATOUŠEK Petr. A Network Traffic Processing Library for ICS Anomaly Detection. In: ECBS '21: Proceedings of the 7th Conference on the Engineering of Computer Based Systems. Novi Sad: Association for Computing Machinery, 2021, pp. 144-151. ISBN 978-1-4503-9057-6. Detail
  • LOJDA Jakub, PODIVÍNSKÝ Jakub, ČEKAN Ondřej and KOTÁSEK Zdeněk. Accelerating Tests of Arithmetic Circuits Through On-FPGA Stimuli Generation and Their Reduction. In: Flic en Flac, 2021, p. 6. Detail
  • ABATE Alessandro, ANDRIUSHCHENKO Roman, ČEŠKA Milan and KWIATKOWSKA Marta. Adaptive formal approximations of Markov chains. Performance Evaluation, vol. 148, no. 102207, 2021, pp. 1-23. ISSN 0166-5316. Detail
  • LANDINI Federico Nicolás, GLEMBEK Ondřej, MATĚJKA Pavel, ROHDIN Johan A., BURGET Lukáš, DIEZ Sánchez Mireia and SILNOVA Anna. Analysis of the BUT Diarization System for Voxconverse Challenge. In: ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Toronto, Ontario: IEEE Signal Processing Society, 2021, pp. 5819-5823. ISBN 978-1-7281-7605-5. Detail
  • KARAFIÁT Martin, VESELÝ Karel, ČERNOCKÝ Jan, PROFANT Ján, NYTRA Jiří, HLAVÁČEK Miroslav and PAVLÍČEK Tomáš. Analysis of X-Vectors for Low-Resource Speech Recognition. In: ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Toronto, Ontario: IEEE Signal Processing Society, 2021, pp. 6998-7002. ISBN 978-1-7281-7605-5. Detail
  • BURGETOVÁ Ivana, MATOUŠEK Petr and RYŠAVÝ Ondřej. Anomaly Detection of ICS Communication Using Statistical Models. In: Proceedings of the 17th International Conference on Network Service Management (CNSM 2021). Izmir, 2021, p. 7. Detail
  • HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure. Journal of Automated Reasoning, vol. 65, no. 7, 2021, pp. 971-999. ISSN 0168-7433. Detail
  • LOJDA Jakub, PÁNEK Richard and KOTÁSEK Zdeněk. Automatic Design of Fault-Tolerant Systems for VHDL and SRAM-based FPGAs. In: Proceedings - 2021 24th Euromicro Conference on Digital System Design, DSD 2021. Palermo: Institute of Electrical and Electronics Engineers, 2021, pp. 549-552. ISBN 978-1-6654-2703-6. Detail
  • MALÍK Viktor and VOJNAR Tomáš. Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). Porto de Galinhas: Institute of Electrical and Electronics Engineers, 2021, pp. 329-339. ISBN 978-1-7281-6837-1. Detail
  • LOJDA Jakub, PÁNEK Richard and KOTÁSEK Zdeněk. Automatically-Designed Fault-Tolerant Systems: Failed Partitions Recovery. In: Batumi, 2021, p. 8. Detail
  • PHAM Khoa, NOIMARK Sacha, HUYNH Nam, ZHANG Edward, KUKLIŠ Filip, JAROŠ Jiří, DESJARDINS Adrien, COX Ben T. and BEARD Paul. Broadband all-optical plane-wave ultrasound imaging system based on a Fabry-Perot scanner. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, vol. 68, no. 4, 2021, pp. 1007-1016. ISSN 1525-8955. Detail
  • LANDINI Federico Nicolás, LOZANO Díez Alicia, BURGET Lukáš, DIEZ Sánchez Mireia, SILNOVA Anna, ŽMOLÍKOVÁ Kateřina, GLEMBEK Ondřej, MATĚJKA Pavel, STAFYLAKIS Themos and BRUMMER Niko. BUT System Description for The Third DIHARD Speech Diarization Challenge. In: Proceedings available at Dihard Challenge Github. on-line by LDC and University of Pennsylvania, 2021, pp. 1-5. Detail
  • BAŘINA David. Comparison of Lossless Image Formats. In: WSCG 2021 Proceedings. Computer Science Research Notes, vol. 3101. Plzen: Union Agency, 2021, pp. 339-342. ISBN 978-80-86943-34-3. Detail
  • MARQUES Sergio M., DAMBORSKÝ Jiří, MUSIL Miloš, ŠTOURAČ Jan and BEDNÁŘ David. Computational design of enzymes for biotechnological applications. Biotechnology Advances, vol. 47, no. 1, 2021, pp. 1-22. ISSN 0734-9750. Detail
  • BAŘINA David. Convergence verification of the Collatz problem. The Journal of Supercomputing, vol. 77, no. 3, 2021, pp. 2681-2688. ISSN 1573-0484. Detail
  • ČEŠKA Milan, HENSE Christian, JUNGES Sebastian and KATOEN Joost-Pieter. Counterexample-guided inductive synthesis for probabilistic systems. Formal Aspects of Computing, vol. 2021, no. 1, pp. 1-31. ISSN 0934-5043. Detail
  • DRAHANSKÝ Martin. ČSN ISO/IEC 19989-1: Bezpečnost informací - Kritéria a metodika pro hodnocení bezpečnosti biometrických systémů - Část 1: Rámec. Praha: Úřad pro technickou normalizaci, metrologii a státní zkušebnictví, 2021. Detail
  • DRAHANSKÝ Martin. ČSN ISO/IEC 30107-4: Informační technologie - Detekce biometrického prezentačního útoku - Část 4: Profil pro testování mobilních zařízení. Praha: Úřad pro technickou normalizaci, metrologii a státní zkušebnictví, 2021. Detail
  • HAVLENA Vojtěch, LENGÁL Ondřej and ŠMAHLÍKOVÁ Barbora. Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. In: Proceedings of NETYS'21. Lecture notes. 2021, p. 8. Detail
  • KODYM Oldřich, ŠPANĚL Michal and HEROUT Adam. Deep Learning for Cranioplasty in Clinical Practice: Going from Synthetic to Real Patient Data. Computers in Biology and Medicine, vol. 137, no. 104766, 2021, pp. 1-13. ISSN 0010-4825. Detail
  • GOLDSCHMIDT Patrik and KUČERA Jan. Defense Against SYN Flood DoS Attacks Using Network-based Mitigation Techniques. In: 2021 IFIP/IEEE International Symposium on Integrated Network Management (IM). Bordeaux: International Federation for Information Processing, 2021, pp. 772-777. ISBN 978-3-903176-32-4. Detail
  • MARCHISIO Alberto, MRÁZEK Vojtěch, HANIF Muhammad A. and SHAFIQUE Muhammad. DESCNet: Developing Efficient Scratchpad Memories for Capsule Network Hardware. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 40, no. 9, 2021, pp. 1768-1781. ISSN 1937-4151. Detail
  • PUTEROVÁ Janka and MARTÍNEK Tomáš. digIS: towards detecting distant and putative novel insertion sequence elements in prokaryotic genomes. BMC Bioinformatics, vol. 22, no. 258, 2021, pp. 1-20. ISSN 1471-2105. Detail
  • CHLEBÍK Jakub and JAROŠ Jiří. Distributed Evolutionary Design of HIFU Treatment Plans. 2021. Detail
  • SÍČ Juraj and STREJČEK Jan. DQBDD: An Efficient BDD-Based DQBF Solver. In: Proc. of the 24th International Conference on Theory and Applications of Satisfiability Testing. Heidelberg: Springer Verlag, 2021, pp. 535-544. ISSN 0302-9743. Detail
  • HASLINGER Jaroslav, KUČERA Radek, SASSI Taoufik and ŠÁTEK Václav. Dual strategies for solving the Stokes problem with stick-slip boundary conditions in 3D. Mathematics and Computers in Simulation, no. 189, 2021, pp. 191-206. ISSN 0378-4754. Detail
  • BASKAR Murali K., BURGET Lukáš, WATANABE Shinji, ASTUDILLO Ramon and ČERNOCKÝ Jan. Eat: Enhanced ASR-TTS for Self-Supervised Speech Recognition. In: ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Toronto, Ontario: IEEE Signal Processing Society, 2021, pp. 6753-6757. ISBN 978-1-7281-7605-5. Detail
  • BARBARESCHI Mario, BOSIO Alberto, SEKANINA Lukáš and BRAUN Claus. Editorial: Special issue on Advancing on Approximate Computing: Methodologies, Architectures and Algorithms. Future Generation Computer Systems, vol. 124, no. 1, 2021. ISSN 0167-739X. Detail
  • MATOUŠEK Petr, HAVLENA Vojtěch and HOLÍK Lukáš. Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata. In: Proceedings of IFIP/IEEE International Symposium on Integrated Network Management. Bordeaux: International Federation for Information Processing, 2021, pp. 1-9. ISBN 978-3-903176-32-4. Detail
  • JAROŠ Marta, SASÁK Tomáš, TREEBY Bradley E. and JAROŠ Jiří. Estimation of Execution Parameters for k-Wave Simulations. In: High Performance Computing in Science and Engineering. HPCSE 2019. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Nature Switzerland AG, 2021, pp. 116-134. ISBN 978-3-030-67076-4. Detail
  • SEKANINA Lukáš. Evolutionary Algorithms in Approximate Computing: A Survey. Journal of Integrated Circuits and Systems, vol. 16, no. 2, 2021, pp. 1-12. ISSN 1872-0234. Detail
  • PIŇOS Michal, MRÁZEK Vojtěch and SEKANINA Lukáš. Evolutionary Neural Architecture Search Supporting Approximate Multipliers. In: Genetic Programming, 24th European Conference, EuroGP 2021. Lecture Notes in Computer Science, vol 12691, vol. 12691. Seville: Springer Nature Switzerland AG, 2021, pp. 82-97. ISBN 978-3-030-72812-0. Detail
  • BUSCH Christoph and DRAHANSKÝ Martin et al. Facilitating Free Travel in the Schengen Area. Bussum: European Association for Biometrics, 2021. Detail
  • MARCHISIO Alberto, MRÁZEK Vojtěch, HANIF Muhammad A. and SHAFIQUE Muhammad. FEECA: Design Space Exploration for Low-Latency and Energy-Efficient Capsule Network Accelerators. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 29, no. 4, 2021, pp. 716-729. ISSN 1063-8210. Detail
  • DRAHANSKÝ Martin. Fingerprints in forensic verifications. Bussum, 2021. Detail
  • UHLÍŘ Václav, ZBOŘIL František and VÍDEŇSKÝ František. FIT BUT: Rational Agents in the Multi-Agent Programming Contest. In: todo. Lecture Notes of Computer Challenges. 2021, p. 23. Detail
  • KHAN Rayyan T., MUSIL Miloš, ŠTOURAČ Jan, DAMBORSKÝ Jiří and BEDNÁŘ David. Fully Automated Ancestral Sequence Reconstruction using FireProtASR. Current Protocols, vol. 1, no. 2, 2021, pp. 1-5. ISSN 1934-3396. Detail
  • JESIONEK Wojciech, BODLÁKOVÁ Markéta, KUBÁT Zdeněk, ČEGAN Radim, VYSKOT Boris, VRÁNA Jan, ŠAFÁŘ Jan, PUTEROVÁ Janka and HOBZA Roman. Fundamentally different repetitive element composition of sex chromosomes in Rumex acetosa. Annals of Botany, vol. 127, no. 1, 2021, pp. 33-47. ISSN 1095-8290. Detail
  • HYNEK Jiří, KACHLÍK Jakub and RUSŇÁK Vít. Geovisto: A Toolkit for Generic Geospatial Data Visualization. In: Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Volume 3: IVAPP. Setúbal, Portugal, 2021, pp. 101-111. ISBN 978-989-758-488-6. Detail
  • MATOUŠEK Petr and GROFČÍK Peter. ICS Virtual Testbed. FIT-TR-2021-02, Brno: Faculty of Information Technology BUT, 2021. Detail
  • ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian and KATOEN Joost-Pieter. Inductive Synthesis for Probabilistic Programs Reaches New Horizons. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science. Cham: Springer International Publishing, 2021, pp. 191-209. ISBN 978-3-030-72015-5. Detail
  • ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, BURGET Lukáš, NAKATANI Tomohiro and ČERNOCKÝ Jan. Integration of Variational Autoencoder and Spatial Clustering for Adaptive Multi-Channel Neural Speech Separation. In: Proceedings of SLT 2021. Shenzhen - virtual : IEEE Signal Processing Society, 2021, pp. 889-896. ISBN 978-1-7281-7066-4. Detail
  • HOMOLIAK Ivan. Intercepting Hail Hydra: Real-Time Detection of Algorithmically Generated Domains. Journal of Network and Computer Applications, vol. 2021, no. 190, pp. 1-17. ISSN 1084-8045. Detail
  • BISWAS Sangeeta, ROHDIN Johan A., KAVETSKYI Andrii, ALVES Saraiva Gabriel, NEZNÁMÝ učitel UITS and DRAHANSKÝ Martin. Investigation of Bilateral Similarity in Central Retinal Blood Vessels. IEEE Access, vol. 2021, no. 9, pp. 63012-63028. ISSN 2169-3536. Detail
  • VYDANA Hari K., KARAFIÁT Martin, ŽMOLÍKOVÁ Kateřina, BURGET Lukáš and ČERNOCKÝ Jan. Jointly Trained Transformers Models for Spoken Language Translation. In: ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Toronto, Ontario: IEEE Signal Processing Society, 2021, pp. 7513-7517. ISBN 978-1-7281-7605-5. Detail
  • MATOUŠEK Petr and KRAJČ Patrik. Monitoring of IoT Devices Using SNMP. IT-TR-2020-10, Brno: Faculty of Information Technology BUT, 2021. Detail
  • MATOUŠEK Petr, BURGETOVÁ Ivana, RYŠAVÝ Ondřej and VICTOR Malombe. On Reliability of JA3 Hashes for Fingerprinting Mobile Applications. In: Digital Forensics and Cyber Crime. ICDF2C 2020. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol. 351. Boston: Springer International Publishing, 2021, pp. 1-22. ISBN 978-3-030-68733-5. Detail
  • DVOŘÁK Michal and DRAHANSKÝ Martin. On the fly biometric identification system using hand-geometry. IET Biometrics, 2021, pp. 1-8. ISSN 2047-4938. Detail
  • MUTUA Nelson M. and MATOUŠEK Petr. Outlier Detection in Smart Grid Communication. In: Fast Abstracts and Student Forum Proceedings, 17th European Dependable Computing Conference. Munich, 2021, pp. 1-4. Detail
  • NEČASOVÁ Gabriela, VEIGEND Petr and ŠÁTEK Václav. Parallel Solution of Partial Differential Equations Using Taylor Series Method. In: 18th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2021. Detail
  • REGÉCIOVÁ Dominika, KOLÁŘ Dušan and MILKOVIČ Marek. Pattern Matching in YARA: Improved Aho-Corasick Algorithm. IEEE Access, vol. 9, no. 1, 2021, pp. 62857-62866. ISSN 2169-3536. Detail
  • ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian, KATOEN Joost-Pieter and STUPINSKÝ Šimon. PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. In: International Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science. Cham: Springer Verlag, 2021, pp. 856-869. ISBN 978-3-030-81684-1. Detail
  • UHLÁR Juraj, HOLKOVIČ Martin and RUSŇÁK Vít, ed. PCAPFunnel: A Tool for Rapid Exploration of Packet Capture Files. Sydney, 2021. ISBN 978-1-6654-3827-8. Detail
  • VAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Performance Evaluation of Pseudospectral Ultrasound Simulations on a Cluster of Xeon Phi Accelerators. In: High Performance Computing in Science and Engineering. HPCSE 2019. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Nature Switzerland AG, 2021, pp. 99-115. ISBN 978-3-030-67076-4. Detail
  • JAROŠ Marta and JAROŠ Jiří. Performance-Cost Optimization of Moldable Scientific Workflows. In: Job Scheduling Strategies for Parallel Processing. Portland, Oregon USA: Springer International Publishing, 2021, pp. 1-11. ISBN 978-3-030-88223-5. Detail
  • SEDLÁK Michal. Post-processing of quantum instruments. Physical Review A, vol. 2021, no. 022615, pp. 1-13. ISSN 2469-9926. Detail
  • WISE Elliott S., JAROŠ Jiří, COX Ben T. and TREEBY Bradley E. Pseudospectral time-domain (PSTD) methods for the wave equation: Realising boundary conditions with discrete sine and cosine transforms. Journal of Theoretical and Computational Acoustics, 2021, p. 26. ISSN 2591-7285. Detail
  • CHLUBNA Tomáš, MILET Tomáš and ZEMČÍK Pavel. Real-time per-pixel focusing method for light field rendering. Computational Visual Media, vol. 2021, no. 7, pp. 319-333. ISSN 2096-0662. Detail
  • BAŘINA David. Real-time wavelet transform for infinite image strips. Journal of Real-Time Image Processing, vol. 18, no. 3, 2021, pp. 585-591. ISSN 1861-8200. Detail
  • HAVLENA Vojtěch and LENGÁL Ondřej. Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation. In: 32nd International Conference on Concurrency Theory (CONCUR 2021). Paris: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021, pp. 1-19. ISSN 1868-8969. Detail
  • HAVLENA Vojtěch and LENGÁL Ondřej. Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report). Ithaca, 2021. Detail
  • PÁNEK Richard, LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Reliability Analysis of the FPGA Control System with Reconfiguration Hardening. In: Palermo, 2021, p. 4. Detail
  • AHMAD Touqeer, EMAMI Ebrahim, ČADÍK Martin and BEBIS George. Resource Efficient Mountainous Skyline Extraction using Shallow Learning. In: Proceedings of the International Joint Conference on Neural Networks (IJCNN). Hoffman Estates, 2021, pp. 1-9. Detail
  • KOCNOVÁ Jitka and VAŠÍČEK Zdeněk. Resynthesis of logic circuits using machine learning and reconvergent paths. In: 2021, p. 8. Detail
  • SEMERÁD Lukáš and DRAHANSKÝ Martin. Retina Recognition Using Crossings and Bifurcations. Applications of Pattern Recognition. London: InTech - Open Access Publisher, 2021, pp. 77-94. ISBN 978-1-78985-332-2. Detail
  • FUKAČ Tomáš, KOŘENEK Jan and MATOUŠEK Jiří. Scalability of Hash-based Pattern Matching for High-speed Network Security and Monitoring. In: Athens, 2021. Detail
  • DVOŘÁK Michal, KANICH Ondřej and DRAHANSKÝ Martin. Scalable Imaging Device Using Line Scan Camera for use in Biometric Recognition and Medical Imaging. In: Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies. Lisboa: Institute for Systems and Technologies of Information, Control and Communication, 2021, pp. 160-168. ISBN 978-989-758-490-9. Detail
  • KŘIVKA Zbyněk and MEDUNA Alexander. Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete. Fundamenta Informaticae, vol. 179, no. 4, 2021, pp. 361-384. ISSN 0169-2968. Detail
  • HODAŇ David, MRÁZEK Vojtěch and VAŠÍČEK Zdeněk. Semantically-Oriented Mutation Operator in CGP. Genetic Programming and Evolvable Machines, 2021. ISSN 1389-2576. Detail
  • MATOUŠEK Petr, PRISTAŠ Ján and MASÁROVÁ Mária. Simulation of Industrial Processes using I/O Factory and UniPi. IT-TR-2020-09, Brno: Faculty of Information Technology BUT, 2021. Detail
  • KODYM Oldřich, LI Jianning, PEPE Antonio, GSAXNER Christina, EGGER Jan and ŠPANĚL Michal. SkullBreak / SkullFix - Dataset for Automatic Cranial Implant Design and a Benchmark for Volumetric Shape Learning Tasks. Data in Brief, vol. 2021, no. 106902, pp. 1-7. ISSN 2352-3409. Detail
  • HON Jiří, MARUŠIAK Martin, MARTÍNEK Tomáš, KUNKA Antonín, ZENDULKA Jaroslav, BEDNÁŘ David and DAMBORSKÝ Jiří. SoluProt: prediction of soluble protein expression in Escherichia coli. Bioinformatics, vol. 37, no. 1, 2021, pp. 23-28. ISSN 1367-4803. Detail
  • DELCROIX Marc, ŽMOLÍKOVÁ Kateřina, OCHIAI Tsubasa, KINOSHITA Keisuke and NAKATANI Tomohiro. Speaker activity driven neural speech extraction. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Toronto: IEEE Signal Processing Society, 2021, pp. 6099-6103. ISBN 978-1-7281-7605-5. Detail
  • BURGETOVÁ Ivana and MATOUŠEK Petr. Statistical Methods for Anomaly Detection in Industrial Communication. IT-TR-2021-01, Brno, 2021. Detail
  • CHALUPA Marek, JAŠEK Tomáš, NOVÁK Jakub, ŘECHTÁČKOVÁ Anna, STREJČEK Jan and ŠOKOVÁ Veronika. Symbiotic 8: Beyond Symbolic Execution (Competition Contribution). In: Proceedings of TACAS 2021 (2). Lecture Notes in Computer Science, vol. 12652. Cham: Springer International Publishing, 2021, pp. 453-457. ISBN 978-3-030-72012-4. Detail
  • VAŠÍČEK Zdeněk. Synthesis of approximate circuits for LUT-based FPGAs. In: Proceedings 2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Vienna: IEEE Computer Society, 2021, pp. 17-22. ISBN 978-1-6654-1181-3. Detail
  • VEIGEND Petr, NEČASOVÁ Gabriela and ŠÁTEK Václav. System control using high order numerical method. In: 18th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2021, p. 4. Detail
  • VEIGEND Petr, NEČASOVÁ Gabriela and ŠÁTEK Václav. Taylor series based integration method and its applications. Open Computer Science, vol. 11, no. 1, 2021, pp. 60-69. ISSN 2299-1093. Detail
  • MATOUŠEK Petr and RYŠAVÝ Ondřej. Teaching ICS Security in Blended Classroom Environment. In: Proceedings of the 2021 30th Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE). Prague: Czech Technical University, 2021, pp. 148-153. ISBN 978-1-7281-9324-3. Detail
  • LOJDA Jakub, PÁNEK Richard, PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin and KOTÁSEK Zdeněk. Testing Embedded Software Through Fault Injection: Case Study on Smart Lock. In: Punta del Este, 2021, p. 6. Detail
  • HOMOLIAK Ivan, VENUGOPALAN Sarad, REIJSBERGEN Daniel, HUM Qingze, SCHUMI Richard and SZALACHOWSKI Pawel. The security reference architecture for blockchains: Towards a standardized model for studying vulnerabilities, threats, and defenses. IEEE Communications Surveys and Tutorials, vol. 2020, no. 3033665, 2021, pp. 341-390. ISSN 1553-877X. Detail
  • JURÁNEK Roman, MUSIL Petr and ZEMČÍK Pavel. Unconstrained License Plate Detection in Hardware. In: Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems - VEHITS. Praha: SciTePress - Science and Technology Publications, 2021, pp. 13-21. ISBN 978-989-758-513-5. Detail
  • MATOUŠEK Petr, RYŠAVÝ Ondřej and POLČÁK Libor. Unified SNMP Interface for IoT Monitoring. In: Proceedings of the IEEE/IFIP International Workshop on Internet of Things Management. Bordeaux: International Federation for Information Processing, 2021, pp. 1-7. ISBN 978-3-903176-32-4. Detail
  • STRNADEL Josef. Using Model Checker to Analyze and Test Digital Circuits with Regard to Delay Faults. In: Proceedings of 2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. Vienna: Institute of Electrical and Electronics Engineers, 2021, pp. 111-114. ISBN 978-1-6654-3595-6. Detail
  • CHARVÁT Lukáš, SMRČKA Aleš and VOJNAR Tomáš. Utilizing parametric systems for detection of pipeline hazards. International Journal on Software Tools for Technology Transfer, vol. 2020, no. 1, 2021, pp. 1-28. ISSN 1433-2779. Detail
  • HRANICKÝ Radek, BREITINGER Frank, RYŠAVÝ Ondřej, SHEPPARD John, SCHAEDLER Florin, MORGENSTERN Holger and MALIK Simon. What do incident response practitioners need to know? A skillmap for the years ahead. Digital Investigation, vol. 37, no. 2, 2021, pp. 23-34. ISSN 1742-2876. Detail
  • ZBOŘIL František V. Základy umělé inteligence. Brno, 2021. Detail

2020

  • MATĚJKA Pavel, PLCHOT Oldřich, GLEMBEK Ondřej, BURGET Lukáš, ROHDIN Johan A., ZEINALI Hossein, MOŠNER Ladislav, SILNOVA Anna, NOVOTNÝ Ondřej, DIEZ Sánchez Mireia and ČERNOCKÝ Jan. 13 years of speaker recognition research at BUT, with longitudinal analysis of NIST SRE. Computer Speech and Language, vol. 2020, no. 63, pp. 1-15. ISSN 0885-2308. Detail
  • MALÍK Viktor, SCHRAMMEL Peter and VOJNAR Tomáš. 2LS: Heap Analysis and Memory Safety (Competition Contribution). In: Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science, vol. 12079. Dublin: Springer International Publishing, 2020, pp. 368-372. ISBN 978-3-030-45236-0. Detail
  • ŠLAPAL Josef. A 3D digital Jordan-Brouwer separation theorem. Computational and Applied Mathematics, vol. 39, no. 11, 2020, pp. 1-10. ISSN 1807-0302. Detail
  • ŠLAPAL Josef. A closure operator for the digital plane. FILOMAT, vol. 34, no. 10, 2020, pp. 3229-3237. ISSN 0354-5180. Detail
  • COLUCCI Alessio, MARCHISIO Alberto, BUSSOLINO Beatrice, MRÁZEK Vojtěch, MARTINA Mauricio, MASERA Guido and SHAFIQUE Muhammad. A Fast Design Space Exploration Framework for the Deep Learning Accelerators: Work-in-Progress. In: 2020 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)}. Singapore: Institute of Electrical and Electronics Engineers, 2020, pp. 34-36. ISBN 978-1-7281-9198-0. Detail
  • PASTUSHENKO Olena, OLIVEIRA Wilk and HRUŠKA Tomáš. A Methodology for Multimodal Learning Analytics and Flow Experience Identification within Gamified Assignments. In: Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. Honolulu: Association for Computing Machinery, 2020, pp. 1-9. ISBN 978-1-4503-6819-3. Detail
  • HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej and TURRINI Andrea. A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. In: Proceedings of APLAS'20. Heidelberg: Springer Verlag, 2020, pp. 343-363. ISSN 0302-9743. Detail
  • HOLÍK Lukáš, IOSIF Radu, ROGALEWICZ Adam and VOJNAR Tomáš. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. Formal Methods in System Design, vol. 55, no. 3, 2020, pp. 137-170. ISSN 0925-9856. Detail
  • KUKLIŠ Filip, JAROŠ Marta and JAROŠ Jiří. Accelerated Design of HIFU Treatment Plans Using Island-based Evolutionary Strategy. In: Applications of Evolutionary Computation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12104. Cham: Springer International Publishing, 2020, pp. 463-478. ISBN 978-3-030-43721-3. Detail
  • ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. Applied Soft Computing, vol. 95, no. 106466, 2020, pp. 1-17. ISSN 1568-4946. Detail
  • KOUTENSKÝ Michal, VESELÝ Vladimír and MAFFIONE Vincenzo. Addressing Bandwidth-driven Flow Allocation in RINA. Computers, vol. 9, no. 3, 2020, pp. 1-23. ISSN 2073-431X. Detail
  • KOŘENEK Jan, KORČEK Pavol and KEKELY Lukáš. Akcelerace analýzy síťového provozu. DSM Data Security Management, vol. 24, no. 4, 2020, pp. 30-34. ISSN 1211-8737. Detail
  • BARTL Vojtěch, BERAN Vítězslav, DRAHANSKÝ Martin, HEROUT Adam, ZEMČÍK Pavel and ZENDULKA Jaroslav. Algoritmy - Úprava, nastavení, kalibrace. Brno, 2020. Detail
  • ALAM Jahangir, BOULIANNE Gilles, BURGET Lukáš, DAHMANE Mohamed, DIEZ Sánchez Mireia, GLEMBEK Ondřej, LALONDE Marc, LOZANO Díez Alicia, MATĚJKA Pavel, MIZERA Petr, MOŠNER Ladislav, NOISEUX Cédric, MONTEIRO Joao, NOVOTNÝ Ondřej, PLCHOT Oldřich, ROHDIN Johan A., SILNOVA Anna, SLAVÍČEK Josef, STAFYLAKIS Themos, ST-CHARLES Pierre-Luc, WANG Shuai and ZEINALI Hossein. Analysis of ABC Submission to NIST SRE 2019 CMN and VAST Challenge. In: Proceedings of Odyssey 2020 The Speaker and Language Recognition Workshop. Tokyo: International Speech Communication Association, 2020, pp. 289-295. ISSN 2312-2846. Detail
  • LOJDA Jakub, PÁNEK Richard, PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin and KOTÁSEK Zdeněk. Analysis of Software-Implemented Fault Tolerance: Case Study on Smart Lock. In: 2020 IEEE East-West Design and Test Symposium, EWDTS 2020 - Proceedings. Varna: Institute of Electrical and Electronics Engineers, 2020, pp. 24-28. ISBN 978-1-7281-9899-6. Detail
  • DIEZ Sánchez Mireia, BURGET Lukáš, LANDINI Federico Nicolás and ČERNOCKÝ Jan. Analysis of Speaker Diarization based on Bayesian HMM with Eigenvoice Priors. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, vol. 28, no. 1, 2020, pp. 355-368. ISSN 2329-9290. Detail
  • HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej, VALEŠ Ondřej and VOJNAR Tomáš. Antiprenexing for WSkS: A Little Goes a Long Way. In: EPiC Series in Computing. Proceedings of LPAR-23. Manchester: EasyChair, 2020, pp. 298-316. ISSN 2398-7340. Detail
  • HOLKOVIČ Martin, POLČÁK Libor and RYŠAVÝ Ondřej. Application Error Detection in Networks by Protocol Behavior Model. In: E-Business and Telecommunications. Praha: Springer Verlag, 2020, pp. 3-28. ISBN 978-3-030-52685-6. ISSN 1865-0929. Detail
  • MUTUA Nelson M. Application of Approximate Matching on Industrial Control System (ICS) Network Communication Using Ssdeep Algorithm. Brno, 2020. Detail
  • PRABAKARAN Bharath S., MRÁZEK Vojtěch, VAŠÍČEK Zdeněk, SEKANINA Lukáš and SHAFIQUE Muhammad. ApproxFPGAs: Embracing ASIC-based Approximate Arithmetic Components for FPGA-Based Systems. In: 2020 57th ACM/IEEE Design Automation Conference (DAC). San Francisco: Institute of Electrical and Electronics Engineers, 2020, pp. 1-6. ISBN 978-1-4503-6725-7. Detail
  • MATYÁŠ Jiří, PANKUCH Adam, VOJNAR Tomáš, ČEŠKA Milan and ČEŠKA Milan. Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. In: International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science, vol. 12013. Cham: Springer Verlag, 2020, pp. 482-490. ISBN 978-3-030-45092-2. Detail
  • BARTÍK Vladimír, KOCMAN Radim, VOLF Tomáš and ZENDULKA Jaroslav. Architektura systému, ViAn Server, Snímací uzel a ViAn GUI. Brno, 2020. Detail
  • HOMOLIAK Ivan, MALINKA Kamil and HANÁČEK Petr. ASNM Datasets: A Collection of Network Attacks for Testing of Adversarial Classifiers and Intrusion Detectors. IEEE Access, vol. 8, no. 6, 2020, pp. 112427-112453. ISSN 2169-3536. Detail
  • ZULUAGA-GOMEZ Juan, VESELÝ Karel, BLATT Alexander, MOTLÍČEK Petr, KLAKOW Dietrich, TART Allan, SZŐKE Igor, PRASAD Amrutha, SARFJOO Saeed, KOLČÁREK Pavel, KOCOUR Martin, ČERNOCKÝ Jan, CEVENINI Claudia, CHOUKRI Khalid, RIGAULT Mickael and LANDIS Fabian. Automatic Call Sign Detection: Matching Air Surveillance Data with Air Traffic Spoken Communications. In: Proceedings of the 8th OpenSky Symposium 2020. Brusel: MDPI, 2020, pp. 1-10. ISSN 2504-3900. Detail
  • BARTL Vojtěch, ŠPAŇHEL Jakub, DOBEŠ Petr, JURÁNEK Roman and HEROUT Adam. Automatic Camera Calibration by Landmarks on Rigid Objects. Machine Vision and Applications, vol. 32, no. 1, 2020, pp. 2-15. ISSN 1432-1769. Detail
  • LOJDA Jakub, PODIVÍNSKÝ Jakub, ČEKAN Ondřej, PÁNEK Richard, KRČMA Martin and KOTÁSEK Zdeněk. Automatic Design of Reliable Systems Based on the Multiple-choice Knapsack Problem. In: Proceedings - 2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2020. Novi Sad: Institute of Electrical and Electronics Engineers, 2020, pp. 1-4. ISBN 978-1-7281-9938-2. Detail
  • ZULUAGA-GOMEZ Juan, MOTLÍČEK Petr, ZHAN Qingran, VESELÝ Karel and BRAUN Rudolf. Automatic Speech Recognition Benchmark for Air-Traffic Communications. In: Proceedings of Interspeech 2020. Sanghai: International Speech Communication Association, 2020, pp. 2297-2301. ISSN 1990-9772. Detail
  • KOUTENSKÝ Michal, VESELÝ Vladimír and MAFFIONE Vincenzo. Bandwidth-driven Flow Allocation Policy for RINA. In: Proceedings of the 23rd Conference on Innovation in Clouds, Internet and Networks (ICIN 2020). Paris: IEEE Communications Society, 2020, pp. 51-56. ISBN 978-1-7281-5127-4. Detail
  • YOUSSEF Sawsan and RYŠAVÝ Ondřej. Behavioral Anomaly Detection in Industrial Control Systems: An Evaluation of Flowmon ADS. FIT-TR-2020-02, Brno: Faculty of Information Technology BUT, 2020. Detail
  • BISWAS Sangeeta, ROHDIN Johan A. and DRAHANSKÝ Martin. Bilateral Symmetry in Central Retinal Blood Vessels. In: 8th International Workshop on Biometrics and Forensics, IWBF 2020. Porto: IEEE Computer Society, 2020, pp. 1-6. ISBN 978-1-7281-6232-4. Detail
  • KIŠŠ Martin, HRADIŠ Michal and KODYM Oldřich. Brno Mobile OCR Dataset. In: Proceedings of the International Conference on Document Analysis and Recognition, ICDAR. Sydney: Institute of Electrical and Electronics Engineers, 2020, pp. 1352-1357. ISBN 978-1-7281-3014-9. Detail
  • BURGET Lukáš, GLEMBEK Ondřej, LOZANO Díez Alicia, MATĚJKA Pavel, NOVOTNÝ Ondřej, PLCHOT Oldřich, PULUGUNDLA Bhargav, ROHDIN Johan A., SILNOVA Anna and VESELÝ Karel. BUT System Description to SdSV Challenge 2020. In: Proceedings of Short-duration Speaker Verification Challenge 2020 Workshop. Shanghai, on-line event of Interspeech 2020 Conference, 2020, pp. 1-5. Detail
  • ŽMOLÍKOVÁ Kateřina, KOCOUR Martin, LANDINI Federico Nicolás, BENEŠ Karel, KARAFIÁT Martin, VYDANA Hari K., LOZANO Díez Alicia, PLCHOT Oldřich, BASKAR Murali K., ŠVEC Ján, MOŠNER Ladislav, MALENOVSKÝ Vladimír, BURGET Lukáš, YUSUF Bolaji, NOVOTNÝ Ondřej, GRÉZL František, SZŐKE Igor and ČERNOCKÝ Jan. BUT System for CHiME-6 Challenge. In: Proceedings of CHiME 2020 Virtual Workshop. Barcelona: University of Sheffield, 2020, pp. 1-3. Detail
  • LANDINI Federico Nicolás, WANG Shuai, DIEZ Sánchez Mireia, BURGET Lukáš, MATĚJKA Pavel, ŽMOLÍKOVÁ Kateřina, MOŠNER Ladislav, SILNOVA Anna, PLCHOT Oldřich, NOVOTNÝ Ondřej, ZEINALI Hossein and ROHDIN Johan A. But System for the Second Dihard Speech Diarization Challenge. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Barcelona: IEEE Signal Processing Society, 2020, pp. 6529-6533. ISBN 978-1-5090-6631-5. Detail
  • LOZANO Díez Alicia, SILNOVA Anna, PULUGUNDLA Bhargav, ROHDIN Johan A., VESELÝ Karel, BURGET Lukáš, PLCHOT Oldřich, GLEMBEK Ondřej, NOVOTNÝ Ondřej and MATĚJKA Pavel. BUT Text-Dependent Speaker Verification System for SdSV Challenge 2020. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Sanghai: International Speech Communication Association, 2020, pp. 761-765. ISSN 1990-9772. Detail
  • JON Josef, FAJČÍK Martin, DOČEKAL Martin and SMRŽ Pavel. BUT-FIT at SemEval-2020 Task 4: Multilingual commonsense. In: Proceedings of the Fourteenth Workshop on Semantic Evaluation. Barcelona: Association for Computational Linguistics, 2020, pp. 374-390. ISBN 978-1-952148-31-6. Detail
  • FAJČÍK Martin, DOČEKAL Martin, JON Josef and SMRŽ Pavel. BUT-FIT at SemEval-2020 Task 5: Automatic detection of counterfactual statements with deep pre-trained language representation models. In: Proceedings of the Fourteenth Workshop on Semantic Evaluation. Barcelona (online): Association for Computational Linguistics, 2020, pp. 437-444. ISBN 978-1-952148-31-6. Detail
  • KŘIVKA Zbyněk, MARTIŠKO Jakub and MEDUNA Alexander. CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. International Journal of Foundations of Computer Science, 2020, pp. 1-15. ISSN 0129-0541. Detail
  • HUM Qingze, TAN Wei Jin, TEY Shi Ying, LENUS Latasha, HOMOLIAK Ivan, LIN Yun and SUN Jun. CoinWatch: A Clone-Based Approach for Detecting Vulnerabilities in Cryptocurrencies. In: 2020 IEEE International Conference on Blockchain (Blockchain). Rhodos: Institute of Electrical and Electronics Engineers, 2020, pp. 17-25. ISBN 978-0-7381-0495-9. Detail
  • NOSKO Svetozár, MUSIL Martin, ZEMČÍK Pavel and JURÁNEK Roman. Color HDR video processing architecture for smart camera. Journal of Real-Time Image Processing, vol. 17, no. 3, 2020, pp. 555-566. ISSN 1861-8200. Detail
  • KODYM Oldřich, ŠPANĚL Michal and HEROUT Adam. Cranial Defect Reconstruction Using Cascaded CNN with Alignment. In: Towards the Automatization of Cranial Implant Design in Cranioplasty. Lecture Notes in Computer Science. Lima: Springer Nature Switzerland AG, 2020, pp. 56-64. ISBN 978-3-030-64327-0. Detail
  • PLUSKAL Jan. Cryptocurrency Investigation Workshop. Dubai, 2020. Detail
  • DRAHANSKÝ Martin. ČSN ISO/IEC 30137-1: Informační technologie - Využití biometriky v dohledových kamerových systémech - Část 1: Návrh a specifikace systému. Praha: Czech standardization agency, 2020. Detail
  • KOČÍ Radek, ROZMAN Jaroslav and ZBOŘIL František. Database Concept for Transcription of Registry Records into Digital Form. In: Proceedings of the 3rd International Conference on Software Engineering and Information Management - ICSIM'20. Sydney: Association for Computing Machinery, 2020, pp. 21-25. ISBN 978-1-4503-7690-7. Detail
  • MUSIL Martin, NOSKO Svetozár and ZEMČÍK Pavel. De-Ghosted HDR Video Acquisition for Embedded Systems. Journal of Real-Time Image Processing, vol. 2020, no. 1, pp. 1-10. ISSN 1861-8200. Detail
  • DOBEŠ Petr, ŠPAŇHEL Jakub, BARTL Vojtěch, JURÁNEK Roman and HEROUT Adam. Density-Based Vehicle Counting with Unsupervised Scale Selection. In: Digital Image Computing: Techniques and Applications 2020. Melbourne: Institute of Electrical and Electronics Engineers, 2020, pp. 1-8. Detail
  • ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Design and Control of 7-DOF Omni-directional Hexapod Robot. Open Computer Science, vol. 11, no. 1, 2020, pp. 80-89. ISSN 2299-1093. Detail
  • BOSIO Alberto, DI Carlo Stefano, GIRARD Patrick, SANCHEZ Ernesto, SAVINO Aessandro, SEKANINA Lukáš, TRAIOLA Marcello, VAŠÍČEK Zdeněk and VIRAZEL Arnaud. Design, Verification, Test and In-Field Implications of Approximate Computing Systems. In: 25th IEEE European Test Symposium. Los Alamitos: Institute of Electrical and Electronics Engineers, 2020, pp. 1-10. ISBN 978-1-7281-4312-5. Detail
  • KUČERA Jan, BEN Basat Ran, KUKA Mário, ANTICHI Gianni, YU Minlan and MITZENMACHER Michael. Detecting Routing Loops in the Data Plane. In: CoNEXT 2020 - Proceedings of the 16th International Conference on Emerging Networking EXperiments and Technologies. New York, NY: Association for Computing Machinery, 2020, pp. 466-473. ISBN 978-1-4503-7948-9. Detail
  • FOLENTA Ján, ŠPAŇHEL Jakub, BARTL Vojtěch and HEROUT Adam. Determining Vehicle Turn Counts at Multiple Intersections by Separated Vehicle Classes Using CNNs. In: 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, vol. 2020. Seattle, WA: IEEE Computer Society, 2020, pp. 2544-2549. ISBN 978-1-7281-9360-1. ISSN 2160-7516. Detail
  • HRANICKÝ Radek, ZOBAL Lukáš, RYŠAVÝ Ondřej, KOLÁŘ Dušan and MIKUŠ Dávid. Distributed PCFG Password Cracking. In: Computer Security - ESORICS 2020. Lecture notes in Computer Science. Guildford: Springer Nature Switzerland AG, 2020, pp. 701-719. ISBN 978-3-030-58950-9. Detail
  • KOCNOVÁ Jitka and VAŠÍČEK Zdeněk. EA-based Resynthesis: An Efficient Tool for Optimization of Digital Circuits. Genetic Programming and Evolvable Machines, vol. 21, no. 3, 2020, pp. 287-319. ISSN 1389-2576. Detail
  • ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, JANKŮ Petr, LIN Hsin-Hung and WU Wei-Cheng. Efficient handling of string-number conversion. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). New York: Association for Computing Machinery, 2020, pp. 943-957. ISBN 978-1-4503-7613-6. Detail
  • KUČERA Jan, POPESCU Diana A., WANG Han, MOORE Andrew W., KOŘENEK Jan and ANTICHI Gianni. Enabling Event-Triggered Data Plane Monitoring. In: SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research. New York, NY: Association for Computing Machinery, 2020, pp. 14-26. ISBN 978-1-4503-7101-8. Detail
  • KAPINUS Michal, MATERNA Zdeněk, BAMBUŠEK Daniel and BERAN Vítězslav. End-User Robot Programming Case Study: Augmented Reality vs. Teach Pendant. In: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Cambridge: Association for Computing Machinery, 2020, pp. 281-283. ISBN 978-1-4503-7057-8. Detail
  • HON Jiří, BORKO Simeon, ŠTOURAČ Jan, PROKOP Zbyněk, BEDNÁŘ David, ZENDULKA Jaroslav, MARTÍNEK Tomáš and DAMBORSKÝ Jiří. EnzymeMiner: automated mining of soluble enzymes with diverse structures, catalytic properties and stabilities. Nucleic Acids Research, vol. 48, no. 1, 2020, pp. 104-109. ISSN 1362-4962. Detail
  • DREVICKÝ Dušan and KODYM Oldřich. Evaluating deep learning uncertainty measures in cephalometric landmark localization. In: Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 2: BIOIMAGING. Valetta: Institute for Systems and Technologies of Information, Control and Communication, 2020, pp. 213-220. ISBN 978-989-758-398-8. Detail
  • ADAMOVSKÝ Ondřej, BUERGER Amanda N., VESPALCOVÁ Hana, SOHAG Shahadur R., HANLON Amy T., GINN Pamela E., CRAFT Serena L., SMATANA Stanislav, BUDINSKÁ Eva, PERSICO Maria, BISESI Joseph Jr. H. and MARTYNIUK Christopher J. Evaluation of microbiome-host relationships in the zebrafish gastrointestinal system reveals adaptive immunity is a target of bis(2-ethylhexyl) phthalate (DEHP) exposure. Environmental Science & Technology, vol. 54, no. 9, 2020, pp. 5719-5728. ISSN 1520-5851. Detail
  • PODIVÍNSKÝ Jakub, LOJDA Jakub, PÁNEK Richard, ČEKAN Ondřej, KRČMA Martin and KOTÁSEK Zdeněk. Evaluation Platform For Testing Fault Tolerance: Testing Reliability of Smart Electronic Locks. In: 2020 IEEE 11th Latin American Symposium on Circuits & Systems (LASCAS). San José: IEEE Circuits and Systems Society, 2020, pp. 1-4. ISBN 978-1-7281-3427-7. Detail
  • BIDLO Michal. Evolution of Cellular Automata with Conditionally Matching Rules for Image Filtering. In: 2020 IEEE Congress on Evolutionary Computation (CEC). Los Alamitos: IEEE Computational Intelligence Society, 2020, pp. 1-8. ISBN 978-1-7281-6929-3. Detail
  • GROCHOL David and SEKANINA Lukáš. Evolutionary Design of Hash Functions for IPv6 Network Flow Hashing. In: IEEE Congress on Evolutionary Computation. Los Alamitos: IEEE Computational Intelligence Society, 2020, pp. 1-8. ISBN 978-1-7281-6929-3. Detail
  • BIDLO Michal and DOBEŠ Michal. Evolutionary Development of Generic Sorting Networks by Means of Rewriting Systems. IEEE Transactions on Evolutionary Computation, vol. 24, no. 2, 2020, pp. 232-244. ISSN 1089-778X. Detail
  • HUSA Jakub and SEKANINA Lukáš. Evolving Cryptographic Boolean Functions with Minimal Multiplicative Complexity. In: 2020 IEEE Congress on Evolutionary Computation (CEC). Los Alamitos: IEEE Computational Intelligence Society, 2020, pp. 1-8. ISBN 978-1-7281-6929-3. Detail
  • MARTIN Eleanor, JAROŠ Jiří and TREEBY Bradley E. Experimental Validation of k-Wave: Nonlinear Wave Propagation in Layered, Absorbing Fluid Media. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, vol. 67, no. 1, 2020, pp. 81-91. ISSN 1525-8955. Detail
  • ZOBAL Lukáš, KOLÁŘ Dušan and KŘOUSTEK Jakub. Exploring Current E-mail Cyber Threats Using Authenticated SMTP Honeypot. In: Proceedings of the 17th International Conference on Security and Cryptography (SECRYPT 2020). Paris: SciTePress - Science and Technology Publications, 2020, pp. 253-262. ISBN 978-989-758-446-6. Detail
  • BURGET Radek and RYCHLÝ Marek. Extrakce událostí ze souborových systémů - Návrh a implementace distribuované architektury. FIT-TR-2020-08, Brno: Faculty of Information Technology BUT, 2020. Detail
  • GOLDMANN Tomáš and DRAHANSKÝ Martin. Face recognition - methods for improve performance of recognition, 3D scanner. INTERPOL, Lyon, 2020. Detail
  • KANICH Ondřej and DRAHANSKÝ Martin. Fingerprints in forensic applications - processing and generation of diseased, damaged and spoofed fingerprints. INTERPOL, Lyon, 2020. Detail
  • HOLÍK Lukáš. Finite Automata Methods for Automated Reasoning. Brno: Faculty of Information Technology BUT, 2020. Detail
  • MLÍCH Jozef, KOPLÍK Karel, HRADIŠ Michal and ZEMČÍK Pavel. Fire Segmentation in Still Images. In: Springer International Publishing. Lecture Notes in Computer Science. Auckland: Springer International Publishing, 2020, pp. 27-37. ISBN 978-3-030-40605-9. Detail
  • MUSIL Miloš, KHAN Rayyan T., BEIER Andy, ŠTOURAČ Jan, KONEGGER Hannes, DAMBORSKÝ Jiří and BEDNÁŘ David. FireProtASR: Web Server for Fully Automated Ancestral Sequence Reconstruction. Briefings in Bioinformatics, vol. 0000, no. 0000, 2020, pp. 1-11. ISSN 1467-5463. Detail
  • ŠTOURAČ Jan, DÚBRAVA Juraj Ondrej, MUSIL Miloš, HORÁČKOVÁ Jana, MAZURENKO Stanislav, DAMBORSKÝ Jiří and BEDNÁŘ David. FireProtDB: Database of Manually Curated Protein Stability Data. Nucleic Acids Research, vol. 49, no. 1, 2020, pp. 319-324. ISSN 1362-4962. Detail
  • MATOUŠEK Petr, RYŠAVÝ Ondřej, HAVLENA Vojtěch and GRÉGR Matěj. Flow based monitoring of ICS communication in the smart grid. Journal of Information Security and Applications, vol. 2020, no. 54, pp. 102535-102535. ISSN 2214-2126. Detail
  • HRANICKÝ Radek. Forenzní analýza šifrovaných dat. DSM Data Security Management, vol. 2020, no. 4, pp. 14-18. ISSN 1211-8737. Detail
  • KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. General CD Grammar Systems and Their Simplification. Journal of Automata, Languages and Combinatorics, vol. 25, no. 1, 2020, pp. 37-54. ISSN 1430-189X. Detail
  • KEKELY Michal, KEKELY Lukáš and KOŘENEK Jan. General memory efficient packet matching FPGA architecture for future high-speed networks. Microprocessors and Microsystems, vol. 73, no. 3, 2020, pp. 1-12. ISSN 0141-9331. Detail
  • BISWAS Sangeeta, ROHDIN Johan A., KAVETSKYI Andrii and DRAHANSKÝ Martin. Grading Quality of Color Retinal Images to Assist Fundus Camera Operators. In: Proceedings of the IEEE 33rd International Symposium on Computer-Based Medical Systems (CBMS). Rochester: IEEE Computer Society Press, 2020, pp. 77-82. ISBN 978-1-7281-9429-5. Detail
  • DVOŘÁK Michal and DRAHANSKÝ Martin. Hand image acquisition - New approaches. INTERPOL, Lyon, 2020. Detail
  • HORÁČEK Petr, MEDUNA Alexander and TOMKO Martin. Handbook of Mathematical Models for Languages and Computation. Stevenage, United Kingdom: The Institution of Engineering and Technology, 2020. ISBN 978-1-78561-659-4. Detail
  • LOJDA Jakub, PÁNEK Richard, PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin and KOTÁSEK Zdeněk. Hardening of Smart Electronic Lock Software against Random and Deliberate Faults. In: Proceedings - Euromicro Conference on Digital System Design, DSD 2020. Kranj: Institute of Electrical and Electronics Engineers, 2020, pp. 680-683. ISBN 978-1-7281-9535-3. Detail
  • PLASCENCIA Alfredo C., NOSKO Svetozár, BERAN Vítězslav and ZEMČÍK Pavel. HDR and 3D Occupancy map implementation on Embedded HW. Brno, 2020. Detail
  • CHYRÁ Zuzana, ŠEVČÍKOVÁ Tereza, VOJTA Petr, PUTEROVÁ Janka, BROŽOVÁ Lucie, GROWKOVÁ Kateřina, FILIPOVÁ Jana, ZÁTOPKOVÁ Martina, GROSICKI Sebastian, BARCHANICKA Agnieszka, JĘDRZEJCZAK Wiesław W., WASZCZUK-GAJDA Anna, JUNGOVÁ Alexandra, MIKULÁŠOVÁ Aneta, HAJDÚCH Marián, MOKREJŠ Martin, POUR Luděk, ŠTORK Martin, HARVANOVÁ Ľubica, MISTRÍK Martin, MIKALA Gábor, ROBAK Paweł, CZYŻ Anna, DĘBSKI Jakub, USNARSKA-ZUBKIEWICZ Lidia, JURCZYSZYN Artur, STEJSKAL Lukáš, MORGAN Gareth, KRYUKOV Fedor, BUDINSKÁ Eva, ŠIMÍČEK Michal, JELÍNEK Tomáš, HRDINKA Matouš and HÁJEK Roman. Heterogenous mutation spectrum and deregulated cellular pathways in aberrant plasma cells underline molecular pathology of light-chain amyloidosis. Haematologica, vol. 106, no. 2, 2020, pp. 601-604. ISSN 1592-8721. Detail
  • HAVRÁNEK Pavel, ZŮVALA Robert, ŠPAŇHEL Jakub, HEROUT Adam, VALENTOVÁ Veronika and AMBROS Jiří. How does road marking in horizontal curves influence driving behaviour?. European Transport Research Review, vol. 12, no. 1, 2020, pp. 1-11. ISSN 1866-8887. Detail
  • POLČÁK Libor, RYŠAVÝ Ondřej and MATOUŠEK Petr. Identity Linking Graphs for Computer Networks. In: Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, DCNET, OPTICS, SIGMAP and WINSYS. Setubal: SciTePress - Science and Technology Publications, 2020, pp. 45-52. ISBN 978-989-758-445-9. Detail
  • DELCROIX Marc, OCHIAI Tsubasa, ŽMOLÍKOVÁ Kateřina, KINOSHITA Keisuke, TAWARA Naohiro, NAKATANI Tomohiro and ARAKI Shoko. Improving Speaker Discrimination of Target Speech Extraction With Time-Domain Speakerbeam. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Barcelona: IEEE Signal Processing Society, 2020, pp. 691-695. ISBN 978-1-5090-6631-5. Detail
  • ANSARI Mohammad S., MRÁZEK Vojtěch, COCKBURN Bruce F., SEKANINA Lukáš, VAŠÍČEK Zdeněk and HAN Jie. Improving the Accuracy and Hardware Efficiency of Neural Networks Using Approximate Multipliers. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 28, no. 2, 2020, pp. 317-328. ISSN 1063-8210. Detail
  • FUKAČ Tomáš, KOŘENEK Jan, KOŠAŘ Vlastimil and MATOUŠEK Jiří. Increasing Throughput of Intrusion Detection Systems by Hash-Based Short String Pre-Filter. In: Proceedings - Conference on Local Computer Networks, LCN. Sydney (virtual): Institute of Electrical and Electronics Engineers, 2020, pp. 509-514. ISBN 978-1-7281-7158-6. Detail
  • BURGET Radek. Information Extraction from the Web Using Presentation Analysis. Brno: Faculty of Information Technology BUT, 2020. Detail
  • BISWAS Sangeeta, ROHDIN Johan A. and DRAHANSKÝ Martin. Interretinal Symmetry in Color Fundus Photographs. In: Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. Montreal: IEEE Computer Society, 2020, pp. 1980-1983. ISBN 978-1-7281-1990-8. Detail
  • WANG Shuai, ROHDIN Johan A., PLCHOT Oldřich, BURGET Lukáš, YU Kai and ČERNOCKÝ Jan. Investigation of Specaugment for Deep Speaker Embedding Learning. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Barcelona: IEEE Signal Processing Society, 2020, pp. 7139-7143. ISBN 978-1-5090-6631-5. Detail
  • PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin, BURGET Radek, HRUŠKA Tomáš and KOTÁSEK Zdeněk. Iterative Algorithm for Multidimensional Pareto Frontiers Intersection Determination. In: 2020 IEEE 11th Latin American Symposium on Circuits & Systems (LASCAS). San José: IEEE Circuits and Systems Society, 2020, pp. 1-4. ISBN 978-1-7281-3427-7. Detail
  • DRAHANSKÝ Martin. Jednou nás možná nebude potřeba. Praha, 2020, pp. 16-19. Detail
  • DOČEKAL Martin, FAJČÍK Martin, JON Josef and SMRŽ Pavel. JokeMeter at SemEval-2020 Task 7: Convolutional Humor. In: Proceedings of the Fourteenth Workshop on Semantic Evaluation. 2020. Barcelona (online): Association for Computational Linguistics, 2020, pp. 843-851. ISBN 978-1-952148-31-6. Detail
  • BAŘINA David and KLÍMA Ondřej. JPEG 2000: Guide for Digital Libraries. Digital Library Perspectives, vol. 36, no. 3, 2020, pp. 249-263. ISSN 2059-5816. Detail
  • JAROŠ Marta, TREEBY Bradley E., JAROŠ Jiří and GEORGIOU Panyiotis. k-Dispatch: A Workflow Management System for the Automated Execution of Biomedical Ultrasound Simulations on Remote Computing Resources. In: Proceedings of the Platform for Advanced Scientific Computing Conference, PASC 2020. New York: Association for Computing Machinery, 2020, pp. 1-10. ISBN 978-1-4503-7993-9. Detail
  • CRHA Adam, ŠIMEK Václav and RŮŽIČKA Richard. Multi-output cuts influence on optimization of polymorphic circuits based on PAIG rewriting. In: 2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Novi Sad: Institute of Electrical and Electronics Engineers, 2020, pp. 1-6. ISBN 978-1-7281-9938-2. Detail
  • BREJCHA Jan, LUKÁČ Michal, HOLD-GEOFFROY Yannick, WANG Oliver and ČADÍK Martin. LandscapeAR: Large Scale Outdoor Augmented Reality by Matching Photographs with Terrain Models Using Learned Descriptors. In: Computer Vision - ECCV 2020. Lecture Notes in Computer Science, vol. 12374. Cham: Springer Nature Switzerland AG, 2020, pp. 295-312. ISBN 978-3-030-58525-9. Detail
  • KESIRAJU Santosh, PLCHOT Oldřich, BURGET Lukáš and GANGASHETTY Suryakanth V. Learning Document Embeddings Along With Their Uncertainties. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, vol. 2020, no. 28, pp. 2319-2332. ISSN 2329-9290. Detail
  • HAVLENA Vojtěch, HOLÍK Lukáš and MATOUŠEK Petr. Learning Probabilistic Automata in the Context of IEC 104. IT-TR-2020-01, Brno: Faculty of Information Technology BUT, 2020. Detail
  • MRÁZEK Vojtěch, SEKANINA Lukáš and VAŠÍČEK Zdeněk. Libraries of Approximate Circuits: Automated Design and Application in CNN Accelerators. IEEE Journal on Emerging and Selected Topics in Circuits and Systems, vol. 10, no. 4, 2020, pp. 406-418. ISSN 2156-3357. Detail
  • ADAMOVSKÝ Ondřej, BISESI Joseph Jr. H., BOYDA Jonna, BUDINSKÁ Eva, CRAFT Serena L., GINN Pamela E., HUA Qing, KOZUCH Marianne, MARTYNIUK Christopher J., PERSICO Maria, SCHMIDT Jordan T., SMATANA Stanislav and VESPALCOVÁ Hana. Microbiome analysis and predicted relative metabolomic turnover suggest bacterial heme and selenium metabolism are altered in the gastrointestinal system of zebrafish (Danio rerio) exposed to the organochlorine dieldrin. Environmental Pollution, vol. 2021, no. 268, 2020, pp. 115715-115726. ISSN 1873-6424. Detail
  • MATOUŠEK Petr, BURGETOVÁ Ivana and VICTOR Malombe. Mobile Device Fingerprinting. FIT-TR-2020-05, Brno, 2020. Detail
  • DRAHANSKÝ Martin, MACEK Ivo and GOLDMANN Tomáš. Monitoring of visitors in museum exhibitions. Journal of the National Museum (Prague), vol. 2020, no. 189, pp. 155-162. ISSN 1802-6850. Detail
  • KEKELY Lukáš, CABAL Jakub, PUŠ Viktor and KOŘENEK Jan. Multi Buses: Theory and Practical Considerations of Data Bus Width Scaling in FPGAs. In: Proceedings of the 23rd Euromicro Conference on Digital Systems Design (DSD). Kranj: IEEE Computer Society, 2020, pp. 49-56. ISBN 978-1-7281-9535-3. Detail
  • UHLÍŘ Václav, VÍDEŇSKÝ František and ZBOŘIL František. Multi-Agent Programming Contest 2019 FIT BUT Team solution. In: The Multi-Agent Programming Contest 2019, Agents Assemble - Block by Block to Victory. Lecture Notes of Computer Challenges, vol. 12381. Berlin: Springer International Publishing, 2020, pp. 59-78. ISBN 978-3-030-59298-1. ISSN 0302-9743. Detail
  • BAŘINA David. Multiplication Algorithm Based on Collatz function. Theory of Computing Systems, vol. 64, no. 8, 2020, pp. 1331-1337. ISSN 1433-0490. Detail
  • KOSIBA Matěj and BURGET Lukáš et al. Multiwavelength classification of X-ray selected galaxy cluster candidates using convolutional neural networks. Monthly Notices of the Royal Astronomical Society, vol. 496, no. 4, 2020, pp. 4141-4153. ISSN 1365-2966. Detail
  • MARCHISIO Alberto, MASSA Andrea, MRÁZEK Vojtěch, BUSSOLINO Beatrice, MARTINA Mauricio and SHAFIQUE Muhammad. NASCaps: A Framework for Neural Architecture Search to Optimize the Accuracy and Hardware Efficiency of Convolutional Capsule Networks. In: IEEE/ACM International Conference on Computer-Aided Design (ICCAD '20). Virtual Event: Association for Computing Machinery, 2020, pp. 1-9. ISBN 978-1-4503-8026-3. Detail
  • PLUSKAL Jan, BREITINGER Frank and RYŠAVÝ Ondřej. Netfox Detective: A novel open-source Network Forensics Analysis Tool. Forensic Science International: Digital Investigation, vol. 35, no. 301019, 2020, pp. 1-13. ISSN 2666-2825. Detail
  • TREEBY Bradley E., WISE Elliott S., KUKLIŠ Filip, JAROŠ Jiří and COX Ben T. Nonlinear ultrasound simulation in an axisymmetric coordinate system using a k-space pseudospectral method. Journal of the Acoustical Society of America, vol. 148, no. 4, 2020, pp. 2288-2300. ISSN 1520-8524. Detail
  • BIDLO Michal and ŽUFAN Petr. On Comparison of Some Representations for the Evolution of Quantum Operators. In: 2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020. Canberra: Institute of Electrical and Electronics Engineers, 2020, pp. 2101-2108. ISBN 978-1-7281-2547-3. Detail
  • DIEZ Sánchez Mireia, BURGET Lukáš, LANDINI Federico Nicolás, WANG Shuai and ČERNOCKÝ Jan. Optimizing Bayesian Hmm Based X-Vector Clustering for the Second Dihard Speech Diarization Challenge. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Barcelona: IEEE Signal Processing Society, 2020, pp. 6519-6523. ISBN 978-1-5090-6631-5. Detail
  • JAROŠ Marta, KLUSÁČEK Dalibor and JAROŠ Jiří. Optimizing Biomedical Ultrasound Workflow Scheduling Using Cluster Simulations. In: Job Scheduling Strategies for Parallel Processing. JSSCP 2020. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12326. New Orleans: Springer Nature Switzerland AG, 2020, pp. 68-84. ISBN 978-3-030-63170-3. Detail
  • HOLKOVIČ Martin, BOHUŠ Michal and RYŠAVÝ Ondřej. Pattern Detection Based Network Diagnostics. In: Proceedings of the 17th International Joint Conference on e-Business and Telecommunications. Setubal: SciTePress - Science and Technology Publications, 2020, pp. 35-42. ISBN 978-989-758-445-9. Detail
  • VICTOR Malombe. PC Browser and Android Applications Fingerprinting. Brno, 2020. Detail
  • BARTL Vojtěch, JURÁNEK Roman, ŠPAŇHEL Jakub and HEROUT Adam. PlaneCalib: Automatic Camera Calibration by Multiple Observations of Rigid Objects on Plane. In: 2020 International Conference on Digital Image Computing: Techniques and Applications (DICTA). Melbourne: Institute of Electrical and Electronics Engineers, 2020, pp. 1-8. Detail
  • NEVORAL Jan, ŠIMEK Václav and RŮŽIČKA Richard. Power Consumption Analysis of New Generation of Polymorphic Gates. In: 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2020. Novi Sad: Institute of Electrical and Electronics Engineers, 2020, pp. 1-6. ISBN 978-1-7281-9938-2. Detail
  • LABUDOVÁ Dominika, HON Jiří and LEXA Matej. pqsfinder web: G-quadruplex prediction using optimized pqsfinder algorithm. Bioinformatics, vol. 36, no. 8, 2020, pp. 2584-2586. ISSN 1367-4803. Detail
  • DRAHANSKÝ Martin, KANICH Ondřej and HEIDARI Mona. Practical Considerations in the Use of Biometric Systems. Darmstadt: European Association for Biometrics, 2020. Detail
  • PERINGER Petr, ŠOKOVÁ Veronika and VOJNAR Tomáš. PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). In: Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science, vol. 12079. Cham: Springer International Publishing, 2020, pp. 408-412. ISBN 978-3-030-45236-0. Detail
  • SILNOVA Anna, BRUMMER Niko, ROHDIN Johan A., STAFYLAKIS Themos and BURGET Lukáš. Probabilistic embeddings for speaker diarization. In: Proceedings of Odyssey 2020 The Speaker and Language Recognition Workshop. Tokyo: International Speech Communication Association, 2020, pp. 24-31. ISSN 2312-2846. Detail
  • SEDLÁK Michal and ZIMAN Mário. Probabilistic storage and retrieval of qubit phase gates. Physical Review A, vol. 102, no. 1, 2020, pp. 1-8. ISSN 2469-9926. Detail
  • MARCZAK Magda, GJONESKA Biljana, BURKAUSKAS Julius, DASKALOU Vasiliki, FLORA Katerina, GAO Shang, LI Ying, LIAUGAUDAITE Vilma, MARKOVIKJ Marijana, ROELANDS Marc, SMRŽ Pavel and VAZ-REBELO Piedade. Problematic Internet Use: Media Portrayal across Eight Countries. Psihologija, vol. 53, no. 4, 2020, pp. 411-430. ISSN 0048-5705. Detail
  • YOUSSEF Sawsan and RYŠAVÝ Ondřej. Proposed Method for Partial Node Replacement by Software Defined Network. In: Position Papers of the 2020 Federated Conference on Computer Science and Information Systems. Annals of Computer Science and Information Systems, vol. 22. Warsaw: Polish Information Processing Society, 2020, pp. 11-14. ISBN 978-83-959183-0-8. ISSN 2300-5963. Detail
  • DRAHANSKÝ Martin, BERAN Vítězslav and ZEMČÍK Pavel. Provádění testů a vyhodnocení na aktuálních datech zadavatele a evaluace výsledků. Brno, 2020. Detail
  • MARCHISIO Alberto, MRÁZEK Vojtěch, HANIF Muhammad A. and SHAFIQUE Muhammad. ReD-CaNe: A Systematic Methodology for Resilience Analysis and Design of Capsule Networks under Approximations. In: Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020. Grenoble: Institute of Electrical and Electronics Engineers, 2020, pp. 1205-1210. ISBN 978-3-9819263-4-7. Detail
  • HOLÍK Lukáš, LENGÁL Ondřej, SAARIKIVI Olli, VEANES Margus, VOJNAR Tomáš and TUROŇOVÁ Lenka. Regex Matching with Counting-Set Automata. Proceedings of the ACM on Programming Languages, vol. 4, no. 11, 2020, pp. 1-30. ISSN 2475-1421. Detail
  • PÁNEK Richard, LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Reliability Analysis of Reconfiguration Controller for FPGA-Based Fault Tolerant Systems: Case Study. In: 2020 International Symposium on VLSI Design, Automation, and Test (VLSI-DAT) : proceedings of technical papers. Hsinchu: IEEE Computer Society, 2020, pp. 121-124. ISBN 978-1-7281-6083-2. Detail
  • KOČÍ Radek. Requirements Validation Through Scenario Generation and Comparison. In: The Fifteenth International Conference on Software Engineering Advances, ICSEA 2020. Porto: Xpert Publishing Services, 2020, pp. 129-134. ISBN 978-1-61208-827-3. Detail
  • ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch and VOJNAR Tomáš. Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. In: Theory and Applications of Satisfiability Testing - SAT 2020. Lecture Notes in Computer Science, vol. 12178. Alghero: Springer International Publishing, 2020, pp. 481-491. ISBN 978-3-030-51824-0. Detail
  • ZEINALI Hossein, LEE Kong Aik, ALAM Jahangir and BURGET Lukáš. SdSV Challenge 2020: Large-Scale Evaluation of Short-duration Speaker Verification. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Sanghai: International Speech Communication Association, 2020, pp. 731-735. ISSN 1990-9772. Detail
  • WACHIURI Simon. Security Analysis of the GOOSE Communication Protocol Using Statistical Profiling. Brno, 2020. Detail
  • OČENÁŠ Martin, HOMOLIAK Ivan, MALINKA Kamil and HANÁČEK Petr. Security and Encryption at Modern Databases. In: ICCSP 2020: Proceedings of the 2020 4th International Conference on Cryptography, Security and Privacy. Nanjing: Association for Computing Machinery, 2020, pp. 19-23. ISBN 978-1-4503-7744-7. Detail
  • HODAŇ David, MRÁZEK Vojtěch and VAŠÍČEK Zdeněk. Semantically-Oriented Mutation Operator in Cartesian Genetic Programming for Evolutionary Circuit Design. In: GECCO 2020 - Proceedings of the 2020 Genetic and Evolutionary Computation Conference. Cancún: Association for Computing Machinery, 2020, pp. 940-948. ISBN 978-1-4503-7128-5. Detail
  • ČEŠKA Milan, CHAU Calvin and KŘETÍNSKÝ Jan. SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks. In: International Conference on Computer Aided Verification. Lecture Notes in Computer Science. Cham: Springer Verlag, 2020, pp. 653-666. ISBN 978-3-030-53287-1. Detail
  • HRUBÝ Martin, GONZÁLES Antonio, RUIZ Nolasco Ricardo, SHARMAN Ken and SÁEZ Sergio. Simulation Infrastructure for Automated Anesthesia During Operations. In: International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science, vol. 12013. Cham: Springer Verlag, 2020, pp. 474-481. ISBN 978-3-030-45092-2. Detail
  • KODYM Oldřich, ŠPANĚL Michal and HEROUT Adam. Skull Shape Reconstruction Using Cascaded Convolutional Networks. Computers in Biology and Medicine, vol. 123, no. 103886, 2020, pp. 1-9. ISSN 0010-4825. Detail
  • BINDER Alexander, BREITENBACHER Dominik, HARTEL Pieter H., SZALACHOWSKI Pawel, HOMOLIAK Ivan and HUJŇÁK Ondřej. SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets. In: Proceedings of the 2nd ACM Conference on Advances in Financial Technologies. New York City: Association for Computing Machinery, 2020, pp. 145-162. ISBN 978-1-4503-8139-0. Detail
  • ZOBAL Lukáš. Souhrnná výzkumná zpráva k projektu Metody pro extrakci a detekci vzorů v programovém kódu. Brno: Avast Software s.r.o., 2020. Detail
  • KODYM Oldřich. Souhrnná výzkumná zpráva k projektu TESCAN 3DIM - Metody hlubokého učení pro analýzu 3D dat. Brno: TESCAN 3DIM, s.r.o., 2020. Detail
  • POLČÁK Libor. Soukromí uživatelů v prostředí internetové reklamy na českém webu. DSM Data Security Management, vol. 2020, no. 1, pp. 11-16. ISSN 1211-8737. Detail
  • HU Ting, NICOLAU Miguel and SEKANINA Lukáš. Special issue on highlights of genetic programming 2019 events. Genetic Programming and Evolvable Machines, vol. 21, no. 3, 2020. ISSN 1389-2576. Detail
  • SCHARENBORG Odette, BESACIER Laurent, BLACK Alan, HASEGAWA-JOHNSON Mark, METZE Florian, NEUBIG Graham, STÜKER Sebastian, GODARD Pierre, MÜLLER Markus, ONDEL Lucas Antoine Francois, PALASKAR Shruti, ARTHUR Philip, CIANNELLA Francesco, DU Mingxing, LARSEN Elin, MERKX Danny, RIAD Rachid, WANG Liming and DUPOUX Emmanuel. Speech Technology for Unwritten Languages. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, vol. 2020, no. 28, pp. 964-975. ISSN 2329-9290. Detail
  • PLUSKAL Jan. SSL/TLS Interception Workshop (TLS1.3 edition). Dubai, 2020. Detail
  • STRNADEL Josef. Statistical Model Checking of Approximate Circuits: Challenges and Opportunities. In: Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). Grenoble: IEEE Computer Society, 2020, pp. 1574-1577. ISBN 978-3-9819263-4-7. Detail
  • AYAZIOVÁ Paulína, HRUŠKA Martin, CHALUPA Marek, JAŠEK Tomáš, STREJČEK Jan, ŠOKOVÁ Veronika, TOMOVIČ Lukáš and VOJNAR Tomáš. Symbiotic 7: Integration of Predator and More (Competition Contribution). In: Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science, vol. 12079. Cham: Springer International Publishing, 2020, pp. 413-417. ISBN 978-3-030-45236-0. Detail
  • BOBÁK Petr, ČMOLÍK Ladislav and ČADÍK Martin. Temporally Stable Boundary Labeling for Interactive and Non-Interactive Dynamic Scenes. Computers and Graphics, vol. 91, no. 10, 2020, pp. 265-278. ISSN 0097-8493. Detail
  • VAVERKA Filip, MRÁZEK Vojtěch, VAŠÍČEK Zdeněk and SEKANINA Lukáš. TFApprox: Towards a Fast Emulation of DNN Approximate Hardware Accelerators on GPU. In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). Grenoble: Institute of Electrical and Electronics Engineers, 2020, pp. 294-297. ISBN 978-3-9819263-4-7. Detail
  • HRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch, MÚČKA Matúš, HORÁK Adam, BOLVANSKÝ Dávid and ŽENČÁK Tomáš. The architecture of Fitcrack distributed password cracking system, version 2. FIT-TR-2020-04, Brno: Faculty of Information Technology BUT, 2020. Detail
  • KRASYLENKO Yuliya and RYDLO Karol et al. The European mistletoe (Viscum album L.): distribution, host range, biotic interactions, and management worldwide with special emphasis on Ukraine. Botany, vol. 98, no. 9, 2020, pp. 499-516. ISSN 1916-2790. Detail
  • BARBOSA Raul, BECKER Hauke, ESNAOLA Mikel L., FERRARI Enrico, FOLKESSON Peter, GIANTAMIDIS Georgios, KANAK Alper, PEREIRA David M., POMANTE Luigi, SANGCHOOLIE Behrooz, SCHLICK Rupert, SMRČKA Aleš and YAZICI Ahmed. The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. In: 2020 23rd Euromicro Conference on Digital System Design (DSD). Krajn: Institute of Electrical and Electronics Engineers, 2020, pp. 115-129. ISBN 978-1-7281-9535-3. Detail
  • DUNBAR Ewan, KARADAYI Julien, BERNARD Mathieu, CAO Xuan-Nga, ALGAYRES Robin, ONDEL Lucas Antoine Francois, BESACIER Laurent, SAKTI Sakriani and DUPOUX Emmanuel. The Zero Resource Speech Challenge 2020: Discovering discrete subword and word units. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Sanghai: International Speech Communication Association, 2020, pp. 4831-4835. ISSN 1990-9772. Detail
  • ČEŠKA Milan. Towards Computer-Aided Quantitative. Brno: Faculty of Information Technology BUT, 2020. Detail
  • PLUSKAL Jan. Towards Fully Automated Infinitely Scalable and Maximally Effective Password Cracking of Encrypted Documents. Dubai, 2020. Detail
  • BARDONEK Petr and ZACHARIÁŠOVÁ Marcela. Using Control Logic Drivers for Automated Generation of System-level Portable Models. In: 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2020. Novi Sad: Institute of Electrical and Electronics Engineers, 2020, pp. 1-4. ISBN 978-1-7281-9938-2. Detail
  • MRÁZEK Vojtěch, SEKANINA Lukáš and VAŠÍČEK Zdeněk. Using Libraries of Approximate Circuits in Design of Hardware Accelerators of Deep Neural Networks. In: 2nd IEEE International Conference on Artificial Intelligence Circuits and Systems. Genoa: Institute of Electrical and Electronics Engineers, 2020, pp. 243-247. ISBN 978-1-7281-4922-6. Detail
  • HOLKOVIČ Martin and RYŠAVÝ Ondřej. Using Rule-Based Decision Trees for Automatic Passive Diagnostics of the Network Problems. International Journal on Advances in Networks and Services, vol. 2020, no. 1, pp. 1-10. ISSN 1942-2644. Detail
  • MOŠNER Ladislav, PLCHOT Oldřich, ROHDIN Johan A. and ČERNOCKÝ Jan. Utilizing VOiCES dataset for multichannel speaker verification with beamforming. In: Proceedings of Odyssey 2020 The Speaker and Language Recognition Workshop. Tokyo: International Speech Communication Association, 2020, pp. 187-193. ISSN 2312-2846. Detail
  • PERNICKÝ Radim, DRAHANSKÝ Martin and KANICH Ondřej. Výzkum falzifikátů otisků prstů na různých nosičích. Kriminalistický sborník, vol. 2020, no. 5, pp. 54-58. ISSN 1453-259X. Detail
Back to top