Project Details

IT4Innovations excellence in science

Project Period: 1. 1. 2016 - 31. 12. 2020

Project Type: grant

Code: LQ1602

Agency: Ministry of Education, Youth and Sports Czech Republic

Program: Národní program udržitelnosti II

English title

IT4Innovations excellence in science

Type

grant

Keywords

information technology, security, safety

Team members

Hruška Tomáš, prof. Ing., CSc. (VCIT FIT VUT) , research leader
Ali Anas, Ing. (UPGM FIT VUT)
Bambušek Daniel, Ing. (UPGM FIT VUT)
Barabas Maroš, Ing., Ph.D. (UITS FIT VUT)
Bartík Vladimír, Ing., Ph.D. (UIFS FIT VUT)
Bartl Vojtěch, Ing., Ph.D. (UPGM FIT VUT)
Bařina David, Ing., Ph.D. (UPGM FIT VUT)
Baskar Murali K. (UPGM FIT VUT)
Behúň Kamil, Ing. (UPGM FIT VUT)
Beneš Karel, Ing. (UPGM FIT VUT)
Beran Vítězslav, doc. Ing., Ph.D. (UPGM FIT VUT)
Bidlo Michal, doc. Ing., Ph.D. (UPSY FIT VUT)
Bordovský Gabriel, Ing. (UPSY FIT VUT)
Budiský Jakub, Ing. (UPSY FIT VUT)
Burget Lukáš, doc. Ing., Ph.D. (UPGM FIT VUT)
Burget Radek, doc. Ing., Ph.D. (UIFS FIT VUT)
Burgetová Ivana, Ing., Ph.D. (UIFS FIT VUT)
Čadík Martin, doc. Ing., Ph.D. (UPGM FIT VUT)
Čekan Ondřej, Ing., Ph.D. (UPSY FIT VUT)
Černocký Jan, prof. Dr. Ing. (UPGM FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Čudová Marta, Ing. (UPSY FIT VUT)
Diez Sánchez Mireia, M.Sc., Ph.D. (UPGM FIT VUT)
Dobai Roland, Ing., Ph.D. (UPSY FIT VUT)
Dobeš Petr, Ing. (UPGM FIT VUT)
Drahanský Martin, prof. Ing., Dipl.-Ing., Ph.D. (UITS FIT VUT)
Drahošová Michaela, Ing., Ph.D. (UPSY FIT VUT)
Dvořák Michal, Ing. (UITS FIT VUT)
Egorova Ekaterina, Ing., Ph.D. (UPGM FIT VUT)
Fajčík Martin, Ing., Ph.D. (UPGM FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Fučík Otto, doc. Dr. Ing. (UPSY FIT VUT)
Glembek Ondřej, Ing., Ph.D. (UPGM FIT VUT)
Goldmann Tomáš, Ing., Ph.D. (UITS FIT VUT)
Grégr Matěj, Ing., Ph.D. (UIFS FIT VUT)
Grézl František, Ing., Ph.D. (UPGM FIT VUT)
Grochol David, Ing., Ph.D. (UPSY FIT VUT)
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT)
Hannemann Mirko, Dipl.-Ing. (UPGM FIT VUT)
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Havran Jan, Ing. (FIT VUT)
Heidari Mona (UITS FIT VUT)
Herout Adam, prof. Ing., Ph.D. (UPGM FIT VUT)
Hodaň David, Ing. (UPSY FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Holíková Lenka, Ing. (UITS FIT VUT)
Homoliak Ivan, doc. Ing., Ph.D. (UITS FIT VUT)
Hradiš Michal, Ing., Ph.D. (UPGM FIT VUT)
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT)
Hruška Tomáš, prof. Ing., CSc. (UIFS FIT VUT)
Husa Jakub, Ing., Ph.D. (UPSY FIT VUT)
Husár Adam, Ing., Ph.D., MBA (VCIT FIT VUT)
Hynek Jiří, Ing., Ph.D. (UIFS FIT VUT)
Chrápek David, Ing. (UPGM FIT VUT)
Chudý Peter, doc. Ing., Ph.D. MBA (UPGM FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Jaroš Jiří, doc. Ing., Ph.D. (UPSY FIT VUT)
Juránek Roman, Ing., Ph.D. (UPGM FIT VUT)
Káčerik Martin, Ing. (UPGM FIT VUT)
Kadlubiak Kristián, Ing. (UPSY FIT VUT)
Kanich Ondřej, Ing., Ph.D. (UITS FIT VUT)
Kapinus Michal, Ing. (UPGM FIT VUT)
Karafiát Martin, Ing., Ph.D. (UPGM FIT VUT)
Kavetskyi Andrii (UITS FIT VUT)
Kekely Lukáš, Ing., Ph.D. (UPSY FIT VUT)
Kesiraju Santosh (UPGM FIT VUT)
Kešner Filip, Ing. (UPSY FIT VUT)
Klepárník Petr, Ing., Ph.D. (UPGM FIT VUT)
Klubal Ondřej, Ing. (VCIT FIT VUT)
Kobrtek Jozef, Ing., Ph.D. (UPGM FIT VUT)
Kocnová Jitka, Ing., Ph.D. (UPSY FIT VUT)
Kocour Martin, Ing. (UPGM FIT VUT)
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Kodym Oldřich, Ing., Ph.D. (UPGM FIT VUT)
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT)
Kolář Martin, Ph.D. (UPGM FIT VUT)
Koplík Karel, Ing. (UPGM FIT VUT)
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
Krčma Martin, Ing. (UPSY FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT)
Kukliš Filip, Ing. (UPSY FIT VUT)
Kula Michal, Ing., Ph.D. (UPGM FIT VUT)
Kunovský Jiří, doc. Ing., CSc. (UITS FIT VUT)
Landini Federico Nicolás (UPGM FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Lojda Jakub, Ing., Ph.D. (UPSY FIT VUT)
Lozano Díez Alicia, Ph.D. (UPGM FIT VUT)
Lysek Tomáš, Ing. (UPGM FIT VUT)
Malinka Kamil, Mgr., Ph.D. (UITS FIT VUT)
Martínek Tomáš, doc. Ing., Ph.D. (UPSY FIT VUT)
Matějka Pavel, Ing., Ph.D. (UPGM FIT VUT)
Materna Zdeněk, Ing., Ph.D. (UPGM FIT VUT)
Matoušek Jiří, Ing., Ph.D. (UPSY FIT VUT)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Matyáš Jiří, Ing. (UITS FIT VUT)
Matýšek Michal, Ing. (UPGM FIT VUT)
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT)
Milet Tomáš, Ing., Ph.D. (UPGM FIT VUT)
Milkovič Marek, Ing. (UIFS FIT VUT)
Mrázek Vojtěch, Ing., Ph.D. (UPSY FIT VUT)
Musil Martin, Ing., Ph.D. (UPGM FIT VUT)
Najman Pavel, Ing., Ph.D. (UPGM FIT VUT)
Nikl Vojtěch, Ing. (UPSY FIT VUT)
Nosko Svetozár, Ing. (UPGM FIT VUT)
Ondel Yang Lucas Antoine Francois, Mgr., Ph.D. (UPGM FIT VUT)
Orság Filip, Ing., Ph.D. (UITS FIT VUT)
Otrusina Lubomír, Ing. (UPGM FIT VUT)
Palkovič Martin, Ing., Ph.D. (VCIT FIT VUT)
Pánek Richard, Ing. (UPSY FIT VUT)
Pastushenko Olena, Ing. (UIFS FIT VUT)
Pavelková Alena, Ing. (UPGM FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Pernický Radim, Ing. (UITS FIT VUT)
Plascencia Alfredo C., Ph.D. (UPGM FIT VUT)
Plchot Oldřich, Ing., Ph.D. (UPGM FIT VUT)
Pluháčková Hana, Mgr. Bc. (UITS FIT VUT)
Podivínský Jakub, Ing., Ph.D. (UPSY FIT VUT)
Polčák Libor, Ing., Ph.D. (UIFS FIT VUT)
Polok Lukáš, Ing. (UPGM FIT VUT)
Pospíšil Milan, Ing. (UIFS FIT VUT)
Prochocká Kristína, Ing. (UIFS FIT VUT)
Přibyl Bronislav, Ing. (UPGM FIT VUT)
Puš Viktor, Ing. (UPSY FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Rozman Jaroslav, Ing., Ph.D. (UITS FIT VUT)
Rudnitckaia Julia, Mgr., Ph.D. (UIFS FIT VUT)
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY FIT VUT)
Rydlo Štěpán, Ing. (UITS FIT VUT)
Rychlý Marek, RNDr., Ph.D. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Sadovský Petr, Ing., Ph.D. (VCIT FIT VUT)
Sakin Martin, Ing. (UITS FIT VUT)
Sedlák Michal, Mgr., Ph.D. (UPGM FIT VUT)
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY FIT VUT)
Semrič Jakub, Bc.
Silnova Anna, MSc., Ph.D. (UPGM FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Smrž Pavel, doc. RNDr., Ph.D. (UPGM FIT VUT)
Sochor Jakub, Ing. (UPGM FIT VUT)
Starka Tomáš, Ing. (UPGM FIT VUT)
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT)
Svoboda Pavel, Ing., Ph.D. (UITS FIT VUT)
Szentandrási István, Ing. (UPGM FIT VUT)
Szőke Igor, Ing., Ph.D. (UPGM FIT VUT)
Šimek Václav, Ing. (UPSY FIT VUT)
Široký Adam, Ing. (UPGM FIT VUT)
Škoda Petr, RNDr. (UPGM FIT VUT)
Šlapal Josef, prof. RNDr., CSc. (VCIT FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Šolony Marek, Ing., PhD. (UPGM FIT VUT)
Španěl Michal, doc. Ing., Ph.D. (UPGM FIT VUT)
Špaňhel Jakub, Ing., Ph.D. (UPGM FIT VUT)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Teuer Lukáš, Ing. (UPGM FIT VUT)
Vargovčík Pavol, Ing. (UITS FIT VUT)
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT)
Vaverka Filip, Ing. (UPSY FIT VUT)
Veľas Martin, Ing., Ph.D. (UPGM FIT VUT)
Veselý Karel, Ing., Ph.D. (UPGM FIT VUT)
Veselý Vladimír, Ing., Ph.D. (UIFS FIT VUT)
Vlk Jan, Ing., Ph.D. (UPGM FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Volf Tomáš, Ing. (UIFS FIT VUT)
Vydana Hari K. (UPGM FIT VUT)
Wiglasz Michal, Ing. (UPSY FIT VUT)
Zachariáš Michal, Ing., Ph.D. (UPGM FIT VUT)
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Zbořil František V., doc. Ing., CSc. (UITS FIT VUT)
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT)
Zelený Jan, Ing., Ph.D. (UIFS FIT VUT)
Zemčík Pavel, prof. Dr. Ing. (UPGM FIT VUT)
Zendulka Jaroslav, doc. Ing., CSc. (UIFS FIT VUT)
Zobal Lukáš, Ing. (UIFS FIT VUT)
Žádník Martin, Ing., Ph.D. (UPSY FIT VUT)
Žák Marek, Ing. (UITS FIT VUT)
Žižka Josef, Ing. (UPGM FIT VUT)

Publications

2023

BAŘINA David. Experimental lossless data compressor. Microprocessors and Microsystems, vol. 98, no. 4, 2023, pp. 104803-104803. ISSN 0141-9331. Detail
HYNEK Jiří and RUSŇÁK Vít. Towards Interactive Geovisualization Authoring Toolkit for Industry Use Cases. In: Communications in Computer and Information Science. Volume 1691 CCIS, vol. 1691. Cham: Springer Nature Switzerland AG, 2023, pp. 232-256. ISBN 978-3-031-25476-5. Detail

2022

KOCMAN Radim, KŘIVKA Zbyněk, MEDUNA Alexander and NAGY Benedek. A Jumping 5'->3' Watson-Crick Finite Automata Model. Acta Informatica, vol. 59, no. 5, 2022, pp. 557-584. ISSN 0001-5903. 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, vol. 33, no. 03, 2022, pp. 335-348. ISSN 0129-0541. Detail
MATOUŠEK Jiří, LUČANSKÝ Adam, JANEČEK David, SABO Jozef, KOŘENEK Jan and ANTICHI Gianni. ClassBench-ng: Benchmarking Packet Classification Algorithms in the OpenFlow Era. IEEE/ACM Transactions on Networking, vol. 30, no. 5, 2022, pp. 1912-1925. ISSN 1558-2566. Detail
BAŘINA David, ŠOLONY Marek, CHLUBNA Tomáš, DLABAJA Drahomír, KLÍMA Ondřej and ZEMČÍK Pavel. Comparison of light field compression methods. Multimedia Tools and Applications, vol. 81, no. 2, 2022, pp. 2517-2528. ISSN 1573-7721. Detail
HAVEL Martin and MEDUNA Alexander. On Elimination of Erasing Rules from E0S Grammars. Computer Science Journal of Moldova, vol. 30, no. 2, 2022, pp. 135-147. ISSN 1561-4042. Detail

2021

Š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
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
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
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
ŽÁ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, 2021, pp. 80-89. ISSN 2299-1093. Detail
PUTEROVÁ Janka and MARTÍNEK Tomáš. digIS: Towards detecting distant and putative novel insertion sequences in prokaryotic genomes. BMC Bioinformatics, vol. 22, no. 258, 2021, pp. 1-20. ISSN 1471-2105. 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
PASTUSHENKO Olena, HYNEK Jiří and HRUŠKA Tomáš. Evaluation of User Interface Design Metrics using Generator of Realistic-Looking Dashboard Samples. Expert Systems, vol. 38, no. 5, 2021, pp. 1-19. ISSN 1468-0394. 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: SciTePress - Science and Technology Publications, 2021, pp. 101-111. ISBN 978-989-758-488-6. Detail
DVOŘÁK Michal, DRAHANSKÝ Martin and ABDULLA Barazanchi Waleed H. On the fly biometric identification system using hand-geometry. IET Biometrics, vol. 10, no. 3, 2021, pp. 315-325. ISSN 2047-4938. 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
LEPPÄJÄRVI Leevi and SEDLÁK Michal. Postprocessing of quantum instruments. Physical Review A, vol. 103, no. 2, 2021, 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: Realizing Boundary Conditions with Discrete Sine and Cosine Transforms. Journal of Theoretical and Computational Acoustics, vol. 29, no. 4, 2021, pp. 2050021-2050021. ISSN 2591-7285. 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
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
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
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
KODYM Oldřich and HRADIŠ Michal. TG2: text-guided transformer GAN for restoring document readability and perceived quality. International Journal on Document Analysis and Recognition (IJDAR), vol. 2021, no. 1, pp. 1-14. ISSN 1433-2825. 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
Š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
PASTUSHENKO Olena, OLIVEIRA Wilk, HRUŠKA Tomáš and ISOTANI Seiji. 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
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
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: Communications in Computer and Information Science. Praha: Springer Verlag, 2020, pp. 3-28. ISBN 978-3-030-52685-6. ISSN 1865-0929. Detail
ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. International Journal on Software Tools for Technology Transfer, vol. 22, no. 5, 2020, pp. 523-539. ISSN 1433-2779. 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
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
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. Shanghai: 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
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
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. Shanghai: International Speech Communication Association, 2020, pp. 761-765. ISSN 1990-9772. Detail
MUSIL Petr, JURÁNEK Roman, MUSIL Martin and ZEMČÍK Pavel. Cascaded Stripe Memory Engines for Multi-Scale Object Detection in FPGA. IEEE Transactions on Circuits and Systems for Video Technology, vol. 30, no. 1, 2020, pp. 267-280. ISSN 1051-8215. 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
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. ISBN 978-1-7281-9108-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
ROHDIN Johan A., SILNOVA Anna, DIEZ Sánchez Mireia, PLCHOT Oldřich, MATĚJKA Pavel, BURGET Lukáš and GLEMBEK Ondřej. End-to-end DNN based text-independent speaker recognition for long and short utterances. Computer Speech and Language, vol. 2020, no. 59, pp. 22-35. ISSN 0885-2308. 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
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
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
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
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
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 in 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
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
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., GEORGIOU Panayiotis and JAROŠ Jiří. 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
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
ŠPAŇHEL Jakub, SOCHOR Jakub, JURÁNEK Roman, DOBEŠ Petr, BARTL Vojtěch and HEROUT Adam. Learning Feature Aggregation in Temporal Domain for Re-Identification. Computer Vision and Image Understanding, vol. 192, no. 11, 2020, pp. 1-12. ISSN 1077-3142. 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 - Euromicro Conference on Digital System Design, DSD 2020. 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
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. JSSPP 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
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 Johan Nikolaas Langenhoven, 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
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
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. Shanghai: International Speech Communication Association, 2020, pp. 731-735. ISSN 1990-9772. 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
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
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
HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp and VOJNAR Tomáš. String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). New York: Springer International Publishing, 2020. 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
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. Shanghai: International Speech Communication Association, 2020, pp. 4831-4835. ISSN 1990-9772. 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
NAJMAN Pavel and ZEMČÍK Pavel. Vehicle Speed Measurement Using Stereo Camera Pair. IEEE Transactions on Intelligent Transportation Systems, vol. 23, no. 3, 2020, pp. 2202-2210. ISSN 1524-9050. 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
BERAN Vítězslav, PLASCENCIA Alfredo C. and ROZMAN Jaroslav. Working Progress Towards Lawn Mower Automation. In: Proceedings of the 17th International Conference on Informatics in Control, Automation and Robotics. Setúbal: SciTePress - Science and Technology Publications, 2020, pp. 99-108. ISBN 978-989-758-442-8. Detail

2019

