Project Details

IT4Innovations excellence in science

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

Project Type: grant

Code: LQ1602

Agency: Ministerstvo školství, mládeže a tělovýchovy ČR

Program: Národní program udržitelnosti II

English title
IT4Innovations excellence in science
Type
grant
Keywords

information technology, security, safety

Abstract

The main goal of the project is to continue in research activities succesfully established within the OP R&D&I project entitled Centre of excellence IT4Innovations. Further increase of scientific excellence and international impact in High Performance Computing, Cyber-Physical Systems and related scientific disciplines like informatics, mathematics, biomedicine, engineering or earth sciences are essential parts of this goal. The integral part of this goal is intensive use of installed supercomputing infrastructure that ranks the centre among the top European HPC centres as well as development of HPC applications for its efficient use. This infrastructure is recognized as Large national infrastructure of the Czech Republic - IT4Innovations National Supercomputing Center - listed in the Roadmap of Large infrastructures for research, experimental development and innovations of the Czech Republic. Due to this fact the research team has opportunity to access the top research infrastructure. This potential will be exploited to increase quality of R&D results and to establish new collaborations with other important national and international research institutions and mainly with applied sector. Further human resource development will be gauranteed supporting educational and dissemination activities in the research area of the centre. Scientific excellence, strategic partnership with public and private sector and human resources development are the main cornerstones of the long term sustainability of the centre's research activities, that will be supported by IT4I XS project.

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

2023

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

2020

  • BIDLO, M.; DOBEŠ, M. Evolutionary Development of Growing Generic Sorting Networks by Means of Rewriting Systems. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2020, vol. 24, no. 2, p. 232-244. ISSN: 1089-778X. Detail
  • BURGET, L.; GLEMBEK, O.; LOZANO DÍEZ, A.; MATĚJKA, P.; NOVOTNÝ, O.; PLCHOT, O.; PULUGUNDLA, B.; ROHDIN, J.; SILNOVA, A.; VESELÝ, K. BUT System Description to SdSV Challenge 2020. Proceedings of Short-duration Speaker Verification Challenge 2020 Workshop. Shanghai, on-line event of Interspeech 2020 Conference: 2020. p. 1-5. Detail
  • DOBEŠ, P.; ŠPAŇHEL, J.; BARTL, V.; JURÁNEK, R.; HEROUT, A. Density-Based Vehicle Counting with Unsupervised Scale Selection. In Digital Image Computing: Techniques and Applications 2020. Melbourne: Institute of Electrical and Electronics Engineers, 2020. p. 1-8. ISBN: 978-1-7281-9108-9. Detail
  • HRANICKÝ, R.; ZOBAL, L.; RYŠAVÝ, O.; KOLÁŘ, D.; MIKUŠ, D. Distributed PCFG Password Cracking. In Computer Security - ESORICS 2020. Lecture notes in Computer Science. Guildford: Springer Nature Switzerland AG, 2020. p. 701-719. ISBN: 978-3-030-58950-9. Detail
  • HRUŠKA, M.; CHALUPA, M.; JAŠEK, T.; STREJČEK, J.; ŠOKOVÁ, V.; VOJNAR, T.; AYAZIOVÁ, P.; TOMOVIČ, L. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science. Cham: Springer International Publishing, 2020. p. 413-417. ISBN: 978-3-030-45236-0. Detail
  • MEDUNA, A.; HORÁČEK, P.; TOMKO, M. Handbook of Mathematical Models for Languages and Computation. Stevenage, United Kingdom: The Institution of Engineering and Technology, 2020. 761 p. ISBN: 978-1-78561-659-4. Detail
  • PODIVÍNSKÝ, J.; ČEKAN, O.; KRČMA, M.; BURGET, R.; HRUŠKA, T.; KOTÁSEK, Z. 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. p. 1-4. ISBN: 978-1-7281-3427-7. Detail
  • PODIVÍNSKÝ, J.; LOJDA, J.; PÁNEK, R.; ČEKAN, O.; KRČMA, M.; KOTÁSEK, Z. 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. p. 1-4. ISBN: 978-1-7281-3427-7. Detail
  • ŠOKOVÁ, V.; PERINGER, P.; VOJNAR, T. 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. Cham: Springer International Publishing, 2020. p. 408-412. ISBN: 978-3-030-45236-0. Detail
  • ŽMOLÍKOVÁ, K.; KOCOUR, M.; LANDINI, F.; BENEŠ, K.; KARAFIÁT, M.; VYDANA, H.; LOZANO DÍEZ, A.; PLCHOT, O.; BASKAR, M.; ŠVEC, J.; MOŠNER, L.; MALENOVSKÝ, V.; BURGET, L.; YUSUF, B.; NOVOTNÝ, O.; GRÉZL, F.; SZŐKE, I.; ČERNOCKÝ, J. BUT System for CHiME-6 Challenge. Proceedings of CHiME 2020 Virtual Workshop. Barcelona: University of Sheffield, 2020. p. 1-3. Detail

2019

  • ALAM, J.; BOULIANNE, G.; BURGET, L.; GLEMBEK, O.; LOZANO DÍEZ, A.; MATĚJKA, P.; MIZERA, P.; MOŠNER, L.; NOVOTNÝ, O.; PLCHOT, O.; ROHDIN, J.; SILNOVA, A.; SLAVÍČEK, J.; STAFYLAKIS, T.; WANG, S.; ZEINALI, H.; DAHMANE, M.; ST-CHARLES, P.; LALONDE, M.; NOISEUX, C.; MONTEIRO, J. ABC System Description for NIST Multimedia Speaker Recognition Evaluation 2019. Proceedings of NIST 2019 SRE Workshop. Sentosa, Singapore: National Institute of Standards and Technology, 2019. p. 1-7. Detail
  • ALAM, J.; BOULIANNE, G.; GLEMBEK, O.; LOZANO DÍEZ, A.; MATĚJKA, P.; MIZERA, P.; MONTEIRO, J.; MOŠNER, L.; NOVOTNÝ, O.; PLCHOT, O.; ROHDIN, J.; SILNOVA, A.; SLAVÍČEK, J.; STAFYLAKIS, T.; WANG, S.; ZEINALI, H. ABC NIST SRE 2019 CTS System Description. Proceedings of NIST. Sentosa, Singapore: National Institute of Standards and Technology, 2019. p. 1-6. Detail
  • BISWAS, S.; ROHDIN, J.; MŇUK, T.; DRAHANSKÝ, M. 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. p. 71-82. ISBN: 978-3-88579-690-9. Detail
  • BORDOVSKÝ, G. Photoacoustic Reconstruction with Progressive Grid Refinement. Ostrava: 2019. Detail
  • DVOŘÁK, M.; DRAHANSKÝ, M.; ABDULLA BARAZANCHI, W. On-the-fly fingerprint acquisition method. Materials Science and Engineering. Praha: Asia Society of Researchers, 2019. p. 1-6. Detail
  • HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). Ithaca: 2019. p. 1-25. Detail
  • HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019. p. 1-19. Detail
  • KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T. PredatorHP Attacks Interval-Sized Regions. Ithaca: 2019. p. 1-4. Detail
  • ZEINALI, H.; WANG, S.; SILNOVA, A.; MATĚJKA, P.; PLCHOT, O. BUT System Description to VoxCeleb Speaker Recognition Challenge 2019. Proceedings of The VoxCeleb Challange Workshop 2019. Graz: 2019. p. 1-4. Detail

