Detail projektu
IT4Innovations excellence in science
Období řešení: 1. 1. 2016 – 31. 12. 2020
Typ projektu: grant
Kód: LQ1602
Agentura: Ministerstvo školství, mládeže a tělovýchovy ČR
Program: Národní program udržitelnosti II
Název anglicky
IT4Innovations excellence in science
Typ
grant
Klíčová slova
informační technologie, superpočítač, bezpečnost
Řešitelé
Hruška Tomáš, prof. Ing., CSc.
(UIFS)
– hlavní řešitel
Ali Anas
Bambušek Daniel, Ing. (UPGM)
Barabas Maroš, Ing., Ph.D.
Bartík Vladimír, Ing., Ph.D. (UIFS)
Bartl Vojtěch, Ing., Ph.D. (UPGM)
Bařina David, Ing., Ph.D. (UPGM)
Baskar Murali Karthick, Ing., Ph.D.
Behúň Kamil, Ing. (UPGM)
Beneš Karel, Ing. (UPGM)
Beran Vítězslav, doc. Ing., Ph.D. (UPGM)
Bidlo Michal, doc. Ing., Ph.D. (UPSY)
Bordovský Gabriel, Ing. (VZ SC@FIT)
Budiský Jakub, Ing. (VZ SC@FIT)
Burget Lukáš, doc. Ing., Ph.D. (UPGM)
Burget Radek, doc. Ing., Ph.D. (UIFS)
Burgetová Ivana, Ing., Ph.D. (UIFS)
Čadík Martin, doc. Ing., Ph.D. (UPGM)
Čekan Ondřej, Ing., Ph.D. (UFYZ)
Černocký Jan, prof. Dr. Ing. (UPGM)
Češka Milan, doc. RNDr., Ph.D. (UITS)
Češka Milan, prof. RNDr., CSc.
Diez Sánchez Mireia, M.Sc., Ph.D. (UPGM)
Dobai Roland, Ing., Ph.D. (CK-SZZ)
Dobeš Petr, Ing. (UPGM)
Drahanský Martin, prof. Ing., Ph.D.
Drahošová Michaela, Ing., Ph.D. (UPSY)
Dvořák Michal, Ing., Ph.D.
Egorova Ekaterina, Ing., Ph.D.
Fajčík Martin, Ing., Ph.D. (UPGM)
Fiedor Jan, Ing., Ph.D. (UITS)
Fučík Otto, doc. Dr. Ing. (UPSY)
Glembek Ondřej, Ing., Ph.D.
Goldmann Tomáš, Ing., Ph.D. (UITS)
Grégr Matěj, Ing., Ph.D. (UIFS)
Grézl František, Ing., Ph.D. (UPGM)
Grochol David, Ing., Ph.D.
Hanáček Petr, doc. Dr. Ing. (UITS)
Hannemann Mirko, Ph.D.
Havlena Vojtěch, Ing., Ph.D. (UITS)
Havran Jan, Ing.
Heidari Mona, Ph.D. (FIT)
Herout Adam, prof. Ing., Ph.D. (UPGM)
Hodaň David, Ing.
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Holíková Lenka, Ing., Ph.D. (UITS)
Homoliak Ivan, Ing., Ph.D. (UITS)
Hradiš Michal, Ing., Ph.D. (UPGM)
Hrubý Martin, Ing., Ph.D. (UITS)
Hruška Tomáš, prof. Ing., CSc. (UIFS)
Husa Jakub, Ing. (UPSY)
Husár Adam, Ing., Ph.D.
Hynek Jiří, Ing., Ph.D. (UIFS)
Chavez Plascencia Alfredo, Ph.D.
Chrápek David, Ing.
Chudý Peter, doc. Ing., Ph.D., MBA (UPGM)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Jaroš Jiří, doc. Ing., Ph.D. (UPSY)
Jaroš Marta, Ing., Ph.D. (UPSY)
Juránek Roman, Ing., Ph.D. (UPGM)
Káčerik Martin, Ing.
Kadlubiak Kristián, Ing. (UPSY)
Kanich Ondřej, Ing., Ph.D. (UITS)
Kapinus Michal, Ing., Ph.D. (UPGM)
Karafiát Martin, Ing., Ph.D. (UPGM)
Kavetskyi Andrii (UITS)
Kekely Lukáš, Ing., Ph.D. (UPSY)
Kesiraju Santosh, Ph.D. (UPGM)
Kešner Filip, Ing.
Klepárník Petr, Ing., Ph.D. (UPGM)
Klubal Ondřej, Ing.
Kobrtek Jozef, Ing., Ph.D.
Kocnová Jitka, Ing. (VZ EHW)
Kocour Martin, Ing. (UPGM)
Kočí Radek, Ing., Ph.D. (UITS)
Kodym Oldřich, Ing., Ph.D.
Kolář Dušan, doc. Dr. Ing. (UIFS)
Kolář Martin, M.Sc., Ph.D. et Ph.D.
Koplík Karel, Ing.
Kořenek Jan, doc. Ing., Ph.D. (UPSY)
Kotásek Zdeněk, doc. Ing., CSc.
Krčma Martin, Ing., Ph.D. (UFYZ)
Křena Bohuslav, Ing., Ph.D. (UITS)
Křivka Zbyněk, Ing., Ph.D. (UIFS)
Kukliš Filip, Ing.
Kula Michal, Ing., Ph.D. (UPGM)
Kunovský Jiří, doc. Ing., CSc.
Landini Federico Nicolás (UPGM)
Lengál Ondřej, Ing., Ph.D. (UITS)
Lojda Jakub, Ing., Ph.D. (UPSY)
Lozano Díez Alicia, Ph.D.
Lysek Tomáš, Ing.
Malinka Kamil, Mgr., Ph.D. (UITS)
Martínek Tomáš, doc. Ing., Ph.D. (UPSY)
Matějka Pavel, Ing., Ph.D. (UPGM)
Materna Zdeněk, Ing., Ph.D. (UPGM)
Matoušek Jiří, Ing., Ph.D. (UPSY)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
Matyáš Jiří, Ing., Ph.D. (VZ VERIFIT)
Matýšek Michal, Ing. (UPGM)
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
Milet Tomáš, Ing., Ph.D. (UPGM)
Milkovič Marek, Ing.
Mrázek Vojtěch, Ing., Ph.D. (UPSY)
Musil Martin, Ing., Ph.D. (UPGM)
Najman Pavel, Ing. (UPGM)
Nikl Vojtěch, Ing.
Nosko Svetozár, Ing. (UPGM)
Ondel Lucas Antoine Francois, Mgr., Ph.D. (SSDIT)
Orság Filip, Ing., Ph.D. (UITS)
Otrusina Lubomír, Ing. (UPGM)
Palkovič Martin, Ing., Ph.D.
Pánek Richard, Ing. (UPSY)
Pastushenko Olena, Ing. (UIFS)
Pavelková Alena, Ing.
Peringer Petr, Dr. Ing. (UITS)
Pernický Radim, Ing.
Plchot Oldřich, Ing., Ph.D. (UPGM)
Podivínský Jakub, Ing., Ph.D. (UFYZ)
Polčák Libor, Ing., Ph.D. (UIFS)
Polok Lukáš, Ing., Ph.D.
Pospíšil Milan, Ing.
Prochocká Kristína, Ing.
Přibyl Bronislav, Ing., Ph.D. (VZ CPHOTO)
Puš Viktor, Ing., Ph.D.
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Rozman Jaroslav, Ing., Ph.D. (UITS)
Rudnitckaia Julia, Mgr., Ph.D.
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY)
Rydlo Štěpán, Ing. (UITS)
Rychlý Marek, RNDr., Ph.D. (UIFS)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Sadovský Petr, Ing., Ph.D. (UFYZ)
Sakin Martin, Ing. (UITS)
Sedlák Michal, Mgr., Ph.D.
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY)
Silnova Anna, M.Sc., Ph.D. (UPGM)
Smrčka Aleš, Ing., Ph.D. (UITS)
Smrž Pavel, doc. RNDr., Ph.D. (UPGM)
Sochor Jakub, Ing., Ph.D.
Starka Tomáš, Ing. (UPGM)
Strnadel Josef, Ing., Ph.D. (UPSY)
Svoboda Pavel, Ing., Ph.D.
Szentandrási István, Ing., Ph.D.
Szőke Igor, Ing., Ph.D. (UPGM)
Šimek Václav, Ing. (UPSY)
Šimková Hana, Mgr. Bc., Ph.D.
Široký Adam, Ing.
Škoda Petr, RNDr.
Šlapal Josef, prof. RNDr., CSc. (ÚM OAAG)
Šoková Veronika, Ing. (UITS)
Šolony Marek, Ing., Ph.D. (UPGM)
Španěl Michal, Ing., Ph.D. (UPGM)
Špaňhel Jakub, Ing., Ph.D. (UPGM)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Teuer Lukáš, Ing.
Vargovčík Pavol, Ing. (UITS)
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY)
Vaverka Filip, Ing., Ph.D. (VZ SC@FIT)
Veľas Martin, Ing., Ph.D.
Veselý Karel, Ing., Ph.D. (UPGM)
Veselý Vladimír, Ing., Ph.D. (UIFS)
Vlk Jan, Ing., Ph.D. (FIT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Volf Tomáš, Ing. (UIFS)
Vydana Hari Krishna
Wiglasz Michal, Ing.
Zachariáš Michal, Ing., Ph.D. (UPGM)
Zachariášová Marcela, Ing., Ph.D. (UPSY)
Zbořil František, doc. Ing., CSc. (UITS)
Zbořil František, doc. Ing., Ph.D. (UITS)
Zelený Jan, Ing., Ph.D.
Zemčík Pavel, prof. Dr. Ing., dr. h. c. (UPGM)
Zendulka Jaroslav, doc. Ing., CSc. (UIFS)
Zobal Lukáš, Ing. (FIT)
Žádník Martin, Ing., Ph.D. (UPSY)
Žák Marek, Ing., Ph.D.
Žižka Josef, Ing. (UPGM)
Ali Anas
Bambušek Daniel, Ing. (UPGM)
Barabas Maroš, Ing., Ph.D.
Bartík Vladimír, Ing., Ph.D. (UIFS)
Bartl Vojtěch, Ing., Ph.D. (UPGM)
Bařina David, Ing., Ph.D. (UPGM)
Baskar Murali Karthick, Ing., Ph.D.
Behúň Kamil, Ing. (UPGM)
Beneš Karel, Ing. (UPGM)
Beran Vítězslav, doc. Ing., Ph.D. (UPGM)
Bidlo Michal, doc. Ing., Ph.D. (UPSY)
Bordovský Gabriel, Ing. (VZ SC@FIT)
Budiský Jakub, Ing. (VZ SC@FIT)
Burget Lukáš, doc. Ing., Ph.D. (UPGM)
Burget Radek, doc. Ing., Ph.D. (UIFS)
Burgetová Ivana, Ing., Ph.D. (UIFS)
Čadík Martin, doc. Ing., Ph.D. (UPGM)
Čekan Ondřej, Ing., Ph.D. (UFYZ)
Černocký Jan, prof. Dr. Ing. (UPGM)
Češka Milan, doc. RNDr., Ph.D. (UITS)
Češka Milan, prof. RNDr., CSc.
Diez Sánchez Mireia, M.Sc., Ph.D. (UPGM)
Dobai Roland, Ing., Ph.D. (CK-SZZ)
Dobeš Petr, Ing. (UPGM)
Drahanský Martin, prof. Ing., Ph.D.
Drahošová Michaela, Ing., Ph.D. (UPSY)
Dvořák Michal, Ing., Ph.D.
Egorova Ekaterina, Ing., Ph.D.
Fajčík Martin, Ing., Ph.D. (UPGM)
Fiedor Jan, Ing., Ph.D. (UITS)
Fučík Otto, doc. Dr. Ing. (UPSY)
Glembek Ondřej, Ing., Ph.D.
Goldmann Tomáš, Ing., Ph.D. (UITS)
Grégr Matěj, Ing., Ph.D. (UIFS)
Grézl František, Ing., Ph.D. (UPGM)
Grochol David, Ing., Ph.D.
Hanáček Petr, doc. Dr. Ing. (UITS)
Hannemann Mirko, Ph.D.
Havlena Vojtěch, Ing., Ph.D. (UITS)
Havran Jan, Ing.
Heidari Mona, Ph.D. (FIT)
Herout Adam, prof. Ing., Ph.D. (UPGM)
Hodaň David, Ing.
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Holíková Lenka, Ing., Ph.D. (UITS)
Homoliak Ivan, Ing., Ph.D. (UITS)
Hradiš Michal, Ing., Ph.D. (UPGM)
Hrubý Martin, Ing., Ph.D. (UITS)
Hruška Tomáš, prof. Ing., CSc. (UIFS)
Husa Jakub, Ing. (UPSY)
Husár Adam, Ing., Ph.D.
Hynek Jiří, Ing., Ph.D. (UIFS)
Chavez Plascencia Alfredo, Ph.D.
Chrápek David, Ing.
Chudý Peter, doc. Ing., Ph.D., MBA (UPGM)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Jaroš Jiří, doc. Ing., Ph.D. (UPSY)
Jaroš Marta, Ing., Ph.D. (UPSY)
Juránek Roman, Ing., Ph.D. (UPGM)
Káčerik Martin, Ing.
Kadlubiak Kristián, Ing. (UPSY)
Kanich Ondřej, Ing., Ph.D. (UITS)
Kapinus Michal, Ing., Ph.D. (UPGM)
Karafiát Martin, Ing., Ph.D. (UPGM)
Kavetskyi Andrii (UITS)
Kekely Lukáš, Ing., Ph.D. (UPSY)
Kesiraju Santosh, Ph.D. (UPGM)
Kešner Filip, Ing.
Klepárník Petr, Ing., Ph.D. (UPGM)
Klubal Ondřej, Ing.
Kobrtek Jozef, Ing., Ph.D.
Kocnová Jitka, Ing. (VZ EHW)
Kocour Martin, Ing. (UPGM)
Kočí Radek, Ing., Ph.D. (UITS)
Kodym Oldřich, Ing., Ph.D.
Kolář Dušan, doc. Dr. Ing. (UIFS)
Kolář Martin, M.Sc., Ph.D. et Ph.D.
Koplík Karel, Ing.
Kořenek Jan, doc. Ing., Ph.D. (UPSY)
Kotásek Zdeněk, doc. Ing., CSc.
Krčma Martin, Ing., Ph.D. (UFYZ)
Křena Bohuslav, Ing., Ph.D. (UITS)
Křivka Zbyněk, Ing., Ph.D. (UIFS)
Kukliš Filip, Ing.
Kula Michal, Ing., Ph.D. (UPGM)
Kunovský Jiří, doc. Ing., CSc.
Landini Federico Nicolás (UPGM)
Lengál Ondřej, Ing., Ph.D. (UITS)
Lojda Jakub, Ing., Ph.D. (UPSY)
Lozano Díez Alicia, Ph.D.
Lysek Tomáš, Ing.
Malinka Kamil, Mgr., Ph.D. (UITS)
Martínek Tomáš, doc. Ing., Ph.D. (UPSY)
Matějka Pavel, Ing., Ph.D. (UPGM)
Materna Zdeněk, Ing., Ph.D. (UPGM)
Matoušek Jiří, Ing., Ph.D. (UPSY)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
Matyáš Jiří, Ing., Ph.D. (VZ VERIFIT)
Matýšek Michal, Ing. (UPGM)
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
Milet Tomáš, Ing., Ph.D. (UPGM)
Milkovič Marek, Ing.
Mrázek Vojtěch, Ing., Ph.D. (UPSY)
Musil Martin, Ing., Ph.D. (UPGM)
Najman Pavel, Ing. (UPGM)
Nikl Vojtěch, Ing.
Nosko Svetozár, Ing. (UPGM)
Ondel Lucas Antoine Francois, Mgr., Ph.D. (SSDIT)
Orság Filip, Ing., Ph.D. (UITS)
Otrusina Lubomír, Ing. (UPGM)
Palkovič Martin, Ing., Ph.D.
Pánek Richard, Ing. (UPSY)
Pastushenko Olena, Ing. (UIFS)
Pavelková Alena, Ing.
Peringer Petr, Dr. Ing. (UITS)
Pernický Radim, Ing.
Plchot Oldřich, Ing., Ph.D. (UPGM)
Podivínský Jakub, Ing., Ph.D. (UFYZ)
Polčák Libor, Ing., Ph.D. (UIFS)
Polok Lukáš, Ing., Ph.D.
Pospíšil Milan, Ing.
Prochocká Kristína, Ing.
Přibyl Bronislav, Ing., Ph.D. (VZ CPHOTO)
Puš Viktor, Ing., Ph.D.
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Rozman Jaroslav, Ing., Ph.D. (UITS)
Rudnitckaia Julia, Mgr., Ph.D.
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY)
Rydlo Štěpán, Ing. (UITS)
Rychlý Marek, RNDr., Ph.D. (UIFS)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Sadovský Petr, Ing., Ph.D. (UFYZ)
Sakin Martin, Ing. (UITS)
Sedlák Michal, Mgr., Ph.D.
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY)
Silnova Anna, M.Sc., Ph.D. (UPGM)
Smrčka Aleš, Ing., Ph.D. (UITS)
Smrž Pavel, doc. RNDr., Ph.D. (UPGM)
Sochor Jakub, Ing., Ph.D.
Starka Tomáš, Ing. (UPGM)
Strnadel Josef, Ing., Ph.D. (UPSY)
Svoboda Pavel, Ing., Ph.D.
Szentandrási István, Ing., Ph.D.
Szőke Igor, Ing., Ph.D. (UPGM)
Šimek Václav, Ing. (UPSY)
Šimková Hana, Mgr. Bc., Ph.D.
Široký Adam, Ing.
Škoda Petr, RNDr.
Šlapal Josef, prof. RNDr., CSc. (ÚM OAAG)
Šoková Veronika, Ing. (UITS)
Šolony Marek, Ing., Ph.D. (UPGM)
Španěl Michal, Ing., Ph.D. (UPGM)
Špaňhel Jakub, Ing., Ph.D. (UPGM)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Teuer Lukáš, Ing.
Vargovčík Pavol, Ing. (UITS)
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY)
Vaverka Filip, Ing., Ph.D. (VZ SC@FIT)
Veľas Martin, Ing., Ph.D.
Veselý Karel, Ing., Ph.D. (UPGM)
Veselý Vladimír, Ing., Ph.D. (UIFS)
Vlk Jan, Ing., Ph.D. (FIT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Volf Tomáš, Ing. (UIFS)
Vydana Hari Krishna
Wiglasz Michal, Ing.
Zachariáš Michal, Ing., Ph.D. (UPGM)
Zachariášová Marcela, Ing., Ph.D. (UPSY)
Zbořil František, doc. Ing., CSc. (UITS)
Zbořil František, doc. Ing., Ph.D. (UITS)
Zelený Jan, Ing., Ph.D.
Zemčík Pavel, prof. Dr. Ing., dr. h. c. (UPGM)
Zendulka Jaroslav, doc. Ing., CSc. (UIFS)
Zobal Lukáš, Ing. (FIT)
Žádník Martin, Ing., Ph.D. (UPSY)
Žák Marek, Ing., Ph.D.
Žižka Josef, Ing. (UPGM)
Publikace
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
2022
- BAŘINA, D.; ŠOLONY, M.; CHLUBNA, T.; DLABAJA, D.; KLÍMA, O.; ZEMČÍK, P. Comparison of light field compression methods. MULTIMEDIA TOOLS AND APPLICATIONS, 2022, vol. 81, no. 2,
p. 2517-2528. ISSN: 1573-7721. Detail - HAVEL, M.; MEDUNA, A. On Elimination of Erasing Rules from E0S Grammars. Computer Science Journal of Moldova, 2022, vol. 30, no. 2,
p. 135-147. ISSN: 1561-4042. Detail - KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A.; NAGY, B. A Jumping 5'->3' Watson-Crick Finite Automata Model. Acta Informatica, 2022, vol. 59, no. 5,
p. 557-584. ISSN: 0001-5903. Detail - MARTIŠKO, J.; KŘIVKA, Z.; MEDUNA, A. CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. International Journal of Foundations of Computer Science, 2022, vol. 33, no. 03,
p. 335-348. ISSN: 0129-0541. Detail - MATOUŠEK, J.; LUČANSKÝ, A.; JANEČEK, D.; SABO, J.; KOŘENEK, J.; ANTICHI, G. ClassBench-ng: Benchmarking Packet Classification Algorithms in the OpenFlow Era. IEEE-ACM TRANSACTIONS ON NETWORKING, 2022, vol. 30, no. 5,
p. 1912-1925. ISSN: 1558-2566. Detail
2021
- BAŘINA, D. Convergence verification of the Collatz problem. Journal of Supercomputing, 2021, vol. 77, no. 3,
p. 2681-2688. ISSN: 1573-0484. Detail - BAŘINA, D. Real-time wavelet transform for infinite image strips. Journal of Real-Time Image Processing, 2021, vol. 18, no. 3,
p. 585-591. ISSN: 1861-8200. Detail - DELCROIX, M.; ŽMOLÍKOVÁ, K.; OCHIAI, T.; KINOSHITA, K.; NAKATANI, T. Speaker activity driven neural speech extraction. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Toronto: IEEE Signal Processing Society, 2021.
p. 6099-6103. ISBN: 978-1-7281-7605-5. Detail - DVOŘÁK, M.; DRAHANSKÝ, M.; ABDULLA BARAZANCHI, W. On the fly biometric identification system using hand-geometry. IET Biometrics, 2021, vol. 10, no. 3,
p. 315-325. ISSN: 2047-4938. Detail - HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Automata Terms in a Lazy WSkS Decision Procedure. JOURNAL OF AUTOMATED REASONING, 2021, vol. 65, no. 7,
p. 971-999. ISSN: 0168-7433. Detail - HYNEK, J.; KACHLÍK, J.; RUSŇÁK, V. Geovisto: A Toolkit for Generic Geospatial Data Visualization. In Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Volume 3: IVAPP. Setúbal: SciTePress - Science and Technology Publications, 2021.
p. 101-111. ISBN: 978-989-758-488-6. Detail - JAROŠ, M.; SASÁK, T.; TREEBY, B.; JAROŠ, J. Estimation of Execution Parameters for k-Wave Simulations. In High Performance Computing in Science and Engineering. HPCSE 2019. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Nature Switzerland AG, 2021.
p. 116-134. ISBN: 978-3-030-67076-4. Detail - KANICH, O.; DRAHANSKÝ, M. Swipe Sensor Damage Simulation into Synthetic Fingerprint. IET Biometrics, 2021, vol. 8, no. 3,
p. 1-12. ISSN: 2047-4938. Detail - KODYM, O.; HRADIŠ, M. TG2: text-guided transformer GAN for restoring document readability and perceived quality. International Journal on Document Analysis and Recognition, 2021, vol. 2021, no. 1,
p. 1-14. ISSN: 1433-2825. Detail - KOZUBEK, T.; ŘÍHA, L.; ŠÍSTEK, J.; TICHÝ, P. High Performance Computing in Science and Engineering, 4th International Conference, HPCSE 2019. Lecture Notes in Computer Science, vol 12456. Cham: 2021.
p. 1-163. Detail - KŘIVKA, Z.; MEDUNA, A. Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete. Fundamenta Informaticae, 2021, vol. 179, no. 4,
p. 361-384. ISSN: 0169-2968. Detail - LEPPÄJÄRVI, L.; SEDLÁK, M. Postprocessing of quantum instruments. Physical Review A, 2021, vol. 103, no. 2,
p. 1-13. ISSN: 2469-9926. Detail - PASTUSHENKO, O.; HYNEK, J.; HRUŠKA, T. Evaluation of User Interface Design Metrics using Generator of Realistic-Looking Dashboard Samples. Expert Systems, 2021, vol. 38, no. 5,
p. 1-19. ISSN: 1468-0394. Detail - PHAM, K.; NOIMARK, S.; HUYNH, N.; ZHANG, E.; KUKLIŠ, F.; JAROŠ, J.; DESJARDINS, A.; COX, B.; BEARD, P. Broadband all-optical plane-wave ultrasound imaging system based on a Fabry-Perot scanner. IEEE TRANSACTIONS ON ULTRASONICS FERROELECTRICS AND FREQUENCY CONTROL, 2021, vol. 68, no. 4,
p. 1007-1016. ISSN: 1525-8955. Detail - PUTEROVÁ, J.; MARTÍNEK, T. digIS: Towards detecting distant and putative novel insertion sequences in prokaryotic genomes. BMC BIOINFORMATICS, 2021, vol. 22, no. 258,
p. 1-20. ISSN: 1471-2105. Detail - SEMERÁD, L.; DRAHANSKÝ, M. Retina Recognition Using Crossings and Bifurcations. In Applications of Pattern Recognition. London: InTech - Open Access Publisher, 2021.
p. 77-94. ISBN: 978-1-78985-332-2. Detail - ŠLAPAL, J. A convenient graph connectedness for digital imagery. In High Performance Computing in Science and Engineering 2019. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2021.
p. 150-162. ISBN: 978-3-030-67076-4. ISSN: 0302-9743. Detail - VAVERKA, F.; TREEBY, B.; JAROŠ, J. Performance Evaluation of Pseudospectral Ultrasound Simulations on a Cluster of Xeon Phi Accelerators. In High Performance Computing in Science and Engineering. HPCSE 2019. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Nature Switzerland AG, 2021.
p. 99-115. ISBN: 978-3-030-67076-4. Detail - WISE, E.; JAROŠ, J.; COX, B.; TREEBY, B. Pseudospectral Time-Domain (PSTD) Methods for the Wave Equation: Realizing Boundary Conditions with Discrete Sine and Cosine Transforms. Journal of Theoretical and Computational Acoustics, 2021, vol. 29, no. 4,
p. 2050021-2050021. ISSN: 2591-7285. Detail - ZBOŘIL, F.; ZBOŘIL, F.; KOČÍ, R.; VÍDEŇSKÝ, F. FRAg: Flexibly Reasoning BDI Agent. Autonomous Agents and Multi-Agent Systems, 2021,
p. 0-0. ISSN: 1573-7454. Detail - ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. Design and Control of 7-DOF Omni-directional Hexapod Robot. Open Computer Science, 2021, vol. 11, no. 1,
p. 80-89. ISSN: 2299-1093. Detail
2020
- ALAM, J.; BOULIANNE, G.; BURGET, L.; DAHMANE, M.; DIEZ SÁNCHEZ, M.; GLEMBEK, O.; LALONDE, M.; LOZANO DÍEZ, A.; MATĚJKA, P.; MIZERA, P.; MOŠNER, L.; NOISEUX, C.; MONTEIRO, J.; NOVOTNÝ, O.; PLCHOT, O.; ROHDIN, J.; SILNOVA, A.; SLAVÍČEK, J.; STAFYLAKIS, T.; ST-CHARLES, P.; WANG, S.; ZEINALI, H. Analysis of ABC Submission to NIST SRE 2019 CMN and VAST Challenge. In Proceedings of Odyssey 2020 The Speaker and Language Recognition Workshop. Proceedings of Odyssey: The Speaker and Language Recognition Workshop Odyssey 2014, Joensuu, Finland. Tokyo: International Speech Communication Association, 2020.
p. 289-295. ISSN: 2312-2846. Detail - BARTL, V.; ŠPAŇHEL, J.; DOBEŠ, P.; JURÁNEK, R.; HEROUT, A. Automatic Camera Calibration by Landmarks on Rigid Objects. Machine Vision and Applications, 2020, vol. 32, no. 1,
p. 2-15. ISSN: 1432-1769. Detail - BAŘINA, D. Multiplication Algorithm Based on Collatz function. Theory of Computing Systems, 2020, vol. 64, no. 8,
p. 1331-1337. ISSN: 1433-0490. Detail - BAŘINA, D.; KLÍMA, O. JPEG 2000: Guide for Digital Libraries. Digital Library Perspectives, 2020, vol. 36, no. 3,
p. 249-263. ISSN: 2059-5816. Detail - BIDLO, M. Evolution of Cellular Automata with Conditionally Matching Rules for Image Filtering. In 2020 IEEE Congress on Evolutionary Computation (CEC). Los Alamitos: IEEE Computational Intelligence Society, 2020.
p. 1-8. ISBN: 978-1-7281-6929-3. Detail - BIDLO, M.; DOBEŠ, M. Evolutionary Development of 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 - BIDLO, M.; ŽUFAN, P. On Comparison of Some Representations for the Evolution of Quantum Operators. In 2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020. Canberra: Institute of Electrical and Electronics Engineers, 2020.
p. 2101-2108. ISBN: 978-1-7281-2547-3. Detail - BINDER, A.; BREITENBACHER, D.; HARTEL, P.; SZALACHOWSKI, P.; HOMOLIAK, I.; HUJŇÁK, O. SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets. In Proceedings of the 2nd ACM Conference on Advances in Financial Technologies. New York City: Association for Computing Machinery, 2020.
p. 145-162. ISBN: 978-1-4503-8139-0. Detail - BISWAS, S.; ROHDIN, J.; DRAHANSKÝ, M. Bilateral Symmetry in Central Retinal Blood Vessels. In 8th International Workshop on Biometrics and Forensics, IWBF 2020. Porto: IEEE Computer Society, 2020.
p. 1-6. ISBN: 978-1-7281-6232-4. Detail - BISWAS, S.; ROHDIN, J.; DRAHANSKÝ, M. Interretinal Symmetry in Color Fundus Photographs. In Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. Montreal: IEEE Computer Society, 2020.
p. 1980-1983. ISBN: 978-1-7281-1990-8. Detail - BISWAS, S.; ROHDIN, J.; KAVETSKYI, A.; DRAHANSKÝ, M. Grading Quality of Color Retinal Images to Assist Fundus Camera Operators. In Proceedings of the IEEE 33rd International Symposium on Computer-Based Medical Systems (CBMS). Rochester: IEEE Computer Society Press, 2020.
p. 77-82. ISBN: 978-1-7281-9429-5. 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 - CRHA, A.; ŠIMEK, V.; RŮŽIČKA, R. Multi-output cuts influence on optimization of polymorphic circuits based on PAIG rewriting. In 2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Novi Sad: Institute of Electrical and Electronics Engineers, 2020.
p. 1-6. ISBN: 978-1-7281-9938-2. 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. International Journal on Software Tools for Technology Transfer, 2020, vol. 22, no. 5,
p. 523-539. ISSN: 1433-2779. Detail - ČEŠKA, M.; MATYÁŠ, J.; MRÁZEK, V.; SEKANINA, L.; VAŠÍČEK, Z.; VOJNAR, T. Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. APPLIED SOFT COMPUTING, 2020, vol. 95, no. 106466,
p. 1-17. ISSN: 1568-4946. Detail - DELCROIX, M.; OCHIAI, T.; ŽMOLÍKOVÁ, K.; KINOSHITA, K.; TAWARA, N.; NAKATANI, T.; ARAKI, S. Improving Speaker Discrimination of Target Speech Extraction With Time-Domain Speakerbeam. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Barcelona: IEEE Signal Processing Society, 2020.
p. 691-695. ISBN: 978-1-5090-6631-5. Detail - DIEZ SÁNCHEZ, M.; BURGET, L.; LANDINI, F.; ČERNOCKÝ, J. Analysis of Speaker Diarization based on Bayesian HMM with Eigenvoice Priors. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, 2020, vol. 28, no. 1,
p. 355-368. ISSN: 2329-9290. Detail - DIEZ SÁNCHEZ, M.; BURGET, L.; LANDINI, F.; WANG, S.; ČERNOCKÝ, J. Optimizing Bayesian Hmm Based X-Vector Clustering for the Second Dihard Speech Diarization Challenge. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Barcelona: IEEE Signal Processing Society, 2020.
p. 6519-6523. ISBN: 978-1-5090-6631-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 - DUNBAR, E.; KARADAYI, J.; BERNARD, M.; CAO, X.; ALGAYRES, R.; ONDEL YANG, L.; BESACIER, L.; SAKTI, S.; DUPOUX, E. The Zero Resource Speech Challenge 2020: Discovering discrete subword and word units. In Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Proceedings of Interspeech. Shanghai: International Speech Communication Association, 2020.
p. 4831-4835. ISSN: 1990-9772. Detail - FOLENTA, J.; ŠPAŇHEL, J.; BARTL, V.; HEROUT, A. Determining Vehicle Turn Counts at Multiple Intersections by Separated Vehicle Classes Using CNNs. In 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops. Seattle, WA: IEEE Computer Society, 2020.
p. 2544-2549. ISBN: 978-1-7281-9360-1. ISSN: 2160-7516. Detail - GROCHOL, D.; SEKANINA, L. Evolutionary Design of Hash Functions for IPv6 Network Flow Hashing. In IEEE Congress on Evolutionary Computation. Los Alamitos: IEEE Computational Intelligence Society, 2020.
p. 1-8. ISBN: 978-1-7281-6929-3. Detail - HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VALEŠ, O.; VOJNAR, T. Antiprenexing for WSkS: A Little Goes a Long Way. In EPiC Series in Computing. Proceedings of LPAR-23. Manchester: EasyChair, 2020.
p. 298-316. ISSN: 2398-7340. Detail - HAVRÁNEK, P.; ZŮVALA, R.; ŠPAŇHEL, J.; HEROUT, A.; VALENTOVÁ, V.; AMBROS, J. How does road marking in horizontal curves influence driving behaviour?. European Transport Research Review, 2020, vol. 12, no. 1,
p. 1-11. ISSN: 1866-8887. Detail - HODAŇ, D.; MRÁZEK, V.; VAŠÍČEK, Z. Semantically-Oriented Mutation Operator in Cartesian Genetic Programming for Evolutionary Circuit Design. In GECCO 2020 - Proceedings of the 2020 Genetic and Evolutionary Computation Conference. Cancún: Association for Computing Machinery, 2020.
p. 940-948. ISBN: 978-1-4503-7128-5. Detail - HOLÍK, L.; JANKŮ, P.; BUI PHI, D.; CHEN, Y.; LIN, H.; WU, W.; ABDULLA, P.; ATIG, M. Efficient handling of string-number conversion. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). New York: Association for Computing Machinery, 2020.
p. 943-957. ISBN: 978-1-4503-7613-6. Detail - HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). New York: Springer International Publishing, 2020.
p. 1-33. Detail - HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; IOSIF, R. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. FORMAL METHODS IN SYSTEM DESIGN, 2020, vol. 55, no. 3,
p. 137-170. ISSN: 0925-9856. Detail - HOLKOVIČ, M.; POLČÁK, L.; RYŠAVÝ, O. Application Error Detection in Networks by Protocol Behavior Model. In Communications in Computer and Information Science. Communications in Computer and Information Science. Praha: Springer Verlag, 2020.
p. 3-28. ISBN: 978-3-030-52685-6. ISSN: 1865-0929. Detail - HOMOLIAK, I.; MALINKA, K.; HANÁČEK, P. ASNM Datasets: A Collection of Network Attacks for Testing of Adversarial Classifiers and Intrusion Detectors. IEEE Access, 2020, vol. 8, no. 6,
p. 112427-112453. ISSN: 2169-3536. 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 - HRUBÝ, M.; GONZÁLES, A.; RUIZ NOLASCO, R.; SHARMAN, K.; SÁEZ, S. Simulation Infrastructure for Automated Anesthesia During Operations. In International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science. Cham: Springer Verlag, 2020.
p. 474-481. ISBN: 978-3-030-45092-2. 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 - JAROŠ, M.; KLUSÁČEK, D.; JAROŠ, J. Optimizing Biomedical Ultrasound Workflow Scheduling Using Cluster Simulations. In Job Scheduling Strategies for Parallel Processing. JSSPP 2020. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). New Orleans: Springer Nature Switzerland AG, 2020.
p. 68-84. ISBN: 978-3-030-63170-3. Detail - JAROŠ, M.; TREEBY, B.; GEORGIOU, P.; JAROŠ, J. k-Dispatch: A Workflow Management System for the Automated Execution of Biomedical Ultrasound Simulations on Remote Computing Resources. In Proceedings of the Platform for Advanced Scientific Computing Conference, PASC 2020. New York: Association for Computing Machinery, 2020.
p. 1-10. ISBN: 978-1-4503-7993-9. Detail - KAPINUS, M.; MATERNA, Z.; BAMBUŠEK, D.; BERAN, V. End-User Robot Programming Case Study: Augmented Reality vs. Teach Pendant. In Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Cambridge: Association for Computing Machinery, 2020.
p. 281-283. ISBN: 978-1-4503-7057-8. Detail - KEKELY, L.; CABAL, J.; PUŠ, V.; KOŘENEK, J. Multi Buses: Theory and Practical Considerations of Data Bus Width Scaling in FPGAs. In Proceedings - Euromicro Conference on Digital System Design, DSD 2020. Kranj: IEEE Computer Society, 2020.
p. 49-56. ISBN: 978-1-7281-9535-3. Detail - KEKELY, M.; KEKELY, L.; KOŘENEK, J. General memory efficient packet matching FPGA architecture for future high-speed networks. Microprocessors and Microsystems, 2020, vol. 73, no. 3,
p. 1-12. ISSN: 0141-9331. Detail - KESIRAJU, S.; PLCHOT, O.; BURGET, L.; GANGASHETTY, S. Learning Document Embeddings Along With Their Uncertainties. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, 2020, vol. 2020, no. 28,
p. 2319-2332. ISSN: 2329-9290. Detail - KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A. General CD Grammar Systems and Their Simplification. Journal of Automata, Languages and Combinatorics, 2020, vol. 25, no. 1,
p. 37-54. ISSN: 1430-189X. Detail - KOCNOVÁ, J.; VAŠÍČEK, Z. EA-based Resynthesis: An Efficient Tool for Optimization of Digital Circuits. Genetic Programming and Evolvable Machines, 2020, vol. 21, no. 3,
p. 287-319. ISSN: 1389-2576. Detail - KOČÍ, R. Requirements Validation Through Scenario Generation and Comparison. The Fifteenth International Conference on Software Engineering Advances, ICSEA 2020. Porto: Xpert Publishing Services, 2020.
p. 129-134. ISBN: 978-1-61208-827-3. Detail - KODYM, O.; ŠPANĚL, M.; HEROUT, A. Skull Shape Reconstruction Using Cascaded Convolutional Networks. COMPUTERS IN BIOLOGY AND MEDICINE, 2020, vol. 123, no. 103886,
p. 1-9. ISSN: 0010-4825. Detail - KOLÁŘ, M.; HRADIŠ, M.; ZEMČÍK, P. Capturing Fonts in the Wild. Smart Tools and Apps for Graphics - Eurographics Italian Chapter Conference. Eurographics Association, 2020.
p. 0-0. ISBN: 978-3-03868-124-3. Detail - KOSIBA, M.; BURGET, L. Multiwavelength classification of X-ray selected galaxy cluster candidates using convolutional neural networks. Monthly Notices of the Royal Astronomical Society, 2020, vol. 496, no. 4,
p. 4141-4153. ISSN: 1365-2966. Detail - KOUTENSKÝ, M.; VESELÝ, V.; MAFFIONE, V. Addressing Bandwidth-driven Flow Allocation in RINA. Computers, 2020, vol. 9, no. 3,
p. 1-23. ISSN: 2073-431X. Detail - KOUTENSKÝ, M.; VESELÝ, V.; MAFFIONE, V. Bandwidth-driven Flow Allocation Policy for RINA. In Proceedings of the 23rd Conference on Innovation in Clouds, Internet and Networks (ICIN 2020). Paris: IEEE Communications Society, 2020.
p. 51-56. ISBN: 978-1-7281-5127-4. Detail - KUČERA, J.; POPESCU, D.; WANG, H.; MOORE, A.; KOŘENEK, J.; ANTICHI, G. Enabling Event-Triggered Data Plane Monitoring. In SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research. New York, NY: Association for Computing Machinery, 2020.
p. 14-26. ISBN: 978-1-4503-7101-8. Detail - KUKLIŠ, F.; JAROŠ, M.; JAROŠ, J. Accelerated Design of HIFU Treatment Plans Using Island-Based Evolutionary Strategy. In Applications of Evolutionary Computation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer International Publishing, 2020.
p. 463-478. ISBN: 978-3-030-43721-3. Detail - LANDINI, F.; WANG, S.; DIEZ SÁNCHEZ, M.; BURGET, L.; MATĚJKA, P.; ŽMOLÍKOVÁ, K.; MOŠNER, L.; SILNOVA, A.; PLCHOT, O.; NOVOTNÝ, O.; ZEINALI, H.; ROHDIN, J. But System for the Second Dihard Speech Diarization Challenge. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Barcelona: IEEE Signal Processing Society, 2020.
p. 6529-6533. ISBN: 978-1-5090-6631-5. Detail - LOJDA, J.; PÁNEK, R.; PODIVÍNSKÝ, J.; ČEKAN, O.; KRČMA, M.; KOTÁSEK, Z. Analysis of Software-Implemented Fault Tolerance: Case Study on Smart Lock. In 2020 IEEE East-West Design and Test Symposium, EWDTS 2020 - Proceedings. Varna: Institute of Electrical and Electronics Engineers, 2020.
p. 24-28. ISBN: 978-1-7281-9899-6. Detail - LOJDA, J.; PÁNEK, R.; PODIVÍNSKÝ, J.; ČEKAN, O.; KRČMA, M.; KOTÁSEK, Z. Hardening of Smart Electronic Lock Software against Random and Deliberate Faults. In Proceedings - Euromicro Conference on Digital System Design, DSD 2020. Kranj: Institute of Electrical and Electronics Engineers, 2020.
p. 680-683. ISBN: 978-1-7281-9535-3. Detail - LOJDA, J.; PODIVÍNSKÝ, J.; ČEKAN, O.; PÁNEK, R.; KRČMA, M.; KOTÁSEK, Z. Automatic Design of Reliable Systems Based on the Multiple-choice Knapsack Problem. In Proceedings - 2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2020. Novi Sad: Institute of Electrical and Electronics Engineers, 2020.
p. 1-4. ISBN: 978-1-7281-9938-2. Detail - LOZANO DÍEZ, A.; SILNOVA, A.; PULUGUNDLA, B.; ROHDIN, J.; VESELÝ, K.; BURGET, L.; PLCHOT, O.; GLEMBEK, O.; NOVOTNÝ, O.; MATĚJKA, P. BUT Text-Dependent Speaker Verification System for SdSV Challenge 2020. In Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Proceedings of Interspeech. Shanghai: International Speech Communication Association, 2020.
p. 761-765. ISSN: 1990-9772. Detail - MARTIN, E.; JAROŠ, J.; TREEBY, B. Experimental Validation of k-Wave: Nonlinear Wave Propagation in Layered, Absorbing Fluid Media. IEEE TRANSACTIONS ON ULTRASONICS FERROELECTRICS AND FREQUENCY CONTROL, 2020, vol. 67, no. 1,
p. 81-91. ISSN: 1525-8955. Detail - MATĚJKA, P.; PLCHOT, O.; GLEMBEK, O.; BURGET, L.; ROHDIN, J.; ZEINALI, H.; MOŠNER, L.; SILNOVA, A.; NOVOTNÝ, O.; DIEZ SÁNCHEZ, M.; ČERNOCKÝ, J. 13 years of speaker recognition research at BUT, with longitudinal analysis of NIST SRE. COMPUTER SPEECH AND LANGUAGE, 2020, vol. 2020, no. 63,
p. 1-15. ISSN: 0885-2308. Detail - MATYÁŠ, J.; PANKUCH, A.; VOJNAR, T.; ČEŠKA, M.; ČEŠKA, M. Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. In International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science. Cham: Springer Verlag, 2020.
p. 482-490. ISBN: 978-3-030-45092-2. 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. 750 p. ISBN: 978-1-78561-659-4. Detail
- MOŠNER, L.; PLCHOT, O.; ROHDIN, J.; ČERNOCKÝ, J. Utilizing VOiCES dataset for multichannel speaker verification with beamforming. Proceedings of Odyssey 2020 The Speaker and Language Recognition Workshop. Proceedings of Odyssey: The Speaker and Language Recognition Workshop Odyssey 2014, Joensuu, Finland. Tokyo: International Speech Communication Association, 2020.
p. 187-193. ISSN: 2312-2846. Detail - MUSIL, M.; NOSKO, S.; ZEMČÍK, P. De-Ghosted HDR Video Acquisition for Embedded Systems. Journal of Real-Time Image Processing, 2020, vol. 2020, no. 1,
p. 1-10. ISSN: 1861-8200. Detail - MUSIL, P.; JURÁNEK, R.; MUSIL, M.; ZEMČÍK, P. Cascaded Stripe Memory Engines for Multi-Scale Object Detection in FPGA. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, 2020, vol. 30, no. 1,
p. 267-280. ISSN: 1051-8215. Detail - NAJMAN, P.; ZEMČÍK, P. Vehicle Speed Measurement Using Stereo Camera Pair. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2020, vol. 23, no. 3,
p. 2202-2210. ISSN: 1524-9050. Detail - NOSKO, S.; MUSIL, M.; ZEMČÍK, P.; JURÁNEK, R. Color HDR video processing architecture for smart camera. Journal of Real-Time Image Processing, 2020, vol. 17, no. 3,
p. 555-566. ISSN: 1861-8200. Detail - PÁNEK, R.; LOJDA, J.; PODIVÍNSKÝ, J.; KOTÁSEK, Z. Reliability Analysis of Reconfiguration Controller for FPGA-Based Fault Tolerant Systems: Case Study. In 2020 International Symposium on VLSI Design, Automation, and Test (VLSI-DAT) : proceedings of technical papers. Hsinchu: IEEE Computer Society, 2020.
p. 121-124. ISBN: 978-1-7281-6083-2. Detail - PASTUSHENKO, O.; OLIVEIRA, W.; HRUŠKA, T.; ISOTANI, S. A Methodology for Multimodal Learning Analytics and Flow Experience Identification within Gamified Assignments. In Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. Honolulu: Association for Computing Machinery, 2020.
p. 1-9. ISBN: 978-1-4503-6819-3. Detail - PERNICKÝ, R.; DRAHANSKÝ, M.; KANICH, O. Výzkum falzifikátů otisků prstů na různých nosičích. Kriminalistický sborník, 2020, roč. 2020, č. 5,
s. 54-58. ISSN: 1453-259X. Detail - PLASCENCIA, A.; BERAN, V.; ROZMAN, J. Working Progress Towards Lawn Mower Automation. In Proceedings of the 17th International Conference on Informatics in Control, Automation and Robotics. Setúbal: SciTePress - Science and Technology Publications, 2020.
p. 99-108. ISBN: 978-989-758-442-8. Detail - PLUSKAL, J.; BREITINGER, F.; RYŠAVÝ, O. Netfox Detective: A novel open-source Network Forensics Analysis Tool. Forensic Science International: Digital Investigation, 2020, vol. 35, no. 301019,
p. 1-13. ISSN: 2666-2825. 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 - POLČÁK, L.; RYŠAVÝ, O.; MATOUŠEK, P. Identity Linking in Computer Networks. In Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, DCNET, OPTICS, SIGMAP and WINSYS. Setubal: SciTePress - Science and Technology Publications, 2020.
p. 45-52. ISBN: 978-989-758-445-9. Detail - ROHDIN, J.; SILNOVA, A.; DIEZ SÁNCHEZ, M.; PLCHOT, O.; MATĚJKA, P.; BURGET, L.; GLEMBEK, O. End-to-end DNN based text-independent speaker recognition for long and short utterances. COMPUTER SPEECH AND LANGUAGE, 2020, vol. 2020, no. 59,
p. 22-35. ISSN: 0885-2308. Detail - SEDLÁK, M.; ZIMAN, M. Probabilistic storage and retrieval of qubit phase gates. Physical Review A, 2020, vol. 102, no. 1,
p. 1-8. ISSN: 2469-9926. Detail - SILNOVA, A.; BRUMMER, J.; ROHDIN, J.; STAFYLAKIS, T.; BURGET, L. Probabilistic embeddings for speaker diarization. Proceedings of Odyssey 2020 The Speaker and Language Recognition Workshop. Proceedings of Odyssey: The Speaker and Language Recognition Workshop Odyssey 2014, Joensuu, Finland. Tokyo: International Speech Communication Association, 2020.
p. 24-31. ISSN: 2312-2846. Detail - STRNADEL, J. Statistical Model Checking of Approximate Circuits: Challenges and Opportunities. In Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). Grenoble: IEEE Computer Society, 2020.
p. 1574-1577. ISBN: 978-3-9819263-4-7. Detail - ŠLAPAL, J. A 3D digital Jordan-Brouwer separation theorem. COMPUTATIONAL & APPLIED MATHEMATICS, 2020, vol. 39, no. 11,
p. 1-10. ISSN: 1807-0302. Detail - ŠLAPAL, J. A closure operator for the digital plane. FILOMAT, 2020, vol. 34, no. 10,
p. 3229-3237. ISSN: 0354-5180. 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 - ŠPAŇHEL, J.; SOCHOR, J.; JURÁNEK, R.; DOBEŠ, P.; BARTL, V.; HEROUT, A. Learning Feature Aggregation in Temporal Domain for Re-Identification. COMPUTER VISION AND IMAGE UNDERSTANDING, 2020, vol. 192, no. 11,
p. 1-12. ISSN: 1077-3142. Detail - TREEBY, B.; WISE, E.; KUKLIŠ, F.; JAROŠ, J.; COX, B. Nonlinear ultrasound simulation in an axisymmetric coordinate system using a k-space pseudospectral method. Journal of the Acoustical Society of America, 2020, vol. 148, no. 4,
p. 2288-2300. ISSN: 1520-8524. Detail - UHLÍŘ, V.; VÍDEŇSKÝ, F.; ZBOŘIL, F. Multi-Agent Programming Contest 2019 FIT BUT Team solution. In The Multi-Agent Programming Contest 2019, Agents Assemble - Block by Block to Victory. Lecture Notes in Computer Science. Lecture Notes of Computer Challenges. Berlin: Springer International Publishing, 2020.
p. 59-78. ISBN: 978-3-030-59298-1. ISSN: 0302-9743. Detail - WANG, S.; ROHDIN, J.; PLCHOT, O.; BURGET, L.; YU, K.; ČERNOCKÝ, J. Investigation of Specaugment for Deep Speaker Embedding Learning. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Barcelona: IEEE Signal Processing Society, 2020.
p. 7139-7143. ISBN: 978-1-5090-6631-5. Detail - ZEINALI, H.; LEE, K.; ALAM, J.; BURGET, L. SdSV Challenge 2020: Large-Scale Evaluation of Short-duration Speaker Verification. In Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Proceedings of Interspeech. Shanghai: International Speech Communication Association, 2020.
p. 731-735. ISSN: 1990-9772. Detail - ZULUAGA-GOMEZ, J.; MOTLÍČEK, P.; ZHAN, Q.; VESELÝ, K.; BRAUN, R. Automatic Speech Recognition Benchmark for Air-Traffic Communications. In Proceedings of Interspeech 2020. Proceedings of Interspeech. Shanghai: International Speech Communication Association, 2020.
p. 2297-2301. ISSN: 1990-9772. 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
- ABDULLA, P.; ATIG, M.; BUI PHI, D.; HOLÍK, L.; JANKŮ, P. Chain-Free String Constraints. In Proceedings of ATVA'19. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019.
p. 277-293. ISBN: 978-3-030-31783-6. Detail - ABDULLA, P.; ATIG, M.; CHEN, Y.; BUI PHI, D.; HOLÍK, L.; REZINE, A.; RUMMER, P. Trau: SMT solver for string constraints. In Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2019.
p. 165-169. ISBN: 978-0-9835678-8-2. Detail - 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 - BADÁŇ, F.; SEKANINA, L. Optimizing Convolutional Neural Networks for Embedded Systems By Means of Neuroevolution. In Theory and Practice of Natural Computing. LNCS 11934. Cham: Springer International Publishing, 2019.
p. 109-121. ISBN: 978-3-030-34499-3. Detail - BAMBUŠEK, D.; MATERNA, Z.; KAPINUS, M.; BERAN, V.; SMRŽ, P. Combining Interactive Spatial Augmented Reality with Head-Mounted Display for End-User Collaborative Robot Programming. In 2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). New Delhi: Institute of Electrical and Electronics Engineers, 2019.
p. 1-9. ISBN: 978-1-7281-2622-7. Detail - BARTL, V.; HEROUT, A. OptInOpt: Dual Optimization for Automatic Camera Calibration by Multi-Target Observations. In 16th IEEE International Conference on Advanced Video and Signal-based Surveillance. Taipei: Institute of Electrical and Electronics Engineers, 2019.
p. 1-8. ISBN: 978-1-7281-0990-9. Detail - BAŘINA, D.; CHLUBNA, T.; ŠOLONY, M.; DLABAJA, D.; ZEMČÍK, P. Evaluation of 4D Light Field Compression Methods. In International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG), Part I. Computer Science Research Notes (CSRN). Plzeň: Union Agency, 2019.
p. 55-61. ISBN: 978-80-86943-37-4. Detail - BAŘINA, D.; KULA, M.; ZEMČÍK, P. Parallel Wavelet Schemes for Images. Journal of Real-Time Image Processing, 2019, vol. 16, no. 5,
p. 1365-1381. ISSN: 1861-8200. Detail - BASKAR, M.; BURGET, L.; WATANABE, S.; KARAFIÁT, M.; HORI, T.; ČERNOCKÝ, J. Promising Accurate Prefix Boosting For Sequence-to-sequence ASR. In Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019.
p. 5646-5650. ISBN: 978-1-5386-4658-8. Detail - BASKAR, M.; WATANABE, S.; ASTUDILLO, R.; HORI, T.; BURGET, L.; ČERNOCKÝ, J. Semi-supervised Sequence-to-sequence ASR using Unpaired Speech and Text. In Proceedings of Interspeech. Proceedings of Interspeech. Graz: International Speech Communication Association, 2019.
p. 3790-3794. ISSN: 1990-9772. Detail - BIDLO, M. Advances in the Evolution of Complex Cellular Automata. In Computational Intelligence. International Joint Conference, IJCCI 2016 Porto, Portugal, November 9-11, 2016 Revised Selected Papers. Cham: Springer International Publishing, 2019.
p. 123-146. ISBN: 978-3-319-99282-2. Detail - BIDLO, M. Comparison of Evolutionary Development of Cellular Automata Using Various Representations. Mendel Journal series, 2019, vol. 2019, no. 1,
p. 95-102. ISSN: 1803-3814. Detail - BIDLO, M.; KORGO, J. Ant Colony Optimisation for Performing Computational Task in Cellular Automata. Mendel Journal series, 2019, vol. 25, no. 1,
p. 147-156. ISSN: 1803-3814. Detail - BISWAS, S.; ROHDIN, J.; DRAHANSKÝ, M. Suitable Embedding to Find Similarity Between Left and Right Retinas of a Person. In Proceedings of the 12th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics. Suzhou: IEEE Computer Society, 2019.
p. 1-6. ISBN: 978-1-7281-4852-6. Detail - BISWAS, S.; ROHDIN, J.; DRAHANSKÝ, M. Synthetic Retinal Images from Unconditional GANs. In Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Berlin: IEEE Computer Society, 2019.
p. 2736-2739. ISBN: 978-1-5386-1311-5. 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.
p. 0-0. Detail - BORDOVSKÝ, G.; JAROŠ, J. On the Complexity of Photoacoustic Tomography: A Trade-off Between Image Quality and Computational Cost. Solaň: 2019.
p. 1 (1 s.). Detail - CRHA, A.; ŠIMEK, V.; RŮŽIČKA, R. PAIG Rewriting: The Way to Scalable Multifunctional Digital Circuits Synthesis. In 22nd Euromicro Conference on Digital System Design. Kallithea, Chalkidiki: Institute of Electrical and Electronics Engineers, 2019.
p. 335-342. ISBN: 978-1-7281-2861-0. Detail - ČEKAN, O.; PODIVÍNSKÝ, J.; LOJDA, J.; PÁNEK, R.; KRČMA, M.; KOTÁSEK, Z. Smart Electronic Locks and Their Reliability. Proceedings of the 7th Prague Embedded Systems Workshop. Roztoky u Prahy: Czech Technical University, 2019.
p. 4-5. ISBN: 978-80-01-06607-2. Detail - ČEKAN, O.; PODIVÍNSKÝ, J.; LOJDA, J.; PÁNEK, R.; KRČMA, M.; KOTÁSEK, Z. Testing Reliability of Smart Electronic Locks: Analysis and the First Steps Towards. In Proceedings of the 2019 22nd Euromicro Conference on Digital System Design. Kalithea: Institute of Electrical and Electronics Engineers, 2019.
p. 506-513. ISBN: 978-1-7281-2861-0. Detail - ČEŠKA, M.; HENSE, C.; JANSEN, N.; JUNGES, S.; KATOEN, J. Model Repair Revamped - On the Automated Synthesis of Markov Chains -. In From Reactive Systems to Cyber-Physical Systems. Lecture Notes of Computer Science. Cham: Springer International Publishing, 2019.
p. 107-125. ISBN: 978-3-030-31513-9. Detail - ČEŠKA, M.; HENSE, C.; JUNGES, S.; KATOEN, J. Counterexample-Driven Synthesis for Probabilistic Program Sketches. In Proceedings of the 23rd International Symposium on Formal Methods. Lecture Notes of Computer Science. Porto: Springer International Publishing, 2019.
p. 101-120. ISBN: 978-3-030-30941-1. Detail - ČEŠKA, M.; KŘETÍNSKÝ, J. Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). In Proceedings of the 17th International Conference on Computational Methods in Systems Biology. Lecture Notes in Bioinformatics. Trieste: Springer International Publishing, 2019.
p. 337-341. ISBN: 978-3-030-31303-6. Detail - ČEŠKA, M.; KŘETÍNSKÝ, J. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. In Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19). Lecture Notes of Computer Science. New York: Springer International Publishing, 2019.
p. 475-496. ISBN: 978-3-030-25540-4. Detail - DELCROIX, M.; ŽMOLÍKOVÁ, K.; OCHIAI, T.; KINOSHITA, K.; ARAKI, S.; NAKATANI, T. Evaluation of SpeakerBeam target speech extraction in real noisy and reverberant conditions. THE JOURNAL OF THE ACOUSTICAL SOCIETY OF JAPAN, 2019, vol. 2019, no. 2,
p. 1-2. ISSN: 0369-4232. Detail - DIEZ SÁNCHEZ, M.; BURGET, L.; WANG, S.; ROHDIN, J.; ČERNOCKÝ, J. Bayesian HMM based x-vector clustering for Speaker Diarization. In Proceedings of Interspeech. Proceedings of Interspeech. Graz: International Speech Communication Association, 2019.
p. 346-350. ISSN: 1990-9772. Detail - DRAHANSKÝ, M.; GOLDMANN, T. Faces in forensic applications - processing and generation of 2D and 3D face data in criminal praxis scenarios. INTERPOL, Lyon: 2019.
p. 1-19. Detail - DRAHANSKÝ, M.; KANICH, O. Fingerprints in forensic applications - processing and generation of diseased, damaged and spoofed fingerprints. INTERPOL, Lyon: 2019.
p. 1-18. Detail - DRAHANSKÝ, M.; KANICH, O. Influence of skin diseases on fingerprints. In Biometrics under Biomedical Considerations. Singapore: Springer Nature Singapore, 2019.
p. 1-39. ISBN: 978-981-1311-44-4. Detail - DRAHOŠOVÁ, M.; SEKANINA, L.; WIGLASZ, M. Adaptive Fitness Predictors in Coevolutionary Cartesian Genetic Programming. EVOLUTIONARY COMPUTATION, 2019, vol. 27, no. 3,
p. 497-523. ISSN: 1063-6560. 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 - FIEDOR, T.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Nested Antichains for WS1S. Acta Informatica, 2019, vol. 56, no. 3,
p. 205-228. ISSN: 0001-5903. Detail - HAVLENA, V.; ČEŠKA, M.; HOLÍK, L.; KOŘENEK, J.; LENGÁL, O.; MATOUŠEK, D.; MATOUŠEK, J.; SEMRIČ, J.; VOJNAR, T. Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. In Proceedings - 27th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2019. San Diego, CA: Institute of Electrical and Electronics Engineers, 2019.
p. 109-117. ISBN: 978-1-7281-1131-5. 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 - HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Automata Terms in a Lazy WSkS Decision Procedure. In Proceedings of 27th International Conference on Automated Deduction (CADE-27). Lecture Notes in Computer Science. Natal: Springer Verlag, 2019.
p. 300-318. ISSN: 0302-9743. 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 - HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. Succinct Determinisation of Counting Automata via Sphere Construction. In In Proc. of 17th Asian Symposium on Programming Languages and Systems - APLAS'19. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2019.
p. 468-489. ISSN: 0302-9743. Detail - HOMOLIAK, I.; TOFFALINI, F.; GUARNIZO, J.; ELOVICI, Y.; OCHOA, M. Insight Into Insiders and IT: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. ACM COMPUTING SURVEYS, 2019, vol. 52, no. 2,
p. 1-40. ISSN: 0360-0300. Detail - HRANICKÝ, R.; LIŠTIAK, F.; MIKUŠ, D.; RYŠAVÝ, O. On Practical Aspects of PCFG Password Cracking. In Data and Applications Security and Privacy. Lecture Notes in Computer Science. Charleston: Springer Nature Switzerland AG, 2019.
p. 43-60. ISBN: 978-3-030-22478-3. ISSN: 0302-9743. Detail - HRANICKÝ, R.; ZOBAL, L.; RYŠAVÝ, O.; KOLÁŘ, D. Distributed password cracking with BOINC and hashcat. Digital Investigation, 2019, vol. 30, no. 1,
p. 161-172. ISSN: 1742-2876. Detail - HYNEK, J.; HRUŠKA, T. Segmentation of Dashboard Screen Images: Preparation of Inputs for Object-based Metrics of UI Quality. In Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Volume 3: IVAPP. Prague: SciTePress - Science and Technology Publications, 2019.
p. 199-207. ISBN: 978-989-758-354-4. Detail - CHEN, Y.; HAVLENA, V.; LENGÁL, O. Simulations in Rank-Based Büchi Automata Complementation. In Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS). Lecture Notes in Computer Science. Nusa Dua: Springer International Publishing, 2019.
p. 447-467. ISSN: 0302-9743. Detail - CHO, J.; WATANABE, S.; HORI, T.; BASKAR, M.; INAGUMA, H.; VILLALBA LOPEZ, J.; DEHAK, N. Language Model Integration Based on Memory Control for Sequence to Sequence Speech Recognition. In Proceedings of 2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP). Brighton: IEEE Signal Processing Society, 2019.
p. 6191-6195. ISBN: 978-1-5386-4658-8. Detail - INAGUMA, H.; CHO, J.; BASKAR, M.; KAWAHARA, T.; WATANABE, S. Transfer Learning Of Language-independent End-to-end ASR With Language Model Fusion. In Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019.
p. 6096-6100. ISBN: 978-1-5386-4658-8. Detail - JAROŠ, M. Adaptive Execution Planning in Workflow Management Systems. Počítačové architektury a diagnostika 2019. Doksy: Academic and Medical Conference Agency, 2019.
p. 23-26. ISBN: 978-80-88214-20-5. Detail - JAROŠ, M.; JAROŠ, J.; TREEBY, B. Adaptive Execution Planning in Workflow Management Systems. Denver: 2019.
p. 0-0. Detail - JAROŠ, M.; TREEBY, B.; JAROŠ, J. Adaptive Execution Planning in Biomedical Workflow Management Systems. Ostrava: 2019.
p. 0-0. Detail - JAROŠ, M.; TREEBY, B.; JAROŠ, J. Scientific workflow management framework. Soláň: 2019.
p. 1 (1 s.). Detail - JEŘÁBEK, K.; RYŠAVÝ, O. Big Data Network Flow Processing Using Apache Spark. In Proceedings of the 6th Conference on the Engineering of Computer Based Systems (ECBS 2019), 2019. Bukurešť: Association for Computing Machinery, 2019.
p. 1-9. ISBN: 978-1-4503-7636-5. Detail - JURÁNEK, R.; ŠPAŇHEL, J.; SOCHOR, J.; HEROUT, A.; NOVÁK, J. Visual Analysis of Vehicle Trajectories for Determining Cross-Sectional Load Density. Transactions on Transport Sciences - online version, 2019, vol. 10, no. 1,
p. 50-57. ISSN: 1802-9876. Detail - KANICH, O.; KOŠŤÁK, D.; DRAHANSKÝ, M. Psoriasis Damage Simulation into Synthetic Fingerprint. In Proceedings 18th International Conference of the Biometrics Special Interest Group. Lecture Notes in Informatics. Darmstadt: GI - Group for computer science, 2019.
p. 205-212. ISBN: 978-3-88579-690-9. Detail - KAPINUS, M.; BERAN, V.; MATERNA, Z.; BAMBUŠEK, D. Spatially Situated End-User Robot Programming in Augmented Reality. In 2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). New Delhi: Institute of Electrical and Electronics Engineers, 2019.
p. 1-9. ISBN: 978-1-7281-2622-7. Detail - KARAFIÁT, M.; BASKAR, M.; WATANABE, S.; HORI, T.; WIESNER, M.; ČERNOCKÝ, J. Analysis of Multilingual Sequence-to-Sequence Speech Recognition Systems. In Proceedings of Interspeech. Proceedings of Interspeech. Graz: International Speech Communication Association, 2019.
p. 2220-2224. ISSN: 1990-9772. Detail - KEKELY, L.; CABAL, J.; KOŘENEK, J. Effective FPGA Architecture for General CRC. In Architecture of Computing Systems - ARCS 2019. Neuvedeno: Springer International Publishing, 2019.
p. 211-223. ISBN: 978-3-030-18655-5. Detail - KOCNOVÁ, J.; VAŠÍČEK, Z. EA-based refactoring of mapped logic circuits. In 2019 IEEE International Symposium on Circuits and Systems (ISCAS). Red Hook, NY: IEEE Computer Society Press, 2019.
p. 1-5. ISBN: 978-1-7281-0397-6. Detail - KOCNOVÁ, J.; VAŠÍČEK, Z. Impact of subcircuit selection on the efficiency of CGP-based optimization of gate-level circuits. In GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion. New York: Association for Computing Machinery, 2019.
p. 377-378. ISBN: 978-1-4503-6748-6. Detail - KOČÍ, R.; JANOUŠEK, V. Incorporating Petri Nets into DEVS Formalism for Precise System Modeling. ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances. Valencia: Xpert Publishing Services, 2019.
p. 184-189. ISBN: 978-1-61208-752-8. Detail - KOČÍ, R.; JANOUŠEK, V. Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets. International Journal on Advances in Software, 2019, vol. 12, no. 3,
p. 191-200. ISSN: 1942-2628. Detail - KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T. PredatorHP Attacks Interval-Sized Regions. Ithaca: 2019.
p. 1-4. Detail - KRČMA, M.; KOTÁSEK, Z.; LOJDA, J. Detecting hard synapses faults in artificial neural networks. In 20th IEEE Latin American Test Symposium (LATS 2019). Santiago de Chile: IEEE Computer Society, 2019.
p. 1-6. ISBN: 978-1-7281-1756-0. Detail - KUČERA, J.; KEKELY, L.; PIECEK, A.; KOŘENEK, J. General IDS Acceleration for High-Speed Networks. In Proceedings - 2018 IEEE 36th International Conference on Computer Design, ICCD 2018. Orlando: Institute of Electrical and Electronics Engineers, 2019.
p. 366-373. ISBN: 978-1-5386-8477-1. Detail - KUKA, M.; VOJANEC, K.; KUČERA, J.; BENÁČEK, P. Accelerated DDoS Attacks Mitigation using Programmable Data Plane. In 2019 ACM/IEEE Symposium on Architectures for Networking and Communications Systems, ANCS 2019. Cambridge: Institute of Electrical and Electronics Engineers, 2019.
p. 1-3. ISBN: 978-1-7281-4387-3. Detail - KUKLIŠ, F. Optimization of Evolutionary Strategy using Island Model to Design HIFU Treatment Plans. Sborník semináře PAD 2019. Doksy: Academic and Medical Conference Agency, 2019.
p. 5-8. ISBN: 978-80-88214-20-5. Detail - LOJDA, J.; PODIVÍNSKÝ, J.; KOTÁSEK, Z. Reliability Indicators for Automatic Design and Analysis of Fault-Tolerant FPGA Systems. In 20th IEEE Latin American Test Symposium (LATS 2019). Santiago: IEEE Computer Society, 2019.
p. 93-96. ISBN: 978-1-7281-1756-0. Detail - MALČÍK, D.; DRAHANSKÝ, M. Improving The Physical Security Of Microchips Against Side-Channel Attacks. International Journal of Advanced Science and Technology, 2019, vol. 2019, no. 127,
p. 13-24. ISSN: 2207-6360. Detail - MALČÍK, D.; DRAHANSKÝ, M. Improving the Physical Security of Microchips. International Journal of Security and Its Applications, 2019, vol. 13, no. 3,
p. 17-28. ISSN: 2207-9629. Detail - MATĚJKA, P.; PLCHOT, O.; ZEINALI, H.; MOŠNER, L.; SILNOVA, A.; BURGET, L.; NOVOTNÝ, O.; GLEMBEK, O. Analysis of BUT Submission in Far-Field Scenarios of VOiCES 2019 Challenge. In Proceedings of Interspeech. Proceedings of Interspeech. Graz: International Speech Communication Association, 2019.
p. 2448-2452. ISSN: 1990-9772. Detail - MEDUNA, A.; KŘIVKA, Z.; KUČERA, J. Jumping Pure Grammars. COMPUTER JOURNAL, 2019, vol. 62, no. 1,
p. 30-41. ISSN: 0010-4620. Detail - MOŠNER, L.; PLCHOT, O.; ROHDIN, J.; BURGET, L.; ČERNOCKÝ, J. Speaker Verification with Application-Aware Beamforming. In IEEE Automatic Speech Recognition and Understanding Workshop - Proceedings (ASRU). Sentosa, Singapore: IEEE Signal Processing Society, 2019.
p. 411-418. ISBN: 978-1-7281-0306-8. Detail - MOŠNER, L.; WU, M.; RAJU, A.; PARTHASARATHI, S.; KUMATANI, K.; SUNDARAM, S.; MAAS, R.; HOFFMEISTER, B. Improving Noise Robustness of Automatic Speech Recognition via Parallel Data and Teacher-student Learning. In Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019.
p. 6475-6479. ISBN: 978-1-5386-4658-8. Detail - NEVORAL, J.; ŠIMEK, V.; RŮŽIČKA, R. PoLibSi: Path Towards Intrinsically Reconfigurable Components. In 2019 22nd Euromicro Conference on Digital System Design (DSD). Kallithea, Chalkidiki: Institute of Electrical and Electronics Engineers, 2019.
p. 328-334. ISBN: 978-1-7281-2861-0. Detail - NOVOTNÝ, O.; PLCHOT, O.; GLEMBEK, O.; BURGET, L. Factorization of Discriminatively Trained i-Vector Extractor for Speaker Recognition. In Proceedings of Interspeech. Proceedings of Interspeech. Graz: International Speech Communication Association, 2019.
p. 4330-4334. ISSN: 1990-9772. Detail - NOVOTNÝ, O.; PLCHOT, O.; GLEMBEK, O.; BURGET, L.; MATĚJKA, P. Discriminatively Re-trained i-Vector Extractor For Speaker Recognition. In Proceedings of 2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP). Brighton: IEEE Signal Processing Society, 2019.
p. 6031-6035. ISBN: 978-1-5386-4658-8. Detail - NOVOTNÝ, O.; PLCHOT, O.; GLEMBEK, O.; ČERNOCKÝ, J.; BURGET, L. Analysis of DNN Speech Signal Enhancement for Robust Speaker Recognition. COMPUTER SPEECH AND LANGUAGE, 2019, vol. 2019, no. 58,
p. 403-421. ISSN: 0885-2308. Detail - ONDEL YANG, L.; LI, R.; SELL, G.; HEŘMANSKÝ, H. Deriving Spectro-temporal Properties of Hearing from Speech Data. In Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019.
p. 411-415. ISBN: 978-1-5386-4658-8. Detail - ONDEL YANG, L.; VYDANA, H.; BURGET, L.; ČERNOCKÝ, J. Bayesian Subspace Hidden Markov Model for Acoustic Unit Discovery. In Proceedings of Interspeech 2019. Proceedings of Interspeech. Graz: International Speech Communication Association, 2019.
p. 261-265. ISSN: 1990-9772. Detail - PASTUSHENKO, O. Gamification in Assignments: Using Dynamic Difficulty Adjustment and Learning Analytics to Enhance Education. In Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion. Extended Abstracts. Barcelona: Association for Computing Machinery, 2019.
p. 47-53. ISBN: 978-3-319-77711-5. Detail - PASTUSHENKO, O.; GEURTS, L.; HRUŠKA, T. Conceptual Learning of Electric and Electronic Circuits With Gamification. In Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion. Extended Abstracts. Barcelona: Association for Computing Machinery, 2019.
p. 589-596. ISBN: 978-1-4503-6871-1. Detail - PLUSKAL, J.; BREITINGER, F.; RYŠAVÝ, O. Netfox Detective: A novel open-source Network Forensics Analysis Tool. ACSAC. San Juan: 2019.
p. 1-10. Detail - PODIVÍNSKÝ, J.; ČEKAN, O.; KRČMA, M.; BURGET, R.; HRUŠKA, T.; KOTÁSEK, Z. Multidimensional Pareto Frontiers Intersection: Processor Optimization Case Study. Proceedings of the 7th Prague Embedded Systems Workshop. Roztoky u Prahy: Czech Technical University, 2019.
p. 20-21. ISBN: 978-80-01-06607-2. Detail - PODIVÍNSKÝ, J.; ČEKAN, O.; KRČMA, M.; BURGET, R.; HRUŠKA, T.; KOTÁSEK, Z. Multidimensional Pareto Frontiers Intersection Determination and Processor Optimization Case Study. In Proceedings of the 2019 22nd Euromicro Conference on Digital System Design. Kalithea: Institute of Electrical and Electronics Engineers, 2019.
p. 597-600. ISBN: 978-1-7281-2861-0. Detail - PODIVÍNSKÝ, J.; LOJDA, J.; KOTÁSEK, Z. Extended Reliability Analysis of Fault-Tolerant FPGA-based Robot Controller. In 20th IEEE Latin American Test Symposium (LATS 2019). Santiago: IEEE Computer Society, 2019.
p. 97-100. ISBN: 978-1-7281-1756-0. Detail - ROZMAN, J.; HŘÍBEK, D.; ZBOŘIL, F. Testing of Various Approaches for Semiautomatic Parish Records Word Standardization. In JIST: Joint International Semantic Technology Conference. Communications in Computer and Information Science. Communications in Computer and Information Science. Hangzhou: Springer International Publishing, 2019.
p. 21-33. ISBN: 978-981-1534-11-9. ISSN: 1865-0929. Detail - RUDNITCKAIA, J.; HRUŠKA, T.; NIKDO, N. Applying Process Mining to the Ship Handling Process at Oil Terminal. In Conference on Industrial Cyber Physical Systems. IEEEXplore. Taipei: Institute of Electrical and Electronics Engineers, 2019.
p. 552-557. ISBN: 978-1-5386-8500-6. Detail - RUDNITCKAIA, J.; NIKDO, N. Finding an Optimal Route of a Consignment in a Seaport. In 4th International Conference on Intelligent Transportation Engineering (ICITE). IEEEXplore. Singapore: Institute of Electrical and Electronics Engineers, 2019.
p. 29-33. ISBN: 978-1-7281-4553-2. Detail - SEDLMAJER, K.; BAMBUŠEK, D.; BERAN, V. Effective Remote Drone Control Using Augmented Virtuality. In Proceedings of the 3rd International Conference on Computer-Human Interaction Research and Applications 2019. Vienna: SciTePress - Science and Technology Publications, 2019.
p. 177-182. ISBN: 978-989-758-376-6. Detail - SEMERÁD, L.; DRAHANSKÝ, M. Retinal Vascular Characteristics. In Handbook of Vascular Biometrics. Advances in Computer Vision and Pattern Recognition. Londýn: Springer International Publishing, 2019.
p. 309-354. ISBN: 978-3-030-27730-7. Detail - STAFYLAKIS, T.; ROHDIN, J.; PLCHOT, O.; MIZERA, P.; BURGET, L. Self-supervised speaker embeddings. In Proceedings of Interspeech. Proceedings of Interspeech. Graz: International Speech Communication Association, 2019.
p. 2863-2867. ISSN: 1990-9772. Detail - STRNADEL, J. Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates. In Design, Automation & Test in Europe Conference & Exhibition (DATE). Florence: IEEE Computer Society, 2019.
p. 614-617. ISBN: 978-3-9819263-2-3. Detail - SUBRAMANIAN, A.; WANG, X.; BASKAR, M.; WATANABE, S.; TANIGUCHI, T.; TRAN, D.; FUJITA, Y. Speech Enhancement Using End-to-End Speech Recognition Objectives. In IEEE Workshop on Applications of Signal Processing to Audio and Acoustics. New Paltz, NY: IEEE Signal Processing Society, 2019.
p. 234-238. ISBN: 978-1-7281-1123-0. Detail - SZENTANDRÁSI, I.; JURÁNKOVÁ, M.; ZACHARIÁŠ, M.; HEROUT, A. Poor Man's Virtual Camera: Real-Time Simultaneous Matting and Camera Pose Estimation. IEEE COMPUTER GRAPHICS AND APPLICATIONS, 2019, vol. 39, no. 6,
p. 108-119. ISSN: 0272-1716. Detail - SZŐKE, I.; SKÁCEL, M.; MOŠNER, L.; PALIESEK, J.; ČERNOCKÝ, J. Building and Evaluation of a Real Room Impulse Response Dataset. IEEE J-STSP, 2019, vol. 13, no. 4,
p. 863-876. ISSN: 1932-4553. Detail - SZURMAN, K.; KOTÁSEK, Z. Fault Recovery for Coarse-Grained TMR Soft-Core Processor Using Partial Reconfiguration and State Synchronization. Proceedings of the 7th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2019.
p. 6-7. ISBN: 978-80-01-06607-2. Detail - SZURMAN, K.; KOTÁSEK, Z. Coarse-Grained TMR Soft-Core Processor Fault Tolerance Methods and State Synchronization for Run-Time Fault Recovery. In 20th IEEE Latin American Test Symposium (LATS 2019). Santiago: IEEE Computer Society, 2019.
p. 32-35. ISBN: 978-1-7281-1756-0. Detail - SZURMAN, K.; KOTÁSEK, Z. Run-Time Reconfigurable Fault Tolerant Architecture for Soft-Core Processor neo430. In 22nd International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2019). Cluj-Napoca: IEEE Computer Society, 2019.
p. 136-140. ISBN: 978-1-7281-0073-9. Detail - ŠLAPAL, J. Path-induced closure operators on graphs for defining digital Jordan surfaces. Open Mathematics, 2019, vol. 17, no. 1,
p. 1374-1380. ISSN: 2391-5455. Detail - ŠPAŇHEL, J.; BARTL, V.; JURÁNEK, R.; HEROUT, A. Vehicle Re-Identification and Multi-Camera Tracking in Challenging City-Scale Environment. In 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops. Long Beach: IEEE Computer Society, 2019.
p. 150-158. ISSN: 2160-7516. Detail - ŠPAŇHEL, J.; JURÁNEK, R.; HEROUT, A.; NOVÁK, J.; HAVRÁNEK, P. Analysis of Vehicle Trajectories for Determining Cross-Sectional Load Density Based on Computer Vision. In 2019 22th International Conference on Intelligenet Transportation Systems (ITSC). Auckland: Institute of Electrical and Electronics Engineers, 2019.
p. 1001-1006. ISBN: 978-1-5386-7024-8. Detail - ŠŮSTEK, M.; VÍDEŇSKÝ, F.; ZBOŘIL, F.; ZBOŘIL, F. Family Coat of Arms and Armorial Achievement Classification. In Intelligent Systems Design and Applications. Advances in Intelligent Systems and Computing. Advances in Intelligent Systems and Computing. Los Alamitos: Springer International Publishing, 2019.
p. 577-586. ISSN: 2194-5357. Detail - VAVERKA, F. Towards Large-scale Ultrasound Simulations in Soft Tissue for Medical Applications. PAD 2019. Doksy: Academic and Medical Conference Agency, 2019.
p. 64-67. ISBN: 978-80-88214-20-5. Detail - VAVERKA, F.; TREEBY, B.; JAROŠ, J. Advancements in Ultrasound Simulations Enabled by High-bandwidth GPU Interconnects. Denver: 2019.
p. 0-0. Detail - VAVERKA, F.; TREEBY, B.; JAROŠ, J. Evaluation of the Suitability of Intel Xeon Phi Clusters for the Simulation of Ultrasound Wave Propagation using Pseudospectral Methods. In 19th International Conference on Computational Science 2019, Faro, Portugal, June 12-14, 2019. Lecture Notes in Computer Science. Faro: Springer International Publishing, 2019.
p. 577-590. ISBN: 978-3-030-22743-2. Detail - VEIGEND, P.; ŠÁTEK, V. Linear system control using the high order method. In 16th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2019.
p. 1-4. ISSN: 0094-243X. Detail - VEĽAS, M.; ŠPANĚL, M.; HEROUT, A. Indoor and Outdoor Backpack Mapping with Calibrated Pair of Velodyne LiDARs. SENSORS, 2019, vol. 19, no. 18,
p. 1-34. ISSN: 1424-8220. Detail - VEĽAS, M.; ŠPANĚL, M.; HRADIŠ, M.; HEROUT, A. Convolutional Neural Networks for the Odometry Estimation. Journal of Intelligent and Robotics Systems, 2019, vol. 2019, no. 93,
p. 1-22. ISSN: 0921-0296. Detail - VESELÝ, V.; ŽÁDNÍK, M. How to detect cryptocurrency miners? By traffic forensics!. Digital Investigation, 2019, vol. 31, no. 31,
p. 1-14. ISSN: 1742-2876. Detail - VLK, J.; CHUDÝ, P.; PRUSTOMĚRSKÝ, M. Light Sport Aircraft Auto-Land System. In 38th Digital Avionics System Conference (DASC) - 2019 Conference Proceedings. San Diego, USA: Institute of Electrical and Electronics Engineers, 2019.
p. 1-10. ISBN: 978-1-7281-0649-6. Detail - WANG, S.; ROHDIN, J.; BURGET, L.; PLCHOT, O.; QIAN, Y.; YU, K.; ČERNOCKÝ, J. On the Usage of Phonetic Information for Text-independent Speaker Embedding Extraction. In Proceedings of Interspeech. Proceedings of Interspeech. Graz: International Speech Communication Association, 2019.
p. 1148-1152. ISSN: 1990-9772. Detail - YANG, J.; ONDEL YANG, L.; MANOHAR, V.; HEŘMANSKÝ, H. Towards Automatic Methods to Detect Errors in Transcriptions of Speech Recordings. In Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019.
p. 3747-3751. ISBN: 978-1-5386-4658-8. Detail - ZBOŘIL, F.; ROZMAN, J.; KOČÍ, R. Algorithmic creation of genealogical models. In Proceedings of ISDA 2018. Advances in Intelligent Systems and Computing. Advances in Intelligent Systems and Computing. Los Alamitos: Springer International Publishing, 2019.
p. 650-658. ISBN: 978-3-030-16659-5. ISSN: 2194-5357. Detail - ZEINALI, H.; BURGET, L.; ROHDIN, J.; STAFYLAKIS, T.; ČERNOCKÝ, J. How To Improve Your Speaker Embeddings Extractor in Generic Toolkits. In Proceedings of 2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP). Brighton: IEEE Signal Processing Society, 2019.
p. 6141-6145. ISBN: 978-1-5386-4658-8. Detail - ZEINALI, H.; ČERNOCKÝ, J.; BURGET, L. A multi purpose and large scale speech corpus in Persian and English for speaker and speech Recognition: the DeepMine database. In IEEE Automatic Speech Recognition and Understanding Workshop - Proceedings (ASRU). Sentosa, Singapore: IEEE Signal Processing Society, 2019.
p. 397-402. ISBN: 978-1-7281-0306-8. Detail - ZEINALI, H.; STAFYLAKIS, T.; ATHANASOPOULOU, G.; ROHDIN, J.; GKINIS, I.; BURGET, L.; ČERNOCKÝ, J. Detecting Spoofing Attacks Using VGG and SincNet: BUT-Omilia Submission to ASVspoof 2019 Challenge. In Proceedings of Interspeech. Proceedings of Interspeech. Graz: International Speech Communication Association, 2019.
p. 1073-1077. ISSN: 1990-9772. 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 - ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. Design of Omni-directional Hexapod Robot with Horizontal Coxa Joint. In INFORMATICS 2019 - IEEE 15th International Scientific Conference on Informatics, Proceedings. Poprad: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2019.
p. 119-123. ISBN: 978-1-7281-3179-5. Detail - ŽMOLÍKOVÁ, K.; DELCROIX, M.; KINOSHITA, K.; OCHIAI, T.; NAKATANI, T.; BURGET, L.; ČERNOCKÝ, J. SpeakerBeam: Speaker Aware Neural Network for Target Speaker Extraction in Speech Mixtures. IEEE J-STSP, 2019, vol. 13, no. 4,
p. 800-814. ISSN: 1932-4553. 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 - 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 - Č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 - 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 - GOLDMANN, T.; ORSÁG, F.; DRAHANSKÝ, M. Dataset generator for face detector training. Proceedings 2019 International Conference on Biometrics. Hersonissos: 2018.
p. 1-8. 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 - 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 - 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 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. Creative Materials Used 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 - 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ČÍ, 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 - 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 - KUČERA, J.; POPESCU, D.; ANTICHI, G.; MOORE, A.; KOŘENEK, J. Elastic Trie: Enabling Event Triggered Monitoring in the Dataplane. SIGCOMM '18 Proceedings of the 2018 ACM SIGCOMM Conference. Budapest: Association for Computing Machinery, 2018.
p. 1-12. 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 RTL 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 Framework for Optimizing a Processor to 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 - 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.
p. 0-0. ISBN: 978-1-5386-3774-6. 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 - 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 - 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 - 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 - Š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 - Š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 - ŠŮ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. Simulation of the Gas Flow Through the Piston Ring Pack. In 15rd International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018.
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 - 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 - 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 2-D 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 - 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 - 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 - Č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 Stochastic Petri Nets with Interval Rate Parameters. In Proceedings of 16th International Conference on Computer Aided Systems Theory. LNCS volume 10672. Heidelberg: Springer Verlag, 2017.
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 - 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.
p. 0-0. 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.
p. 0-0. 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. 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 - 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 - 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.
p. 0-0. 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 - KADLUBIAK, K.; TREEBY, B.; JAROŠ, J. Simulation of Ultrasound Propagation in Bone. Ostrava: 2017.
p. 1 (1 s.). 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 - 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.
p. 0-0. 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 - 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.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B. An Executable Sequential Specification for Spark Aggregation. Ithaca: 2017.
p. 0-0. 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.; 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.; 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 Dynamically Reconfigurable Executable Models. In Computer Aided Systems Theory - EUROCAST 2017. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Berlin Heidelberg: Springer Verlag, 2017.
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 - 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 - 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 - Š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 Programs. 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. 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 - Š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 - 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 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 - 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 - 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 - 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 - 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ČÍ, 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 - 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.
p. 0-0. 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. Comparsion of FPNNs models approximation capabilities and resources utilization. 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 onMultimodal Interaction in WoZ experiment. In 25th IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2016. New York City: Institute of Electrical and Electronics Engineers, 2016.
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 - 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 - 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 - 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 - 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.
p. 0-0. ISBN: 978-80-01-05984-5. 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 - 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 - 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; Concepts, Technologies and Applications. In High Dynamic Range Video, 1st Edition. London: Elsevier Science, 2016.
p. 145-154. ISBN: 978-0-12-809477-8. 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
Patenty
2021
- Zařízení pro biometrickou identifikaci pomocí otisků prstů a/nebo vlastností rukou a metody pro biometrickou identifikaci pomocí těchto charakteristik, patent, 2021
Autoři: DVOŘÁK, M.; GOLDMANN, T.; DRAHANSKÝ, M.; SAKIN, M.; DVOŘÁK, R.; NEZHYBA, O.; MEISTER, T.; ZARRABI, A.
2020
- 3D snímač obličeje, užitný vzor, 2020
Autoři: GOLDMANN, T.; DRAHANSKÝ, M. - Lékařské zařízení pro lokalizaci solitárních plicních uzlů v plicní tkáni, užitný vzor, 2020
Autoři: VOTRUBA, J.; DRAHANSKÝ, M.; GOLDMANN, T.; KOLÁŘ, R.; BRŮHA, T. - Zařízení pro snímání očního pozadí a způsob jeho činnosti, patent, 2020
Autoři: DRAHANSKÝ, M.; HÁJEK, J.
2019
- Mobilní kriminalistická elektronická jednotka pro zajištění stop na místě činu, užitný vzor, 2019
Autoři: DRAHANSKÝ, M.; PERNICKÝ, R.; MALANÍK, P. - Způsob hodnocení pozitivního přenosu výcviku na simulátoru a zařízení k jeho provádění, patent, 2019
Autoři: CHUDÝ, P.; VLK, J.; PRUSTOMĚRSKÝ, M.
2016
- Method and an apparatus for fast convolution of signals with a one-sided exponential function, patent, 2016
Autoři: SEEMAN, M.; ZEMČÍK, P.; BAŘINA, D.