ZEINALI Hossein, ČERNOCKÝ Jan and BURGET Lukáš. A multi purpose and large scale speech corpus in Persian and English for speaker and speech Recognition: the DeepMine database. In: IEEE Automatic Speech Recognition and Understanding Workshop - Proceedings (ASRU). Sentosa, Singapore: IEEE Signal Processing Society, 2019, pp. 397-402. ISBN 978-1-7281-0306-8. Detail
ALAM Jahangir, BOULIANNE Gilles, GLEMBEK Ondřej, LOZANO Díez Alicia, MATĚJKA Pavel, MIZERA Petr, MONTEIRO Joao, MOŠNER Ladislav, NOVOTNÝ Ondřej, PLCHOT Oldřich, ROHDIN Johan A., SILNOVA Anna, SLAVÍČEK Josef, STAFYLAKIS Themos, WANG Shuai and ZEINALI Hossein. ABC NIST SRE 2019 CTS System Description. In: Proceedings of NIST. Sentosa, Singapore: National Institute of Standards and Technology, 2019, pp. 1-6. Detail
ALAM Jahangir, BOULIANNE Gilles, BURGET Lukáš, GLEMBEK Ondřej, LOZANO Díez Alicia, MATĚJKA Pavel, MIZERA Petr, MOŠNER Ladislav, NOVOTNÝ Ondřej, PLCHOT Oldřich, ROHDIN Johan A., SILNOVA Anna, SLAVÍČEK Josef, STAFYLAKIS Themos, WANG Shuai, ZEINALI Hossein, DAHMANE Mohamed, ST-CHARLES Pierre-Luc, LALONDE Marc, NOISEUX Cédric and MONTEIRO Joao. ABC System Description for NIST Multimedia Speaker Recognition Evaluation 2019. In: Proceedings of NIST 2019 SRE Workshop. Sentosa, Singapore: National Institute of Standards and Technology, 2019, pp. 1-7. Detail
KUKA Mário, VOJANEC Kamil, KUČERA Jan and BENÁČEK Pavel. Accelerated DDoS Attacks Mitigation using Programmable Data Plane. In: 2019 ACM/IEEE Symposium on Architectures for Networking and Communications Systems, ANCS 2019. Cambridge: Institute of Electrical and Electronics Engineers, 2019, pp. 1-3. ISBN 978-1-7281-4387-3. Detail
JAROŠ Marta, TREEBY Bradley E. and JAROŠ Jiří. Adaptive Execution Planning in Biomedical Workflow Management Systems. Ostrava, 2019. Detail
JAROŠ Marta. Adaptive Execution Planning in Workflow Management Systems. In: Počítačové architektury a diagnostika 2019. Doksy: Academic and Medical Conference Agency, 2019, pp. 23-26. ISBN 978-80-88214-20-5. Detail
JAROŠ Marta, JAROŠ Jiří and TREEBY Bradley E. Adaptive Execution Planning in Workflow Management Systems. Denver, 2019. Detail
DRAHOŠOVÁ Michaela, SEKANINA Lukáš and WIGLASZ Michal. Adaptive Fitness Predictors in Coevolutionary Cartesian Genetic Programming. Evolutionary Computation, vol. 27, no. 3, 2019, pp. 497-523. ISSN 1063-6560. Detail
VAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Advancements in Ultrasound Simulations Enabled by High-bandwidth GPU Interconnects. Denver, 2019. Detail
BIDLO Michal. Advances in the Evolution of Complex Cellular Automata. Computational Intelligence. International Joint Conference, IJCCI 2016 Porto, Portugal, November 9-11, 2016 Revised Selected Papers. Cham: Springer International Publishing, 2019, pp. 123-146. ISBN 978-3-319-99282-2. Detail
ZBOŘIL František, ROZMAN Jaroslav and KOČÍ Radek. Algorithmic creation of genealogical models. In: Proceedings of ISDA 2018. Advances in Intelligent Systems and Computing. Los Alamitos: Springer International Publishing, 2019, pp. 650-658. ISBN 978-3-030-16659-5. ISSN 2194-5357. Detail
MATĚJKA Pavel, PLCHOT Oldřich, ZEINALI Hossein, MOŠNER Ladislav, SILNOVA Anna, BURGET Lukáš, NOVOTNÝ Ondřej and GLEMBEK Ondřej. Analysis of BUT Submission in Far-Field Scenarios of VOiCES 2019 Challenge. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, pp. 2448-2452. ISSN 1990-9772. Detail
NOVOTNÝ Ondřej, PLCHOT Oldřich, GLEMBEK Ondřej, ČERNOCKÝ Jan and BURGET Lukáš. Analysis of DNN Speech Signal Enhancement for Robust Speaker Recognition. Computer Speech and Language, vol. 2019, no. 58, pp. 403-421. ISSN 0885-2308. Detail
KARAFIÁT Martin, BASKAR Murali K., WATANABE Shinji, HORI Takaaki, WIESNER Matthew and ČERNOCKÝ Jan. Analysis of Multilingual Sequence-to-Sequence Speech Recognition Systems. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, pp. 2220-2224. ISSN 1990-9772. Detail
ŠPAŇHEL Jakub, JURÁNEK Roman, HEROUT Adam, NOVÁK Jan and HAVRÁNEK Pavel. Analysis of Vehicle Trajectories for Determining Cross-Sectional Load Density Based on Computer Vision. In: 2019 22th International Conference on Intelligenet Transportation Systems (ITSC). Auckland: Institute of Electrical and Electronics Engineers, 2019, pp. 1001-1006. ISBN 978-1-5386-7024-8. Detail
BIDLO Michal and KORGO Jakub. Ant Colony Optimisation for Performing Computational Task in Cellular Automata. Mendel, vol. 25, no. 1, 2019, pp. 147-156. ISSN 1803-3814. Detail
RUDNITCKAIA Julia, HRUŠKA Tomáš et al. Applying Process Mining to the Ship Handling Process at Oil Terminal. In: Conference on Industrial Cyber Physical Systems. IEEEXplore. Taipei: Institute of Electrical and Electronics Engineers, 2019, pp. 552-557. ISBN 978-1-5386-8500-6. Detail
HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure. In: Proceedings of 27th International Conference on Automated Deduction (CADE-27). Natal: Springer Verlag, 2019, pp. 300-318. ISSN 0302-9743. Detail
HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). Ithaca, 2019. Detail
DIEZ Sánchez Mireia, BURGET Lukáš, WANG Shuai, ROHDIN Johan A. and ČERNOCKÝ Jan. Bayesian HMM based x-vector clustering for Speaker Diarization. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, pp. 346-350. ISSN 1990-9772. Detail
ONDEL Yang Lucas Antoine Francois, VYDANA Hari K., BURGET Lukáš and ČERNOCKÝ Jan. Bayesian Subspace Hidden Markov Model for Acoustic Unit Discovery. In: Proceedings of Interspeech 2019. Graz: International Speech Communication Association, 2019, pp. 261-265. ISSN 1990-9772. Detail
JEŘÁBEK Kamil and RYŠAVÝ Ondřej. Big Data Network Flow Processing Using Apache Spark. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems (ECBS 2019), 2019. Bukurešť: Association for Computing Machinery, 2019, pp. 1-9. ISBN 978-1-4503-7636-5. Detail
SZŐKE Igor, SKÁCEL Miroslav, MOŠNER Ladislav, PALIESEK Jakub and ČERNOCKÝ Jan. Building and Evaluation of a Real Room Impulse Response Dataset. IEEE Journal of Selected Topics in Signal Processing, vol. 13, no. 4, 2019, pp. 863-876. ISSN 1932-4553. Detail
ZEINALI Hossein, WANG Shuai, SILNOVA Anna, MATĚJKA Pavel and PLCHOT Oldřich. BUT System Description to VoxCeleb Speaker Recognition Challenge 2019. In: Proceedings of The VoxCeleb Challange Workshop 2019. Graz, 2019, pp. 1-4. Detail
SZURMAN Karel and KOTÁSEK Zdeněk. Coarse-Grained TMR Soft-Core Processor Fault Tolerance Methods and State Synchronization for Run-Time Fault Recovery. In: 20th IEEE Latin American Test Symposium (LATS 2019). Santiago: IEEE Computer Society, 2019, pp. 32-35. ISBN 978-1-7281-1756-0. Detail
BAMBUŠEK Daniel, MATERNA Zdeněk, KAPINUS Michal, BERAN Vítězslav and SMRŽ Pavel. Combining Interactive Spatial Augmented Reality with Head-Mounted Display for End-User Collaborative Robot Programming. In: 2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). New Delhi: Institute of Electrical and Electronics Engineers, 2019, pp. 1-9. ISBN 978-1-7281-2622-7. Detail
BIDLO Michal. Comparison of Evolutionary Development of Cellular Automata Using Various Representations. Mendel, vol. 2019, no. 1, pp. 95-102. ISSN 1803-3814. Detail
PASTUSHENKO Olena, GEURTS Luc and HRUŠKA Tomáš. Conceptual Learning of Electric and Electronic Circuits With Gamification. In: Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion. Extended Abstracts. Barcelona: Association for Computing Machinery, 2019, pp. 589-596. ISBN 978-1-4503-6871-1. Detail
ČEŠKA Milan, HENSE Christian, JUNGES Sebastian and KATOEN Joost-Pieter. Counterexample-Driven Synthesis for Probabilistic Program Sketches. In: Proceedings of the 23rd International Symposium on Formal Methods.. Lecture Notes of Computer Science. Porto: Springer International Publishing, 2019, pp. 101-120. ISBN 978-3-030-30941-1. Detail
ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, KOŘENEK Jan, LENGÁL Ondřej, MATOUŠEK Denis, MATOUŠEK Jiří, SEMRIČ Jakub and VOJNAR Tomáš. Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. In: Proceedings - 27th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2019. San Diego, CA: Institute of Electrical and Electronics Engineers, 2019, pp. 109-117. ISBN 978-1-7281-1131-5. Detail
ONDEL Yang Lucas Antoine Francois, LI Ruizhi, SELL Gregory and HEŘMANSKÝ Hynek. Deriving Spectro-temporal Properties of Hearing from Speech Data. In: Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019, pp. 411-415. ISBN 978-1-5386-4658-8. Detail
ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Design of Omni-directional Hexapod Robot with Horizontal Coxa Joint. In: INFORMATICS 2019 - IEEE 15th International Scientific Conference on Informatics, Proceedings. Poprad: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2019, pp. 119-123. ISBN 978-1-7281-3179-5. Detail
KRČMA Martin, KOTÁSEK Zdeněk and LOJDA Jakub. Detecting hard synapses faults in artificial neural networks. In: 20th IEEE Latin American Test Symposium (LATS 2019). Santiago de Chile: IEEE Computer Society, 2019, pp. 1-6. ISBN 978-1-7281-1756-0. Detail
ZEINALI Hossein, STAFYLAKIS Themos, ATHANASOPOULOU Georgia, ROHDIN Johan A., GKINIS Ioanis, BURGET Lukáš and ČERNOCKÝ Jan. Detecting Spoofing Attacks Using VGG and SincNet: BUT-Omilia Submission to ASVspoof 2019 Challenge. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, pp. 1073-1077. ISSN 1990-9772. Detail
NOVOTNÝ Ondřej, PLCHOT Oldřich, GLEMBEK Ondřej, BURGET Lukáš and MATĚJKA Pavel. Discriminatively Re-trained i-Vector Extractor For Speaker Recognition. In: Proceedings of 2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP). Brighton: IEEE Signal Processing Society, 2019, pp. 6031-6035. ISBN 978-1-5386-4658-8. Detail
HRANICKÝ Radek, ZOBAL Lukáš, RYŠAVÝ Ondřej and KOLÁŘ Dušan. Distributed password cracking with BOINC and hashcat. Digital Investigation, vol. 30, no. 1, 2019, pp. 161-172. ISSN 1742-2876. Detail
KOCNOVÁ Jitka and VAŠÍČEK Zdeněk. EA-based refactoring of mapped logic circuits. In: 2019 IEEE International Symposium on Circuits and Systems (ISCAS). Red Hook, NY: IEEE Computer Society Press, 2019, pp. 1-5. ISBN 978-1-7281-0397-6. Detail
KEKELY Lukáš, CABAL Jakub and KOŘENEK Jan. Effective FPGA Architecture for General CRC. In: Architecture of Computing Systems - ARCS 2019. Neuvedeno: Springer International Publishing, 2019, pp. 211-223. ISBN 978-3-030-18655-5. Detail
SEDLMAJER Kamil, BAMBUŠEK Daniel and BERAN Vítězslav. Effective Remote Drone Control Using Augmented Virtuality. In: Proceedings of the 3rd International Conference on Computer-Human Interaction Research and Applications 2019. Vienna: SciTePress - Science and Technology Publications, 2019, pp. 177-182. ISBN 978-989-758-376-6. Detail
BAŘINA David, CHLUBNA Tomáš, ŠOLONY Marek, DLABAJA Drahomír and ZEMČÍK Pavel. Evaluation of 4D Light Field Compression Methods. In: International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG), Part I. Computer Science Research Notes (CSRN), vol. 2019. Plzeň: Union Agency, 2019, pp. 55-61. ISBN 978-80-86943-37-4. Detail
DELCROIX Marc, ŽMOLÍKOVÁ Kateřina, OCHIAI Tsubasa, KINOSHITA Keisuke, ARAKI Shoko and NAKATANI Tomohiro. Evaluation of SpeakerBeam target speech extraction in real noisy and reverberant conditions. THE JOURNAL OF THE ACOUSTICAL SOCIETY OF JAPAN, vol. 2019, no. 2, pp. 1-2. ISSN 0369-4232. Detail
VAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Evaluation of the Suitability of Intel Xeon Phi Clusters for the Simulation of Ultrasound Wave Propagation using Pseudospectral Methods. In: 19th International Conference on Computational Science 2019, Faro, Portugal, June 12-14, 2019. Lecture Notes in Computer Science, vol. 11538. Faro: Springer International Publishing, 2019, pp. 577-590. ISBN 978-3-030-22743-2. Detail
PODIVÍNSKÝ Jakub, LOJDA Jakub and KOTÁSEK Zdeněk. Extended Reliability Analysis of Fault-Tolerant FPGA-based Robot Controller. In: 20th IEEE Latin American Test Symposium (LATS 2019). Santiago: IEEE Computer Society, 2019, pp. 97-100. ISBN 978-1-7281-1756-0. Detail
DRAHANSKÝ Martin and GOLDMANN Tomáš. Faces in forensic applications - processing and generation of 2D and 3D face data in criminal praxis scenarios. INTERPOL, Lyon, 2019. Detail
NOVOTNÝ Ondřej, PLCHOT Oldřich, GLEMBEK Ondřej and BURGET Lukáš. Factorization of Discriminatively Trained i-Vector Extractor for Speaker Recognition. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, pp. 4330-4334. ISSN 1990-9772. Detail
ŠŮSTEK Martin, VÍDEŇSKÝ František, ZBOŘIL František and ZBOŘIL František V. Family Coat of Arms and Armorial Achievement Classification. In: Intelligent Systems Design and Applications. Advances in Intelligent Systems and Computing, vol. 941. Los Alamitos: Springer International Publishing, 2019, pp. 577-586. ISSN 2194-5357. Detail
SZURMAN Karel and KOTÁSEK Zdeněk. Fault Recovery for Coarse-Grained TMR Soft-Core Processor Using Partial Reconfiguration and State Synchronization. In: Proceedings of the 7th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2019, pp. 6-7. ISBN 978-80-01-06607-2. Detail
RUDNITCKAIA Julia and NIKDO. Finding an Optimal Route of a Consignment in a Seaport. In: 4th International Conference on Intelligent Transportation Engineering (ICITE). IEEEXplore, vol. 2019. Singapore: Institute of Electrical and Electronics Engineers, 2019, pp. 29-33. ISBN 978-1-7281-4553-2. Detail
DRAHANSKÝ Martin and KANICH Ondřej. Fingerprints in forensic applications - processing and generation of diseased, damaged and spoofed fingerprints. INTERPOL, Lyon, 2019. Detail
PASTUSHENKO Olena. Gamification in Assignments: Using Dynamic Difficulty Adjustment and Learning Analytics to Enhance Education. In: Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion. Extended Abstracts. Barcelona: Association for Computing Machinery, 2019, pp. 47-53. ISBN 978-3-319-77711-5. Detail
KUČERA Jan, KEKELY Lukáš, PIECEK Adam and KOŘENEK Jan. General IDS Acceleration for High-Speed Networks. In: Proceedings - 2018 IEEE 36th International Conference on Computer Design, ICCD 2018. Orlando: Institute of Electrical and Electronics Engineers, 2019, pp. 366-373. ISBN 978-1-5386-8477-1. Detail
VESELÝ Vladimír and ŽÁDNÍK Martin. How to detect cryptocurrency miners? By traffic forensics!. Digital Investigation, vol. 31, no. 31, 2019, pp. 1-14. ISSN 1742-2876. Detail
ZEINALI Hossein, BURGET Lukáš, ROHDIN Johan A., STAFYLAKIS Themos and ČERNOCKÝ Jan. How To Improve Your Speaker Embeddings Extractor in Generic Toolkits. In: Proceedings of 2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP). Brighton: IEEE Signal Processing Society, 2019, pp. 6141-6145. ISBN 978-1-5386-4658-8. Detail
ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš and JANKŮ Petr. Chain-Free String Constraints. In: Proceedings of ATVA'19. Lecture Notes in Computer Science, vol. 11781. Cham: Springer International Publishing, 2019, pp. 277-293. ISBN 978-3-030-31783-6. Detail
KOCNOVÁ Jitka and VAŠÍČEK Zdeněk. Impact of subcircuit selection on the efficiency of CGP-based optimization of gate-level circuits. In: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion. New York: Association for Computing Machinery, 2019, pp. 377-378. ISBN 978-1-4503-6748-6. Detail
MOŠNER Ladislav, WU Minhua, RAJU Anirudh, PARTHASARATHI Sree Hari Krishnan, KUMATANI Kenichi, SUNDARAM Shiva, MAAS Roland and HOFFMEISTER Björn. Improving Noise Robustness of Automatic Speech Recognition via Parallel Data and Teacher-student Learning. In: Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019, pp. 6475-6479. ISBN 978-1-5386-4658-8. Detail
MALČÍK Dominik and DRAHANSKÝ Martin. Improving the Physical Security of Microchips. International Journal of Security and Its Applications, vol. 13, no. 3, 2019, pp. 17-28. ISSN 2207-9629. Detail
MALČÍK Dominik and DRAHANSKÝ Martin. Improving The Physical Security Of Microchips Against Side-Channel Attacks. International Journal of Advanced Science and Technology, vol. 2019, no. 127, pp. 13-24. ISSN 2207-6360. Detail
KOČÍ Radek and JANOUŠEK Vladimír. Incorporating Petri Nets into DEVS Formalism for Precise System Modeling. In: ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances. Valencia: Xpert Publishing Services, 2019, pp. 184-189. ISBN 978-1-61208-752-8. Detail
VEĽAS Martin, ŠPANĚL Michal and HEROUT Adam. Indoor and Outdoor Backpack Mapping with Calibrated Pair of Velodyne LiDARs. Sensors, vol. 19, no. 18, 2019, pp. 1-34. ISSN 1424-8220. Detail
DRAHANSKÝ Martin and KANICH Ondřej. Influence of skin diseases on fingerprints. Biometrics under Biomedical Considerations. Singapore: Springer Nature Singapore, 2019, pp. 1-39. ISBN 978-981-1311-44-4. Detail
HOMOLIAK Ivan, TOFFALINI Flavio, GUARNIZO Juan D., ELOVICI Yuval and OCHOA Martín. Insight Into Insiders and IT: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. ACM Computing Surveys, vol. 52, no. 2, 2019, pp. 1-40. ISSN 0360-0300. Detail
BISWAS Sangeeta, ROHDIN Johan A., MŇUK Tomáš and DRAHANSKÝ Martin. Is There Any Similarity Between a Person's Left and Right Retina?. In: Proceedings of the 18th International Conference of the Biometrics Special Interest Group. Lecture Notes in Informatics. Darmstadt: GI - Group for computer science, 2019, pp. 71-82. ISBN 978-3-88579-690-9. Detail
KŘIVKA Zbyněk, KUČERA Jiří and MEDUNA Alexander. Jumping Pure Grammars. The Computer Journal, vol. 62, no. 1, 2019, pp. 30-41. ISSN 0010-4620. Detail
CHO Jaejin, WATANABE Shinji, HORI Takaaki, BASKAR Murali K., INAGUMA Hirofumi, VILLALBA Lopez Jesus Antonio and DEHAK Najim. Language Model Integration Based on Memory Control for Sequence to Sequence Speech Recognition. In: Proceedings of 2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP). Brighton: IEEE Signal Processing Society, 2019, pp. 6191-6195. ISBN 978-1-5386-4658-8. Detail
VLK Jan, CHUDÝ Peter and PRUSTOMĚRSKÝ Milan. Light Sport Aircraft Auto-Land System. In: 38th Digital Avionics System Conference (DASC) - 2019 Conference Proceedings. San Diego, USA: Institute of Electrical and Electronics Engineers, 2019, pp. 1-10. ISBN 978-1-7281-0649-6. Detail
VEIGEND Petr and ŠÁTEK Václav. Linear system control using the high order method. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2019, pp. 1-4. ISSN 0094-243X. Detail
ČEŠKA Milan, HENSE Christian, JANSEN Nils, JUNGES Sebastian and KATOEN Joost-Pieter. Model Repair Revamped - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems. Lecture Notes of Computer Science. Cham: Springer International Publishing, 2019, pp. 107-125. ISBN 978-3-030-31513-9. Detail
PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin, BURGET Radek, HRUŠKA Tomáš and KOTÁSEK Zdeněk. Multidimensional Pareto Frontiers Intersection Determination and Processor Optimization Case Study. In: Proceedings of the 2019 22nd Euromicro Conference on Digital System Design. Kalithea: Institute of Electrical and Electronics Engineers, 2019, pp. 597-600. ISBN 978-1-7281-2861-0. Detail
PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin, BURGET Radek, HRUŠKA Tomáš and KOTÁSEK Zdeněk. Multidimensional Pareto Frontiers Intersection: Processor Optimization Case Study. In: Proceedings of the 7th Prague Embedded Systems Workshop. Roztoky u Prahy: Czech Technical University, 2019, pp. 20-21. ISBN 978-80-01-06607-2. Detail
FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Nested Antichains for WS1S. Acta Informatica, vol. 56, no. 3, 2019, pp. 205-228. ISSN 0001-5903. Detail
HRANICKÝ Radek, LIŠTIAK Filip, MIKUŠ Dávid and RYŠAVÝ Ondřej. On Practical Aspects of PCFG Password Cracking. In: Data and Applications Security and Privacy. Charleston: Springer Nature Switzerland AG, 2019, pp. 43-60. ISBN 978-3-030-22478-3. ISSN 0302-9743. Detail
BORDOVSKÝ Gabriel and JAROŠ Jiří. On the Complexity of Photoacoustic Tomography: A Trade-off Between Image Quality and Computational Cost. Solaň, 2019. Detail
WANG Shuai, ROHDIN Johan A., BURGET Lukáš, PLCHOT Oldřich, QIAN Yanmin, YU Kai and ČERNOCKÝ Jan. On the Usage of Phonetic Information for Text-independent Speaker Embedding Extraction. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, pp. 1148-1152. ISSN 1990-9772. Detail
DVOŘÁK Michal, DRAHANSKÝ Martin and ABDULLA Barazanchi Waleed H. On-the-fly fingerprint acquisition method. Materials Science and Engineering. Praha: Asia Society of Researchers, 2019. Detail
KUKLIŠ Filip. Optimization of Evolutionary Strategy using Island Model to Design HIFU Treatment Plans. In: Sborník semináře PAD 2019. Doksy: Academic and Medical Conference Agency, 2019, pp. 5-8. ISBN 978-80-88214-20-5. Detail
BADÁŇ Filip and SEKANINA Lukáš. Optimizing Convolutional Neural Networks for Embedded Systems By Means of Neuroevolution. In: Theory and Practice of Natural Computing. LNCS 11934. Cham: Springer International Publishing, 2019, pp. 109-121. ISBN 978-3-030-34499-3. Detail
BARTL Vojtěch and HEROUT Adam. OptInOpt: Dual Optimization for Automatic Camera Calibration by Multi-Target Observations. In: 16th IEEE International Conference on Advanced Video and Signal-based Surveillance. Taipei: Institute of Electrical and Electronics Engineers, 2019, pp. 1-8. ISBN 978-1-7281-0990-9. Detail
CRHA Adam, ŠIMEK Václav and RŮŽIČKA Richard. PAIG Rewriting: The Way to Scalable Multifunctional Digital Circuits Synthesis. In: 22nd Euromicro Conference on Digital System Design. Kallithea, Chalkidiki: Institute of Electrical and Electronics Engineers, 2019, pp. 335-342. ISBN 978-1-7281-2861-0. Detail
BAŘINA David, KULA Michal and ZEMČÍK Pavel. Parallel Wavelet Schemes for Images. Journal of Real-Time Image Processing, vol. 16, no. 5, 2019, pp. 1365-1381. ISSN 1861-8200. Detail
ŠLAPAL Josef. Path-induced closure operators on graphs for defining digital Jordan surfaces. Open Mathematics, vol. 17, no. 1, 2019, pp. 1374-1380. ISSN 2391-5455. Detail
BORDOVSKÝ Gabriel. Photoacoustic Reconstruction with Progressive Grid Refinement. Ostrava, 2019. Detail
NEVORAL Jan, ŠIMEK Václav and RŮŽIČKA Richard. PoLibSi: Path Towards Intrinsically Reconfigurable Components. In: 2019 22nd Euromicro Conference on Digital System Design (DSD). Kallithea, Chalkidiki: Institute of Electrical and Electronics Engineers, 2019, pp. 328-334. ISBN 978-1-7281-2861-0. Detail
SZENTANDRÁSI István, DUBSKÁ Markéta, ZACHARIÁŠ Michal and HEROUT Adam. Poor Man's Virtual Camera: Real-Time Simultaneous Matting and Camera Pose Estimation. IEEE Computer Graphics and Applications, vol. 39, no. 6, 2019, pp. 108-119. ISSN 0272-1716. Detail
KOČÍ Radek and JANOUŠEK Vladimír. Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets. International Journal on Advances in Software, vol. 12, no. 3, 2019, pp. 191-200. ISSN 1942-2628. Detail
KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika and VOJNAR Tomáš. PredatorHP Attacks Interval-Sized Regions. Ithaca, 2019. Detail
BASKAR Murali K., BURGET Lukáš, WATANABE Shinji, KARAFIÁT Martin, HORI Takaaki and ČERNOCKÝ Jan. Promising Accurate Prefix Boosting For Sequence-to-sequence ASR. In: Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019, pp. 5646-5650. ISBN 978-1-5386-4658-8. Detail
KANICH Ondřej, KOŠŤÁK David and DRAHANSKÝ Martin. Psoriasis Damage Simulation into Synthetic Fingerprint. In: Proceedings 18th International Conference of the Biometrics Special Interest Group. Lecture Notes in Informatics. Darmstadt: GI - Group for computer science, 2019, pp. 205-212. ISBN 978-3-88579-690-9. Detail
LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Reliability Indicators for Automatic Design and Analysis of Fault-Tolerant FPGA Systems. In: 20th IEEE Latin American Test Symposium (LATS 2019). Santiago: IEEE Computer Society, 2019, pp. 93-96. ISBN 978-1-7281-1756-0. Detail
SEMERÁD Lukáš and DRAHANSKÝ Martin. Retinal Vascular Characteristics. Handbook of Vascular Biometrics. Advances in Computer Vision and Pattern Recognition. Londýn: Springer International Publishing, 2019, pp. 309-354. ISBN 978-3-030-27730-7. Detail
SZURMAN Karel and KOTÁSEK Zdeněk. Run-Time Reconfigurable Fault Tolerant Architecture for Soft-Core Processor neo430. In: 22nd International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2019). Cluj-Napoca: IEEE Computer Society, 2019, pp. 136-140. ISBN 978-1-7281-0073-9. Detail
JAROŠ Marta, TREEBY Bradley E. and JAROŠ Jiří. Scientific workflow management framework. Soláň, 2019. Detail
HYNEK Jiří and HRUŠKA Tomáš. Segmentation of Dashboard Screen Images: Preparation of Inputs for Object-based Metrics of UI Quality. In: Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Volume 3: IVAPP. Prague: SciTePress - Science and Technology Publications, 2019, pp. 199-207. ISBN 978-989-758-354-4. Detail
STAFYLAKIS Themos, ROHDIN Johan A., PLCHOT Oldřich, MIZERA Petr and BURGET Lukáš. Self-supervised speaker embeddings. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, pp. 2863-2867. ISSN 1990-9772. Detail
ČEŠKA Milan and KŘETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. In: Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19). Lecture Notes of Computer Science, vol. 11561. New York: Springer International Publishing, 2019, pp. 475-496. ISBN 978-3-030-25540-4. Detail
ČEŠKA Milan and KŘETÍNSKÝ Jan. Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). In: Proceedings of the 17th International Conference on Computational Methods in Systems Biology. Lecture Notes in Bioinformatics. Trieste: Springer International Publishing, 2019, pp. 337-341. ISBN 978-3-030-31303-6. Detail
BASKAR Murali K., WATANABE Shinji, ASTUDILLO Ramon, HORI Takaaki, BURGET Lukáš and ČERNOCKÝ Jan. Semi-supervised Sequence-to-sequence ASR using Unpaired Speech and Text. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, pp. 3790-3794. ISSN 1990-9772. Detail
CHEN Yu-Fang, HAVLENA Vojtěch and LENGÁL Ondřej. Simulations in Rank-Based Büchi Automata Complementation. In: Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS). Nusa Dua: Springer International Publishing, 2019, pp. 447-467. ISSN 0302-9743. Detail
ČEKAN Ondřej, PODIVÍNSKÝ Jakub, LOJDA Jakub, PÁNEK Richard, KRČMA Martin and KOTÁSEK Zdeněk. Smart Electronic Locks and Their Reliability. In: Proceedings of the 7th Prague Embedded Systems Workshop. Roztoky u Prahy: Czech Technical University, 2019, pp. 4-5. ISBN 978-80-01-06607-2. Detail
KAPINUS Michal, BERAN Vítězslav, MATERNA Zdeněk and BAMBUŠEK Daniel. Spatially Situated End-User Robot Programming in Augmented Reality. In: 2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). New Delhi: Institute of Electrical and Electronics Engineers, 2019, pp. 1-9. ISBN 978-1-7281-2622-7. Detail
MOŠNER Ladislav, PLCHOT Oldřich, ROHDIN Johan A., BURGET Lukáš and ČERNOCKÝ Jan. Speaker Verification with Application-Aware Beamforming. In: IEEE Automatic Speech Recognition and Understanding Workshop - Proceedings (ASRU). Sentosa, Singapore: IEEE Signal Processing Society, 2019, pp. 411-418. ISBN 978-1-7281-0306-8. Detail
ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, KINOSHITA Keisuke, OCHIAI Tsubasa, NAKATANI Tomohiro, BURGET Lukáš and ČERNOCKÝ Jan. SpeakerBeam: Speaker Aware Neural Network for Target Speaker Extraction in Speech Mixtures. IEEE Journal of Selected Topics in Signal Processing, vol. 13, no. 4, 2019, pp. 800-814. ISSN 1932-4553. Detail
SUBRAMANIAN Aswin S., WANG Xiaofei, BASKAR Murali K., WATANABE Shinji, TANIGUCHI Toru, TRAN Dung and FUJITA Yuya. Speech Enhancement Using End-to-End Speech Recognition Objectives. In: IEEE Workshop on Applications of Signal Processing to Audio and Acoustics. New Paltz, NY: IEEE Signal Processing Society, 2019, pp. 234-238. ISBN 978-1-7281-1123-0. Detail
HOLÍK Lukáš, HOLÍKOVÁ Lenka, LENGÁL Ondřej, SAARIKIVI Olli, VEANES Margus and VOJNAR Tomáš. Succinct Determinisation of Counting Automata via Sphere Construction. In: In Proc. of 17th Asian Symposium on Programming Languages and Systems - APLAS'19. Berlin Heidelberg: Springer Verlag, 2019, pp. 468-489. ISSN 0302-9743. Detail
HOLÍK Lukáš, HOLÍKOVÁ Lenka, LENGÁL Ondřej, SAARIKIVI Olli, VEANES Margus and VOJNAR Tomáš. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019. Detail
BISWAS Sangeeta, ROHDIN Johan A. and DRAHANSKÝ Martin. Suitable Embedding to Find Similarity Between Left and Right Retinas of a Person. In: Proceedings of the 12th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics. Suzhou: IEEE Computer Society, 2019, pp. 1-6. ISBN 978-1-7281-4852-6. Detail
BISWAS Sangeeta, ROHDIN Johan A. and DRAHANSKÝ Martin. Synthetic Retinal Images from Unconditional GANs. In: Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Berlin: IEEE Computer Society, 2019, pp. 2736-2739. ISBN 978-1-5386-1311-5. Detail
HŘÍBEK David, ROZMAN Jaroslav and ZBOŘIL František. Testing of Various Approaches for Semiautomatic Parish Records Word Standardization. In: JIST: Joint International Semantic Technology Conference. Communications in Computer and Information Science, vol. 1157. Hangzhou: Springer International Publishing, 2019, pp. 21-33. ISBN 978-981-1534-11-9. ISSN 1865-0929. Detail
ČEKAN Ondřej, PODIVÍNSKÝ Jakub, LOJDA Jakub, PÁNEK Richard, KRČMA Martin and KOTÁSEK Zdeněk. Testing Reliability of Smart Electronic Locks: Analysis and the First Steps Towards. In: Proceedings of the 2019 22nd Euromicro Conference on Digital System Design. Kalithea: Institute of Electrical and Electronics Engineers, 2019, pp. 506-513. ISBN 978-1-7281-2861-0. Detail
YANG Jinyi, ONDEL Yang Lucas Antoine Francois, MANOHAR Vimal and HEŘMANSKÝ Hynek. Towards Automatic Methods to Detect Errors in Transcriptions of Speech Recordings. In: Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019, pp. 3747-3751. ISBN 978-1-5386-4658-8. Detail
VAVERKA Filip. Towards Large-scale Ultrasound Simulations in Soft Tissue for Medical Applications. In: PAD 2019. Doksy: Academic and Medical Conference Agency, 2019, pp. 64-67. ISBN 978-80-88214-20-5. Detail
INAGUMA Hirofumi, CHO Jaejin, BASKAR Murali K., KAWAHARA Tatsuya and WATANABE Shinji. Transfer Learning Of Language-independent End-to-end ASR With Language Model Fusion. In: Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019, pp. 6096-6100. ISBN 978-1-5386-4658-8. Detail
ABDULLA Parosh A., ATIG Mohamed F., CHEN Yu-Fang, BUI Phi Diep, HOLÍK Lukáš, REZINE Ahmed and RUMMER Philipp. Trau: SMT solver for string constraints. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2019, pp. 165-169. ISBN 978-0-9835678-8-2. Detail
STRNADEL Josef. Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates. In: Design, Automation & Test in Europe Conference & Exhibition (DATE). Florence: IEEE Computer Society, 2019, pp. 614-617. ISBN 978-3-9819263-2-3. Detail
ŠPAŇHEL Jakub, BARTL Vojtěch, JURÁNEK Roman and HEROUT Adam. Vehicle Re-Identification and Multi-Camera Tracking in Challenging City-Scale Environment. In: 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, vol. 2019. Long Beach: IEEE Computer Society, 2019, pp. 150-158. ISSN 2160-7516. Detail
JURÁNEK Roman, ŠPAŇHEL Jakub, SOCHOR Jakub, HEROUT Adam and NOVÁK Jan. Visual Analysis of Vehicle Trajectories for Determining Cross-Sectional Load Density. Transactions on Transport Sciences, vol. 10, no. 1, 2019, pp. 50-57. ISSN 1802-9876. Detail