2018

  • ALAM, J.; BHATTACHARYA, G.; BRUMMER, J.; BURGET, L.; DIEZ SÁNCHEZ, M.; GLEMBEK, O.; KENNY, P.; KLČO, M.; LANDINI, F.; LOZANO DÍEZ, A.; MATĚJKA, P.; MONTEIRO, J.; MOŠNER, L.; NOVOTNÝ, O.; PLCHOT, O.; PROFANT, J.; ROHDIN, J.; SILNOVA, A.; SLAVÍČEK, J.; STAFYLAKIS, T.; ZEINALI, H. ABC NIST SRE 2018 SYSTEM DESCRIPTION. Proceedings of 2018 NIST SRE Workshop. Athens: National Institute of Standards and Technology, 2018. p. 1-10. Detail
  • BENEŠ, K.; KESIRAJU, S.; BURGET, L. i-vectors in language modeling: An efficient way of domain adaptation for feed-forward models. In Proceedings of Interspeech 2018. Proceedings of Interspeech. Hyderabad: International Speech Communication Association, 2018. p. 3383-3387. ISSN: 1990-9772. Detail
  • BORDOVSKÝ, G. Challenges In the Computer Photoacoustic Tomograpy Using the k-Wave Toolbox. Počítačové architektúry & diagnostika PAD 2018. Plzeň: University of West Bohemia in Pilsen, 2018. p. 49-52. ISBN: 978-80-261-0814-6. Detail
  • BORDOVSKÝ, G.; COX, B.; JAROŠ, J. Photoacoustic Tomography Using the k-Wave Toolbox. Ostrava: 2018. p. 1 (1 s.). Detail
  • BRUMMER, J.; SILNOVA, A.; BURGET, L.; STAFYLAKIS, T. Gaussian meta-embeddings for efficient scoring of a heavy-tailed PLDA model. In Proceedings of Odyssey 2018. Proceedings of Odyssey: The Speaker and Language Recognition Workshop Odyssey 2014, Joensuu, Finland. Les Sables d'Olonne: International Speech Communication Association, 2018. p. 349-356. ISSN: 2312-2846. Detail
  • CABAL, J.; BENÁČEK, P.; KEKELY, L.; KEKELY, M.; PUŠ, V.; KOŘENEK, J. 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. p. 249-258. ISBN: 978-1-4503-5614-5. Detail
  • ČADÍK, M.; SÝKORA, D.; LEE, S. Automated outdoor depth-map generation and alignment. COMPUTERS & GRAPHICS-UK, 2018, vol. 74, no. 3, p. 109-118. ISSN: 0097-8493. Detail
  • ČEKAN, O.; KOTÁSEK, Z. Random Test Generation Through a Probabilistic Constrained Grammar. INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapešť: 2018. p. 5-8. Detail
  • ČEKAN, O.; PÁNEK, R.; KOTÁSEK, Z. 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. p. 331-336. ISBN: 978-1-5386-5710-2. Detail
  • ČEKAN, O.; PODIVÍNSKÝ, J.; KOTÁSEK, Z. Program Generation Through a Probabilistic Constrained Grammar. In Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018. Praha: IEEE Computer Society, 2018. p. 214-220. ISBN: 978-1-5386-7376-8. Detail
  • ČEŠKA, M.; HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. In Proceedings of TACAS'18. Lecture Notes in Computer Science. Thessaloniki: Springer Verlag, 2018. p. 155-175. ISSN: 0302-9743. Detail
  • ČEŠKA, M.; MATYÁŠ, J.; MRÁZEK, V.; VAŠÍČEK, Z.; SEKANINA, L.; VOJNAR, T. ADAC: Automated Design of Approximate Circuits. In Proceedings of 30th International Conference on Computer Aided Verification (CAV'18). Oxford, UK: Springer International Publishing, 2018. p. 612-620. ISBN: 978-3-319-96145-3. Detail
  • CHARVÁT, L.; MEDUNA, A. A Reduction of Finitely Expandable Deep Pushdown Automata. Schedae Informaticae, 2018, vol. 2017, no. 26, p. 61-68. ISSN: 0860-0295. Detail
  • CHARVÁT, L.; MEDUNA, A. Internally Expandable Pushdown Automata and Their Computational Completeness. Romanian Journal of Information Science and Technology (ROMJIST), 2018, vol. 21, no. 3, p. 232-237. ISSN: 1453-8245. Detail
  • CHARVÁT, M.; DRAHANSKÝ, M. Detecting and Locating People Using Low-Cost Thermal Imaging Camera. Beiträge zum Usability Day XVI - Assistenztechnologien in der Arbeitswelt. Dornbirn: Pabst Science Publishers, 2018. p. 41-51. ISBN: 978-3-95853-405-6. Detail
  • CHO, J.; BASKAR, M.; LI, R.; WIESNER, M.; MALLIDI, S.; YALTA, N.; KARAFIÁT, M.; WATANABE, S.; HORI, T. 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. p. 521-527. ISBN: 978-1-5386-4334-1. Detail
  • CRHA, A.; ŠIMEK, V.; RŮŽIČKA, R. 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. p. 1-2. ISBN: 978-1-5386-5290-9. Detail
  • DELCROIX, M.; ŽMOLÍKOVÁ, K.; KINOSHITA, K.; OGAWA, A.; NAKATANI, T. Single Channel Target Speaker Extraction and Recognition with Speaker Beam. In Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018. p. 5554-5558. ISBN: 978-1-5386-4658-8. Detail
  • DIEZ SÁNCHEZ, M.; BURGET, L.; MATĚJKA, P. Speaker Diarization based on Bayesian HMM with Eigenvoice Priors. In Proceedings of Odyssey 2018. Proceedings of Odyssey: The Speaker and Language Recognition Workshop Odyssey 2014, Joensuu, Finland. Les Sables d´Olonne: International Speech Communication Association, 2018. p. 147-154. ISSN: 2312-2846. Detail
  • DIEZ SÁNCHEZ, M.; LANDINI, F.; BURGET, L.; ROHDIN, J.; SILNOVA, A.; ŽMOLÍKOVÁ, K.; NOVOTNÝ, O.; VESELÝ, K.; GLEMBEK, O.; PLCHOT, O.; MOŠNER, L.; MATĚJKA, P. BUT system for DIHARD Speech Diarization Challenge 2018. In Proceedings of Interspeech 2018. Proceedings of Interspeech. Hyderabad: International Speech Communication Association, 2018. p. 2798-2802. ISSN: 1990-9772. Detail
  • DRAHANSKÝ, M. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018. 430 p. ISBN: 978-1-78561-224-4. Detail
  • DRAHANSKÝ, M. Recognition of Eye Characteristics. In Machine Learning and Biometrics. London: InTech - Open Access Publisher, 2018. p. 7-35. ISBN: 978-1-78923-590-6. Detail
  • DRAHANSKÝ, M.; KANICH, O.; DVOŘÁK, M. Spoofing methods in hand-based biometrics. In Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018. p. 367-398. ISBN: 978-1-78561-224-4. Detail
  • DRAHANSKÝ, M.; PERNICKÝ, R.; KANICH, O. Fingerprint spoofing. Wiesbaden: Federal Criminal Office, 2018. p. 1-73. Detail
  • DRAHANSKÝ, M.; YANUSHKEVICH, S. General introduction. In Hand-Based Biometrics: Methods and technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018. p. 1-17. ISBN: 978-1-78561-224-4. Detail
  • DVOŘÁK, M.; DRAHANSKÝ, M. 3D Hand Geometry Recognition. In Biometric-Based Physical and Cybersecurity Systems. Cham: Springer International Publishing, 2018. p. 103-123. ISBN: 978-3-319-98733-0. Detail
  • DVOŘÁK, M.; DRAHANSKÝ, M. Hand shape recognition and palm-print recognition using 2D and 3D features. In Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018. p. 283-307. ISBN: 978-1-78561-224-4. Detail
  • DYTRYCH, J.; SMRŽ, P. Advanced User Interfaces for Semantic Annotation of Complex Relations in Text. In Agents and Artificial Intelligence. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018. p. 205-221. ISBN: 978-3-319-93581-2. ISSN: 0302-9743. Detail
  • EGOROVA, E.; BURGET, L. 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. p. 5919-5923. ISBN: 978-1-5386-4658-8. Detail
  • FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F. From Shapes to Amortized Complexity. In Proceedings of VMCAI'18. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2018. p. 205-225. ISBN: 978-3-319-73720-1. ISSN: 0302-9743. Detail
  • HÁJEK, J.; DRAHANSKÝ, M. Recognition-Based on Eye Biometrics: Iris and Retina. In Biometric-Based Physical and Cybersecurity Systems. Cham: Springer International Publishing, 2018. p. 37-102. ISBN: 978-3-319-98733-0. Detail
  • HEIDARI, M.; DRAHANSKÝ, M. Detection of Ridge Discontinuities in Fingerprint Recognition Influenced by Skin Diseases. International Journal of Advanced Science and Technology, 2018, vol. 116, no. 116, p. 13-22. ISSN: 2005-4238. Detail
  • HEIDARI, M.; GOLDMANN, T.; DVOŘÁK, M.; DRAHANSKÝ, M. Antispoofing and multispectral (optical) methods in hand-based biometrics. In Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018. p. 337-365. ISBN: 978-1-78561-224-4. Detail
  • HEIDARI, M.; KANICH, O.; DRAHANSKÝ, M. Processing of fingerprints influenced by skin diseases. In Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018. p. 135-168. ISBN: 978-1-78561-224-4. Detail
  • HLOSTA, M.; ZDRÁHAL, Z.; ZENDULKA, J. Are we meeting a deadline? classification goal achievement in time in the presence of imbalanced data. KNOWLEDGE-BASED SYSTEMS, 2018, vol. 2018, no. 160, p. 278-295. ISSN: 0950-7051. Detail
  • HOLGATE, D.; ŠLAPAL, J. Closure, interior and neighbourhood in a category. HACETTEPE JOURNAL OF MATHEMATICS AND STATISTICS, 2018, vol. 47, no. 6, p. 1512-1520. ISSN: 1303-5010. Detail
  • HOLÍK, L.; HOLÍKOVÁ, L. Towards Smaller Invariants for Proving Coverability. In Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2018. p. 109-116. ISBN: 978-3-319-74727-9. Detail
  • HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. String constraints with concatenation and transducers solved efficiently. Proceedings of the ACM on Programming Languages, 2018, vol. 2, no. 2, p. 96-127. ISSN: 2475-1421. Detail
  • HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca: 2018. p. 1-23. Detail
  • HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M. Simulation Algorithms for Symbolic Automata. In Proc. of 16th International Symposium on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2018. p. 109-125. ISBN: 978-3-030-01089-8. ISSN: 0302-9743. Detail
  • HON, J.; MARUŠIAK, M.; MARTÍNEK, T.; ZENDULKA, J.; BEDNÁŘ, D.; DAMBORSKÝ, J. SoluProt: Prediction of Protein Solubility. DAZ & WIKT 2018 Proceedings. Brno: Brno University of Technology, 2018. p. 261-265. ISBN: 978-80-214-5679-2. Detail
  • HRUŠKA, M.; MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T. Template-Based Verification of Heap-Manipulating Programs. In Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2018. p. 103-111. ISBN: 978-0-9835678-8-2. Detail
  • HYNEK, J.; HRUŠKA, T. Application of Object-Based Metrics for Recognition of Well-Designed Dashboards. INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, 2018, vol. 35, no. 13, p. 1203-1215. ISSN: 1044-7318. Detail
  • JAROŠ, M.; TREEBY, B.; JAROŠ, J. Design of HIFU Treatment Plans using an Evolutionary Strategy. Ostrava: 2018. p. 1 (1 s.). Detail
  • JAROŠ, M.; TREEBY, B.; JAROŠ, J. Design of HIFU treatment plans using an evolutionary strategy. In GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion. Kyoto: Association for Computing Machinery, 2018. p. 1568-1575. ISBN: 978-1-4503-5764-7. Detail
  • KADLUBIAK, K.; JAROŠ, J.; TREEBY, B. GPU-accelerated Simulation of Elastic Wave Propagation. Frankfurt am Main: 2018. p. 0 (1 s.). Detail
  • KADLUBIAK, K.; JAROŠ, J.; TREEBY, B. 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. p. 188-195. ISBN: 978-1-5386-7878-7. Detail
  • KADLUBIAK, K.; TREEBY, B.; JAROŠ, J. Fourth-order Time-stepping Scheme in Simulation of Ultrasound Propagation. Ostrava: 2018. p. 1 (1 s.). Detail
  • KANICH, O.; DRAHANSKÝ, M. State of the art in fingerprint recognition. In Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018. p. 83-110. ISBN: 978-1-78561-224-4. Detail
  • KANICH, O.; MÉZL, M.; DRAHANSKÝ, M. Use of Creative Materials for Fingerprint Spoofs. In 2018 International Workshop on Biometrics and Forensics (IWBF). Sassari: Institute of Electrical and Electronics Engineers, 2018. p. 1-8. ISBN: 978-1-5386-1366-5. Detail
  • KARAFIÁT, M.; BASKAR, M.; SZŐKE, I.; MALENOVSKÝ, V.; VESELÝ, K.; GRÉZL, F.; BURGET, L.; ČERNOCKÝ, J. BUT OpenSAT 2017 speech recognition system. In Proceedings of Interspeech 2018. Proceedings of Interspeech. Hyderabad: International Speech Communication Association, 2018. p. 2638-2642. ISSN: 1990-9772. Detail
  • KARAFIÁT, M.; BASKAR, M.; VESELÝ, K.; GRÉZL, F.; BURGET, L.; ČERNOCKÝ, J. Analysis of Multilingual BLSTM Acoustic Model on Low and High Resource Languages. In Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018. p. 5789-5793. ISBN: 978-1-5386-4658-8. Detail
  • KAZZAZ, M.; RYCHLÝ, M. A Case Study: Mobile Service Migration Based Traffic Jam Detection. International Journal of Systems and Service-Oriented Engineering, 2018, vol. 8, no. 1, p. 44-57. ISSN: 1947-3052. Detail
  • KEKELY, L.; CABAL, J.; KOŘENEK, J. 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. p. 237-240. ISBN: 978-1-7281-0214-6. Detail
  • KEKELY, M.; KEKELY, L.; KOŘENEK, J. 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. p. 1-8. ISBN: 978-1-5386-7376-8. Detail
  • KLEPÁRNÍK, P.; BAŘINA, D.; ZEMČÍK, P.; JAROŠ, J. Efficient Low-Resource Compression of HIFU Data. Information (Switzerland), 2018, vol. 9, no. 7, p. 1-14. ISSN: 2078-2489. Detail
  • KOČÍ, R.; JANOUŠEK, V. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In Software Engineering Advances. Nice: Xpert Publishing Services, 2018. p. 122-127. ISBN: 978-1-61208-668-2. Detail
  • KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A. On Double-Jumping Finite Automata and Their Closure Properties. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2018, vol. 52, no. 2, p. 185-199. ISSN: 0988-3754. Detail
  • KOCMAN, R.; NAGY, B.; KŘIVKA, Z.; MEDUNA, A. A Jumping 5'->3' Watson-Crick Finite Automata Model. Tenth Workshop on Non-Classical Models of Automata and Applications (NCMA 2018). books@ocg.at 332. Wien: Austrian Computer Society, 2018. p. 117-132. ISBN: 978-3-903035-21-8. Detail
  • KOŠTIALIK, D.; MARUNIAK, L.; DRAHANSKÝ, M. Symptoms Detection in Eye Retina Image. In 2017 IEEE Symposium Series on Computational Intelligence. Hawaii: IEEE Computer Society, 2018. p. 1-6. ISBN: 978-1-5386-2725-9. Detail
  • KŘENA, B.; ŠIMKOVÁ, H.; UR, S.; VOJNAR, T. 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. Las Palmas: Springer International Publishing, 2018. p. 99-108. ISBN: 978-3-319-74726-2. Detail
  • KUČERA, J.; KEKELY, L.; PUŠ, V.; PIECEK, A.; KOŘENEK, J. 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. p. 177-178. ISBN: 978-1-4503-5902-3. Detail
  • KUČERA, J.; KŘIVKA, Z.; MEDUNA, A. On k#$-Rewriting Systems. Romanian Journal of Information Science and Technology (ROMJIST), 2018, vol. 21, no. 3, p. 278-287. ISSN: 1453-8245. Detail
  • LAI, K.; KANICH, O.; DVOŘÁK, M.; DRAHANSKÝ, M.; YANUSHKEVICH, S.; SHMERKO, V. Biometric-Enabled Watchlists Technology. IET Biometrics, 2018, vol. 7, no. 2, p. 163-172. ISSN: 2047-4938. Detail
  • LENGÁL, O.; HEIZMANN, M.; CHEN, Y.; LI, Y.; TSAI, M.; TURRINI, A.; ZHANG, L. Advanced Automata-based Algorithms for Program Termination Checking. In Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018. p. 135-150. ISBN: 978-1-4503-5698-5. Detail
  • LOJDA, J.; KOTÁSEK, Z. Automatizace návrhu spolehlivých systémů a její dílčí komponenty. Počítačové architektury & diagnostika 2018. Stachy: Západočeská univerzita v Plzni, 2018. s. 5-8. ISBN: 978-80-261-0814-6. Detail
  • LOJDA, J.; KOTÁSEK, Z. Fault Tolerance in HLS for the Purposes of Reliable System Design Automation. Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2018. p. 31-32. ISBN: 978-80-01-06456-6. Detail
  • LOJDA, J.; PODIVÍNSKÝ, J.; ČEKAN, O.; PÁNEK, R.; KOTÁSEK, Z. 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. p. 244-251. ISBN: 978-1-5386-7376-8. Detail
  • LOJDA, J.; PODIVÍNSKÝ, J.; KOTÁSEK, Z. 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. p. 80-86. ISBN: 978-1-5386-5710-2. Detail
  • LOJDA, J.; PODIVÍNSKÝ, J.; KOTÁSEK, Z.; KRČMA, M. 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. p. 1-4. ISBN: 978-1-5386-7312-6. Detail
  • LOURENCO, J.; FIEDOR, J.; KŘENA, B.; VOJNAR, T. Discovering Concurrency Errors. In Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018. p. 34-60. ISBN: 978-3-319-75632-5. Detail
  • LOZANO DÍEZ, A.; PLCHOT, O.; MATĚJKA, P.; GONZALEZ-RODRIGUEZ, J. DNN Based Embeddings for Language Recognition. In Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018. p. 5184-5188. ISBN: 978-1-5386-4658-8. Detail
  • LOZANO DÍEZ, A.; PLCHOT, O.; MATĚJKA, P.; NOVOTNÝ, O.; GONZALEZ-RODRIGUEZ, J. Analysis of DNN-based Embeddings for Language Recognition on the NIST LRE 2017. In Proceedings of Odyssey 2018 The Speaker and Language Recognition Workshop. Proceedings of Odyssey: The Speaker and Language Recognition Workshop Odyssey 2014, Joensuu, Finland. Les Sables d'Olonne: International Speech Communication Association, 2018. p. 39-46. ISSN: 2312-2846. Detail
  • MALÍK, V.; MARTIČEK, Š.; SCHRAMMEL, P.; VOJNAR, T.; SRIVAS, M.; WAHLANG, J. 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. Thessaloniki: Springer International Publishing, 2018. p. 417-421. ISBN: 978-3-319-89962-6. Detail
  • MATOUŠEK, D.; KUBIŠ, J.; MATOUŠEK, J.; KOŘENEK, J. 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. p. 104-110. ISBN: 978-1-4503-5902-3. Detail
  • MOŠNER, L.; MATĚJKA, P.; NOVOTNÝ, O.; ČERNOCKÝ, J. Dereverberation and Beamforming in Far-Field Speaker Recognition. In Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018. p. 5254-5258. ISBN: 978-1-5386-4658-8. Detail
  • MOŠNER, L.; PLCHOT, O.; MATĚJKA, P.; NOVOTNÝ, O.; ČERNOCKÝ, J. Dereverberation and Beamforming in Robust Far-Field Speaker Recognition. In Proceedings of Interspeech 2018. Proceedings of Interspeech. Hyderabad: International Speech Communication Association, 2018. p. 1334-1338. ISSN: 1990-9772. Detail
  • NEVORAL, J.; RŮŽIČKA, R. Efficient Implementation of Bi-functional Components - Case Study. In 2018 New Generation of CAS (NGCAS). Valletta: IEEE Circuits and Systems Society, 2018. p. 25-28. ISBN: 978-1-5386-7680-6. Detail
  • NEVORAL, J.; RŮŽIČKA, R.; ŠIMEK, V. CMOS Gates with Second Function. In 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). Hong Kong: IEEE Computer Society, 2018. p. 82-87. ISBN: 978-1-5386-7099-6. Detail
  • NEVORAL, J.; RŮŽIČKA, R.; ŠIMEK, V. 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. p. 657-664. ISBN: 978-1-5386-7376-8. Detail
  • NOVOTNÝ, O.; MATĚJKA, P.; PLCHOT, O.; GLEMBEK, O. On the use of DNN Autoencoder for Robust Speaker Recognition. Brno: Faculty of Information Technology BUT, 2018. p. 1-5. Detail
  • NOVOTNÝ, O.; PLCHOT, O.; MATĚJKA, P.; MOŠNER, L.; GLEMBEK, O. On the use of X-vectors for Robust Speaker Recognition. Proceedings of Odyssey 2018. Proceedings of Odyssey: The Speaker and Language Recognition Workshop Odyssey 2014, Joensuu, Finland. Les Sables d´Olonne: International Speech Communication Association, 2018. p. 168-175. ISSN: 2312-2846. Detail
  • ONDEL YANG, L.; GODARD, P.; BESACIER, L.; LARSEN, E.; HASEGAWA-JOHNSON, M.; SCHARENBORG, O.; DUPOUX, E.; BURGET, L.; YVON, F.; KHUDANPUR, S. Bayesian Models for Unit Discovery on a Very Low Resource Language. In Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018. p. 5939-5943. ISBN: 978-1-5386-4658-8. Detail
  • PÁNEK, R.; LOJDA, J.; PODIVÍNSKÝ, J.; KOTÁSEK, Z. 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. p. 129-134. ISBN: 978-1-5386-5710-2. Detail
  • PASTUSHENKO, O.; HRUŠKA, T.; ZENDULKA, J. Increasing students' motivation by using virtual learning environments based on gamification mechanics. In ACM International Conference Proceeding Series. Salamanca: Association for Computing Machinery, 2018. p. 755-760. ISBN: 978-1-4503-6518-5. Detail
  • PASTUSHENKO, O.; HYNEK, J.; HRUŠKA, T. 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. p. 980-990. ISBN: 978-3-319-77711-5. Detail
  • PLCHOT, O.; MATĚJKA, P.; NOVOTNÝ, O.; CUMANI, S.; LOZANO DÍEZ, A.; SLAVÍČEK, J.; DIEZ SÁNCHEZ, M.; GRÉZL, F.; GLEMBEK, O.; KAMSALI VEERA, M.; SILNOVA, A.; BURGET, L.; ONDEL YANG, L.; KESIRAJU, S.; ROHDIN, J. Analysis of BUT-PT Submission for NIST LRE 2017. In Proceedings of Odyssey 2018 The Speaker and Language Recognition Workshop. Proceedings of Odyssey: The Speaker and Language Recognition Workshop Odyssey 2014, Joensuu, Finland. Les Sables d'Olonne: International Speech Communication Association, 2018. p. 47-53. ISSN: 2312-2846. Detail
  • PODIVÍNSKÝ, J.; ČEKAN, O.; KRČMA, M.; BURGET, R.; HRUŠKA, T.; KOTÁSEK, Z. A Processor Optimization Framework for a Selected Application. In Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018. p. 564-574. ISBN: 978-1-5386-5710-2. Detail
  • PODIVÍNSKÝ, J.; KOTÁSEK, Z. Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller. Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Czech Technical University, 2018. p. 33-34. ISBN: 978-80-01-06456-6. Detail
  • PODIVÍNSKÝ, J.; LOJDA, J.; ČEKAN, O.; KOTÁSEK, Z. 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. p. 229-236. ISBN: 978-1-5386-7376-8. Detail
  • PODIVÍNSKÝ, J.; LOJDA, J.; KOTÁSEK, Z. FPGA-based Robot Controller: An Experimental Evaluation of Fault Tolerance Properties. INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapešť: 2018. p. 9-12. Detail
  • PODIVÍNSKÝ, J.; LOJDA, J.; KOTÁSEK, Z. An Experimental Evaluation of Fault-Tolerant FPGA-based Robot Controller. In Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018. p. 63-69. ISBN: 978-1-5386-5710-2. Detail
  • PULUGUNDLA, B.; BASKAR, M.; KESIRAJU, S.; EGOROVA, E.; KARAFIÁT, M.; BURGET, L.; ČERNOCKÝ, J. BUT system for low resource Indian language ASR. In Proceedings of Interspeech 2018. Proceedings of Interspeech. Hyderabad: International Speech Communication Association, 2018. p. 3182-3186. ISSN: 1990-9772. Detail
  • ROHDIN, J.; SILNOVA, A.; DIEZ SÁNCHEZ, M.; PLCHOT, O.; MATĚJKA, P.; BURGET, L. End-to-End DNN Based Speaker Recognition Inspired by i-Vector and PLDA. In Proceedings of ICASSP. Calgary: IEEE Signal Processing Society, 2018. p. 4874-4878. ISBN: 978-1-5386-4658-8. Detail
  • ROZMAN, J.; ZBOŘIL, F. Persons Linking in Baptism Records. In Workshop PAOS2018 and PASSCR2018 of JIST2018 conference. CEUR Workshop Proceedings. CEUR Workshop Proceedings. Awaji: 2018. p. 43-54. ISSN: 1613-0073. Detail
  • ROZMAN, J.; ZBOŘIL, F.; KOČÍ, R. Possibilities of Creation of Community Genealogical Database with Semantic Information. In ICSIM2018: 2018 International Conference on Software Engineering and Information Management. Casablanca: 2018. p. 87-91. ISBN: 978-1-4503-5438-7. Detail
  • RUDNITCKAIA, J.; HRUŠKA, T. 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. p. 39-44. ISBN: 978-88-85741-05-8. Detail
  • RYANT, N.; BERGELSON, E.; CHURCH, K.; CRISTIA, A.; DU, J.; GANAPATHY, S.; KHUDANPUR, S.; KOWALSKI, D.; KRISHNAMOORTHY, M.; KULSHRESHTA, R.; LIBERMAN, M.; LU, Y.; MACIEJEWSKI, M.; METZE, F.; PROFANT, J.; SUN, L.; TSAO, Y.; YU, Z. Enhancement and Analysis of Conversational Speech: JSALT 2017. In Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018. p. 5154-5158. ISBN: 978-1-5386-4658-8. Detail
  • RYCHLÝ, M.; RYŠAVÝ, O. Big Data Security Analysis with TARZAN Platform. Journal of Cyber Security and Mobility, 2018, vol. 8, no. 2, p. 165-188. ISSN: 2245-1439. Detail
  • SCHARENBORG, O.; BESACIER, L.; BLACK, A.; HASEGAWA-JOHNSON, M.; METZE, F.; NEUBIG, G.; STÜKER, S.; GODARD, P.; MÜLLER, M.; ONDEL YANG, L.; PALASKAR, S.; ARTHUR, P.; CIANNELLA, F.; DU, M.; LARSEN, E.; MERKX, D.; RIAD, R.; WANG, L.; DUPOUX, E. 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. p. 4979-4983. ISBN: 978-1-5386-4658-8. Detail
  • SEKANINA, L. Approximate Computing: An Old Job for Cartesian Genetic Programming?. In Inspired by Nature. Emergence, Complexity and Computation, Vol. 28. Cham: Springer International Publishing, 2018. p. 195-212. ISBN: 978-3-319-67996-9. Detail
  • SEKANINA, L.; VAŠÍČEK, Z.; BOSIO, A.; TRAIOLA, M.; RECH, P.; OLIVEIRA, D.; FERNANDES, F.; DI CARLO, S. 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
  • SILNOVA, A.; BRUMMER, J.; GARCÍA-ROMERO, D.; SNYDER, D.; BURGET, L. Fast variational Bayes for heavy-tailed PLDA applied to i-vectors and x-vectors. In Proceedings of Interspeech 2018. Proceedings of Interspeech. Hyderabad: International Speech Communication Association, 2018. p. 72-76. ISSN: 1990-9772. Detail
  • SILNOVA, A.; MATĚJKA, P.; GLEMBEK, O.; PLCHOT, O.; NOVOTNÝ, O.; GRÉZL, F.; SCHWARZ, P.; ČERNOCKÝ, J. BUT/Phonexia Bottleneck Feature Extractor. In Proceedings of Odyssey 2018. Proceedings of Odyssey: The Speaker and Language Recognition Workshop Odyssey 2014, Joensuu, Finland. Les Sables d´Olonne: International Speech Communication Association, 2018. p. 283-287. ISSN: 2312-2846. Detail
  • ŠLAPAL, J. Categorical aspects of inducing closure operators on graphs by sets of walks. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2018, vol. 2018, no. 95, p. 143-150. ISSN: 0022-0000. Detail
  • ŠLAPAL, J. Closure operators on graphs for modeling connectedness in digital spaces. FILOMAT, 2018, vol. 32, no. 14, p. 5011-5021. ISSN: 0354-5180. Detail
  • ŠLAPAL, J. Galois connections between sets of paths and closure operators in simple graphs. Open Mathematics, 2018, vol. 16, no. 1, p. 1573-1581. ISSN: 2391-5455. Detail
  • ŠLAPAL, J. Relation-induced connectedness in the digital plane. AEQUATIONES MATHEMATICAE, 2018, vol. 2018, no. 95, p. 75-90. ISSN: 0001-9054. Detail
  • SOCHOR, J.; JURÁNEK, R.; ŠPAŇHEL, J.; MARŠÍK, L.; ŠIROKÝ, A.; HEROUT, A.; ZEMČÍK, P. Comprehensive Data Set for Automatic Single Camera Visual Speed Measurement. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2018, vol. 2018, no. 99, p. 1633-1643. ISSN: 1524-9050. Detail
  • SOCHOR, J.; ŠPAŇHEL, J.; HEROUT, A. BoxCars: Improving Fine-Grained Recognition of Vehicles using 3-D Bounding Boxes in Traffic Surveillance. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2018, vol. 2019, no. 1, p. 97-108. ISSN: 1524-9050. Detail
  • SOCHOR, J.; ŠPAŇHEL, J.; JURÁNEK, R.; DOBEŠ, P.; HEROUT, A. Graph@FIT Submission to the NVIDIA AI City Challenge 2018. In NVIDIA AI City Challenge 2018 (CVPRW). Salt Lake City: IEEE Computer Society, 2018. p. 77-84. ISBN: 978-1-5386-6100-0. Detail
  • ŠPAŇHEL, J.; SOCHOR, J.; JURÁNEK, R.; HEROUT, A. 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. p. 3524-3529. ISBN: 978-1-72810-321-1. ISSN: 2153-0017. Detail
  • STRNADEL, J. Predictability Analysis of Interruptible Systems by Statistical Model Checking. IEEE Design and Test, 2018, vol. 35, no. 2, p. 57-63. ISSN: 2168-2356. Detail
  • STRNADEL, J. 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. Lecture Notes in Computer Science, Vol. 11245. Cham: Springer International Publishing, 2018. p. 414-429. ISSN: 0302-9743. Detail
  • SUOMI, V.; TREEBY, B.; JAROŠ, J.; MAKELA, P.; ANTTINEN, M.; SAUNAVAARA, J.; SAINIO, T.; KIVINIEMI, A.; BLANCO, R. Transurethral ultrasound therapy of the prostate in the presence of calcifications: A simulation study. MEDICAL PHYSICS, 2018, vol. 45, no. 11, p. 4793-4805. ISSN: 0094-2405. Detail
  • SUOMI, V.; TREEBY, B.; JAROŠ, J.; SAUNAVAARA, J.; KIVINIEMI, A.; BLANCO, R. 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. p. 5701-5704. ISBN: 978-1-5386-3646-6. Detail
  • ŠŮSTEK, M.; ZBOŘIL, F. Obtaining word embedding from existing classification model. In Intelligent Systems Design and Applications. Advances in Intelligent Systems and Computing. ISDA 2017 Intelligent Systems Design and Applications. Cham: Springer International Publishing, 2018. p. 540-547. ISBN: 978-3-319-76347-7. ISSN: 2194-5357. Detail
  • TREEBY, B.; BUDISKÝ, J.; WISE, E.; JAROŠ, J.; COX, B. Rapid calculation of acoustic fields from arbitrary continuous-wave sources. Journal of the Acoustical Society of America, 2018, vol. 143, no. 1, p. 529-537. ISSN: 1520-8524. Detail
  • TREEBY, B.; VAVERKA, F.; JAROŠ, J. Performance and Accuracy Analysis of Nonlinear k-Wave Simulations Using Local Domain Decomposition with an 8-GPU Server. Proceedings of Meetings on Acoustics, 2018, vol. 34, no. 1, p. 1-5. ISSN: 1939-800X. Detail
  • UHLÍŘ, V.; ZBOŘIL, F.; ROZMAN, J. 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. p. 589-596. ISBN: 978-3-319-76347-7. Detail
  • VAŠÍČEK, Z. Bridging the Gap Between Evolvable Hardware and Industry Using Cartesian Genetic Programming. In Inspired by Nature. Emergence, Complexity and Computation, Vol. 28. Cham: Springer International Publishing, 2018. p. 39-55. ISBN: 978-3-319-67996-9. Detail
  • VAVERKA, F.; ŠPEŤKO, M.; TREEBY, B.; JAROŠ, J. Optimization of Ultrasound Simulations on Multi-GPU Servers. Dallas: 2018. p. 1-2. Detail
  • VAVERKA, F.; TREEBY, B.; JAROŠ, J. Running Large-Scale Ultrasound Simulations on Intel Xeon Phi (KNC) accelerators. Ostrava: 2018. p. 1 (1 s.). Detail
  • VEIGEND, P.; RAFFAI, P.; NEČASOVÁ, G.; ŠÁTEK, V.; KUNOVSKÝ, J. Gas flow through the piston ring pack. In 15rd International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018. p. 1-4. ISBN: 978-0-7354-1690-1. Detail
  • VEIGEND, P.; ŠÁTEK, V.; KUNOVSKÝ, J. System control using the Modern Taylor series method. In 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018. p. 1-4. ISBN: 978-0-7354-1690-1. Detail
  • VEĽAS, M.; ŠPANĚL, M.; HRADIŠ, M.; HEROUT, A. 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. p. 71-77. ISBN: 978-1-5386-5221-3. ISSN: 2573-9387. Detail
  • VEĽAS, M.; ŠPANĚL, M.; HRADIŠ, M.; HEROUT, A. 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. p. 97-103. ISBN: 978-1-5386-5221-3. Detail
  • VÍDEŇSKÝ, F.; ZBOŘIL, F. Computer Aided Recognition and Classification of Coats of Arms. In Proceedings ISDA 2017. Advances in Intelligent Systems and Computing. Advances in Intelligent Systems and Computing, vol 736. Los Alamitos: Springer International Publishing, 2018. p. 63-73. ISBN: 978-3-319-76347-7. ISSN: 2194-5357. Detail
  • VÍDEŇSKÝ, F.; ZBOŘIL, F. Strojové rozpoznávání rodových erbů. Genealogické a heraldické informace, 2018, roč. 22, č. 1, s. 73-82. ISSN: 0862-8963. Detail
  • VLK, J.; CHUDÝ, P. 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. p. 633-641. ISBN: 978-1-5386-4112-5. Detail
  • VOJNAR, T.; POMANTE, L.; KŘENA, B.; VELJKOVIĆ, F.; MAGNIN, P. The AQUAS ECSEL Project. In Proceedings of 21st Euromicro Conference on Digital System Design (DSD 2018). Praha: Institute of Electrical and Electronics Engineers, 2018. p. 592-599. ISBN: 978-1-5386-7376-8. Detail
  • WIGLASZ, M.; SEKANINA, L. 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. p. 1313-1320. ISBN: 978-1-5386-9276-9. Detail
  • ZEINALI, H.; BURGET, L.; ČERNOCKÝ, J. Convolutional Neural Networks and X-Vector Embedding for DCASE2018 Acoustic Scene Classification Challenge. Proceedings of DCASE 2018 Workshop. Surrey: Tampere University of Technology, 2018. p. 1-5. ISBN: 978-952-15-4262-6. Detail
  • ZEINALI, H.; BURGET, L.; SAMETI, H.; ČERNOCKÝ, J. Spoken Pass-Phrase Verification in the i-vector Space. In Proceedings of Odyssey 2018. Proceedings of Odyssey: The Speaker and Language Recognition Workshop Odyssey 2014, Joensuu, Finland. Les Sables d´Olonne: International Speech Communication Association, 2018. p. 372-377. ISSN: 2312-2846. Detail
  • ZENDULKA, J.; BIELIKOVÁ, M.; BURGET, R.; KŘIVKA, Z. Data a Znalosti & WIKT 2018. Brno: Vysoké učení technické v Brně, 2018. s. 1-291. ISBN: 978-80-214-5679-2. Detail
  • ŽMOLÍKOVÁ, K.; DELCROIX, M.; KINOSHITA, K.; HIGUCHI, T.; NAKATANI, T.; ČERNOCKÝ, J. Optimization of Speaker-aware Multichannel Speech Extraction with ASR Criterion. In Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018. p. 6702-6706. ISBN: 978-1-5386-4658-8. Detail

