Science and Research

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

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
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
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, pp. 1-22. ISSN 0734-9750. Detail
BAŘINA David. Convergence verification of the Collatz problem. The Journal of Supercomputing, vol. 77, no. 3, pp. 2681-2688. ISSN 1573-0484. Detail
GOLDSCHMIDT Patrik and KUČERA Jan. Defense Against SYN Flood DoS Attacks. In: International Federation for Information Processing, 2021. 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. ISSN 1937-4151. 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, p. 16. ISSN 0378-4754. 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, vol 12456. Cham: Springer Nature Switzerland AG, 2021, pp. 116-134. ISBN 978-3-030-67076-4. 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. Seville, 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, pp. 716-729. ISSN 1063-8210. 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, pp. 1-5. ISSN 1934-3396. 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 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, pp. 1-8. ISSN 2047-4938. 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
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, vol 12456. Cham: Springer Nature Switzerland AG, 2021, pp. 99-115. ISBN 978-3-030-67076-4. 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, 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. ISSN 2096-0662. 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. 2021, no. 1, pp. 1-24. ISSN 0169-2968. 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
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: 2021. 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, pp. 60-69. ISSN 2299-1093. Detail
STRNADEL Josef. Using Model Checker to Analyze and Test Digital Circuits with Regard to Delay Faults. In: 2021. 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, pp. 1-28. ISSN 1433-2779. 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, pp. 1-10. ISSN 1807-0302. Detail
ŠLAPAL Josef. A closure operator for the digital plane. FILOMAT, vol. 34, no. 10, 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, 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, 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, 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, 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, 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, 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, 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
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. 2020, no. 1, pp. 1-10. ISSN 1525-8955. 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, 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, pp. 555-566. ISSN 1861-8200. Detail
HEROUT Adam, KODYM Oldřich and ŠPANĚL Michal. 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
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, 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, 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, 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, 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, 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, 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
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, 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, 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
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, pp. 33-47. ISSN 1095-8290. 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, 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, 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, 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, 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, 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
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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, pp. 411-430. ISSN 0048-5705. Detail
YOUSSEF Sawsan and RYŠAVÝ Ondřej. Hybrid SDN Network Interoperability Issues from Routing and Security Policy Perspective. In: Position Papers of the 2020 Federated Conference on Computer Science and Information Systems. Annals of Computer Science and Information Systems. Warsaw: Polish Information Processing Society, 2020, pp. 11-14. ISBN 1-234-56789-X. 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
BAŘINA David. Real-time wavelet transform for infinite image strips. Journal of Real-Time Image Processing, p. 7. ISSN 1861-8200. 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, 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, 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
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. 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
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, 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, pp. 499-516. ISSN 1916-2790. 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, pp. 341-390. ISSN 1553-877X. 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
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