2018

MALÍK Viktor, MARTIČEK Štefan, SCHRAMMEL Peter, SRIVAS Mandayam, VOJNAR Tomáš and WAHLANG Johanan. 2LS: Memory Safety and Non-termination (Competition Contribution). In: Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science, vol. 10806. Thessaloniki: Springer International Publishing, 2018, pp. 417-421. ISBN 978-3-319-89962-6. Detail
DVOŘÁK Michal and DRAHANSKÝ Martin. 3D Hand Geometry Recognition. Biometric-Based Physical and Cybersecurity Systems. Cham: Springer International Publishing, 2018, pp. 103-123. ISBN 978-3-319-98733-0. Detail
KAZZAZ M. Mohanned and RYCHLÝ Marek. A Case Study: Mobile Service Migration Based Traffic Jam Detection. International Journal of Systems and Service-Oriented Engineering, vol. 8, no. 1, 2018, pp. 44-57. ISSN 1947-3052. Detail
KOCMAN Radim, NAGY Benedek, KŘIVKA Zbyněk and MEDUNA Alexander. A Jumping 5'->3' Watson-Crick Finite Automata Model. In: Tenth Workshop on Non-Classical Models of Automata and Applications (NCMA 2018). books@ocg.at 332. Wien: Austrian Computer Society, 2018, pp. 117-132. ISBN 978-3-903035-21-8. Detail
PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin, BURGET Radek, HRUŠKA Tomáš and KOTÁSEK Zdeněk. A Framework for Optimizing a Processor to Selected Application. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 564-574. ISBN 978-1-5386-5710-2. Detail
CHARVÁT Lucie and MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. Schedae Informaticae, vol. 2017, no. 26, 2018, pp. 61-68. ISSN 0860-0295. Detail
ALAM Jahangir, BHATTACHARYA Gautam, BRUMMER Johan Nikolaas Langenhoven, BURGET Lukáš, DIEZ Sánchez Mireia, GLEMBEK Ondřej, KENNY Patrick, KLČO Michal, LANDINI Federico Nicolás, LOZANO Díez Alicia, MATĚJKA Pavel, MONTEIRO Joao, MOŠNER Ladislav, NOVOTNÝ Ondřej, PLCHOT Oldřich, PROFANT Ján, ROHDIN Johan A., SILNOVA Anna, SLAVÍČEK Josef, STAFYLAKIS Themos and ZEINALI Hossein. ABC NIST SRE 2018 SYSTEM DESCRIPTION. In: Proceedings of 2018 NIST SRE Workshop. Athens: National Institute of Standards and Technology, 2018, pp. 1-10. Detail
ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. ADAC: Automated Design of Approximate Circuits. In: Proceedings of 30th International Conference on Computer Aided Verification (CAV'18). Oxford, UK: Springer International Publishing, 2018, pp. 612-620. ISBN 978-3-319-96145-3. Detail
VLK Jan and CHUDÝ Peter. Adaptive Augmentation of an Unmanned Aerial Vehicle's Flight Control System. In: Proceedings of 37th Digital Avionics System Conference. London, UK: IEEE Computer Society, 2018, pp. 633-641. ISBN 978-1-5386-4112-5. Detail
HEIZMANN Matthias, CHEN Yu-Fang, LENGÁL Ondřej, LI Yong, TSAI Ming-Hsien, TURRINI Andrea and ZHANG Lijun. Advanced Automata-based Algorithms for Program Termination Checking. In: Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018, pp. 135-150. ISBN 978-1-4503-5698-5. Detail
DYTRYCH Jaroslav and SMRŽ Pavel. Advanced User Interfaces for Semantic Annotation of Complex Relations in Text. In: Agents and Artificial Intelligence. Lecture Notes in Computer Science, vol. 10839. Cham: Springer International Publishing, 2018, pp. 205-221. ISBN 978-3-319-93581-2. ISSN 0302-9743. Detail
PODIVÍNSKÝ Jakub, LOJDA Jakub and KOTÁSEK Zdeněk. An Experimental Evaluation of Fault-Tolerant FPGA-based Robot Controller. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 63-69. ISBN 978-1-5386-5710-2. Detail
PLCHOT Oldřich, MATĚJKA Pavel, NOVOTNÝ Ondřej, CUMANI Sandro, LOZANO Díez Alicia, SLAVÍČEK Josef, DIEZ Sánchez Mireia, GRÉZL František, GLEMBEK Ondřej, KAMSALI Veera Mounika, SILNOVA Anna, BURGET Lukáš, ONDEL Yang Lucas Antoine Francois, KESIRAJU Santosh and ROHDIN Johan A. Analysis of BUT-PT Submission for NIST LRE 2017. In: Proceedings of Odyssey 2018 The Speaker and Language Recognition Workshop. Les Sables d'Olonne: International Speech Communication Association, 2018, pp. 47-53. ISSN 2312-2846. Detail
LOZANO Díez Alicia, PLCHOT Oldřich, MATĚJKA Pavel, NOVOTNÝ Ondřej and GONZALEZ-RODRIGUEZ Joaquin. Analysis of DNN-based Embeddings for Language Recognition on the NIST LRE 2017. In: Proceedings of Odyssey 2018 The Speaker and Language Recognition Workshop. Les Sables d'Olonne: International Speech Communication Association, 2018, pp. 39-46. ISSN 2312-2846. Detail
KARAFIÁT Martin, BASKAR Murali K., VESELÝ Karel, GRÉZL František, BURGET Lukáš and ČERNOCKÝ Jan. Analysis of Multilingual BLSTM Acoustic Model on Low and High Resource Languages. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5789-5793. ISBN 978-1-5386-4658-8. Detail
HEIDARI Mona, GOLDMANN Tomáš, DVOŘÁK Michal and DRAHANSKÝ Martin. Antispoofing and multispectral (optical) methods in hand-based biometrics. Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 337-365. ISBN 978-1-78561-224-4. Detail
HYNEK Jiří and HRUŠKA Tomáš. Application of Object-Based Metrics for Recognition of Well-Designed Dashboards. International Journal of Human-Computer Interaction, vol. 35, no. 13, 2018, pp. 1203-1215. ISSN 1044-7318. Detail
SEKANINA Lukáš. Approximate Computing: An Old Job for Cartesian Genetic Programming?. Inspired by Nature. Emergence, Complexity and Computation, Vol. 28. Cham: Springer International Publishing, 2018, pp. 195-212. ISBN 978-3-319-67996-9. Detail
ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. In: Proceedings of TACAS'18. Thessaloniki: Springer Verlag, 2018, pp. 155-175. ISSN 0302-9743. Detail
HLOSTA Martin, ZDRÁHAL Zdeněk and ZENDULKA Jaroslav. Are we meeting a deadline? classification goal achievement in time in the presence of imbalanced data. Knowledge-Based Systems, vol. 2018, no. 160, pp. 278-295. ISSN 0950-7051. Detail
ČADÍK Martin, SÝKORA Daniel and LEE Sungkil. Automated outdoor depth-map generation and alignment. Computers and Graphics, vol. 74, no. 3, 2018, pp. 109-118. ISSN 0097-8493. Detail
LOJDA Jakub and KOTÁSEK Zdeněk. Automatizace návrhu spolehlivých systémů a její dílčí komponenty. In: Počítačové architektury & diagnostika 2018. Stachy: University of West Bohemia in Pilsen, 2018, pp. 5-8. ISBN 978-80-261-0814-6. Detail
ONDEL Yang Lucas Antoine Francois, GODARD Pierre, BESACIER Laurent, LARSEN Elin, HASEGAWA-JOHNSON Mark, SCHARENBORG Odette, DUPOUX Emmanuel, BURGET Lukáš, YVON Francois and KHUDANPUR Sanjeev. Bayesian Models for Unit Discovery on a Very Low Resource Language. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5939-5943. ISBN 978-1-5386-4658-8. Detail
RYCHLÝ Marek and RYŠAVÝ Ondřej. Big Data Security Analysis with TARZAN Platform. Journal of Cyber Security and Mobility, vol. 8, no. 2, 2018, pp. 165-188. ISSN 2245-1439. Detail
LAI Kenneth K., KANICH Ondřej, DVOŘÁK Michal, DRAHANSKÝ Martin, YANUSHKEVICH Svetlana and SHMERKO Vlad. P. Biometric-Enabled Watchlists Technology. IET Biometrics, vol. 7, no. 2, 2018, pp. 163-172. ISSN 2047-4938. Detail
SOCHOR Jakub, ŠPAŇHEL Jakub and HEROUT Adam. BoxCars: Improving Fine-Grained Recognition of Vehicles using 3-D Bounding Boxes in Traffic Surveillance. IEEE Transactions on Intelligent Transportation Systems, vol. 2019, no. 1, 2018, pp. 97-108. ISSN 1524-9050. Detail
VAŠÍČEK Zdeněk. Bridging the Gap Between Evolvable Hardware and Industry Using Cartesian Genetic Programming. Inspired by Nature. Emergence, Complexity and Computation, Vol. 28. Cham: Springer International Publishing, 2018, pp. 39-55. ISBN 978-3-319-67996-9. Detail
KARAFIÁT Martin, BASKAR Murali K., SZŐKE Igor, MALENOVSKÝ Vladimír, VESELÝ Karel, GRÉZL František, BURGET Lukáš and ČERNOCKÝ Jan. BUT OpenSAT 2017 speech recognition system. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 2638-2642. ISSN 1990-9772. Detail
DIEZ Sánchez Mireia, LANDINI Federico Nicolás, BURGET Lukáš, ROHDIN Johan A., SILNOVA Anna, ŽMOLÍKOVÁ Kateřina, NOVOTNÝ Ondřej, VESELÝ Karel, GLEMBEK Ondřej, PLCHOT Oldřich, MOŠNER Ladislav and MATĚJKA Pavel. BUT system for DIHARD Speech Diarization Challenge 2018. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 2798-2802. ISSN 1990-9772. Detail
PULUGUNDLA Bhargav, BASKAR Murali K., KESIRAJU Santosh, EGOROVA Ekaterina, KARAFIÁT Martin, BURGET Lukáš and ČERNOCKÝ Jan. BUT system for low resource Indian language ASR. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 3182-3186. ISSN 1990-9772. Detail
SILNOVA Anna, MATĚJKA Pavel, GLEMBEK Ondřej, PLCHOT Oldřich, NOVOTNÝ Ondřej, GRÉZL František, SCHWARZ Petr and ČERNOCKÝ Jan. BUT/Phonexia Bottleneck Feature Extractor. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 283-287. ISSN 2312-2846. Detail
ŠLAPAL Josef. Categorical aspects of inducing closure operators on graphs by sets of walks. Journal of Computer and System Sciences, vol. 2018, no. 95, pp. 143-150. ISSN 0022-0000. Detail
ŠLAPAL Josef. Closure operators on graphs for modeling connectedness in digital spaces. FILOMAT, vol. 32, no. 14, 2018, pp. 5011-5021. ISSN 0354-5180. Detail
HOLGATE David and ŠLAPAL Josef. Closure, interior and neighbourhood in a category. Hacettepe Journal of Mathematics and Statistics, vol. 47, no. 6, 2018, pp. 1512-1520. ISSN 1303-5010. Detail
NEVORAL Jan, RŮŽIČKA Richard and ŠIMEK Václav. CMOS Gates with Second Function. In: 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). Hong Kong: IEEE Computer Society, 2018, pp. 82-87. ISBN 978-1-5386-7099-6. Detail
VEĽAS Martin, ŠPANĚL Michal, HRADIŠ Michal and HEROUT Adam. CNN for IMU Assisted Odometry Estimation using Velodyne LiDAR. In: IEEE International Conference on Autonomous Robot Systems and Competitions. Torres Vedras: Institute of Electrical and Electronics Engineers, 2018, pp. 71-77. ISBN 978-1-5386-5221-3. ISSN 2573-9387. Detail
VEĽAS Martin, ŠPANĚL Michal, HRADIŠ Michal and HEROUT Adam. CNN for Very Fast Ground Segmentation in Velodyne LiDAR Data. In: IEEE International Conference on Autonomous Robot Systems and Competitions. Torres Vedras: Institute of Electrical and Electronics Engineers, 2018, pp. 97-103. ISBN 978-1-5386-5221-3. Detail
SOCHOR Jakub, JURÁNEK Roman, ŠPAŇHEL Jakub, MARŠÍK Lukáš, ŠIROKÝ Adam, HEROUT Adam and ZEMČÍK Pavel. Comprehensive Data Set for Automatic Single Camera Visual Speed Measurement. IEEE Transactions on Intelligent Transportation Systems, vol. 2018, no. 99, pp. 1633-1643. ISSN 1524-9050. Detail
VÍDEŇSKÝ František and ZBOŘIL František. Computer Aided Recognition and Classification of Coats of Arms. In: Proceedings ISDA 2017. Advances in Intelligent Systems and Computing, vol 736, vol. 2018. Los Alamitos: Springer International Publishing, 2018, pp. 63-73. ISBN 978-3-319-76347-7. ISSN 2194-5357. Detail
CABAL Jakub, BENÁČEK Pavel, KEKELY Lukáš, KEKELY Michal, PUŠ Viktor and KOŘENEK Jan. Configurable FPGA Packet Parser for Terabit Networks with Guaranteed Wire-Speed Throughput. In: Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. New York: Association for Computing Machinery, 2018, pp. 249-258. ISBN 978-1-4503-5614-5. Detail
ZEINALI Hossein, BURGET Lukáš and ČERNOCKÝ Jan. Convolutional Neural Networks and X-Vector Embedding for DCASE2018 Acoustic Scene Classification Challenge. In: Proceedings of DCASE 2018 Workshop. Surrey: Tampere University of Technology, 2018, pp. 1-5. ISBN 978-952-15-4262-6. Detail
WIGLASZ Michal and SEKANINA Lukáš. Cooperative Coevolutionary Approximation in HOG-based Human Detection Embedded System. In: 2018 IEEE Symposium Series on Computational Intelligence (SSCI 2018). Bengaluru: Institute of Electrical and Electronics Engineers, 2018, pp. 1313-1320. ISBN 978-1-5386-9276-9. Detail
ZENDULKA Jaroslav, BIELIKOVÁ Mária, BURGET Radek and KŘIVKA Zbyněk, ed. Data a Znalosti & WIKT 2018. Brno: Brno University of Technology, 2018. ISBN 978-80-214-5679-2. Detail
MOŠNER Ladislav, MATĚJKA Pavel, NOVOTNÝ Ondřej and ČERNOCKÝ Jan. Dereverberation and Beamforming in Far-Field Speaker Recognition. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5254-5258. ISBN 978-1-5386-4658-8. Detail
MOŠNER Ladislav, PLCHOT Oldřich, MATĚJKA Pavel, NOVOTNÝ Ondřej and ČERNOCKÝ Jan. Dereverberation and Beamforming in Robust Far-Field Speaker Recognition. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 1334-1338. ISSN 1990-9772. Detail
ČUDOVÁ Marta, TREEBY Bradley E. and JAROŠ Jiří. Design of HIFU Treatment Plans using Evolutionary Strategy. In: GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion. Kyoto: Association for Computing Machinery, 2018, pp. 1568-1575. ISBN 978-1-4503-5764-7. Detail
JAROŠ Marta, TREEBY Bradley E. and JAROŠ Jiří. Design of HIFU Treatment Plans using an Evolutionary Strategy. Ostrava, 2018. Detail
CHARVÁT Michal and DRAHANSKÝ Martin. Detecting and Locating People Using Low-Cost Thermal Imaging Camera. In: Beiträge zum Usability Day XVI - Assistenztechnologien in der Arbeitswelt. Dornbirn: Pabst Science Publishers, 2018, pp. 41-51. ISBN 978-3-95853-405-6. Detail
HEIDARI Mona and DRAHANSKÝ Martin. Detection of Ridge Discontinuities in Fingerprint Recognition Influenced by Skin Diseases. International Journal of Advanced Science and Technology, vol. 116, no. 116, 2018, pp. 13-22. ISSN 2005-4238. Detail
LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav and VOJNAR Tomáš. Discovering Concurrency Errors. Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018, pp. 34-60. ISBN 978-3-319-75632-5. Detail
LOZANO Díez Alicia, PLCHOT Oldřich, MATĚJKA Pavel and GONZALEZ-RODRIGUEZ Joaquin. DNN Based Embeddings for Language Recognition. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5184-5188. ISBN 978-1-5386-4658-8. Detail
NEVORAL Jan and RŮŽIČKA Richard. Efficient Implementation of Bi-functional RTL Components - Case Study. In: 2018 New Generation of CAS (NGCAS). Valletta: IEEE Circuits and Systems Society, 2018, pp. 25-28. ISBN 978-1-5386-7680-6. Detail
KLEPÁRNÍK Petr, BAŘINA David, ZEMČÍK Pavel and JAROŠ Jiří. Efficient Low-Resource Compression of HIFU Data. Information, vol. 9, no. 7, 2018, pp. 1-14. ISSN 2078-2489. Detail
ROHDIN Johan A., SILNOVA Anna, DIEZ Sánchez Mireia, PLCHOT Oldřich, MATĚJKA Pavel and BURGET Lukáš. End-to-End DNN Based Speaker Recognition Inspired by i-Vector and PLDA. In: Proceedings of ICASSP. Calgary: IEEE Signal Processing Society, 2018, pp. 4874-4878. ISBN 978-1-5386-4658-8. Detail
RYANT Neville, BERGELSON Elika, CHURCH Kenneth, CRISTIA Alejandrina, DU Jun, GANAPATHY Sriram, KHUDANPUR Sanjeev, KOWALSKI Diana, KRISHNAMOORTHY Mahesh, KULSHRESHTA Rajat, LIBERMAN Mark, LU Yu-Ding, MACIEJEWSKI Matthew, METZE Florian, PROFANT Ján, SUN Lei, TSAO Yu and YU Zhou. Enhancement and Analysis of Conversational Speech: JSALT 2017. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5154-5158. ISBN 978-1-5386-4658-8. Detail
PODIVÍNSKÝ Jakub, LOJDA Jakub, ČEKAN Ondřej and KOTÁSEK Zdeněk. Evaluation Platform for Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, pp. 229-236. ISBN 978-1-5386-7376-8. Detail
SILNOVA Anna, BRUMMER Johan Nikolaas Langenhoven, GARCÍA-ROMERO Daniel, SNYDER David and BURGET Lukáš. Fast variational Bayes for heavy-tailed PLDA applied to i-vectors and x-vectors. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 72-76. ISSN 1990-9772. Detail
LOJDA Jakub and KOTÁSEK Zdeněk. Fault Tolerance in HLS for the Purposes of Reliable System Design Automation. In: Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2018, pp. 31-32. ISBN 978-80-01-06456-6. Detail
LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Fault Tolerance Properties of Systems Generated with the Use of High-Level Synthesis. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 80-86. ISBN 978-1-5386-5710-2. Detail
DRAHANSKÝ Martin, PERNICKÝ Radim and KANICH Ondřej. Fingerprint spoofing. Wiesbaden: Federal Criminal Office, 2018. Detail
KADLUBIAK Kristián, TREEBY Bradley E. and JAROŠ Jiří. Fourth-order Time-stepping Scheme in Simulation of Ultrasound Propagation. Ostrava, 2018. Detail
PODIVÍNSKÝ Jakub, LOJDA Jakub and KOTÁSEK Zdeněk. FPGA-based Robot Controller: An Experimental Evaluation of Fault Tolerance Properties. In: INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapešť, 2018, pp. 9-12. Detail
NEVORAL Jan, RŮŽIČKA Richard and ŠIMEK Václav. From Ambipolarity to Multifunctionality: Novel Library of Polymorphic Gates Using Double-Gate FETs. In: 2018 21st Euromicro Conference on Digital System Design. Praha: Institute of Electrical and Electronics Engineers, 2018, pp. 657-664. ISBN 978-1-5386-7376-8. Detail
FIEDOR Tomáš, HOLÍK Lukáš, ROGALEWICZ Adam, SINN Moritz, VOJNAR Tomáš and ZULEGER Florian. From Shapes to Amortized Complexity. In: Proceedings of VMCAI'18. Lecture Notes in Computer Science, vol. 10145. Heidelberg: Springer Verlag, 2018, pp. 205-225. ISBN 978-3-319-73720-1. ISSN 0302-9743. Detail
LOJDA Jakub, PODIVÍNSKÝ Jakub, ČEKAN Ondřej, PÁNEK Richard and KOTÁSEK Zdeněk. FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant Systems Design Automation. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, pp. 244-251. ISBN 978-1-5386-7376-8. Detail
ŠLAPAL Josef. Galois connections between sets of paths and closure operators in simple graphs. Open Mathematics, vol. 16, no. 1, 2018, pp. 1573-1581. ISSN 2391-5455. Detail
VEIGEND Petr, RAFFAI Peter, NEČASOVÁ Gabriela, ŠÁTEK Václav and KUNOVSKÝ Jiří. Simulation of the Gas Flow Through the Piston Ring Pack. In: 15rd International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1. Detail
BRUMMER Johan Nikolaas Langenhoven, SILNOVA Anna, BURGET Lukáš and STAFYLAKIS Themos. Gaussian meta-embeddings for efficient scoring of a heavy-tailed PLDA model. In: Proceedings of Odyssey 2018. Les Sables d'Olonne: International Speech Communication Association, 2018, pp. 349-356. ISSN 2312-2846. Detail
DRAHANSKÝ Martin and YANUSHKEVICH Svetlana. General introduction. Hand-Based Biometrics: Methods and technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 1-17. ISBN 978-1-78561-224-4. Detail
PASTUSHENKO Olena, HYNEK Jiří and HRUŠKA Tomáš. Generation of Test Samples for Construction of Dashboard Design Guidelines: Impact of Color on Layout Balance. In: Advances in Intelligent Systems and Computing. Trends and Advances in Information Systems and Technologies. Naples: Springer International Publishing, 2018, pp. 980-990. ISBN 978-3-319-77711-5. Detail
ŠPAŇHEL Jakub, SOCHOR Jakub, JURÁNEK Roman and HEROUT Adam. Geometric Alignment by Deep Learning for Recognition of Challenging License Plates. In: 2018 21st International Conference on Intelligent Transportation Systems (ITSC). Lahaina, Maui: IEEE Intelligent Transportation Systems Society, 2018, pp. 3524-3529. ISBN 978-1-72810-321-1. ISSN 2153-0017. Detail
KADLUBIAK Kristián, JAROŠ Jiří and TREEBY Bradley E. GPU-accelerated Simulation of Elastic Wave Propagation. Frankfurt am Main, 2018. Detail
KADLUBIAK Kristián, JAROŠ Jiří and TREEBY Bradley E. GPU-accelerated Simulation of Elastic Wave Propagation. In: Proceedings - 2018 International Conference on High Performance Computing and Simulation, HPCS 2018. Orleans: IEEE Computer Society, 2018, pp. 188-195. ISBN 978-1-5386-7878-7. Detail
SOCHOR Jakub, ŠPAŇHEL Jakub, JURÁNEK Roman, DOBEŠ Petr and HEROUT Adam. Graph@FIT Submission to the NVIDIA AI City Challenge 2018. In: NVIDIA AI City Challenge 2018 (CVPRW). Salt Lake City: IEEE Computer Society, 2018, pp. 77-84. ISBN 978-1-5386-6100-0. Detail
DRAHANSKÝ Martin and DVOŘÁK Michal. Hand shape recognition and palm-print recognition using 2D and 3D features. Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 283-307. ISBN 978-1-78561-224-4. Detail
DRAHANSKÝ Martin. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018. ISBN 978-1-78561-224-4. Detail
KUČERA Jan, KEKELY Lukáš, PUŠ Viktor, PIECEK Adam and KOŘENEK Jan. Hardware Acceleration of Intrusion Detection Systems for High-Speed Networks. In: Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems. Ithaca, NY: Association for Computing Machinery, 2018, pp. 177-178. ISBN 978-1-4503-5902-3. Detail
KEKELY Lukáš, CABAL Jakub and KOŘENEK Jan. High-Speed Computation of CRC Codes for FPGAs. In: Proceedings of the 2018 International Conference on Field-Programmable Technology (FPT 2018). Naha: IEEE Computer Society, 2018, pp. 237-240. ISBN 978-1-7281-0214-6. Detail
BORDOVSKÝ Gabriel. Challenges In the Computer Photoacoustic Tomograpy Using the k-Wave Toolbox. In: Počítačové architektúry & diagnostika PAD 2018. Plzeň: University of West Bohemia in Pilsen, 2018, pp. 49-52. ISBN 978-80-261-0814-6. Detail
BENEŠ Karel, KESIRAJU Santosh and BURGET Lukáš. i-vectors in language modeling: An efficient way of domain adaptation for feed-forward models. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 3383-3387. ISSN 1990-9772. Detail
UHLÍŘ Václav, ZBOŘIL František and ROZMAN Jaroslav. Improving upon package and food delivery by Semi-autonomous Tag-along Vehicles. In: Intelligent Systems Design and Applications. ISDA 2017: Intelligent Systems Design and Applications. Cham: Springer International Publishing, 2018, pp. 589-596. ISBN 978-3-319-76347-7. Detail
PASTUSHENKO Olena, HRUŠKA Tomáš and ZENDULKA Jaroslav. Increasing students' motivation by using virtual learning environments based on gamification mechanics. In: ACM International Conference Proceeding Series. Salamanca: Association for Computing Machinery, 2018, pp. 755-760. ISBN 978-1-4503-6518-5. Detail
ČEKAN Ondřej, PÁNEK Richard and KOTÁSEK Zdeněk. Input and Output Generation for the Verification of ALU: a Use Case. In: Proceedings of 2018 IEEE East-West Design and Test Symposium, EWDTS 2018. Kazan: IEEE Computer Society, 2018, pp. 331-336. ISBN 978-1-5386-5710-2. Detail
CHARVÁT Lucie and MEDUNA Alexander. Internally Expandable Pushdown Automata and Their Computational Completeness. Romanian Journal of Information Science and Technology (ROMJIST), vol. 21, no. 3, 2018, pp. 232-237. ISSN 1453-8245. Detail
SCHARENBORG Odette, BESACIER Laurent, BLACK Alan, HASEGAWA-JOHNSON Mark, METZE Florian, NEUBIG Graham, STÜKER Sebastian, GODARD Pierre, MÜLLER Markus, ONDEL Yang Lucas Antoine Francois, PALASKAR Shruti, ARTHUR Philip, CIANNELLA Francesco, DU Mingxing, LARSEN Elin, MERKX Danny, RIAD Rachid, WANG Liming and DUPOUX Emmanuel. Linguistic Unit Discovery from Multi-Modal Inputs in Unwritten Languages: Summary of the 'Speaking Rosetta' JSALT 2017 Workshop. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 4979-4983. ISBN 978-1-5386-4658-8. Detail
LOJDA Jakub, PODIVÍNSKÝ Jakub, KOTÁSEK Zdeněk and KRČMA Martin. Majority Type and Redundancy Level Influences on Redundant Data Types Approach for HLS. In: 2018 16th Biennial Baltic Electronics Conference (BEC). Tallinn: IEEE Computer Society, 2018, pp. 1-4. ISBN 978-1-5386-7312-6. Detail
KEKELY Michal, KEKELY Lukáš and KOŘENEK Jan. Memory Aware Packet Matching Architecture for High-Speed Networks. In: Proceedings of the 21st Euromicro Conference on Digital Systems Design. Praha: IEEE Computer Society, 2018, pp. 1-8. ISBN 978-1-5386-7376-8. Detail
CHO Jaejin, BASKAR Murali K., LI Ruizhi, WIESNER Matthew, MALLIDI Sri Harish, YALTA Nelson, KARAFIÁT Martin, WATANABE Shinji and HORI Takaaki. Multilingual Sequence-to-Sequence Speech Recognition: Architecture, Transfer Learning, and Language Modeling. In: Proceedings of 2018 IEEE WORKSHOP ON SPOKEN LANGUAGE TECHNOLOGY (SLT 2018). Athens: IEEE Signal Processing Society, 2018, pp. 521-527. ISBN 978-1-5386-4334-1. Detail
ŠŮSTEK Martin and ZBOŘIL František V. Obtaining word embedding from existing classification model. In: Intelligent Systems Design and Applications. ISDA 2017 Intelligent Systems Design and Applications, vol. 2018. Cham: Springer International Publishing, 2018, pp. 540-547. ISBN 978-3-319-76347-7. ISSN 2194-5357. Detail
KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. On Double-Jumping Finite Automata and Their Closure Properties. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, vol. 52, no. 2, 2018, pp. 185-199. ISSN 0988-3754. Detail
KŘIVKA Zbyněk, KUČERA Jiří and MEDUNA Alexander. On k#$-Rewriting Systems. Romanian Journal of Information Science and Technology (ROMJIST), vol. 21, no. 3, 2018, pp. 278-287. ISSN 1453-8245. Detail
NOVOTNÝ Ondřej, MATĚJKA Pavel, PLCHOT Oldřich and GLEMBEK Ondřej. On the use of DNN Autoencoder for Robust Speaker Recognition. Brno: Faculty of Information Technology BUT, 2018. Detail
NOVOTNÝ Ondřej, PLCHOT Oldřich, MATĚJKA Pavel, MOŠNER Ladislav and GLEMBEK Ondřej. On the use of X-vectors for Robust Speaker Recognition. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 168-175. ISSN 2312-2846. Detail
ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, KINOSHITA Keisuke, HIGUCHI Takuya, NAKATANI Tomohiro and ČERNOCKÝ Jan. Optimization of Speaker-aware Multichannel Speech Extraction with ASR Criterion. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 6702-6706. ISBN 978-1-5386-4658-8. Detail
VAVERKA Filip, ŠPEŤKO Matej, TREEBY Bradley E. and JAROŠ Jiří. Optimization of Ultrasound Simulations on Multi-GPU Servers. Dallas, 2018. Detail
EGOROVA Ekaterina and BURGET Lukáš. Out-of-Vocabulary Word Recovery Using FST-Based Subword Unit Clustering in a Hybrid ASR System. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5919-5923. ISBN 978-1-5386-4658-8. Detail
PÁNEK Richard, LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Partial Dynamic Reconfiguration in an FPGA-based Fault-Tolerant System: Simulation-based Evaluation. In: Proceedings of IEEE East-West Design & Test Symposium. Kazaň: IEEE Computer Society, 2018, pp. 129-134. ISBN 978-1-5386-5710-2. Detail
TREEBY Bradley E., VAVERKA Filip and JAROŠ Jiří. Performance and Accuracy Analysis of Nonlinear k-Wave Simulations Using Local Domain Decomposition with an 8-GPU Server. Proceedings of Meetings on Acoustics, vol. 34, no. 1, 2018, pp. 1-5. ISSN 1939-800X. Detail
ROZMAN Jaroslav and ZBOŘIL František. Persons Linking in Baptism Records. In: Workshop PAOS2018 and PASSCR2018 of JIST2018 conference. CEUR Workshop Proceedings, vol. 2293. Awaji, 2018, pp. 43-54. ISSN 1613-0073. Detail
BORDOVSKÝ Gabriel, COX Ben T. and JAROŠ Jiří. Photoacoustic Tomography Using the k-Wave Toolbox. Ostrava, 2018. Detail
ROZMAN Jaroslav, ZBOŘIL František and KOČÍ Radek. Possibilities of Creation of Community Genealogical Database with Semantic Information. In: ICSIM2018: 2018 International Conference on Software Engineering and Information Management. Casablanca, 2018, pp. 87-91. ISBN 978-1-4503-5438-7. Detail
STRNADEL Josef. Predictability Analysis of Interruptible Systems by Statistical Model Checking. IEEE Design & Test, vol. 35, no. 2, 2018, pp. 57-63. ISSN 2168-2356. Detail
KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel and VOJNAR Tomáš. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. In: Computer Aided Systems Theory - EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II, vol. 10672. Las Palmas: Springer International Publishing, 2018, pp. 99-108. ISBN 978-3-319-74726-2. Detail
RUDNITCKAIA Julia and HRUŠKA Tomáš. Prediction of times and delays for ship handling process based on a transition system. In: Int. Conf. on Harbor Maritime and Multimodal Logistics M&S. THE 20TH INTERNATIONAL CONFERENCE ON HARBOR, MARITIME & MULTIMODAL LOGISTICS MODELLING AND SIMULATION. RENDE, 2018, pp. 39-44. ISBN 978-88-85741-05-8. Detail
HEIDARI Mona, KANICH Ondřej and DRAHANSKÝ Martin. Processing of fingerprints influenced by skin diseases. Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 135-168. ISBN 978-1-78561-224-4. Detail
ČEKAN Ondřej, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Program Generation Through a Probabilistic Constrained Grammar. In: Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018. Praha: IEEE Computer Society, 2018, pp. 214-220. ISBN 978-1-5386-7376-8. Detail
ČEKAN Ondřej and KOTÁSEK Zdeněk. Random Test Generation Through a Probabilistic Constrained Grammar. In: INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapešť, 2018, pp. 5-8. Detail
TREEBY Bradley E., BUDISKÝ Jakub, WISE Elliott S., JAROŠ Jiří and COX Ben T. Rapid calculation of acoustic fields from arbitrary continuous-wave sources. Journal of the Acoustical Society of America, vol. 143, no. 1, 2018, pp. 529-537. ISSN 1520-8524. Detail
DRAHANSKÝ Martin. Recognition of Eye Characteristics. Machine Learning and Biometrics. London: InTech - Open Access Publisher, 2018, pp. 7-35. ISBN 978-1-78923-590-6. Detail
HÁJEK Josef and DRAHANSKÝ Martin. Recognition-Based on Eye Biometrics: Iris and Retina. Biometric-Based Physical and Cybersecurity Systems. Cham: Springer International Publishing, 2018, pp. 37-102. ISBN 978-3-319-98733-0. Detail
MATOUŠEK Denis, KUBIŠ Juraj, MATOUŠEK Jiří and KOŘENEK Jan. Regular Expression Matching with Pipelined Delayed Input DFAs for High-speed Networks. In: ANCS 2018 - Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems. Ithaca, NY: Association for Computing Machinery, 2018, pp. 104-110. ISBN 978-1-4503-5902-3. Detail
ŠLAPAL Josef. Relation-induced connectedness in the digital plane. AEQUATIONESA MATHEMATICAE, vol. 2018, no. 95, pp. 75-90. ISSN 0001-9054. Detail
VAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on Intel Xeon Phi (KNC) accelerators. Ostrava, 2018. Detail
HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus and VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata. In: Proc. of 16th International Symposium on Automated Technology for Verification and Analysis. Heidelberg: Springer Verlag, 2018, pp. 109-125. ISBN 978-3-030-01089-8. ISSN 0302-9743. Detail
HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus and VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca, 2018. Detail
DELCROIX Marc, ŽMOLÍKOVÁ Kateřina, KINOSHITA Keisuke, OGAWA Atsunori and NAKATANI Tomohiro. Single Channel Target Speaker Extraction and Recognition with Speaker Beam. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5554-5558. ISBN 978-1-5386-4658-8. Detail
HON Jiří, MARUŠIAK Martin, MARTÍNEK Tomáš, ZENDULKA Jaroslav, BEDNÁŘ David and DAMBORSKÝ Jiří. SoluProt: Prediction of Protein Solubility. In: DAZ & WIKT 2018 Proceedings. Brno: Brno University of Technology, 2018, pp. 261-265. ISBN 978-80-214-5679-2. Detail
DIEZ Sánchez Mireia, BURGET Lukáš and MATĚJKA Pavel. Speaker Diarization based on Bayesian HMM with Eigenvoice Priors. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 147-154. ISSN 2312-2846. Detail
SEKANINA Lukáš, VAŠÍČEK Zdeněk, BOSIO Alberto, TRAIOLA Marcello, RECH Paolo, OLIVEIRA Daniel, FERNANDES Fernando and DI Carlo Stefano. Special Session: How Approximate Computing impacts Verification, Test and Reliability. 2018 IEEE 36th VLSI Test Symposium. San Francisco: IEEE Computer Society, 2018. ISBN 978-1-5386-3774-6. Detail
ZEINALI Hossein, BURGET Lukáš, SAMETI Hossein and ČERNOCKÝ Jan. Spoken Pass-Phrase Verification in the i-vector Space. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 372-377. ISSN 2312-2846. Detail
DRAHANSKÝ Martin, KANICH Ondřej and DVOŘÁK Michal. Spoofing methods in hand-based biometrics. Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 367-398. ISBN 978-1-78561-224-4. Detail
KANICH Ondřej and DRAHANSKÝ Martin. State of the art in fingerprint recognition. Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 83-110. ISBN 978-1-78561-224-4. Detail
STRNADEL Josef. Statistical Model Checking of Processor Systems in Various Interrupt Scenarios. In: Proceedings of 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Lecture Notes in Computer Science, Vol. 11245. Cham: Springer International Publishing, 2018, pp. 414-429. ISSN 0302-9743. Detail
HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp and VOJNAR Tomáš. String constraints with concatenation and transducers solved efficiently. Proceedings of the ACM on Programming Languages, vol. 2, no. 2, 2018, pp. 96-127. ISSN 2475-1421. Detail
VÍDEŇSKÝ František and ZBOŘIL František. Strojové rozpoznávání rodových erbů. Genealogické a heraldické informace, vol. 22, no. 1, 2018, pp. 73-82. ISSN 0862-8963. Detail
KOŠTIALIK Daniel, MARUNIAK Lukáš and DRAHANSKÝ Martin. Symptoms Detection in Eye Retina Image. In: 2017 IEEE Symposium Series on Computational Intelligence. Hawaii: IEEE Computer Society, 2018, pp. 1-6. ISBN 978-1-5386-2725-9. Detail
VEIGEND Petr, ŠÁTEK Václav and KUNOVSKÝ Jiří. System Control Using the Modern Taylor Series Method. In: 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1. Detail
HRUŠKA Martin, MALÍK Viktor, SCHRAMMEL Peter and VOJNAR Tomáš. Template-Based Verification of Heap-Manipulating Programs. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2018, pp. 103-111. ISBN 978-0-9835678-8-2. Detail
PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller. In: Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Czech Technical University, 2018, pp. 33-34. ISBN 978-80-01-06456-6. Detail
VOJNAR Tomáš, POMANTE Luigi, KŘENA Bohuslav, VELJKOVIĆ Filip and MAGNIN Pacôme. The AQUAS ECSEL Project. In: Proceedings of 21st Euromicro Conference on Digital System Design (DSD 2018). Praha: Institute of Electrical and Electronics Engineers, 2018, pp. 592-599. ISBN 978-1-5386-7376-8. Detail
SUOMI Visa, TREEBY Bradley E., JAROŠ Jiří, SAUNAVAARA Jani, KIVINIEMI Aida and BLANCO Roberto. The Effect of Tissue Physiological Variability on Transurethral Ultrasound Therapy of the Prostate. In: 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Honolulu, HI: Institute of Electrical and Electronics Engineers, 2018, pp. 5701-5704. ISBN 978-1-5386-3646-6. Detail
CRHA Adam, ŠIMEK Václav and RŮŽIČKA Richard. Towards novel format for representation of polymorphic circuits. In: 13th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Taormina: IEEE Circuits and Systems Society, 2018, pp. 1-2. ISBN 978-1-5386-5290-9. Detail
HOLÍK Lukáš and HOLÍKOVÁ Lenka. Towards Smaller Invariants for Proving Coverability. In: Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2018, pp. 109-116. ISBN 978-3-319-74727-9. Detail
KOČÍ Radek and JANOUŠEK Vladimír. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In: Software Engineering Advances. Nice: Xpert Publishing Services, 2018, pp. 122-127. ISBN 978-1-61208-668-2. Detail
SUOMI Visa, TREEBY Bradley E., JAROŠ Jiří, MAKELA Pietari, ANTTINEN Mikael, SAUNAVAARA Jani, SAINIO Teija, KIVINIEMI Aida and BLANCO Roberto. Transurethral ultrasound therapy of the prostate in the presence of calcifications: a simulation study. Medical Physics, vol. 45, no. 11, 2018, pp. 4793-4805. ISSN 0094-2405. Detail
KANICH Ondřej, MÉZL Martin and DRAHANSKÝ Martin. Creative Materials Used for Fingerprint Spoofs. In: 2018 International Workshop on Biometrics and Forensics (IWBF). Sassari: Institute of Electrical and Electronics Engineers, 2018, pp. 1-8. ISBN 978-1-5386-1366-5. Detail