2017

  • AHMAD, T.; CAMPR, P.; ČADÍK, M.; BEBIS, G. 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. p. 4436-4443. ISBN: 978-1-4799-1961-1. Detail
  • BAŘINA, D.; KULA, M.; MATÝŠEK, M.; ZEMČÍK, P. Accelerating Discrete Wavelet Transforms on Parallel Architectures. Journal of WSCG, 2017, vol. 25, no. 2, p. 77-85. ISSN: 1213-6972. Detail
  • BAŘINA, D.; NAJMAN, P.; KLEPÁRNÍK, P.; KULA, M.; ZEMČÍK, P. The Parallel Algorithm for the 2D Discrete Wavelet Transform. In Ninth International Conference on Graphic and Image Processing (ICGIP 2017). Proceedings of SPIE. Qingdao: SPIE - the international society for optics and photonics, 2017. p. 1-6. ISBN: 978-1-5106-1741-4. ISSN: 0277-786X. Detail
  • BAROTOVÁ, Š.; DRAHANSKÝ, M. 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. p. 267-274. ISBN: 978-3-88579-664-0. Detail
  • BARTL, V.; HEROUT, A. 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. p. 23-30. ISBN: 978-1-5386-2839-3. Detail
  • BASKAR, M.; KARAFIÁT, M.; BURGET, L.; VESELÝ, K.; GRÉZL, F.; ČERNOCKÝ, J. Residual Memory Networks: Feed-forward approach to learn long-term temporal dependencies. In Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017. p. 4810-4814. ISBN: 978-1-5090-4117-6. Detail
  • BENEŠ, K.; BASKAR, M.; BURGET, L. Residual Memory Networks in Language Modeling: Improving the Reputation of Feed-Forward Networks. In Proceedings of Interspeeech 2017. Proceedings of Interspeech. Stockholm: International Speech Communication Association, 2017. p. 284-288. ISSN: 1990-9772. Detail
  • BIDLO, M. Evolution of Cellular Automata-Based Replicating Structures Exhibiting Unconventional Features. In International Joint Conference, IJCCI 2015 Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers. Computational Intelligence. Cham: Springer International Publishing, 2017. p. 21-41. ISBN: 978-3-319-48506-5. Detail
  • BORDOVSKÝ, G.; JAROŠ, J. Optimization of Fracture Tests Simulation in Civil Engineering. Ostrava: 2017. p. 1 (1 s.). Detail
  • BREJCHA, J.; ČADÍK, M. GeoPose3K: Mountain Landscape Dataset for Camera Pose Estimation in Outdoor Environments. IMAGE AND VISION COMPUTING, 2017, vol. 2017, no. 1, p. 1-41. ISSN: 0262-8856. Detail
  • BURGET, R. 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. p. 10-26. ISBN: 978-3-319-68722-3. Detail
  • ČEKAN, O.; KOTÁSEK, Z. Random Test Stimuli Generation Based on a Probabilistic Grammar. Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017. p. 43-44. ISBN: 978-80-01-06178-7. Detail
  • ČEKAN, O.; KOTÁSEK, Z. 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. p. 356-359. ISBN: 978-1-5386-2145-5. Detail
  • ČEŠKA, M.; ČEŠKA, M.; PAOLETTI, N. Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. In Proceedings of 16th International Conference on Computer Aided Systems Theory. LNCS volume 10672. Heidelberg: Springer Verlag, 2017. p. 38-46. ISBN: 978-3-319-74726-2. Detail
  • ČEŠKA, M.; MATYÁŠ, J.; MRÁZEK, V.; VAŠÍČEK, Z.; SEKANINA, L.; VOJNAR, T. 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. p. 416-423. ISBN: 978-1-5386-3093-8. Detail
  • CHALOUPKA, J.; KOCINA, F.; VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V.; KUNOVSKÝ, J. Multiple Integral Computations. In 14th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2017. p. 1-4. ISSN: 0094-243X. Detail
  • CHALOUPKA, J.; NEČASOVÁ, G.; VEIGEND, P.; KUNOVSKÝ, J.; ŠÁTEK, V. Modern Taylor series method in numerical integration: PART 1. 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik: 2017. p. 263-273. ISBN: 978-83-65265-14-2. ISSN: 2391-9361. Detail
  • CRHA, A.; ŠIMEK, V.; RŮŽIČKA, R. 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. p. 149-154. ISBN: 978-1-5090-6376-5. Detail
  • DOBAI, R.; KOŘENEK, J.; SEKANINA, L. Evolutionary design of hash function pairs for network filters. APPLIED SOFT COMPUTING, 2017, vol. 56, no. 7, p. 173-181. ISSN: 1568-4946. Detail
  • DRAHANSKÝ, M. Multispectral Optical Properties of Human Hands Skin. Lillehammer: 2017. Detail
  • DRAHANSKÝ, M.; KANICH, O.; BŘEZINOVÁ, E. Challenges for fingerprint recognition - spoofing, skin diseases and environmental effects. In Handbook of Biometrics for Forensic Science. Advances in Computer Vision and Pattern Recognition. Cham: Springer Verlag, 2017. p. 63-83. ISBN: 978-3-319-50671-5. Detail
  • DRAHANSKÝ, M.; MEISTER, T.; NEZHYBA, O. Sicherheit für intelligente Häuser. Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017. s. 64-69. ISBN: 978-3-95853-316-5. Detail
  • DRAHANSKÝ, M.; PERNICKÝ, R.; KANICH, O.; BAROTOVÁ, Š. Verarbeitung von beschädigten Fingerabdrücken in der polizeilichen Praxis. DuD - Datenschutz und Datensicherheit, 2017, roč. 41, č. 7, s. 407-414. ISSN: 1614-0702. Detail
  • DRAHANSKÝ, M.; SPURNÝ, M.; GOLDMANN, T. Gesichtsdetektion und -erkennung in Videos aus öffentlichen Kamerasystemen. DuD - Datenschutz und Datensicherheit, 2017, roč. 41, č. 7, s. 415-421. ISSN: 1614-0702. Detail
  • DVOŘÁK, M.; DRAHANSKÝ, M. Security of Hand Geometry. Proceedings of Conference SPI 2017. Brno: University of Defence in Brno, 2017. p. 17-29. ISBN: 978-80-7231-414-0. Detail
  • DVOŘÁK, M.; DRAHANSKÝ, M.; KEMPTER, G.; MOHELNÍKOVÁ, J.; LUŽA, R.; RITTER, W.; KÜNZ, A. Usability and Quality of Light Sources for Households. Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017. p. 125-133. ISBN: 978-3-95853-316-5. Detail
  • FAJČÍK, M.; SMRŽ, P.; ZACHARIÁŠOVÁ, M. 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. p. 15-20. ISBN: 978-1-5386-3351-9. Detail
  • FÉR, R.; MATĚJKA, P.; GRÉZL, F.; PLCHOT, O.; VESELÝ, K.; ČERNOCKÝ, J. Multilingually Trained Bottleneck Features in Spoken Language Recognition. COMPUTER SPEECH AND LANGUAGE, 2017, vol. 2017, no. 46, p. 252-267. ISSN: 0885-2308. Detail
  • FIEDOR, J.; VOJNAR, T.; SMRČKA, A.; DIAS, R.; FERREIRA, C.; LOURENCO, J.; SOUSA, D. 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. p. 196-206. ISBN: 978-1-5090-6032-0. Detail
  • FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T. Lazy Automata Techniques for WS1S. arXiv:1701.06282: 2017. Detail
  • FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T. Lazy Automata Techniques for WS1S. In Proceedings of TACAS'17. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 407-425. ISBN: 978-3-662-54576-8. ISSN: 0302-9743. Detail
  • FRITZ, B.; STEININGER, A.; ŠIMEK, V.; VEERAVALLI, V. 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. p. 329-336. ISBN: 978-1-5386-2146-2. Detail
  • GROCHOL, D.; SEKANINA, L. 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. p. 64-76. ISBN: 978-3-319-58088-3. Detail
  • HLOSTA, M.; ZDRÁHAL, Z.; ZENDULKA, J. 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. p. 6-15. ISBN: 978-1-4503-4870-6. Detail
  • HOLÍK, L.; ABDULLA, P.; ATIG, M.; BUI PHI, D.; CHEN, Y.; REZINE, A.; RUMMER, P. 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. p. 602-617. ISBN: 978-1-4503-4988-8. Detail
  • HOLÍK, L.; ABDULLA, P.; HAZIZA, F.; JONSSON, B.; REZINE, A. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. International Journal on Software Tools for Technology Transfer, 2017, vol. 5, no. 19, p. 549-563. ISSN: 1433-2779. Detail
  • HOLÍK, L.; HRUŠKA, M.; LENGÁL, O.; ROGALEWICZ, A.; VOJNAR, T. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In Proceedings of VMCAI'17. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Cham: Springer Verlag, 2017. p. 288-309. ISBN: 978-3-319-52234-0. ISSN: 0302-9743. Detail
  • HOLÍK, L.; MEYER, R.; VOJNAR, T.; WOLF, S. Effect Summaries for Thread-Modular Analysis Sound Analysis Despite an Unsound Heuristic. In SAS 2017: Static Analysis. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2017. p. 169-191. ISBN: 978-3-319-66706-5. ISSN: 0302-9743. Detail
  • HOMOLIAK, I.; BREITENBACHER, D.; HANÁČEK, P. Convergence Optimization of Backpropagation Artificial Neural Network Used for Dichotomous Classification of Intrusion Detection Dataset. Journal of Computers, 2017, vol. 12, no. 2, p. 143-155. ISSN: 1796-203X. Detail
  • HOMOLIAK, I.; ŠULÁK, L.; HANÁČEK, P. 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. Lecture Notes in Computer Science. Jeju Island: Springer International Publishing, 2017. p. 66-78. ISBN: 978-3-319-56549-1. ISSN: 0302-9743. Detail
  • HOMOLIAK, I.; TEKNŐS, M.; BARABAS, M.; HANÁČEK, P. 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. p. 770-773. ISBN: 978-3-319-59607-5. Detail
  • HON, J.; MARTÍNEK, T.; ZENDULKA, J.; LEXA, M. pqsfinder: an exhaustive and imperfection-tolerant search tool for potential quadruplex-forming sequences in R. BIOINFORMATICS, 2017, vol. 33, no. 21, p. 3373-3379. ISSN: 1367-4803. Detail
  • HRUŠKA, M.; HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T. Forester: From Heap Shapes to Automata Predicates. In Proceedings of TACAS'17. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 365-369. ISBN: 978-3-662-54580-5. Detail
  • JAROŠ, M. Framework for Planning, Running and Monitoring Cooperating Computations. Počítačové architektúry & diagnostika PAD 2017. Bratislava: Slovak University of Technology in Bratislava, 2017. p. 20-23. ISBN: 978-80-972784-0-3. Detail
  • JAROŠ, M.; JAROŠ, J. Framework for Planning, Executing and Monitoring Cooperating Computations. Ostrava: 2017. Detail
  • KAČIC, M.; BARABAS, M. Klasifikace informací v souvislostech. IS2 - Other Dimensions of Security. Praha: Tate International s.r.o., 2017. s. 133-141. ISBN: 978-80-86813-30-1. Detail
  • KANICH, O.; DRAHANSKÝ, M. Simulation of Synthetic Fingerprint Generation Using Petri Nets. IET Biometrics, 2017, vol. 6, no. 6, p. 402-408. ISSN: 2047-4938. Detail
  • KARAFIÁT, M.; BASKAR, M.; MATĚJKA, P.; VESELÝ, K.; GRÉZL, F.; BURGET, L.; ČERNOCKÝ, J. 2016 BUT Babel system: Multilingual BLSTM acoustic model with i-vector based adaptation. In Proceedings of Interspeech 2017. Proceedings of Interspeech. Stockholm: International Speech Communication Association, 2017. p. 719-723. ISSN: 1990-9772. Detail
  • KARAFIÁT, M.; VESELÝ, K.; ŽMOLÍKOVÁ, K.; DELCROIX, M.; WATANABE, S.; BURGET, L.; ČERNOCKÝ, J.; SZŐKE, I. Training Data Augmentation and Data Selection. In New Era for Robust Speech Recognition: Exploiting Deep Learning. Computer Science, Artificial Intelligence. Heidelberg: Springer International Publishing, 2017. p. 245-260. ISBN: 978-3-319-64679-4. Detail
  • KAZZAZ, M.; RYCHLÝ, M. Restful-based Mobile Web Service Migration Framework (Presentation). MEMICS 2017: 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: 2017. p. 8-8. Detail
  • KAZZAZ, M.; RYCHLÝ, M. Restful-based Mobile Web Service Migration Framework. In 2017 IEEE International Conference on AI & Mobile Services (AIMS). Honolulu: IEEE Computer Society, 2017. p. 70-75. ISBN: 978-1-5386-1999-5. Detail
  • KESIRAJU, S.; PAPPAGARI, R.; ONDEL YANG, L.; BURGET, L.; DEHAK, N.; KHUDANPUR, S.; ČERNOCKÝ, J.; GANGASHETTY, S. Topic identification of spoken documents using unsupervised acoustic unit discovery. In Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017. p. 5745-5749. ISBN: 978-1-5090-4117-6. Detail
  • KOČÍ, R.; JANOUŠEK, V. Validation of Specification Models Based on Petri Nets. Software Engineering Advances. Ateny: Xpert Publishing Services, 2017. p. 232-237. ISBN: 978-1-61208-590-6. Detail
  • KOČÍ, R.; JANOUŠEK, V. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software, 2017, vol. 10, no. 12, p. 121-131. ISSN: 1942-2628. Detail
  • KOCINA, F.; KUNOVSKÝ, J. 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. p. 526-533. ISBN: 978-1-5386-3250-5. Detail
  • KOCINA, F.; NEČASOVÁ, G.; VEIGEND, P.; CHALOUPKA, J.; ŠÁTEK, V.; KUNOVSKÝ, J. Modelling VLSI Circuits Using Taylor Series. In 14th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2017. p. 1-4. ISSN: 0094-243X. Detail
  • KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A. Rule-Homogeneous CD Grammar Systems. AFL 2017. Debrecen: 2017. Detail
  • KOZÁK, D.; KŘENA, B.; ŠIMKOVÁ, H.; VOJNAR, T. 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. p. 25-25. Detail
  • KRČMA, M.; KOTÁSEK, Z. Approximation accuracy of different FPNN types. Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017. p. 81-82. ISBN: 978-80-01-06178-7. Detail
  • KRČMA, M.; KOTÁSEK, Z.; LOJDA, J. 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. p. 125-132. ISBN: 978-1-5386-3368-7. Detail
  • KRČMA, M.; LOJDA, J.; KOTÁSEK, Z. Triple Modular Redundancy Used in Field Programmable Neural Networks. In Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017. p. 1-6. ISBN: 978-1-5386-3299-4. Detail
  • LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. Register Automata with Linear Arithmetic. arXiv:1704.03972: 2017. p. 1-30. Detail
  • LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. Register Automata with Linear Arithmetic. In Proceedings of LICS'17. Reykjavik: IEEE Computer Society, 2017. p. 1-12. ISBN: 978-1-5090-3018-7. Detail
  • LENGÁL, O.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B. An Executable Sequential Specification for Spark Aggregation. Ithaca: 2017. Detail
  • LENGÁL, O.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B. An Executable Sequential Specification for Spark Aggregation. In Proceedings of NETYS'17. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 421-438. ISSN: 0302-9743. Detail
  • LENGÁL, O.; LIN, A.; MAJUMDAR, R.; RUMMER, P. Fair Termination for Parameterized Probabilistic Concurrent Systems. In Proceedings of TACAS'17. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 499-517. ISBN: 978-3-662-46680-3. ISSN: 0302-9743. Detail
  • LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M. Compositional Entailment Checking for a Fragment of Separation Logic. FORMAL METHODS IN SYSTEM DESIGN, 2017, vol. 2017, no. 51, p. 575-607. ISSN: 0925-9856. Detail
  • LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M. SPEN: A Solver for Separation Logic. In Proceedings of NFM'17. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 302-309. ISBN: 978-3-319-57287-1. Detail
  • LOJDA, J.; KOTÁSEK, Z. A Basic Approach to Fault Tolerance of Data Paths of HLS-synthesized Systems and its Evaluation. Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017. p. 79-80. ISBN: 978-80-01-06178-7. Detail
  • LOJDA, J.; KOTÁSEK, Z. Automatizace návrhu systémů odolných proti poruchám pomocí vysokoúrovňové syntézy. Počítačové architektury & diagnostika 2017. Smolenice: Slovenská technická univerzita v Bratislavě, 2017. s. 59-62. ISBN: 978-80-972784-0-3. Detail
  • LOJDA, J.; PODIVÍNSKÝ, J.; KOTÁSEK, Z. 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. p. 359-364. ISBN: 978-1-5386-3299-4. Detail
  • LOJDA, J.; PODIVÍNSKÝ, J.; KOTÁSEK, Z.; KRČMA, M. 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. p. 273-278. ISBN: 978-1-5386-3299-4. Detail
  • LUŽA, R.; ORSÁG, F.; DRAHANSKÝ, M.; ROZMAN, J. Robot RUDA - Introduction and Current Research. Central European Researchers Journal, 2017, vol. 3, no. 1, p. 1-8. ISSN: 2453-7314. Detail
  • MALANDRAKIS, N.; GLEMBEK, O.; NARAYANAN, S. Extracting Situation Frames from non-English Speech: Evaluation Framework and Pilot Results. In Proceedings of Interspeech 2017. Proceedings of Interspeech. Stockholm: International Speech Communication Association, 2017. p. 2123-2127. ISSN: 1990-9772. Detail
  • MAREK, M.; RYŠAVÝ, O.; VESELÝ, V. 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. p. 50-57. ISBN: 978-1-4503-4843-0. Detail
  • MATĚJKA, P.; NOVOTNÝ, O.; PLCHOT, O.; BURGET, L.; DIEZ SÁNCHEZ, M.; ČERNOCKÝ, J. Analysis of Score Normalization in Multilingual Speaker Recognition. In Proceedings of Interspeech 2017. Proceedings of Interspeech. Stockholm: International Speech Communication Association, 2017. p. 1567-1571. ISSN: 1990-9772. Detail
  • MATĚJKA, P.; PLCHOT, O.; NOVOTNÝ, O.; CUMANI, S.; LOZANO DÍEZ, A.; SLAVÍČEK, J.; DIEZ SÁNCHEZ, M.; GRÉZL, F.; GLEMBEK, O.; KAMSALI VEERA, M.; SILNOVA, A.; BURGET, L.; ONDEL YANG, L.; KESIRAJU, S.; ROHDIN, J. BUT- PT System Description for NIST LRE 2017. Proceedings of NIST Language Recognition Workshop 2017. Orlando, Florida: National Institute of Standards and Technology, 2017. p. 1-6. Detail
  • MATERNA, Z.; KAPINUS, M.; BERAN, V.; SMRŽ, P. 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. p. 201-202. ISBN: 978-1-4503-4885-0. Detail
  • MATOUŠEK, J.; ANTICHI, G.; LUČANSKÝ, A.; MOORE, A.; KOŘENEK, J. 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. p. 204-216. ISBN: 978-1-5090-6386-4. Detail
  • MEDUNA, A.; MARTIŠKO, J. 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. Electronic Proceedings in Theoretical Computer Science, EPTCS. Debrecen: Open Publishing Association, 2017. p. 170-179. ISSN: 2075-2180. Detail
  • MEDUNA, A.; SOUKUP, O.; CSUHAJ-VARJÚ, E. On Tree-Restricted Regular-Controlled Context-Free Grammars. International Journal of Computer Mathematics: Computer Systems Theory, 2017, vol. 2, no. 4, p. 147-163. ISSN: 2379-9927. Detail
  • MRÁZEK, V.; HRBÁČEK, R.; VAŠÍČEK, Z.; SEKANINA, L. 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. p. 258-261. ISBN: 978-3-9815370-9-3. Detail
  • MUSIL, M.; ŠTOURAČ, J.; BENDL, J.; BREZOVSKÝ, J.; PROKOP, Z.; ZENDULKA, J.; MARTÍNEK, T.; BEDNÁŘ, D.; DAMBORSKÝ, J. FireProt: web server for automated design of thermostable proteins. Nucleic Acids Research, 2017, vol. 45, no. 1, p. 393-399. ISSN: 1362-4962. Detail
  • NEČASOVÁ, G.; KOCINA, F.; VEIGEND, P.; CHALOUPKA, J.; ŠÁTEK, V.; KUNOVSKÝ, J. Solving Wave Equation Using Finite Differences and Taylor Series. In 14th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2017. p. 1-4. ISSN: 0094-243X. Detail
  • NEČASOVÁ, G.; KOCINA, F.; VEIGEND, P.; ŠÁTEK, V.; KUNOVSKÝ, J. Model of the Telegraph Line. In Informatics 2017 - 14th International Scientific Conference on Informatics. Poprad: Institute of Electrical and Electronics Engineers, 2017. p. 271-275. ISBN: 978-1-5386-0888-3. Detail
  • NEČASOVÁ, G.; KUNOVSKÝ, J.; ŠÁTEK, V. 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. p. 1-4. ISBN: 978-0-7354-1690-1. Detail
  • NEVORAL, J.; ŠIMEK, V.; RŮŽIČKA, R. 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. p. 155-160. ISBN: 978-1-5090-6376-5. Detail
  • NIKL, V.; HRADECKÝ, M.; JAROŠ, J.; KELEČÉNI, J. 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. Cham: Springer International Publishing, 2017. p. 377-393. ISBN: 978-3-319-58666-3. Detail
  • ONDEL YANG, L.; BURGET, L.; ČERNOCKÝ, J.; KESIRAJU, S. Bayesian phonotactic language model for Acoustic Unit Discovery. In Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017. p. 5750-5754. ISBN: 978-1-5090-4117-6. Detail
  • PFALTZ, J.; ŠLAPAL, J. Closure operators associated with networks. HACETTEPE JOURNAL OF MATHEMATICS AND STATISTICS, 2017, vol. 46, no. 1, p. 91-101. ISSN: 1303-5010. Detail
  • PLCHOT, O.; MATĚJKA, P.; SILNOVA, A.; NOVOTNÝ, O.; DIEZ SÁNCHEZ, M.; ROHDIN, J.; GLEMBEK, O.; BRÜMMER, N.; SWART, A.; PRIETO, J.; GARCIA PERERA, L.; BUERA, L.; KENNY, P.; ALAM, J.; BHATTACHARYA, G. Analysis and Description of ABC Submission to NIST SRE 2016. In Proceedings of Interspeech 2017. Proceedings of Interspeech. Stockholm: International Speech Communication Association, 2017. p. 1348-1352. ISSN: 1990-9772. Detail
  • PODIVÍNSKÝ, J.; ČEKAN, O.; LOJDA, J.; ZACHARIÁŠOVÁ, M.; KRČMA, M.; KOTÁSEK, Z. Functional Verification Based Platform for Evaluating Fault Tolerance Properties. Microprocessors and Microsystems, 2017, vol. 52, no. 5, p. 145-159. ISSN: 0141-9331. Detail
  • PODIVÍNSKÝ, J.; KOTÁSEK, Z. The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs. Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017. p. 81-82. ISBN: 978-80-01-06178-7. Detail
  • PODIVÍNSKÝ, J.; LOJDA, J.; ČEKAN, O.; PÁNEK, R.; KOTÁSEK, Z. 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. p. 337-344. ISBN: 978-1-5386-2145-5. Detail
  • POLOK, L.; SMRŽ, P. 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. p. 1-12. ISBN: 978-1-5108-3822-2. Detail
  • PŘIBYL, B.; ZEMČÍK, P.; ČADÍK, M. Absolute Pose Estimation from Line Correspondences using Direct Linear Transformation. COMPUTER VISION AND IMAGE UNDERSTANDING, 2017, vol. 161, no. 1, p. 130-144. ISSN: 1077-3142. Detail
  • PUTEROVÁ, J.; RAZUMOVA, O.; MARTÍNEK, T.; ALEXANDROV, O.; DIVASHUK, M.; KUBÁT, Z.; HOBZA, R.; KARLOV, G.; KEJNOVSKÝ, E. Satellite DNA and Transposable Elements in Seabuckthorn (Hippophae rhamnoides), a Dioecious Plant with Small Y and Large X Chromosomes. GENOME BIOL EVOL, 2017, vol. 9, no. 1, p. 197-212. ISSN: 1759-6653. Detail
  • RICHTA, T.; JANOUŠEK, V. Data-Driven Maritime Processes Management Using 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. p. 134-141. ISBN: 978-3-319-74726-2. Detail
  • RUDNITCKAIA, J.; HRUŠKA, T. 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. Lecture Notes in Networks and Systems. Riga: Springer International Publishing, 2017. p. 127-136. ISBN: 978-9984-818-86-3. ISSN: 2367-3370. Detail
  • RYCHLÝ, M.; RYŠAVÝ, O. 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. p. 561-567. ISBN: 978-83-946253-7-5. Detail
  • SILNOVA, A.; BURGET, L.; ČERNOCKÝ, J. Alternative Approaches to Neural Network based Speaker Verification. In Proceedings of Interspeech 2017. Proceedings of Interspeech. Stockholm: International Speech Communication Association, 2017. p. 1572-1575. ISSN: 1990-9772. Detail
  • ŠIMEK, V.; NEVORAL, J.; CRHA, A.; RŮŽIČKA, R. Towards Design Flow for Space-Efficient Implementation of Polymorphic Circuits Based on Ambipolar Components. ElectroScope - http://www.electroscope.zcu.cz, 2017, vol. 11, no. 1, p. 1-10. ISSN: 1802-4564. Detail
  • ŠIMKOVÁ, H.; KŘENA, B.; VOJNAR, T.; LETKO, Z.; UR, S.; DUDKA, V.; VOLKOVICH, Z.; AVROS, R. Boosted decision trees for behaviour mining of concurrent programmes. Concurrency Computation Practice and Experience, 2017, vol. 29, no. 21, p. 4268-4289. ISSN: 1532-0634. Detail
  • ŠLAPAL, J. A ternary relation for structuring the digital plane. In AMCSE 2016. ITM Web of Conferences. Les Ulis Cedex A: EDP Sciences, 2017. p. 1-5. ISSN: 2271-2097. Detail
  • ŠLAPAL, J. Structuring Digital Spaces by Path-Partition Induced Closure Operators on Graphs. In Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2017. p. 43-55. ISBN: 978-3-319-54608-7. ISSN: 0302-9743. Detail
  • ŠLAPAL, J. Terse walk sets in graphs and induced closure operators. Topology and its Applications, 2017, vol. 230, no. 1, p. 258-266. ISSN: 0166-8641. Detail
  • ŠLAPAL, J. Walk-set induced connectedness in digital spaces. Carpathian Journal of Mathematics, 2017, vol. 33, no. 2, p. 247-256. ISSN: 1584-2851. Detail
  • SOCHOR, J.; JURÁNEK, R.; HEROUT, A. Traffic Surveillance Camera Calibration by 3D Model Bounding Box Alignment for Accurate Vehicle Speed Measurement. COMPUTER VISION AND IMAGE UNDERSTANDING, 2017, vol. 2017, no. 161, p. 87-98. ISSN: 1077-3142. Detail
  • ŠPAŇHEL, J.; SOCHOR, J.; JURÁNEK, R.; HEROUT, A.; MARŠÍK, L.; ZEMČÍK, P. 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. p. 1-6. ISBN: 978-1-5386-2939-0. Detail
  • STRNADEL, J. 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. p. 352-355. ISBN: 978-1-5386-2146-2. Detail
  • SVOBODA, S.; BAŘINA, D. New Transforms for JPEG Format. Conference Materials and Posters of Spring Conference on Computer Graphics SCCG 2017. Proceeding of Spring Conference on Computer Graphics. Mikulov: Brno University of Technology, 2017. p. 25-30. ISSN: 1335-5694. Detail
  • SZURMAN, K.; KOTÁSEK, Z. State Synchronization of Faulty Soft Core Processors in Reconfigurable TMR Architecture. Počítačové architektúry & diagnostika 2017. Smolenice: Slovak University of Technology in Bratislava, 2017. p. 51-54. ISBN: 978-80-972784-0-3. Detail
  • TREEBY, B.; BUDISKÝ, J.; WISE, E.; JAROŠ, J.; COX, B. Single-step Calculation of the Acoustic Field from Arbitrary Continuous-wave Sources. Ostrava: 2017. p. 1 (1 s.). Detail
  • VAVERKA, F.; TREEBY, B.; JAROŠ, J. Running Large-Scale Ultrasound Simulations on 256 Salomon Nodes. Ostrava: 2017. p. 1 (1 s.). Detail
  • VAVERKA, F.; TREEBY, B.; JAROŠ, J. Running Large-Scale Ultrasound Simulations on Piz Daint with 512 Pascal GPUs. Denver: 2017. p. 1 (1 s.). Detail
  • VEIGEND, P.; NEČASOVÁ, G.; KOCINA, F.; CHALOUPKA, J.; ŠÁTEK, V.; KUNOVSKÝ, J. Real Time Simulation of Transport Delay. In 14th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2017. p. 1-4. ISSN: 0094-243X. Detail
  • VESELÝ, K.; BASKAR, M.; DIEZ SÁNCHEZ, M.; BENEŠ, K. MGB-3 but system: Low-resource ASR on Egyptian YouTube data. In Proceedings of ASRU 2017. Okinawa: IEEE Signal Processing Society, 2017. p. 368-373. ISBN: 978-1-5090-4788-8. Detail
  • VESELÝ, K.; BURGET, L.; ČERNOCKÝ, J. Semi-supervised DNN training with word selection for ASR. In Proceedings of Interspeech 2017. Proceedings of Interspeech. Stockholm: International Speech Communication Association, 2017. p. 3687-3691. ISSN: 1990-9772. Detail
  • VLK, J.; CHUDÝ, P. 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. p. 1-9. ISBN: 978-1-5386-0365-9. Detail
  • WIGLASZ, M.; SEKANINA, L. 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. p. 1300-1304. ISBN: 978-1-5090-5989-8. Detail
  • ZEINALI, H.; SAMETI, H.; BURGET, L. HMM-Based Phrase-Independent i-Vector Extractor for Text-Dependent Speaker Verification. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, 2017, vol. 25, no. 7, p. 1421-1435. ISSN: 2329-9290. Detail
  • ZEINALI, H.; SAMETI, H.; BURGET, L.; ČERNOCKÝ, J. Text-dependent speaker verification based on i-vectors, Neural Networks and Hidden Markov Models. COMPUTER SPEECH AND LANGUAGE, 2017, vol. 2017, no. 46, p. 53-71. ISSN: 0885-2308. Detail
  • ZELENÝ, J.; BURGET, R.; ZENDULKA, J. Box clustering segmentation: A new method for vision-based web page preprocessing. INFORMATION PROCESSING & MANAGEMENT, 2017, vol. 53, no. 3, p. 735-750. ISSN: 0306-4573. Detail
  • ŽMOLÍKOVÁ, K.; DELCROIX, M.; KINOSHITA, K.; HIGUCHI, T.; OGAWA, A.; NAKATANI, T. Speaker-aware neural network based beamformer for speaker extraction in speech mixtures. In Proceedings of Interspeech 2017. Proceedings of Interspeech. Stocholm: International Speech Communication Association, 2017. p. 2655-2659. ISSN: 1990-9772. Detail