2017

KARAFIÁT Martin, BASKAR Murali K., MATĚJKA Pavel, VESELÝ Karel, GRÉZL František, BURGET Lukáš and ČERNOCKÝ Jan. 2016 BUT Babel system: Multilingual BLSTM acoustic model with i-vector based adaptation. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 719-723. ISSN 1990-9772. Detail
LOJDA Jakub and KOTÁSEK Zdeněk. A Basic Approach to Fault Tolerance of Data Paths of HLS-synthesized Systems and its Evaluation. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 79-80. ISBN 978-80-01-06178-7. Detail
ČEKAN Ondřej and KOTÁSEK Zdeněk. A Probabilistic Context-Free Grammar Based Random Test Program Generation. In: Proceedings of 20th Euromicro Conference on Digital System Design. Vídeň: Technical University Wien, 2017, pp. 356-359. ISBN 978-1-5386-2145-5. Detail
ŠLAPAL Josef. A ternary relation for structuring the digital plane. In: AMCSE 2016. Les Ulis Cedex A: EDP Sciences, 2017, pp. 1-5. ISSN 2271-2097. Detail
PŘIBYL Bronislav, ZEMČÍK Pavel and ČADÍK Martin. Absolute Pose Estimation from Line Correspondences using Direct Linear Transformation. Computer Vision and Image Understanding, vol. 161, no. 1, 2017, pp. 130-144. ISSN 1077-3142. Detail
BAŘINA David, KULA Michal, MATÝŠEK Michal and ZEMČÍK Pavel. Accelerating Discrete Wavelet Transforms on Parallel Architectures. Journal of WSCG, vol. 25, no. 2, 2017, pp. 77-85. ISBN 978-80-86943-43-5. ISSN 1213-6972. Detail
KOCINA Filip and KUNOVSKÝ Jiří. Advanced VLSI Circuits Simulation. In: Proceedings of the 2017 International Conference on High Performance Computing & Simulation (HPCS 2017). Genoa: Institute of Electrical and Electronics Engineers, 2017, pp. 526-533. ISBN 978-1-5386-3250-5. Detail
SILNOVA Anna, BURGET Lukáš and ČERNOCKÝ Jan. Alternative Approaches to Neural Network based Speaker Verification. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 1572-1575. ISSN 1990-9772. Detail
HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondřej, MU Shin-Cheng, SINHA Nishant and WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. In: Proceedings of NETYS'17. Heidelberg: Springer Verlag, 2017, pp. 421-438. ISSN 0302-9743. Detail
HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondřej, MU Shin-Cheng, SINHA Nishant and WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. Ithaca, 2017. Detail
ABDULLA Parosh A., HAZIZA Frédéric, HOLÍK Lukáš, JONSSON Bengt and REZINE Ahmed. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. International Journal on Software Tools for Technology Transfer, vol. 5, no. 19, 2017, pp. 549-563. ISSN 1433-2779. Detail
PLCHOT Oldřich, MATĚJKA Pavel, SILNOVA Anna, NOVOTNÝ Ondřej, DIEZ Sánchez Mireia, ROHDIN Johan A., GLEMBEK Ondřej, BRÜMMER Niko, SWART Albert du Preez, PRIETO Jesús J., GARCIA Perera Leibny Paola, BUERA Luis, KENNY Patrick, ALAM Jahangir and BHATTACHARYA Gautam. Analysis and Description of ABC Submission to NIST SRE 2016. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 1348-1352. ISSN 1990-9772. Detail
MATĚJKA Pavel, NOVOTNÝ Ondřej, PLCHOT Oldřich, BURGET Lukáš, DIEZ Sánchez Mireia and ČERNOCKÝ Jan. Analysis of Score Normalization in Multilingual Speaker Recognition. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 1567-1571. ISSN 1990-9772. Detail
ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished. In: Proceedings of 36th IEEE/ACM International Conference On Computer Aided Design (ICCAD). Irvine, CA: Institute of Electrical and Electronics Engineers, 2017, pp. 416-423. ISBN 978-1-5386-3093-8. Detail
KRČMA Martin and KOTÁSEK Zdeněk. Approximation accuracy of different FPNN types. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 81-82. ISBN 978-80-01-06178-7. Detail
FAJČÍK Martin, SMRŽ Pavel and ZACHARIÁŠOVÁ Marcela. Automation of Processor Verification Using Recurrent Neural Networks. In: 18th International Workshop on Microprocessor and SOC Test, Security and Verification (MTV). Austin, Texas: Institute of Electrical and Electronics Engineers, 2017, pp. 15-20. ISBN 978-1-5386-3351-9. Detail
LOJDA Jakub and KOTÁSEK Zdeněk. Automatizace návrhu systémů odolných proti poruchám pomocí vysokoúrovňové syntézy. In: Počítačové architektury & diagnostika 2017. Smolenice: Slovak University of Technology in Bratislava, 2017, pp. 59-62. ISBN 978-80-972784-0-3. Detail
ONDEL Yang Lucas Antoine Francois, BURGET Lukáš, ČERNOCKÝ Jan and KESIRAJU Santosh. Bayesian phonotactic language model for acoustic unit discovery. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 5750-5754. ISBN 978-1-5090-4117-6. Detail
AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš and VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. Concurrency and Computation: Practice and Experience, vol. 29, no. 21, 2017, pp. 4268-4289. ISSN 1532-0634. Detail
ZELENÝ Jan, BURGET Radek and ZENDULKA Jaroslav. Box Clustering Segmentation: A New Method for Vision-based Page Preprocessing. Information Processing and Management, vol. 53, no. 3, 2017, pp. 735-750. ISSN 0306-4573. Detail
MATĚJKA Pavel, PLCHOT Oldřich, NOVOTNÝ Ondřej, CUMANI Sandro, LOZANO Díez Alicia, SLAVÍČEK Josef, DIEZ Sánchez Mireia, GRÉZL František, GLEMBEK Ondřej, KAMSALI Veera Mounika, SILNOVA Anna, BURGET Lukáš, ONDEL Yang Lucas Antoine Francois, KESIRAJU Santosh and ROHDIN Johan A. BUT- PT System Description for NIST LRE 2017. In: Proceedings of NIST Language Recognition Workshop 2017. Orlando, Florida: National Institute of Standards and Technology, 2017, pp. 1-6. Detail
MEDUNA Alexander and MARTIŠKO Jakub. CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. In: 15th International Conference on Automata and Formal Languages. Debrecen: Open Publishing Association, 2017, pp. 170-179. ISSN 2075-2180. Detail
MATOUŠEK Jiří, ANTICHI Gianni, LUČANSKÝ Adam, MOORE Andrew W. and KOŘENEK Jan. ClassBench-ng: Recasting ClassBench After a Decade of Network Evolution. In: Proceedings - 2017 ACM/IEEE Symposium on Architectures for Networking and Communications Systems, ANCS 2017. Beijing: IEEE Computer Society, 2017, pp. 204-216. ISBN 978-1-5090-6386-4. Detail
PFALTZ John and ŠLAPAL Josef. Closure operators associated with networks. Hacettepe Journal of Mathematics and Statistics, vol. 46, no. 1, 2017, pp. 91-101. ISSN 1303-5010. Detail
NEVORAL Jan, ŠIMEK Václav and RŮŽIČKA Richard. Compact Library of Efficient Polymorphic Gates based on Ambipolar Transistors. In: 2017 12th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Palma de Mallorca: IEEE Circuits and Systems Society, 2017, pp. 155-160. ISBN 978-1-5090-6376-5. Detail
KRČMA Martin, KOTÁSEK Zdeněk and LOJDA Jakub. Comparison of FPNNs Models Approximation Capabilities and FPGA Resources Utilization. In: Proceedings of IEEE 13th International Conference on Intelligent Computer Communication and Processing. Cluj-Nappoca: IEEE Computer Society, 2017, pp. 125-132. ISBN 978-1-5386-3368-7. Detail
GROCHOL David and SEKANINA Lukáš. Comparison of Parallel Linear Genetic Programming Implementations. In: Recent Advances in Soft Computing: Proceedings of the 22nd International Conference on Soft Computing (MENDEL 2016) held in Brno, Czech Republic, at June 8-10, 2016. Cham: Springer International Publishing, 2017, pp. 64-76. ISBN 978-3-319-58088-3. Detail
AHMAD Touqeer, CAMPR Pavel, ČADÍK Martin and BEBIS George. Comparison of Semantic Segmentation Approaches for Horizon/Sky Line Detection. In: Proceedings of the International Joint Conference on Neural Networks (IJCNN). Anchorage: Institute of Electrical and Electronics Engineers, 2017, pp. 4436-4443. ISBN 978-1-4799-1961-1. Detail
ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. Formal Methods in System Design, vol. 2017, no. 51, pp. 575-607. ISSN 0925-9856. Detail
HOMOLIAK Ivan, BREITENBACHER Dominik and HANÁČEK Petr. Convergence Optimization of Backpropagation Artificial Neural Network Used for Dichotomous Classification of Intrusion Detection Dataset. Journal of Computers, vol. 12, no. 2, 2017, pp. 143-155. ISSN 1796-203X. Detail
HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam and VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In: Proceedings of VMCAI'17. Lecture Notes in Computer Science, vol. 10145. Cham: Springer Verlag, 2017, pp. 288-309. ISBN 978-3-319-52234-0. ISSN 0302-9743. Detail
LOJDA Jakub, PODIVÍNSKÝ Jakub, KOTÁSEK Zdeněk and KRČMA Martin. Data Types and Operations Modifications: a Practical Approach to Fault Tolerance in HLS. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, pp. 273-278. ISBN 978-1-5386-3299-4. Detail
RICHTA Tomáš and JANOUŠEK Vladimír. Data-Driven Maritime Processes Management Using Dynamically Reconfigurable Executable Models. In: Computer Aided Systems Theory - EUROCAST 2017. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Berlin Heidelberg: Springer Verlag, 2017, pp. 134-141. ISBN 978-3-319-74726-2. Detail
HOLÍK Lukáš, MEYER Roland, VOJNAR Tomáš and WOLF Sebastian. Effect Summaries for Thread-Modular Analysis. In: SAS 2017: Static Analysis. Lecture Notes in Computer Science, vol. 10422. Cham: Springer International Publishing, 2017, pp. 169-191. ISBN 978-3-319-66706-5. ISSN 0302-9743. Detail
MRÁZEK Vojtěch, HRBÁČEK Radek, VAŠÍČEK Zdeněk and SEKANINA Lukáš. EvoApprox8b: Library of Approximate Adders and Multipliers for Circuit Design and Benchmarking of Approximation Methods. In: Proc. of the 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE). Lausanne: European Design and Automation Association, 2017, pp. 258-261. ISBN 978-3-9815370-9-3. Detail
BIDLO Michal. Evolution of Cellular Automata-Based Replicating Structures Exhibiting Unconventional Features. International Joint Conference, IJCCI 2015 Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers. Computational Intelligence. Cham: Springer International Publishing, 2017, pp. 21-41. ISBN 978-3-319-48506-5. Detail
WIGLASZ Michal and SEKANINA Lukáš. Evolutionary Approximation of Gradient Orientation Module in HOG-based Human Detection System. In: 2017 IEEE Global Conference on Signal and Information Processing GlobalSIP 2017. Montreal: IEEE Signal Processing Society, 2017, pp. 1300-1304. ISBN 978-1-5090-5989-8. Detail
DOBAI Roland, KOŘENEK Jan and SEKANINA Lukáš. Evolutionary design of hash function pairs for network filters. Applied Soft Computing, vol. 56, no. 7, 2017, pp. 173-181. ISSN 1568-4946. Detail
HOMOLIAK Ivan, TEKNŐS Martin, BARABAS Maroš and HANÁČEK Petr. Exploitation of NetEm Utility for Non-payload-based Obfuscation Techniques Improving Network Anomaly Detection. In: Proceedings of 12th International Conference on Security and Privacy in Communication Networks. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Guangzhou: Springer International Publishing, 2017, pp. 770-773. ISBN 978-3-319-59607-5. Detail
MALANDRAKIS Nikolaos, GLEMBEK Ondřej and NARAYANAN Shrikanth. Extracting Situation Frames from non-English Speech: Evaluation Framework and Pilot Results. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 2123-2127. ISSN 1990-9772. Detail
LENGÁL Ondřej, LIN Anthony W., MAJUMDAR Rupak and RUMMER Philipp. Fair Termination for Parameterized Probabilistic Concurrent Systems. In: Proceedings of TACAS'17. Lecture Notes in Computer Science, vol. 10205. Heidelberg: Springer Verlag, 2017, pp. 499-517. ISBN 978-3-662-46680-3. ISSN 0302-9743. Detail
HOMOLIAK Ivan, ŠULÁK Ladislav and HANÁČEK Petr. Features for Behavioral Anomaly Detection of Connectionless Network Buffer Overflow Attacks. In: Information Security Applications - 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised Selected Papers. Lecture Notes in Computer Science, vol. 10144. Jeju Island: Springer International Publishing, 2017, pp. 66-78. ISBN 978-3-319-56549-1. ISSN 0302-9743. Detail
BAROTOVÁ Štěpánka and DRAHANSKÝ Martin. Fingerprint Damage Localizer and Detector of Skin Diseases from Fingerprint Images. In: Proceedings of the 16th International Conference of the Biometrics Special Interest Group. Lecture Notes in Informatics P-270. Darmstadt: Springer Verlag, 2017, pp. 267-274. ISBN 978-3-88579-664-0. Detail
MUSIL Miloš, ŠTOURAČ Jan, BENDL Jaroslav, BREZOVSKÝ Jan, PROKOP Zbyněk, ZENDULKA Jaroslav, MARTÍNEK Tomáš, BEDNÁŘ David and DAMBORSKÝ Jiří. FireProt: web server for automated design of thermostable proteins. Nucleic Acids Research, vol. 45, no. 1, 2017, pp. 393-399. ISSN 1362-4962. Detail
ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed and RUMMER Philipp. Flatten and conquer: a framework for efficient analysis of string constraints. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM. New York: Association for Computing Machinery, 2017, pp. 602-617. ISBN 978-1-4503-4988-8. Detail
HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Forester: From Heap Shapes to Automata Predicates. In: Proceedings of TACAS'17. Lecture Notes in Computer Science, vol. 10206. Heidelberg: Springer Verlag, 2017, pp. 365-369. ISBN 978-3-662-54580-5. Detail
ČUDOVÁ Marta and JAROŠ Jiří. Framework for Planning, Executing and Monitoring Cooperating Computations. Ostrava, 2017. Detail
ČUDOVÁ Marta. Framework for Planning, Running and Monitoring Cooperating Computations. In: Počítačové architektúry & diagnostika PAD 2017. Bratislava: Slovak University of Technology in Bratislava, 2017, pp. 20-23. ISBN 978-80-972784-0-3. Detail
BARTL Vojtěch and HEROUT Adam. Fully Automatic Horizon Estimation for Surveillance Cameras. In: 2017 International Conference on Digital Image Computing: Techniques and Applications (DICTA). Sydney: Institute of Electrical and Electronics Engineers, 2017, pp. 23-30. ISBN 978-1-5386-2839-3. Detail
PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub, ZACHARIÁŠOVÁ Marcela, KRČMA Martin and KOTÁSEK Zdeněk. Functional Verification Based Platform for Evaluating Fault Tolerance Properties. Microprocessors and Microsystems, vol. 52, no. 5, 2017, pp. 145-159. ISSN 0141-9331. Detail
VLK Jan and CHUDÝ Peter. General Aviation Digital Autopilot Design Based on LQR/LQG Control Strategy. In: Proceedings of 36th Digital Avionics Systems Conference. St. Petersburg, FL: IEEE Computer Society, 2017, pp. 1-9. ISBN 978-1-5386-0365-9. Detail
BREJCHA Jan and ČADÍK Martin. GeoPose3K: Mountain Landscape Dataset for Camera Pose Estimation in Outdoor Environments. Image and Vision Computing, vol. 2017, no. 1, pp. 1-41. ISSN 0262-8856. Detail
DRAHANSKÝ Martin, SPURNÝ Martin and GOLDMANN Tomáš. Gesichtsdetektion und -erkennung in Videos aus öffentlichen Kamerasystemen. DuD - Datenschutz und Datensicherheit, vol. 41, no. 7, 2017, pp. 415-421. ISSN 1614-0702. Detail
ZEINALI Hossein, SAMETI Hossein and BURGET Lukáš. HMM-Based Phrase-Independent i-Vector Extractor for Text-Dependent Speaker Verification. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, vol. 25, no. 7, 2017, pp. 1421-1435. ISSN 2329-9290. Detail
ŠPAŇHEL Jakub, SOCHOR Jakub, JURÁNEK Roman, HEROUT Adam, MARŠÍK Lukáš and ZEMČÍK Pavel. Holistic Recognition of Low Quality License Plates by CNN using Track Annotated Data. In: International Workshop on Traffic and Street Surveillance for Safety and Security (AVSS 2017). Lecce: IEEE Computer Society, 2017, pp. 1-6. ISBN 978-1-5386-2939-0. Detail
DRAHANSKÝ Martin, KANICH Ondřej and BŘEZINOVÁ Eva. Challenges for fingerprint recognition - spoofing, skin diseases and environmental effects. Handbook of Biometrics for Forensic Science. Advances in Computer Vision and Pattern Recognition. Cham: Springer Verlag, 2017, pp. 63-83. ISBN 978-3-319-50671-5. Detail
BURGET Radek. Information Extraction from the Web by Matching Visual Presentation Patterns. In: Knowledge Graphs and Language Technology: ISWC 2016 International Workshops: KEKI and NLP&DBpedia. Lecture Notes in Computer Science vol. 10579. Kobe: Springer International Publishing, 2017, pp. 10-26. ISBN 978-3-319-68722-3. Detail
KAČIC Matej and BARABAS Maroš. Klasifikace informací v souvislostech. In: IS2 - Other Dimensions of Security. Praha: Tate International s.r.o., 2017, pp. 133-141. ISBN 978-80-86813-30-1. Detail
FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej and VOJNAR Tomáš. Lazy Automata Techniques for WS1S. In: Proceedings of TACAS'17. Lecture Notes in Computer Science, vol. 10205. Heidelberg: Springer Verlag, 2017, pp. 407-425. ISBN 978-3-662-54576-8. ISSN 0302-9743. Detail
FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej and VOJNAR Tomáš. Lazy Automata Techniques for WS1S. arXiv:1701.06282, 2017. Detail
DRAHANSKÝ Martin, DVOŘÁK Michal, LUŽA Radim, RITTER Walter, KÜNZ Andreas, KEMPTER Guido, MOHELNÍKOVÁ Jitka and MOHELNÍK Petr. Measurement of light sources. Brno: Faculty of Information Technology BUT, 2017. Detail
VESELÝ Karel, BASKAR Murali K., DIEZ Sánchez Mireia and BENEŠ Karel. MGB-3 BUT System: Low-resource ASR on Egyptian YOUTUBE data. In: Proceedings of ASRU 2017. Okinawa: IEEE Signal Processing Society, 2017, pp. 368-373. ISBN 978-1-5090-4788-8. Detail
NEČASOVÁ Gabriela, KOCINA Filip, VEIGEND Petr, ŠÁTEK Václav and KUNOVSKÝ Jiří. Model of the Telegraph Line. In: Informatics 2017 - 14th International Scientific Conference on Informatics. Poprad: Institute of Electrical and Electronics Engineers, 2017, pp. 271-275. ISBN 978-1-5386-0888-3. Detail
KOCINA Filip, NEČASOVÁ Gabriela, VEIGEND Petr, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Modelling VLSI Circuits Using Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X. Detail
CHALOUPKA Jan, NEČASOVÁ Gabriela, VEIGEND Petr, KUNOVSKÝ Jiří and ŠÁTEK Václav. Modern Taylor series method in numerical integration: PART 1. In: 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik, 2017, pp. 263-273. ISBN 978-83-65265-14-2. ISSN 2391-9361. Detail
FÉR Radek, MATĚJKA Pavel, GRÉZL František, PLCHOT Oldřich, VESELÝ Karel and ČERNOCKÝ Jan. Multilingually Trained Bottleneck Features in Spoken Language Recognition. Computer Speech and Language, vol. 2017, no. 46, pp. 252-267. ISSN 0885-2308. Detail
CHALOUPKA Jan, KOCINA Filip, VEIGEND Petr, NEČASOVÁ Gabriela, ŠÁTEK Václav and KUNOVSKÝ Jiří. Multiple Integral Computations. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X. Detail
DRAHANSKÝ Martin. Multispectral Optical Properties of Human Hands Skin. Lillehammer, 2017. Detail
SVOBODA Stanislav and BAŘINA David. New Transforms for JPEG Format. In: Conference Materials and Posters of Spring Conference on Computer Graphics SCCG 2017. Mikulov: Brno University of Technology, 2017, pp. 25-30. ISSN 1335-5694. Detail
NEČASOVÁ Gabriela, KUNOVSKÝ Jiří and ŠÁTEK Václav. Numerical Solution of Wave Equation Using Higher Order Methods. In: 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2017, pp. 1-4. ISBN 978-0-7354-1690-1. Detail
STRNADEL Josef. On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking. In: Proceedings of the 2017 20th Euromicro Conference on Digital System Design. Los Alamitos: IEEE Computer Society, 2017, pp. 352-355. ISBN 978-1-5386-2146-2. Detail
CSUHAJ-VARJÚ Erzsébet, MEDUNA Alexander and SOUKUP Ondřej. On Tree-Restricted Regular-Controlled Context-Free Grammars. International Journal of Computer Mathematics: Computer Systems Theory, vol. 2, no. 4, 2017, pp. 147-163. ISSN 2379-9927. Detail
BORDOVSKÝ Gabriel and JAROŠ Jiří. Optimization of Fracture Tests Simulation in Civil Engineering. Ostrava, 2017. Detail
HLOSTA Martin, ZDRÁHAL Zdeněk and ZENDULKA Jaroslav. Ouroboros: Early identification of at-risk students without models based on legacy data. In: LAK '17 Proceedings of the Seventh International Learning Analytics & Knowledge Conference. Vancouver: Association for Computing Machinery, 2017, pp. 6-15. ISBN 978-1-4503-4870-6. Detail
POLOK Lukáš and SMRŽ Pavel. Pivoting Strategy for Fast LU decomposition of Sparse Block Matrices. In: Proceedings of the 25th High Performance Computing Symposium. Virginia Beach, VA: Association for Computing Machinery, 2017, pp. 1-12. ISBN 978-1-5108-3822-2. Detail
HON Jiří, MARTÍNEK Tomáš, ZENDULKA Jaroslav and LEXA Matej. pqsfinder: an exhaustive and imperfection-tolerant search tool for potential quadruplex-forming sequences in R. Bioinformatics, vol. 33, no. 21, 2017, pp. 3373-3379. ISSN 1367-4803. Detail
ČEŠKA Milan, ČEŠKA Milan and PAOLETTI Nicola. Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters. In: Proceedings of 16th International Conference on Computer Aided Systems Theory. LNCS volume 10672. Heidelberg: Springer Verlag, 2017, pp. 38-46. ISBN 978-3-319-74726-2. Detail
ČEKAN Ondřej and KOTÁSEK Zdeněk. Random Test Stimuli Generation Based on a Probabilistic Grammar. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 43-44. ISBN 978-80-01-06178-7. Detail
VEIGEND Petr, NEČASOVÁ Gabriela, KOCINA Filip, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Real Time Simulation of Transport Delay. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X. Detail
LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Redundant Data Types and Operations in HLS and their Use for a Robot Controller Unit Fault Tolerance Evaluation. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, pp. 359-364. ISBN 978-1-5386-3299-4. Detail
CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. Reykjavik: IEEE Computer Society, 2017, pp. 1-12. ISBN 978-1-5090-3018-7. Detail
CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. arXiv:1704.03972, 2017. Detail
PODIVÍNSKÝ Jakub, LOJDA Jakub, ČEKAN Ondřej, PÁNEK Richard and KOTÁSEK Zdeněk. Reliability Analysis and Improvement of FPGA-based Robot Controller. In: Proceedings of the 2017 20th Euromicro Conference on Digital System Design. Vídeň: IEEE Computer Society, 2017, pp. 337-344. ISBN 978-1-5386-2145-5. Detail
BENEŠ Karel, BASKAR Murali K. and BURGET Lukáš. Residual Memory Networks in Language Modeling: Improving the Reputation of Feed-Forward Networks. In: Proceedings of Interspeeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 284-288. ISSN 1990-9772. Detail
BASKAR Murali K., KARAFIÁT Martin, BURGET Lukáš, VESELÝ Karel, GRÉZL František and ČERNOCKÝ Jan. Residual Memory Networks: Feed-forward approach to learn long-term temporal dependencies. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 4810-4814. ISBN 978-1-5090-4117-6. Detail
KAZZAZ M. Mohanned and RYCHLÝ Marek. Restful-based Mobile Web Service Migration Framework. In: 2017 IEEE International Conference on AI & Mobile Services (AIMS). Honolulu: IEEE Computer Society, 2017, pp. 70-75. ISBN 978-1-5386-1999-5. Detail
KAZZAZ M. Mohanned and RYCHLÝ Marek. Restful-based Mobile Web Service Migration Framework (Presentation). MEMICS 2017: 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč, 2017. Detail
LUŽA Radim, ORSÁG Filip, DRAHANSKÝ Martin and ROZMAN Jaroslav. Robot RUDA - Introduction and Current Research. Central European Researchers Journal, vol. 3, no. 1, 2017, pp. 1-8. ISSN 2453-7314. Detail
KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. Rule-Homogeneous CD Grammar Systems. AFL 2017. Debrecen, 2017. Detail
VAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on 256 Salomon Nodes. Ostrava, 2017. Detail
VAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on Piz Daint with 512 Pascal GPUs. Denver, 2017. Detail
PUTEROVÁ Janka, RAZUMOVA Olga, MARTÍNEK Tomáš, ALEXANDROV Oleg, DIVASHUK Mikhail, KUBÁT Zdeněk, HOBZA Roman, KARLOV Gennady and KEJNOVSKÝ Eduard. Satellite DNA and Transposable Elements in Seabuckthorn ( Hippophae rhamnoides ), a Dioecious Plant with Small Y and Large X Chromosomes. Genome Biology and Evolution, vol. 9, no. 1, 2017, pp. 197-212. ISSN 1759-6653. Detail
KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč, 2017. Detail
DVOŘÁK Michal and DRAHANSKÝ Martin. Security of Hand Geometry. In: Proceedings of Conference SPI 2017. Brno: University of Defence in Brno, 2017, pp. 17-29. ISBN 978-80-7231-414-0. Detail
VESELÝ Karel, BURGET Lukáš and ČERNOCKÝ Jan. Semi-supervised DNN training with word selection for ASR. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 3687-3691. ISSN 1990-9772. Detail
FRITZ Bernhard, STEININGER Andreas, ŠIMEK Václav and VEERAVALLI Varadan S. Setup for an Experimental Study of Radiation Effects in 65nm CMOS. In: 2017 20th Euromicro Conference on Digital System Design (DSD). Vienna: IEEE Computer Society, 2017, pp. 329-336. ISBN 978-1-5386-2146-2. Detail
DRAHANSKÝ Martin, MEISTER Torsten and NEZHYBA Ondřej. Sicherheit für intelligente Häuser. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 64-69. ISBN 978-3-95853-316-5. Detail
KANICH Ondřej and DRAHANSKÝ Martin. Simulation of Synthetic Fingerprint Generation Using Petri Nets. IET Biometrics, vol. 6, no. 6, 2017, pp. 402-408. ISSN 2047-4938. Detail
TREEBY Bradley E., BUDISKÝ Jakub, WISE Elliott S., JAROŠ Jiří and COX Ben T. Single-step Calculation of the Acoustic Field from Arbitrary Continuous-wave Sources. Ostrava, 2017. Detail
NEČASOVÁ Gabriela, KOCINA Filip, VEIGEND Petr, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Solving Wave Equation Using Finite Differences and Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X. Detail
ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, KINOSHITA Keisuke, HIGUCHI Takuya, OGAWA Atsunori and NAKATANI Tomohiro. Speaker-aware neural network based beamformer for speaker extraction in speech mixtures. In: Proceedings of Interspeech 2017. Stocholm: International Speech Communication Association, 2017, pp. 2655-2659. ISSN 1990-9772. Detail
KOČÍ Radek and JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software, vol. 10, no. 12, 2017, pp. 121-131. ISSN 1942-2628. Detail
ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Lecture Notes in Computer Science, vol. 10227. Heidelberg: Springer Verlag, 2017, pp. 302-309. ISBN 978-3-319-57287-1. Detail
SZURMAN Karel and KOTÁSEK Zdeněk. State Synchronization of Faulty Soft Core Processors in Reconfigurable TMR Architecture. In: Počítačové architektúry & diagnostika 2017. Smolenice: Slovak University of Technology in Bratislava, 2017, pp. 51-54. ISBN 978-80-972784-0-3. Detail
ŠLAPAL Josef. Structuring digital spaces by path-partition. In: Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications. Lecture Notes in Computer Science, vol. 10149. Berlin: Springer Verlag, 2017, pp. 43-55. ISBN 978-3-319-54608-7. ISSN 0302-9743. Detail
CRHA Adam, ŠIMEK Václav and RŮŽIČKA Richard. Synthesis tool for design of complex polymorphic circuits. In: 2017 12th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Palma de Mallorca: IEEE Circuits and Systems Society, 2017, pp. 149-154. ISBN 978-1-5090-6376-5. Detail
RYCHLÝ Marek and RYŠAVÝ Ondřej. TARZAN: An Integrated Platform for Security Analysis. In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. Annals of Computer Science and Information Systems, Volume 11. Praha: IEEE Computer Society, 2017, pp. 561-567. ISBN 978-83-946253-7-5. Detail
ŠLAPAL Josef. Terse walk sets in graphs and induced closure operators. Topology and Its Applications, vol. 230, no. 1, 2017, pp. 258-266. ISSN 0166-8641. Detail
ZEINALI Hossein, SAMETI Hossein, BURGET Lukáš and ČERNOCKÝ Jan. Text-dependent speaker verification based on i-vectors, Neural Networks and Hidden Markov Models. Computer Speech and Language, vol. 2017, no. 46, pp. 53-71. ISSN 0885-2308. Detail
NIKL Vojtěch, HRADECKÝ Michal, JAROŠ Jiří and KELEČÉNI Jakub. The investigation of the ARMv7 and Intel Haswell architectures suitability for performance and energy-aware computing. In: High Performance Computing. Lecture Notes in Computer Science, vol. 10266. Cham: Springer International Publishing, 2017, pp. 377-393. ISBN 978-3-319-58666-3. Detail
BAŘINA David, NAJMAN Pavel, KLEPÁRNÍK Petr, KULA Michal and ZEMČÍK Pavel. The Parallel Algorithm for the 2-D Discrete Wavelet Transform. In: Ninth International Conference on Graphic and Image Processing (ICGIP 2017). Qingdao: SPIE - the international society for optics and photonics, 2017, pp. 1-6. ISBN 978-1-5106-1741-4. ISSN 0277-786X. Detail
PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 81-82. ISBN 978-80-01-06178-7. Detail
RUDNITCKAIA Julia and HRUŠKA Tomáš. Time Series Analysis and Prediction Statistical Models for the Duration of the Ship Handling at an Oil Terminal. In: RELIABILITY and STATISTICS in TRANSPORTATION and COMMUNICATION. Lecture Notes in Networks and Systems. Riga: Springer International Publishing, 2017, pp. 127-136. ISBN 978-9984-818-86-3. ISSN 2367-3370. Detail
KESIRAJU Santosh, PAPPAGARI Raghavendra, ONDEL Yang Lucas Antoine Francois, BURGET Lukáš, DEHAK Najim, KHUDANPUR Sanjeev, ČERNOCKÝ Jan and GANGASHETTY Suryakanth V. Topic identification of spoken documents using unsupervised acoustic unit discovery. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 5745-5749. ISBN 978-1-5090-4117-6. Detail
MAREK Marcel, RYŠAVÝ Ondřej and VESELÝ Vladimír. Towards analysis of IP communication in a constrained environment of tactical radio networks. In: Proceedings of European Conference on the Engineering of Computer Based Systems. Larnaca: Association for Computing Machinery, 2017, pp. 50-57. ISBN 978-1-4503-4843-0. Detail
ŠIMEK Václav, NEVORAL Jan, CRHA Adam and RŮŽIČKA Richard. Towards Design Flow for Space-Efficient Implementation of Polymorphic Circuits Based on Ambipolar Components. ElectroScope, vol. 11, no. 1, 2017, pp. 1-10. ISSN 1802-4564. Detail
SOCHOR Jakub, JURÁNEK Roman and HEROUT Adam. Traffic Surveillance Camera Calibration by 3D Model Bounding Box Alignment for Accurate Vehicle Speed Measurement. Computer Vision and Image Understanding, vol. 2017, no. 161, pp. 87-98. ISSN 1077-3142. Detail
KARAFIÁT Martin, VESELÝ Karel, ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, WATANABE Shinji, BURGET Lukáš, ČERNOCKÝ Jan and SZŐKE Igor. Training Data Augmentation and Data Selection. New Era for Robust Speech Recognition: Exploiting Deep Learning. Computer Science, Artificial Intelligence. Heidelberg: Springer International Publishing, 2017, pp. 245-260. ISBN 978-3-319-64679-4. Detail
KRČMA Martin, LOJDA Jakub and KOTÁSEK Zdeněk. Triple Modular Redundancy Used in Field Programmable Neural Networks. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, pp. 1-6. ISBN 978-1-5386-3299-4. Detail
DVOŘÁK Michal, DRAHANSKÝ Martin, KEMPTER Guido, MOHELNÍKOVÁ Jitka, LUŽA Radim, RITTER Walter and KÜNZ Andreas. Usability and Quality of Light Sources for Households. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 125-133. ISBN 978-3-95853-316-5. Detail
MATERNA Zdeněk, KAPINUS Michal, BERAN Vítězslav and SMRŽ Pavel. Using Persona, Scenario, and Use Case to Develop a Human-Robot Augmented Reality Collaborative Workspace. In: ACM/IEEE International Conference on Human-Robot Interaction. Vídeň: Association for Computing Machinery, 2017, pp. 201-202. ISBN 978-1-4503-4885-0. Detail
KOČÍ Radek and JANOUŠEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, pp. 232-237. ISBN 978-1-61208-590-6. Detail
DRAHANSKÝ Martin, PERNICKÝ Radim, KANICH Ondřej and BAROTOVÁ Štěpánka. Verarbeitung von beschädigten Fingerabdrücken in der polizeilichen Praxis. DuD - Datenschutz und Datensicherheit, vol. 41, no. 7, 2017, pp. 407-414. ISSN 1614-0702. Detail
DIAS Ricardo J., FERREIRA Carla, FIEDOR Jan, LOURENCO Joao, SMRČKA Aleš, SOUSA Diogo J. and VOJNAR Tomáš. Verifying Concurrent Programs Using Contracts. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). Tokyo: Institute of Electrical and Electronics Engineers, 2017, pp. 196-206. ISBN 978-1-5090-6032-0. Detail
ŠLAPAL Josef. Walk-set induced connectedness in digital spaces. Carpathian Journal of Mathematics, vol. 33, no. 2, 2017, pp. 247-256. ISSN 1584-2851. Detail

2016

POLOK Lukáš, ILA Viorela S. and SMRŽ Pavel. 3D Reconstruction Quality Analysis and Its Acceleration on GPU Clusters. In: Proceedings of European Signal Processing Conference 2016. Budapest: Institute of Electrical and Electronics Engineers, 2016, pp. 1108-1112. ISBN 978-0-9928626-6-4. Detail
ŠLAPAL Josef. A categorical approach to convergence: compactness. Topology and Its Applications, vol. 201, no. 1, 2016, pp. 78-85. ISSN 0166-8641. Detail
IOSIF Radu, ROGALEWICZ Adam and VOJNAR Tomáš. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol. 9636. Heidelberg: Springer Verlag, 2016, pp. 71-89. ISBN 978-3-662-49673-2. Detail
PROCHOCKÁ Kristína. Aktuální zpráva o současném stavu softwaru pro zpracování komplexních událostí. Automa, vol. 2016, no. 12, pp. 34-37. ISSN 1210-9592. Detail
LOZANO Díez Alicia, SILNOVA Anna, MATĚJKA Pavel, GLEMBEK Ondřej, PLCHOT Oldřich, PEŠÁN Jan, BURGET Lukáš and GONZALEZ-RODRIGUEZ Joaquin. Analysis and Optimization of Bottleneck Features for Speaker Recognition. In: Proceedings of Odyssey 2016. Bilbao: International Speech Communication Association, 2016, pp. 352-357. ISSN 2312-2846. Detail
POSPÍŠIL Milan, BARTÍK Vladimír and HRUŠKA Tomáš. Analyzing Machine Performance Using Data Mining. In: 2016 IEEE Symposium on Computational Intelligence and Data Mining. Athens: Institute of Electrical and Electronics Engineers, 2016, pp. 1-7. ISBN 978-1-5090-4239-5. Detail
HRBÁČEK Radek, MRÁZEK Vojtěch and VAŠÍČEK Zdeněk. Automatic Design of Approximate Circuits by Means of Multi-Objective Evolutionary Algorithms. In: Proceedings of the 11th International Conference on Design & Technology of Integrated Systems in Nanoscale Era. Istanbul: Istanbul Sehir University, 2016, pp. 239-244. ISBN 978-1-5090-0335-8. Detail
DOLÍHAL Luděk and HRUŠKA Tomáš. Automatic job generation for compiler testing, Testing of generated compiler. In: Proceedings of The Eighth International Conference on Advances in System Testing and Validation Lifecycle. Řím: The International Academy, Research and Industry Association, 2016, pp. 1-6. ISBN 978-1-61208-500-5. Detail
GRÉZL František and KARAFIÁT Martin. Boosting Performance on Low-resource Languages by Standard Corpora: AN ANALYSIS. In: Proceeding of SLT 2016. San Diego: IEEE Signal Processing Society, 2016, pp. 629-636. ISBN 978-1-5090-4903-5. Detail
VEĽAS Martin, ŠPANĚL Michal and HEROUT Adam. Collar Line Segments for Fast Odometry Estimation from Velodyne Point Clouds. In: Proceedings of IEEE International Conference on Robotics and Automation. Stockholm: IEEE Computer Society, 2016, pp. 4486-4491. ISBN 978-1-4673-8025-6. Detail
KRČMA Martin, KOTÁSEK Zdeněk, LOJDA Jakub and KAŠTIL Jan. Comparsion of FPNNs models approximation capabilities and resources utilization. In: Proceedings of the Work in progress Session held in connection with DSD 2016. Limassol: Johannes Kepler University Linz, 2016, pp. 1-2. ISBN 978-3-902457-46-2. Detail
BROWN Michael D., JAROŠ Jiří, COX Ben T. and TREEBY Bradley E. Control of Broadband Optically Generated Ultrasound Pulses Using Binary Amplitude Holograms. Journal of the Acoustical Society of America, vol. 139, no. 4, 2016, pp. 1637-1647. ISSN 1520-8524. Detail
PACURA Dávid and DRAHANSKÝ Martin. CUDA Accelerated Real-time Digital Image Stabilization in a Video Stream. International Journal of Software Engineering and Its Applications, vol. 10, no. 6, 2016, pp. 113-124. ISSN 1738-9984. Detail
KANICH Ondřej and DRAHANSKÝ Martin. Currently Used Swipe Fingerprint Sensors. International Journal of Bio-Science and Bio-Technology, vol. 8, no. 1, 2016, pp. 381-386. ISSN 2233-7849. Detail
ZEINALI Hossein, BURGET Lukáš, SAMETI Hossein, GLEMBEK Ondřej and PLCHOT Oldřich. Deep Neural Networks and Hidden Markov Models in i-vector-based Text-Dependent Speaker Verification. In: Proceedings of Odyssey 2016, The Speaker and Language Recognition Workshop. Bilbao: International Speech Communication Association, 2016, pp. 24-30. ISSN 2312-2846. Detail
MRÁZEK Vojtěch, SARWAR Syed Shakib, SEKANINA Lukáš, VAŠÍČEK Zdeněk and ROY Kaushik. Design of Power-Efficient Approximate Multipliers for Approximate Artificial Neural Networks. In: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design. Austin, TX: Association for Computing Machinery, 2016, pp. 811-817. ISBN 978-1-4503-4466-1. Detail
BAROTOVÁ Štěpánka, DRAHANSKÝ Martin and PERNICKÝ Radim. Detection of Ridge Damages in Fingerprint Recognition Caused by Skin Diseases. International Journal of Signal Processing, Image Processing and Pattern Recognition, vol. 9, no. 11, 2016, pp. 125-146. ISSN 2005-4254. Detail
SAGHA Hesam, MATĚJKA Pavel, GAVRYUOKOVA Maryna, POVOLNÝ Filip, MARCHI Erik and SCHULLER Björn W. Enhancing multilingual recognition of emotion in speech by language identification. In: 17TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION - Proceedings (INTERSPEECH 2016). San Francisco: International Speech Communication Association, 2016, pp. 2949-2953. ISSN 1990-9772. Detail
SÁNCHEZ-CLEMENTE Antonio José, ENTRENA Luis, HRBÁČEK Radek and SEKANINA Lukáš. Error Mitigation using Approximate Logic Circuits: A Comparison of Probabilistic and Evolutionary Approaches. IEEE Transactions on Reliability, vol. 65, no. 4, 2016, pp. 1871-1883. ISSN 0018-9529. Detail
BARTOŠ Václav and KOŘENEK Jan. Evaluating Reputation of Internet Entities. In: Management and Security in the Age of Hyperconnectivity. Lecture Notes in Computer Science, vol. 9701. Munich: Springer International Publishing, 2016, pp. 132-136. ISBN 978-3-319-39813-6. Detail
PŘIBYL Bronislav, CHALMERS Alan, ZEMČÍK Pavel, HOOBERMAN Lucy and ČADÍK Martin. Evaluation of Feature Point Detection in High Dynamic Range Imagery. Journal of Visual Communication and Image Representation, vol. 38, no. 1, 2016, pp. 141-160. ISSN 1047-3203. Detail
BIDLO Michal. Evolution of Generic Square Calculations in Cellular Automata. In: Proceedings of the 8th International Joint Conference on Computational Intelligence - Volume 3: ECTA. Porto: SciTePress - Science and Technology Publications, 2016, pp. 94-102. ISBN 978-989-758-201-1. Detail
VAŠÍČEK Zdeněk, MRÁZEK Vojtěch and SEKANINA Lukáš. Evolutionary Functional Approximation of Circuits Implemented into FPGAs. In: 2016 IEEE Symposium Series on Computational Intelligence. Athens: Institute of Electrical and Electronics Engineers, 2016, pp. 1-8. ISBN 978-1-5090-4240-1. Detail
VAVERKA Filip, HRBÁČEK Radek and SEKANINA Lukáš. Evolving Component Library for Approximate High Level Synthesis. In: 2016 IEEE Symposium Series on Computational Intelligence. Athens: IEEE Computational Intelligence Society, 2016, pp. 1-8. ISBN 978-1-5090-4240-1. Detail
DRAHANSKÝ Martin, KANICH Ondřej, BŘEZINOVÁ Eva and SHINODA Koichi. Experiments with optical properties of skin on fingers. International Journal of Optics and Applications, vol. 2016, no. 2, pp. 37-46. ISSN 2168-5053. Detail
PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub and KOTÁSEK Zdeněk. Functional Verification as a Tool for Monitoring Impact of Faults in SRAM-based FPGAs. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 293-294. ISBN 978-1-5090-5602-6. Detail
PODIVÍNSKÝ Jakub. Funkční verifikace jako nástroj pro sledování vlivu poruch na elektro-mechanický systém. In: Počítačové architektury a diagnostika PAD 2016. Bořetice - Kraví Hora: Faculty of Information Technology BUT, 2016, pp. 101-104. ISBN 978-80-214-5376-0. Detail
BÁRTA Milan and DRAHANSKÝ Martin. Generation of Skin Diseases into Synthetic Fingerprints. International Journal of Image Processing, vol. 10, no. 5, 2016, pp. 229-248. ISSN 1985-2304. Detail
ČEKAN Ondřej. Generování testovacích stimulů. In: Počítačové architektury a diagnostika PAD 2016. Bořetice - Kraví Hora: Faculty of Information Technology BUT, 2016, pp. 97-100. ISBN 978-80-214-5376-0. Detail
CHARVÁT Lukáš, SMRČKA Aleš and VOJNAR Tomáš. Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016). Electronic Proceedings in Theoretical Computer Science, vol. 2016. Brno: Faculty of Informatics MU, 2016, pp. 87-93. ISBN 978-80-210-8362-2. ISSN 2075-2180. Detail
ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Hexapod Robot: Test Platform for Bio-Inspired Controllers. In: Proceedings of the 2016 17th International Carpathian Control Conference, ICCC 2016. Tatranská Lomnica: The University of Technology Košice, 2016, pp. 819-824. ISBN 978-1-4673-8606-7. Detail
ZEMČÍK Pavel, MUSIL Petr and MUSIL Martin. High Dynamic Range Video; Concepts, Technologies and Applications. High Dynamic Range Video, 1st Edition. London: Elsevier Science, 2016, pp. 145-154. ISBN 978-0-12-809477-8. Detail
LOJDA Jakub, PODIVÍNSKÝ Jakub, KRČMA Martin and KOTÁSEK Zdeněk. HLS-based Fault Tolerance Approach for SRAM-based FPGAs. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 301-302. ISBN 978-1-5090-5602-6. Detail
ZEINALI Hossein, SAMETI Hossein, BURGET Lukáš, ČERNOCKÝ Jan, MAGHSOODI Nooshin and MATĚJKA Pavel. i-vector/HMM Based Text-dependent Speaker Verification System for RedDots Challenge. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, pp. 440-444. ISBN 978-1-5108-3313-5. Detail
BREITENBACHER Dominik, HOMOLIAK Ivan, JAROŠ Jiří and HANÁČEK Petr. Impact of Optimization and Parallelism on Factorization Speed of SIQS. In: Proceedings of The 20th World Multi-Conference on Systemics, Cybernetics and Informatics. WMSCI 2016 - 20th World Multi-Conference on Systemics, Cybernetics and Informatics, Proceedings, vol. 1. Orlando: The International Institute of Informatics and Systemics, 2016, pp. 55-62. ISBN 978-1-941763-47-6. ISSN 1690-4524. Detail
KRČMA Martin, KOTÁSEK Zdeněk and LOJDA Jakub. Implementation of Fault Tolerant Techniques into FPNNs. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 297-298. ISBN 978-1-5090-5602-6. Detail
DYTRYCH Jaroslav and SMRŽ Pavel. Interaction Patterns in Computer-assisted Semantic Annotation of Text - An Empirical Evaluation. In: Proceedings of the 8th International Conference on Agents and Artificial Intelligence. Volume 2: ICAART. Setúbal: SciTePress - Science and Technology Publications, 2016, pp. 74-84. ISBN 978-989-758-172-4. Detail
KESIRAJU Santosh, BURGET Lukáš, SZŐKE Igor and ČERNOCKÝ Jan. Learning document representations using subspace multinomial model. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, pp. 700-704. ISBN 978-1-5108-3313-5. Detail
MALČÍK Dominik and DRAHANSKÝ Martin. Microscopic Analysis of Chips. International Journal of Security and Its Applications, vol. 2016, no. 11, pp. 47-66. ISSN 1738-9976. Detail
STRNADEL Josef. Modeling and Analysis of Fault-Tolerant Systems by Means of UPPAAL SMC: Method and Benefits. In: Informal Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Bratislava: Slovak University of Technology in Bratislava, 2016, pp. 32-37. ISBN 978-80-8086-256-5. Detail
KOČÍ Radek and JANOUŠEK Vladimír. Modeling System Requirements Using Use Cases and Petri Nets. In: ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances. Řím: Xpert Publishing Services, 2016, pp. 160-165. ISBN 978-1-61208-498-5. Detail
KARAFIÁT Martin, BASKAR Murali K., MATĚJKA Pavel, VESELÝ Karel, GRÉZL František and ČERNOCKÝ Jan. Multilingual BLSTM and Speaker-Specific Vector Adaptation in 2016 BUT BABEL SYSTEM. In: Proceedings of SLT 2016. San Diego: IEEE Signal Processing Society, 2016, pp. 637-643. ISBN 978-1-5090-4903-5. Detail
STRNADEL Josef and RIŠA Michal. On Analysis of Software Interrupt Limiters for Embedded Systems by Means of UPPAAL SMC. In: Proceedings of the 24th Austrian Workshop on Microelectronics. Villach: IEEE Computer Society Press, 2016, pp. 45-50. ISBN 978-1-5090-1040-0. Detail
STRNADEL Josef. On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer International Publishing, 2016, pp. 166-181. ISBN 978-3-319-47166-2. ISSN 0302-9743. Detail
KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. On Double-Jumping Finite Automata. In: Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). books@ocg.at 321. Wien: Austrian Computer Society, 2016, pp. 195-210. ISBN 978-3-903035-10-2. Detail
HRANICKÝ Radek, HOLKOVIČ Martin, MATOUŠEK Petr and RYŠAVÝ Ondřej. On Efficiency of Distributed Password Recovery. The Journal of Digital Forensics, Security and Law, vol. 11, no. 2, 2016, pp. 79-95. ISSN 1558-7215. Detail
LOPEZ-MORENO Ignacio, GONZALEZ-DOMINGUEZ Javier, MARTÍNEZ González David, PLCHOT Oldřich, GONZALEZ-RODRIGUEZ Joaquin and MORENO Pedro. On the use of deep feedforward neural networks for automatic language identification. Computer Speech and Language, vol. 2016, no. 40, pp. 46-59. ISSN 0885-2308. Detail
ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Overview of Bio-Inspired Control Mechanisms for Hexapod Robot. International Journal of Computer Information Systems and Industrial Management Applications, vol. 2016, no. 8, pp. 125-134. ISSN 2150-7988. Detail
BRÁZDOVÁ Marie, TICHÝ Vlastimil, HELMA Robert, BAŽANTOVÁ Pavla, POLÁŠKOVÁ Alena, KREJČÍ Aneta, PETR Marek, NAVRÁTILOVÁ Lucie, TICHÁ Olga, NEJEDLÝ Karel, BENNINK Martin L., SUBRAMANIAM Vinod, BÁBKOVÁ Zuzana, MARTÍNEK Tomáš, LEXA Matej and ADÁMIK Matej. p53 Specifically Binds Triplex DNA In Vitro and in Cells. PLoS ONE, vol. 11, no. 12, 2016, pp. 1-25. ISSN 1932-6203. Detail
KOŘENEK Jan and VIKTORIN Jan. Packet Processing on FPGA SoC with DPDK. In: 26th International Conference on Field-Programmable Logic and Applications. Lausanne: École Polytechnique Fédérale de Lausanne, 2016, pp. 578-579. ISBN 978-2-8399-1844-2. Detail
KOCINA Filip, KUNOVSKÝ Jiří, NEČASOVÁ Gabriela, ŠÁTEK Václav and VEIGEND Petr. Parallel solution of higher order differential equations. In: Proceedings of the 2016 International Conference on High Performance Computing & Simulation (HPCS 2016). Insbruck: Institute of Electrical and Electronics Engineers, 2016, pp. 302-309. ISBN 978-1-5090-2088-1. Detail
ALDEGHERI Stefano, BARNAT Jiří, BOMBIERI Nicola, BUSATO Federico and ČEŠKA Milan. Parametric Multi-Step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components. In: Proceedings of 2nd Workshop on Performance Engineering for Large Scale Graph Analytics. Lecture Notes in Computer Science, vol. 10104. Cham: Springer Verlag, 2016, pp. 519-531. ISBN 978-3-319-58942-8. Detail
HYNEK Jiří and HRUŠKA Tomáš. Pixel-Based Analysis of Information Dashboard Attributes. In: New Trends in Databases and Information Systems. Volume 637 of the series Communications in Computer and Information Science, vol. 9. CH: Springer International Publishing, 2016, pp. 29-36. ISBN 978-3-319-44065-1. ISSN 1865-0929. Detail
ČEŠKA Milan, DANNENBERG Frits, KWIATKOWSKA Marta, PAOLETTI Nicola and BRIM Luboš. Precise parameter synthesis for stochastic biochemical systems. Acta Informatica, vol. 54, no. 6, 2016, pp. 589-623. ISSN 0001-5903. Detail
HOLÍK Lukáš, KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika, TRTÍK Marek and VOJNAR Tomáš. Predator Shape Analysis Tool Suite. In: Proceedings of HVC 2016. Lecture Notes in Computer Science, vol. 10028. Zurich: Springer International Publishing, 2016, pp. 202-209. ISBN 978-3-319-49052-6. Detail
ČEKAN Ondřej, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Random Stimuli Generation Based on a Stochastic Context-Free Grammar. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 295-296. ISBN 978-1-5090-5602-6. Detail
ZACHARIÁŠOVÁ Marcela, BELEŠOVÁ Michaela and KOTÁSEK Zdeněk. Regression Test Suites Optimization for Application-specific Instruction-set Processors and Their Use for Dependability Analysis. In: Proceedings of the 19th Euromicro Conference on Digital Systems Design. Limassol Cyprus: IEEE Computer Society, 2016, pp. 380-387. ISBN 978-1-5090-2816-0. Detail
PEŠÁN Jan, BURGET Lukáš and ČERNOCKÝ Jan. Sequence Summarizing Neural Networks for Spoken Language Recognition. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, pp. 3285-3289. ISBN 978-1-5108-3313-5. Detail
RIŠA Michal. Scheduling and Synchronization on Multicores. In: Sborník příspěvků Česko-slovenského semináře pro studenty doktorského studia Počítačové architektury & diagnostika. Brno: Faculty of Information Technology BUT, 2016, pp. 10-13. ISBN 978-80-214-5376-0. Detail
MATERNA Zdeněk, KAPINUS Michal, ŠPANĚL Michal, BERAN Vítězslav and SMRŽ Pavel. Simplified Industrial Robot Programming: Effects of Errors onMultimodal Interaction in WoZ experiment. In: 25th IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2016. New York City: Institute of Electrical and Electronics Engineers, 2016, pp. 200-205. ISBN 978-1-5090-3929-6. Detail
DALECKÝ Štěpán, SNÁŠELOVÁ Petra, LUŽA Radim, ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. SmartMowers as a Part of a SmartCity. In: Proceedings of the 2016 17th International Carpathian Control Conference, ICCC 2016. Tatranská Lomnica: The University of Technology Košice, 2016, pp. 156-160. ISBN 978-1-4673-8606-7. Detail
ČEKAN Ondřej and KOTÁSEK Zdeněk. Software-implemented Fault-Tolerant Program Generation. Proceedings of the 4th Prague Embedded Systems Workshop. Roztoky u Prahy, 2016. ISBN 978-80-01-05984-5. Detail
HOLÍK Lukáš, MEYER Roland and MUSKALLA Sebastian. Summaries for Context-Free Games. In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016). Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, pp. 41-57. ISBN 978-3-95977-027-9. Detail
SZURMAN Karel, MIČULKA Lukáš and KOTÁSEK Zdeněk. Towards a State Synchronization Methodology for Recovery Process after Partial Reconfiguration of Fault Tolerant Systems. Proceedings of the 4th Prague Embedded Systems Workshop. Roztoky u Prahy, 2016. ISBN 978-80-01-05984-5. Detail
PLASCENCIA Alfredo C. and ROZMAN Jaroslav. Towards a User-Wheelchair Shared Control Paradigm for Individuals with Severe Motor Impairments. In: ICINCO 2016 13th International Conference on Informatics in Control, Automation and Robotics. Lisabon: Institute for Systems and Technologies of Information, Control and Communication, 2016, pp. 246-253. ISBN 978-989-758-198-4. Detail
YANUSHKEVICH Svetlana, EASTWOOD Shawn C., DRAHANSKÝ Martin and SHMERKO Vlad. P. Understanding and taxonomy of uncertainty in modeling, simulation, and risk profiling for border control automation. Journal of Defence Modeling and Simulation, vol. 15, no. 1, 2016, pp. 95-109. ISSN 1548-5129. Detail
ZAPLETAL Dominik and HEROUT Adam. Vehicle Re-Identification for Automatic Video Traffic Surveillance. In: International Workshop on Automatic Traffic Surveillance (CVPR 2016). Las Vegas: IEEE Computer Society, 2016, pp. 1568-1574. ISBN 978-0-7695-4989-7. Detail
PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub and KOTÁSEK Zdeněk. Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems. In: Proceedings of the 19th Euromicro Conference on Digital Systems Design. Limassol: IEEE Computer Society, 2016, pp. 487-494. ISBN 978-1-5090-2816-0. Detail
KOTÁSEK Zdeněk and PODIVÍNSKÝ Jakub. Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems. Proceedings of the 4th Prague Embedded Systems Workshop. Roztoky u Prahy, 2016. Detail
OTRUSINA Lubomír and SMRŽ Pavel. WTF-LOD - A New Resource for Large-Scale NER Evaluation. In: Proceedings of the Tenth conference on International Language Resources and Evaluation (LREC'16). Portorož: European Language Resources Association, 2016, pp. 3299-3302. ISBN 978-2-9517408-9-1. Detail
SZŐKE Igor and ANGUERA Xavier. Zero-Cost Speech Recognition Task at Mediaeval 2016. In: CEUR Workshop Proceedings. Hilversum: CEUR-WS.org, 2016, pp. 1-3. ISSN 1613-0073. Detail

Products