2016

  • BAROTOVÁ, Š.; DRAHANSKÝ, M.; PERNICKÝ, R. Detection of Ridge Damages in Fingerprint Recognition Caused by Skin Diseases. International Journal of Signal Processing, Image Processing and Pattern Recognition, 2016, vol. 9, no. 11, p. 125-146. ISSN: 2005-4254. Detail
  • BÁRTA, M.; DRAHANSKÝ, M. Generation of Skin Diseases into Synthetic Fingerprints. International Journal of Image Processing, 2016, vol. 10, no. 5, p. 229-248. ISSN: 1985-2304. Detail
  • BARTOŠ, V.; KOŘENEK, J. Evaluating Reputation of Internet Entities. In Management and Security in the Age of Hyperconnectivity. Lecture Notes in Computer Science. Munich: Springer International Publishing, 2016. p. 132-136. ISBN: 978-3-319-39813-6. Detail
  • BIDLO, M. 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. p. 94-102. ISBN: 978-989-758-201-1. Detail
  • BRÁZDOVÁ, M.; TICHÝ, V.; HELMA, R.; BAŽANTOVÁ, P.; POLÁŠKOVÁ, A.; KREJČÍ, A.; PETR, M.; NAVRÁTILOVÁ, L.; TICHÁ, O.; NEJEDLÝ, K.; BENNINK, M.; SUBRAMANIAM, V.; BÁBKOVÁ, Z.; MARTÍNEK, T.; LEXA, M.; ADÁMIK, M. p53 Specifically Binds Triplex DNA In Vitro and in Cells. PLOS ONE, 2016, vol. 11, no. 12, p. 1-25. ISSN: 1932-6203. Detail
  • BREITENBACHER, D.; HOMOLIAK, I.; JAROŠ, J.; HANÁČEK, P. Impact of Optimization and Parallelism on Factorization Speed of SIQS. In Proceedings of The 20th World Multi-Conference on Systemics, Cybernetics and Informatics. Journal on Systemics, Cybernetics and Informatics. WMSCI 2016 - 20th World Multi-Conference on Systemics, Cybernetics and Informatics, Proceedings. Orlando: The International Institute of Informatics and Systemics, 2016. p. 55-62. ISBN: 978-1-941763-47-6. ISSN: 1690-4524. Detail
  • BROWN, M.; JAROŠ, J.; COX, B.; TREEBY, B. Control of Broadband Optically Generated Ultrasound Pulses Using Binary Amplitude Holograms. Journal of the Acoustical Society of America, 2016, vol. 139, no. 4, p. 1637-1647. ISSN: 1520-8524. Detail
  • ČEKAN, O. Generování testovacích stimulů. Počítačové architektury a diagnostika PAD 2016. Bořetice - Kraví Hora: Fakulta informačních technologií VUT v Brně, 2016. s. 97-100. ISBN: 978-80-214-5376-0. Detail
  • ČEKAN, O.; KOTÁSEK, Z. Software-implemented Fault-Tolerant Program Generation. Proceedings of the 4th Prague Embedded Systems Workshop. Roztoky u Prahy: 2016. p. 13-13. ISBN: 978-80-01-05984-5. Detail
  • ČEKAN, O.; PODIVÍNSKÝ, J.; KOTÁSEK, Z. 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. p. 295-296. ISBN: 978-1-5090-5602-6. Detail
  • ČEŠKA, M.; ALDEGHERI, S.; BARNAT, J.; BOMBIERI, N.; BUSATO, F. 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. Cham: Springer Verlag, 2016. p. 519-531. ISBN: 978-3-319-58942-8. Detail
  • ČEŠKA, M.; DANNENBERG, F.; KWIATKOWSKA, M.; PAOLETTI, N.; BRIM, L. Precise parameter synthesis for stochastic biochemical systems. Acta Informatica, 2016, vol. 54, no. 6, p. 589-623. ISSN: 0001-5903. Detail
  • CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. 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, EPTCS. Electronic Proceedings in Theoretical Computer Science. Brno: Faculty of Informatics MU, 2016. p. 87-93. ISBN: 978-80-210-8362-2. ISSN: 2075-2180. Detail
  • DALECKÝ, Š.; SNÁŠELOVÁ, P.; LUŽA, R.; ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. 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. p. 156-160. ISBN: 978-1-4673-8606-7. Detail
  • DOLÍHAL, L.; HRUŠKA, T. Automatic job generation for compiler testing, Testing of generated compiler. Proceedings of The Eighth International Conference on Advances in System Testing and Validation Lifecycle. Řím: The International Academy, Research and Industry Association, 2016. p. 1-6. ISBN: 978-1-61208-500-5. Detail
  • DRAHANSKÝ, M.; KANICH, O.; BŘEZINOVÁ, E.; SHINODA, K. Experiments with optical properties of skin on fingers. Journal on Systemics, Cybernetics and Informatics, 2016, vol. 2016, no. 2, p. 37-46. ISSN: 2168-5053. Detail
  • DYTRYCH, J.; SMRŽ, P. 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. p. 74-84. ISBN: 978-989-758-172-4. Detail
  • GRÉZL, F.; KARAFIÁT, M. Boosting Performance on Low-resource Languages by Standard Corpora: AN ANALYSIS. In Proceeding of SLT 2016. San Diego: IEEE Signal Processing Society, 2016. p. 629-636. ISBN: 978-1-5090-4903-5. Detail
  • HOLÍK, L.; MEYER, R.; MUSKALLA, S. 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. p. 41-57. ISBN: 978-3-95977-027-9. Detail
  • HRANICKÝ, R.; HOLKOVIČ, M.; MATOUŠEK, P.; RYŠAVÝ, O. On Efficiency of Distributed Password Recovery. The Journal of Digital Forensics, Security and Law, 2016, vol. 11, no. 2, p. 79-95. ISSN: 1558-7215. Detail
  • HRBÁČEK, R.; MRÁZEK, V.; VAŠÍČEK, Z. 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. p. 239-244. ISBN: 978-1-5090-0335-8. Detail
  • HYNEK, J.; HRUŠKA, T. Pixel-Based Analysis of Information Dashboard Attributes. In New Trends in Databases and Information Systems. Communications in Computer and Information Science. Volume 637 of the series Communications in Computer and Information Science. CH: Springer International Publishing, 2016. p. 29-36. ISBN: 978-3-319-44065-1. ISSN: 1865-0929. Detail
  • KANICH, O.; DRAHANSKÝ, M. Currently Used Swipe Fingerprint Sensors. International Journal of Bio-Science and Bio-Technology, 2016, vol. 8, no. 1, p. 381-386. ISSN: 2233-7849. Detail
  • KARAFIÁT, M.; BASKAR, M.; MATĚJKA, P.; VESELÝ, K.; GRÉZL, F.; ČERNOCKÝ, J. Multilingual BLSTM and Speaker-Specific Vector Adaptation in 2016 BUT BABEL SYSTEM. In Proceedings of SLT 2016. San Diego: IEEE Signal Processing Society, 2016. p. 637-643. ISBN: 978-1-5090-4903-5. Detail
  • KESIRAJU, S.; BURGET, L.; SZŐKE, I.; ČERNOCKÝ, J. Learning document representations using subspace multinomial model. In Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016. p. 700-704. ISBN: 978-1-5108-3313-5. Detail
  • KOČÍ, R.; JANOUŠEK, V. Modeling System Requirements Using Use Cases and Petri Nets. ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances. Řím: Xpert Publishing Services, 2016. p. 160-165. ISBN: 978-1-61208-498-5. Detail
  • KOCINA, F.; KUNOVSKÝ, J.; NEČASOVÁ, G.; ŠÁTEK, V.; VEIGEND, P. 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. p. 302-309. ISBN: 978-1-5090-2088-1. Detail
  • KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A. On Double-Jumping Finite Automata. Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). books@ocg.at 321. Wien: Austrian Computer Society, 2016. p. 195-210. ISBN: 978-3-903035-10-2. Detail
  • KOŘENEK, J.; VIKTORIN, J. 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. p. 578-579. ISBN: 978-2-8399-1844-2. Detail
  • KOTÁSEK, Z.; PODIVÍNSKÝ, J. 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
  • KRČMA, M.; KOTÁSEK, Z.; LOJDA, J. Implementation of Fault Tolerant Techniques into FPNNs. In Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016. p. 297-298. ISBN: 978-1-5090-5602-6. Detail
  • KRČMA, M.; KOTÁSEK, Z.; LOJDA, J.; KAŠTIL, J. Comparison of FPNNs Approximation Capabilities. Proceedings of the Work in progress Session held in connection with DSD 2016. Limassol: Johannes Kepler University Linz, 2016. p. 1-2. ISBN: 978-3-902457-46-2. Detail
  • LOJDA, J.; PODIVÍNSKÝ, J.; KRČMA, M.; KOTÁSEK, Z. 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. p. 301-302. ISBN: 978-1-5090-5602-6. Detail
  • LOPEZ-MORENO, I.; GONZALEZ-DOMINGUEZ, J.; MARTÍNEZ GONZÁLEZ, D.; PLCHOT, O.; GONZALEZ-RODRIGUEZ, J.; MORENO, P. On the use of deep feedforward neural networks for automatic language identification. COMPUTER SPEECH AND LANGUAGE, 2016, vol. 2016, no. 40, p. 46-59. ISSN: 0885-2308. Detail
  • LOZANO DÍEZ, A.; SILNOVA, A.; MATĚJKA, P.; GLEMBEK, O.; PLCHOT, O.; PEŠÁN, J.; BURGET, L.; GONZALEZ-RODRIGUEZ, J. Analysis and Optimization of Bottleneck Features for Speaker Recognition. In Proceedings of Odyssey 2016. Proceedings of Odyssey: The Speaker and Language Recognition Workshop Odyssey 2014, Joensuu, Finland. Bilbao: International Speech Communication Association, 2016. p. 352-357. ISSN: 2312-2846. Detail
  • MALČÍK, D.; DRAHANSKÝ, M. Microscopic Analysis of Chips. International Journal of Security and Its Applications, 2016, vol. 2016, no. 11, p. 47-66. ISSN: 1738-9976. Detail
  • MATERNA, Z.; KAPINUS, M.; ŠPANĚL, M.; BERAN, V.; SMRŽ, P. Simplified Industrial Robot Programming: Effects of Errors on Multimodal 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. p. 200-205. ISBN: 978-1-5090-3929-6. Detail
  • MRÁZEK, V.; SARWAR, S.; SEKANINA, L.; VAŠÍČEK, Z.; ROY, K. 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. p. 811-817. ISBN: 978-1-4503-4466-1. Detail
  • OTRUSINA, L.; SMRŽ, P. 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. p. 3299-3302. ISBN: 978-2-9517408-9-1. Detail
  • PACURA, D.; DRAHANSKÝ, M. CUDA Accelerated Real-time Digital Image Stabilization in a Video Stream. International Journal of Software Engineering and Its Applications, 2016, vol. 10, no. 6, p. 113-124. ISSN: 1738-9984. Detail
  • PERINGER, P.; ŠOKOVÁ, V.; TRTÍK, M.; VOJNAR, T.; HOLÍK, L.; KOTOUN, M. Predator Shape Analysis Tool Suite. In Proceedings of HVC 2016. Lecture Notes in Computer Science. Zurich: Springer International Publishing, 2016. p. 202-209. ISBN: 978-3-319-49052-6. Detail
  • PEŠÁN, J.; BURGET, L.; ČERNOCKÝ, J. Sequence Summarizing Neural Networks for Spoken Language Recognition. In Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016. p. 3285-3289. ISBN: 978-1-5108-3313-5. Detail
  • PLASCENCIA, A.; ROZMAN, J. 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. p. 246-253. ISBN: 978-989-758-198-4. Detail
  • PODIVÍNSKÝ, J. Funkční verifikace jako nástroj pro sledování vlivu poruch na elektro-mechanický systém. Počítačové architektury a diagnostika PAD 2016. Bořetice - Kraví Hora: Fakulta informačních technologií VUT v Brně, 2016. s. 101-104. ISBN: 978-80-214-5376-0. Detail
  • PODIVÍNSKÝ, J.; ČEKAN, O.; LOJDA, J.; KOTÁSEK, Z. 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. p. 293-294. ISBN: 978-1-5090-5602-6. Detail
  • PODIVÍNSKÝ, J.; ČEKAN, O.; LOJDA, J.; KOTÁSEK, Z. 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. p. 487-494. ISBN: 978-1-5090-2816-0. Detail
  • POLOK, L.; ILA, V.; SMRŽ, P. 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. p. 1108-1112. ISBN: 978-0-9928626-6-4. Detail
  • POSPÍŠIL, M.; BARTÍK, V.; HRUŠKA, T. Analyzing Machine Performance Using Data Mining. In 2016 IEEE Symposium on Computational Intelligence and Data Mining. Athens: Institute of Electrical and Electronics Engineers, 2016. p. 1-7. ISBN: 978-1-5090-4239-5. Detail
  • PŘIBYL, B.; CHALMERS, A.; ZEMČÍK, P.; HOOBERMAN, L.; ČADÍK, M. Evaluation of Feature Point Detection in High Dynamic Range Imagery. JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION, 2016, vol. 38, no. 1, p. 141-160. ISSN: 1047-3203. Detail
  • PROCHOCKÁ, K. Aktuální zpráva o současném stavu softwaru pro zpracování komplexních událostí. Automa, 2016, roč. 2016, č. 12, s. 34-37. ISSN: 1210-9592. Detail
  • RIŠA, M. Scheduling and Synchronization on Multicores. 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. p. 10-13. ISBN: 978-80-214-5376-0. Detail
  • ROGALEWICZ, A.; VOJNAR, T.; IOSIF, R. 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. Heidelberg: Springer Verlag, 2016. p. 71-89. ISBN: 978-3-662-49673-2. Detail
  • SAGHA, H.; MATĚJKA, P.; GAVRYUOKOVA, M.; POVOLNÝ, F.; MARCHI, E.; SCHULLER, B. Enhancing multilingual recognition of emotion in speech by language identification. In 17TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION - Proceedings (INTERSPEECH 2016). Proceedings of Interspeech. San Francisco: International Speech Communication Association, 2016. p. 2949-2953. ISSN: 1990-9772. Detail
  • SÁNCHEZ-CLEMENTE, A.; ENTRENA, L.; HRBÁČEK, R.; SEKANINA, L. Error Mitigation using Approximate Logic Circuits: A Comparison of Probabilistic and Evolutionary Approaches. IEEE TRANSACTIONS ON RELIABILITY, 2016, vol. 65, no. 4, p. 1871-1883. ISSN: 0018-9529. Detail
  • ŠLAPAL, J. A categorical approach to convergence: compactness. Topology and its Applications, 2016, vol. 201, no. 1, p. 78-85. ISSN: 0166-8641. Detail
  • STRNADEL, J. Modeling and Analysis of Fault-Tolerant Systems by Means of UPPAAL SMC: Method and Benefits. 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. p. 32-37. ISBN: 978-80-8086-256-5. Detail
  • STRNADEL, J. 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. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer International Publishing, 2016. p. 166-181. ISBN: 978-3-319-47166-2. ISSN: 0302-9743. Detail
  • STRNADEL, J.; RIŠA, M. 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. p. 45-50. ISBN: 978-1-5090-1040-0. Detail
  • SZŐKE, I.; ANGUERA, X. Zero-Cost Speech Recognition Task at Mediaeval 2016. In CEUR Workshop Proceedings. CEUR Workshop Proceedings. Hilversum: CEUR-WS.org, 2016. p. 1-3. ISSN: 1613-0073. Detail
  • SZURMAN, K.; MIČULKA, L.; KOTÁSEK, Z. 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
  • VAŠÍČEK, Z.; MRÁZEK, V.; SEKANINA, L. Evolutionary Functional Approximation of Circuits Implemented into FPGAs. In 2016 IEEE Symposium Series on Computational Intelligence. Athens: Institute of Electrical and Electronics Engineers, 2016. p. 1-8. ISBN: 978-1-5090-4240-1. Detail
  • VAVERKA, F.; HRBÁČEK, R.; SEKANINA, L. Evolving Component Library for Approximate High Level Synthesis. In 2016 IEEE Symposium Series on Computational Intelligence. Athens: IEEE Computational Intelligence Society, 2016. p. 1-8. ISBN: 978-1-5090-4240-1. Detail
  • VEĽAS, M.; ŠPANĚL, M.; HEROUT, A. 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. p. 4486-4491. ISBN: 978-1-4673-8025-6. Detail
  • YANUSHKEVICH, S.; EASTWOOD, S.; DRAHANSKÝ, M.; SHMERKO, V. Understanding and taxonomy of uncertainty in modeling, simulation, and risk profiling for border control automation. Journal of Defense Modeling and Simulation, 2016, vol. 15, no. 1, p. 95-109. ISSN: 1548-5129. Detail
  • ZACHARIÁŠOVÁ, M.; KEKELYOVÁ, M.; KOTÁSEK, Z. 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. p. 380-387. ISBN: 978-1-5090-2816-0. Detail
  • ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. 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. p. 819-824. ISBN: 978-1-4673-8606-7. Detail
  • ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. Overview of Bio-Inspired Control Mechanisms for Hexapod Robot. International Journal of Computer Information Systems and Industrial Management Applications, 2016, vol. 2016, no. 8, p. 125-134. ISSN: 2150-7988. Detail
  • ZAPLETAL, D.; HEROUT, A. Vehicle Re-Identification for Automatic Video Traffic Surveillance. In International Workshop on Automatic Traffic Surveillance (CVPR 2016). Las Vegas: IEEE Computer Society, 2016. p. 1568-1574. ISBN: 978-0-7695-4989-7. Detail
  • ZEINALI, H.; BURGET, L.; SAMETI, H.; GLEMBEK, O.; PLCHOT, O. 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. Proceedings of Odyssey: The Speaker and Language Recognition Workshop Odyssey 2014, Joensuu, Finland. Bilbao: International Speech Communication Association, 2016. p. 24-30. ISSN: 2312-2846. Detail
  • ZEINALI, H.; SAMETI, H.; BURGET, L.; ČERNOCKÝ, J.; MAGHSOODI, N.; MATĚJKA, P. i-vector/HMM Based Text-dependent Speaker Verification System for RedDots Challenge. In Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016. p. 440-444. ISBN: 978-1-5108-3313-5. Detail
  • ZEMČÍK, P.; MUSIL, P.; MUSIL, M. High Dynamic Range Video. In High Dynamic Range Video, 1st Edition. London: Elsevier Science, 2016. p. 145-154. ISBN: 978-0-12-809477-8. Detail
Products

2018

2017

2016

2015

2014

Patents

2016

Back to top