Publications

Author:
Title:
Keywords:
From year: Years:
Type:
  
2019ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukás, CHEN Yu-Fang, REZINE Ahmed and RUMMER Philipp. Trau: SMT solver for string constraints. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2019, pp. 1-5. ISBN 978-0-9835678-8-2.
 BALÁZ Teodor, KREJCÍ Jaroslav, SVEC Miroslav and DRAHANSKÝ Martin. UAV Range Measurement by Impulse Laser Rangefinder. In: Proceedings of the 7th International Conference on Military Technologies 2019. Brno: IEEE Computer Society, 2019, pp. 1-7.
 BIDLO Michal. Evolution of Cellular Automata Development Using Various Representations. In: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion. Praha: Association for Computing Machinery, 2019, pp. 107-108. ISBN 978-1-4503-6748-6.
 BOBÁK Petr, CMOLÍK Ladislav and CADÍK Martin. Video Sequence Boundary Labeling with Temporal Coherence. In: CGI 2019 Proceedings. Calgary: Springer International Publishing, 2019, pp. 40-52. ISBN 978-3-030-22514-8. ISSN 0302-9743.
 CESKA Milan and KRETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). In: Proceedings of the 17th International Conference on Computational Methods in Systems Biology (CMSB'19). To be published in 2019. Trieste: Springer International Publishing, 2019, pp. 1-4.
 CESKA Milan and KRETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. In: Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19). To be published in 2019. New York: Springer International Publishing, 2019, pp. 1-19.
 CESKA Milan, HAVLENA Vojtech, HOLÍK Lukás, KORENEK Jan, LENGÁL Ondrej, MATOUSEK Denis, MATOUSEK Jirí, SEMRIC Jakub and VOJNAR Tomás. Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. In: Proceedings of the 27th IEEE International Symposium On Field-Programmable Custom Computing Machines (FCCM'19). To be published in 2019. San Diego, CA: Institute of Electrical and Electronics Engineers, 2019, pp. 109-117. ISBN 978-1-72811-132-2.
 CESKA Milan, HENSE Christian, JUNGES Sebastian and KATOEN Joost-Pieter. Counterexample-Driven Synthesis for Probabilistic Program Sketches. In: Proceedings of the 23rd International Symposium on Formal Methods. To be published in 2019. Porto: Springer International Publishing, 2019, pp. 1-19.
 CESKA Milan, JANSEN Nils, JUNGES Sebastian and KATOEN Joost-Pieter. Shepherding Hordes of Markov Chains. In: Proceedings of 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Praha: Springer International Publishing, 2019, pp. 172-190. ISBN 978-3-030-17464-4.
 FAJCÍK Martin, BURGET Lukás and SMRZ Pavel. BUT-FIT at SemEval-2019 Task 7: Determining the Rumour Stance with Pre-Trained Deep Bidirectional Transformers. In: Proceedings of the 13th International Workshop on Semantic Evaluation. Minneapolis, Minnesota: Association for Computational Linguistics, 2019, pp. 1097-1104. ISBN 978-1-950737-06-2.
 FUKAC Tomás and KORENEK Jan. Hash-based Pattern Matching for High Speed Networks. In: 2019 22nd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Cluj-Napoca: Institute of Electrical and Electronics Engineers, 2019, pp. 1-5. ISBN 978-1-72810-073-9.
 HOLKOVIC Martin and RYSAVÝ Ondrej. Network Diagnostics Using Passive Network Monitoring and Packet Analysis. In: ICNS 2019. Athens: The International Academy, Research and Industry Association, 2019, pp. 47-51. ISBN 978-1-61208-711-5.
 HOLKOVIC Martin, RYSAVÝ Ondrej and POLCÁK Libor. Using Network Traces to Generate Models for Automatic Network Application Protocols Diagnostics. In: Proceedings of the 16th International Joint Conference on e-Business and Telecommunications Volume 1: DCNET, ICE-B, OPTICS, SIGMAP and WINSYS. Praha: SciTePress - Science and Technology Publications, 2019, pp. 43-53. ISBN 978-989-758-378-0.
 HRANICKÝ Radek, LISTIAK Filip, MIKUS Dávid and RYSAVÝ Ondrej. On Practical Aspects of PCFG Password Cracking. In: Data and Applications Security and Privacy. Charleston: Springer Verlag, 2019, pp. 43-60. ISBN 978-3-030-22478-3. ISSN 0302-9743.
 HUSA Jakub. Comparison of Genetic Programming Methods on Design of Cryptographic Boolean Functions. In: Genetic Programming 22st European Conference, EuroGP 2019, Proceedings. Cham: Springer International Publishing, 2019, pp. 228-244. ISBN 978-3-030-14811-9.
 HYNEK Jirí and HRUSKA Tomás. 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. Prague: SciTePress - Science and Technology Publications, 2019, pp. 199-207. ISBN 978-989-758-354-4.
 JERÁBEK Kamil and VESELÝ Vladimír. One of the Ways How to Make RIB Distributed. In: Proceedings of the 22nd Conference on Innovation in Clouds, Internet and Networks (ICIN 2019). Paríz: IEEE Communications Society, 2019, pp. 1-5. ISBN 978-1-5386-3458-5.
 KOCNOVÁ Jitka and VASÍCEK Zdenek. EA-based refactoring of mapped logic circuits. In: 2019 IEEE International Symposium on Circuits and Systems (ISCAS). Red Hook, NY: IEEE Computer Society Press, 2019, pp. 1-5. ISBN 978-1-72810-397-6.
 KOCNOVÁ Jitka and VASÍCEK Zdenek. Impact of subcircuit selection on the efficiency of CGP-based optimization of gate-level circuits. In: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion. New York: Association for Computing Machinery, 2019, pp. 377-378. ISBN 978-1-4503-6748-6.
 KOCNOVÁ Jitka and VASÍCEK Zdenek. Towards a Scalable EA-based Optimization of Digital Circuits. In: Genetic Programming 22nd European Conference, EuroGP 2019. Cham: Springer International Publishing, 2019, pp. 81-97. ISBN 978-3-030-16669-4.
 KOCOUR Martin, LUQUE Jordi and PERALES Carlos Segura. A Reality Check on Inference at Mobile Networks Edge. In: Proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking. Dressden: Association for Computing Machinery, 2019, pp. 54-59. ISBN 978-1-4503-6275-7.
 KONCAL Ondrej and SEKANINA Lukás. Cartesian Genetic Programming as an Optimizer of Programs Evolved with Geometric Semantic Genetic Programming. In: Genetic Programming 22nd European Conference, EuroGP 2019. Cham: Springer International Publishing, 2019, pp. 98-113. ISBN 978-3-030-16669-4.
 LETAVAY Viliam, PLUSKAL Jan and RYSAVÝ Ondrej. A Scalable Architecture for Network Traffic Forensics. In: The Fifteenth International Conference on Networking and Services ICNS 2019. Athens, 2019, pp. 1-2.
 LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdenek. Reliability Indicators for Automatic Design and Analysis of Fault-Tolerant FPGA Systems. In: 20th IEEE Latin American Test Symposium (LATS 2019). Santiago: IEEE Computer Society, 2019, pp. 93-96. ISBN 978-1-72811-755-3.
 MRÁZEK Vojtech, HANIF Muhammad A., VASÍCEK Zdenek, SEKANINA Lukás and SHAFIQUE Muhammad. autoAx: An Automatic Design Space Exploration and Circuit Building Methodology utilizing Libraries of Approximate Components. In: The 56th Annual Design Automation Conference 2019 (DAC '19). Las Vegas: Association for Computing Machinery, 2019, pp. 1-6. ISBN 978-1-4503-6725-7.
 MRÁZEK Vojtech, VASÍCEK Zdenek, SEKANINA Lukás, HANIF Muhammad A. and SHAFIQUE Muhammad. ALWANN: Automatic Layer-Wise Approximation of Deep Neural Network Accelerators without Retraining. In: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design. Denver, 2019, pp. 1-8.
 NECASOVÁ Gabriela and SÁTEK Václav. Parallel Solution of Telegraph Line. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2019, pp. 1-4. ISSN 0094-243X.
 PODIVÍNSKÝ Jakub, LOJDA Jakub and KOTÁSEK Zdenek. Extended Reliability Analysis of Fault-Tolerant FPGA-based Robot Controller. In: 20th IEEE Latin American Test Symposium (LATS 2019). Santiago: IEEE Computer Society, 2019, pp. 97-100. ISBN 978-1-72811-755-3.
 REK Petr and SEKANINA Lukás. TypeCNN: CNN Development Framework With Flexible Data Types. In: Design, Automation and Test in Europe Conference. Florence: European Design and Automation Association, 2019, pp. 292-295. ISBN 978-3-9819263-2-3.
 ROHDIN Johan A., STAFYLAKIS Themos, SILNOVA Anna, ZEINALI Hossein, BURGET Lukás and PLCHOT Oldrich. Speaker Verification Using End-To-End Adversarial Language Adaptation. In: Proceedings of ICASSP 2019. Brighton: IEEE Signal Processing Society, 2019, pp. 6006-6010. ISBN 978-1-5386-4658-8.
 SEHNALOVÁ Pavla and SÁTEK Václav. 35 Years of Taylor-Kunovsky Simulation Language. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2019, pp. 1-4. ISSN 0094-243X.
 STRNADEL Josef. Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates. In: Design, Automation & Test in Europe Conference & Exhibition (DATE). Florence: IEEE Computer Society, 2019, pp. 614-617. ISBN 978-3-9819263-2-3.
 SZURMAN Karel and KOTÁSEK Zdenek. Coarse-Grained TMR Soft-Core Processor Fault Tolerance Methods and State Synchronization for Run-Time Fault Recovery. In: 20th IEEE Latin American Test Symposium (LATS 2019). Santiago: IEEE Computer Society, 2019, pp. 32-35. ISBN 978-1-72811-755-3.
 SZURMAN Karel and KOTÁSEK Zdenek. Run-Time Reconfigurable Fault Tolerant Architecture for Soft-Core Processor neo430. In: 22nd International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2019). Cluj-Napoca: IEEE Computer Society, 2019, pp. 136-140. ISBN 978-1-72810-072-2.
 SUSTEK Martin, VÍDENSKÝ Frantisek, ZBORIL Frantisek and ZBORIL Frantisek V. Family Coat of Arms and Armorial Achievement Classification. In: Intelligent Systems Design and Applications. Los Alamitos: Springer International Publishing, 2019, pp. 650-658. ISSN 2194-5357.
 VASÍCEK Zdenek, MRÁZEK Vojtech and SEKANINA Lukás. Automated Circuit Approximation Method Driven by Data Distribution. In: Design, Automation and Test in Europe Conference. Florence: European Design and Automation Association, 2019, pp. 96-101. ISBN 978-3-9819263-2-3.
 VAVERKA Filip, TREEBY Bradley E. and JAROS Jirí. Evaluation of the Suitability of Intel Xeon Phi Clusters for the Simulation of Ultrasound Wave Propagation using Pseudospectral Methods. In: 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part III. Faro: Springer International Publishing, 2019, pp. 577-590. ISBN 978-3-030-22743-2.
 VEIGEND Petr and SÁTEK Václav. Linear system control using the high order method. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2019, pp. 1-4. ISSN 0094-243X.
 VRÁNA Roman and KORENEK Jan. Acceleration of Feature Extraction for Real-Time Analysis of Encrypted Network Traffic. In: 2019 22nd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Cluj-Napoca: Institute of Electrical and Electronics Engineers, 2019, pp. 1-6. ISBN 978-1-72810-073-9.
 ZBORIL Frantisek, ROZMAN Jaroslav and KOCÍ Radek. Algorithmic creation of genealogical models. In: Proceedings of ISDA 2018. Los Alamitos: Springer International Publishing, 2019, pp. 650-658. ISBN 978-3-030-16659-5. ISSN 2194-5357.
 ZEINALI Hossein, BURGET Lukás, ROHDIN Johan A., STAFYLAKIS Themos and CERNOCKÝ Jan. How To Improve Your Speaker Embeddings Extractor in Generic Toolkits. In: Proceedings of ICASSP 2019. Brighton: IEEE Signal Processing Society, 2019, pp. 6141-6145. ISBN 978-1-5386-4658-8.
2018AFZAL Wasif, BRUNELIERE Hugo, DI Ruscio Davide, SADOVYKH Andrey, MAZZINI Sylvia, CARIOU Eric, TRUSCAN Dragos, CABOT Jordi, FIELD Daniel, POMANTE Luigi and SMRZ Pavel. The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems. In: Proceedings of the Euromicro Conference on Digital System Design (DSD). Vienna: IEEE Computer Society, 2018, pp. 494-501. ISBN 978-1-5386-2146-2.
 ALAM Jahangir, BHATTACHARYA Gautam, BRUMMER Niko, BURGET Lukás, DIEZ Sánchez Mireia, GLEMBEK Ondrej, KENNY Patrick, KLCO Michal, LANDINI Federico Nicolás, LOZANO Díez Alicia, MATEJKA Pavel, MONTEIRO Joao, MOSNER Ladislav, NOVOTNÝ Ondrej, PLCHOT Oldrich, PROFANT Ján, ROHDIN Johan A., SILNOVA Anna, SLAVÍCEK Josef, STAFYLAKIS Themos and ZEINALI Hossein. ABC NIST SRE 2018 SYSTEM DESCRIPTION. In: Proceedings of 2018 NIST SRE Workshop. Athens: National Institute of Standards and Technology, 2018, pp. 1-10.
 BENES Karel, KESIRAJU Santosh and BURGET Lukás. I-vectors in language modeling: An efficient way of domain adaptation for feed-forward models. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 3383-3387. ISSN 1990-9772.
 BORDOVSKÝ Gabriel. Challenges In the Computer Photoacoustic Tomograpy Using the k-Wave Toolbox. In: Pocítacové architektúry & diagnostika PAD 2018. Plzen: University of West Bohemia in Pilsen, 2018, pp. 49-52. ISBN 978-80-261-0814-6.
 BREJCHA Jan and CADÍK Martin. Camera Orientation Estimation in Natural Scenes Using Semantic Cues. In: 2018 International Conference on 3D Vision. Verona: IEEE Computer Society, 2018, pp. 208-217. ISBN 978-1-5386-2610-8.
 BREJCHA Jan, LUKÁC Michal, CHEN Zhili, DIVERDI Stephen and CADÍK Martin. Immersive Trip Reports. In: Proceedings of the 31st ACM User Interface Software and Technology Symposium. Berlín: Association for Computing Machinery, 2018, pp. 1-14. ISBN 978-1-4503-5948-1.
 BRUMMER Niko, SILNOVA Anna, BURGET Lukás and STAFYLAKIS Themos. Gaussian meta-embeddings for efficient scoring of a heavy-tailed PLDA model. In: Proceedings of Odyssey 2018. Les Sables d'Olonne: International Speech Communication Association, 2018, pp. 349-356. ISSN 2312-2846.
 CABAL Jakub, BENÁCEK Pavel, KEKELY Lukás, KEKELY Michal, PUS Viktor and KORENEK Jan. Configurable FPGA Packet Parser for Terabit Networks with Guaranteed Wire-Speed Throughput. In: Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. New York: Association for Computing Machinery, 2018, pp. 249-258. ISBN 978-1-4503-5614-5.
 CRHA Adam, SIMEK Václav and RUZICKA Richard. Towards novel format for representation of polymorphic circuits. In: 13th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Taormina: IEEE Circuits and Systems Society, 2018, pp. 1-2. ISBN 978-1-5386-5290-9.
 CEKAN Ondrej and KOTÁSEK Zdenek. Random Test Generation Through a Probabilistic Constrained Grammar. In: INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapest, 2018, pp. 5-8.
 CEKAN Ondrej, PÁNEK Richard and KOTÁSEK Zdenek. Input and Output Generation for the Verification of ALU: a Use Case. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 331-336. ISBN 978-1-5386-5709-6.
 CEKAN Ondrej, PODIVÍNSKÝ Jakub and KOTÁSEK Zdenek. Program Generation Through a Probabilistic Constrained Grammar. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, pp. 214-220. ISBN 978-1-5386-7376-8.
 CESKA Milan, HAVLENA Vojtech, HOLÍK Lukás, LENGÁL Ondrej and VOJNAR Tomás. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. In: Proceedings of TACAS'18. Thessaloniki: Springer Verlag, 2018, pp. 155-175. ISSN 0302-9743.
 CESKA Milan, MATYÁS Jirí, MRÁZEK Vojtech, SEKANINA Lukás, VASÍCEK Zdenek and VOJNAR Tomás. ADAC: Automated Design of Approximate Circuits. In: Proceedings of 30th International Conference on Computer Aided Verification (CAV'18). Oxford, UK: Springer International Publishing, 2018, pp. 612-620. ISBN 978-3-319-96145-3.
 CUDOVÁ Marta, TREEBY Bradley E. and JAROS Jirí. Design of HIFU Treatment Plans using Evolutionary Strategy. In: GECCO'18 Companion: Genetic and Evolutionary Computation Conference Companion. Kyoto: Association for Computing Machinery, 2018, pp. 1568-1575. ISBN 978-1-4503-5764-7.
 DELCROIX Marc, ZMOLÍKOVÁ Katerina, KINOSHITA Keisuke, OGAWA Atsunori and NAKATANI Tomohiro. Single Channel Target Speaker Extraction and Recognition with Speaker Beam. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5554-5558. ISBN 978-1-5386-4658-8.
 DIEZ Sánchez Mireia, BURGET Lukás and MATEJKA Pavel. Speaker Diarization based on Bayesian HMM with Eigenvoice Priors. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 147-154. ISSN 2312-2846.
 DIEZ Sánchez Mireia, LANDINI Federico Nicolás, BURGET Lukás, ROHDIN Johan A., SILNOVA Anna, ZMOLÍKOVÁ Katerina, NOVOTNÝ Ondrej, VESELÝ Karel, GLEMBEK Ondrej, PLCHOT Oldrich, MOSNER Ladislav and MATEJKA Pavel. BUT system for DIHARD Speech Diarization Challenge 2018. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 2798-2802. ISSN 1990-9772.
 EGOROVA Ekaterina and BURGET Lukás. Out-of-Vocabulary Word Recovery Using FST-Based Subword Unit Clustering in a Hybrid ASR System. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5919-5923. ISBN 978-1-5386-4658-8.
 FIEDOR Jan, MUZIKOVSKÁ Monika, SMRCKA Ales, VASÍCEK Ondrej and VOJNAR Tomás. Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs. In: Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery, 2018, pp. 356-359. ISBN 978-1-4503-5699-2.
 FIEDOR Tomás, HOLÍK Lukás, ROGALEWICZ Adam, SINN Moritz, VOJNAR Tomás and ZULEGER Florian. From Shapes to Amortized Complexity. In: Proceedings of VMCAI'18. Heidelberg: Springer Verlag, 2018, pp. 205-225. ISBN 978-3-319-73720-1. ISSN 0302-9743.
 FISER Petr and SIMEK Václav. Optimum Polymorphic Circuits Synthesis Method. In: 13th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Taormina: IEEE Circuits and Systems Society, 2018, pp. 1-6. ISBN 978-1-5386-5290-9.
 GOLDMANN Tomás, MARSÁNOVÁ Lucie, NEMCOVÁ Andrea, SMÍSEK Radovan, SMITAL Lukás and VÍTEK Martin. Automatic detection of P wave in ECG during ventricular extrasystoles. In: IFMBE Proceedings. Singapore: Springer International Publishing, 2018, pp. 381-385. ISBN 978-981-10-9037-0. ISSN 1680-0737.
 GROCHOL David and SEKANINA Lukás. Fast Reconfigurable Hash Functions for Network Flow Hashing in FPGAs. In: Proceedings of the 2018 NASA/ESA Conference on Adaptive Hardware and Systems. Edinburgh: Institute of Electrical and Electronics Engineers, 2018, pp. 257-263. ISBN 978-1-5386-7753-7.
 GROCHOL David and SEKANINA Lukás. Multi-Objective Evolution of Ultra-Fast General-Purpose Hash Functions. In: European Conference on Genetic Programming. Berlin: Springer International Publishing, 2018, pp. 187-202. ISBN 978-3-319-77553-1.
 HASLINGER Jaroslav, KUCERA Radek, SÁTEK Václav and POCHYLÝ Frantisek. Numerical Modelling of the Stokes Flow with Coulomb Slip Boundary Conditions. In: 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1.
 HEIZMANN Matthias, CHEN Yu-Fang, LENGÁL Ondrej, LI Yong, TSAI Ming-Hsien, TURRINI Andrea and ZHANG Lijun. Advanced Automata-based Algorithms for Program Termination Checking. In: Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018, pp. 135-150. ISBN 978-1-4503-5698-5.
 HOLÍK Lukás and TURONOVÁ Lenka. Towards Smaller Invariants for Proving Coverability. In: Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2018, pp. 109-116. ISBN 978-3-319-74727-9.
 HOLÍK Lukás, LENGÁL Ondrej, SÍC Juraj, VEANES Margus and VOJNAR Tomás. Simulation Algorithms for Symbolic Automata. In: Proc. of 16th International Symposium on Automated Technology for Verification and Analysis. Heidelberg: Springer Verlag, 2018, pp. 109-125. ISBN 978-3-030-01089-8. ISSN 0302-9743.
 HRUSKA Martin, MALÍK Viktor, SCHRAMMEL Peter and VOJNAR Tomás. Template-Based Verification of Heap-Manipulating Programs. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2018, pp. 103-111. ISBN 978-0-9835678-8-2.
 HUSA Jakub and KALKREUTH Roman. A Comparative Study on Crossover in Cartesian Genetic Programming. In: Genetic Programming 21st European Conference, EuroGP 2018, Proceedings. Cham: Springer International Publishing, 2018, pp. 203-219. ISBN 978-3-319-77553-1.
 CHARVÁT Michal and DRAHANSKÝ Martin. Detecting and Locating People Using Low-Cost Thermal Imaging Camera. In: Beiträge zum Usability Day XVI - Assistenztechnologien in der Arbeitswelt. Dornbirn: Pabst Science Publishers, 2018, pp. 41-51. ISBN 978-3-95853-405-6.
 JAROS Marta. Scientific Workflows Management. In: Pocítacové architektúry & diagnostika PAD 2018. Plzen: University of West Bohemia in Pilsen, 2018, pp. 25-28. ISBN 978-80-261-0814-6.
 KADLUBIAK Kristián, JAROS Jirí and TREEBY Bradley E. GPU-accelerated Simulation of Elastic Wave Propagation. In: 2018 International Conference on High Performance Computing & Simulation (HPCS). Orleans: IEEE Computer Society, 2018, pp. 188-195. ISBN 978-1-5386-7879-4.
 KANICH Ondrej, MÉZL Martin and DRAHANSKÝ Martin. Creative Materials Used for Fingerprint Spoofs. In: 2018 International Workshop on Biometrics and Forensics (IWBF). Sassari: Institute of Electrical and Electronics Engineers, 2018, pp. 1-8. ISBN 978-1-5386-1366-5.
 KARAFIÁT Martin, BASKAR Murali K., SZOKE Igor, MALENOVSKÝ Vladimír, VESELÝ Karel, GRÉZL Frantisek, BURGET Lukás and CERNOCKÝ Jan. BUT OpenSAT 2017 speech recognition system. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 2638-2642. ISSN 1990-9772.
 KARAFIÁT Martin, BASKAR Murali K., VESELÝ Karel, GRÉZL Frantisek, BURGET Lukás and CERNOCKÝ Jan. Analysis of Multilingual BLSTM Acoustic Model on Lowand High Resource Languages. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5789-5793. ISBN 978-1-5386-4658-8.
 KLÍMA Ondrej, MADEJA Roman, SPANEL Michal, CUTA Martin, ZEMCÍK Pavel, STOKLÁSEK Pavel and MIZERA Ales. Virtual 2D-3D Fracture Reduction with Bone Length Recovery Using Statistical Shape Models. In: ShapeMI MICCAI 2018: Workshop on Shape in Medical Imaging Proceedings. Granada: Springer International Publishing, 2018, pp. 207-219. ISBN 978-3-030-04746-7. ISSN 0302-9743.
 KOCMAN Radim, NAGY Benedek, KRIVKA Zbynek and MEDUNA Alexander. A Jumping 5'->3' Watson-Crick Finite Automata Model. In: Tenth Workshop on Non-Classical Models of Automata and Applications (NCMA 2018). Wien: Austrian Computer Society, 2018, pp. 117-132. ISBN 978-3-903035-21-8.
 KOCÍ Radek and JANOUSEK Vladimír. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In: Software Engineering Advances. Nice: Xpert Publishing Services, 2018, pp. 1-6. ISBN 978-1-61208-668-2.
 KODYM Oldrich and SPANEL Michal. 3D Image Segmentation using Graph-Cut and Random Forests Learned from Partial Annotations. In: Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 2: BIOIMAGING. Funchal: Institute for Systems and Technologies of Information, Control and Communication, 2018, pp. 124-131. ISBN 978-989-758-278-3.
 KODYM Oldrich, SPANEL Michal and HEROUT Adam. Segmentation of Head and Neck Organs at Risk Using CNN with Batch Dice Loss. In: Pattern Recognition, 40th German Conference, GCPR 2018 Proceedings. Stuttgart: Springer International Publishing, 2018, pp. 1-9. ISBN 978-3-030-12939-2. ISSN 0302-9743.
 KRÁLÍK Miroslav, KLÍMA Ondrej, POLCEROVÁ Lenka, URBANOVÁ Petra and CUTA Martin. Morphometric Sex Estimation from the Hip Bone by Means of the HIP 1.1 Software. In: ShapeMI MICCAI 2018: Workshop on Shape in Medical Imaging Proceedings. Granada: Springer Verlag, 2018, pp. 78-89. ISBN 978-3-030-04746-7. ISSN 0302-9743.
 KRENA Bohuslav, PLUHÁCKOVÁ Hana, UR Shmuel and VOJNAR Tomás. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. In: Computer Aided Systems Theory - EUROCAST 2017. Las Palmas: Springer International Publishing, 2018, pp. 99-108. ISBN 978-3-319-74726-2.
 KUCERA Jan, KEKELY Lukás, PIECEK Adam and KORENEK Jan. General IDS Acceleration for High-Speed Networks. In: Proceedings of the 36th IEEE International Conference on Computer Design, ICCD 2018. Orlando: Institute of Electrical and Electronics Engineers, 2018, pp. 366-373. ISBN 978-1-5386-8477-1.
 KUCERA Jan, KEKELY Lukás, PUS Viktor, PIECEK Adam and KORENEK Jan. Hardware Acceleration of Intrusion Detection Systems for High-Speed Networks. In: Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems. Ithaca, NY: Association for Computing Machinery, 2018, pp. 177-178. ISBN 978-1-4503-5902-3.
 LOJDA Jakub and KOTÁSEK Zdenek. Automatizace návrhu spolehlivých systému a její dílcí komponenty. In: Pocítacové architektury & diagnostika 2018. Stachy: University of West Bohemia in Pilsen, 2018, pp. 5-8. ISBN 978-80-261-0814-6.
 LOJDA Jakub and KOTÁSEK Zdenek. Fault Tolerance in HLS for the Purposes of Reliable System Design Automation. In: Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2018, pp. 31-32. ISBN 978-80-01-06456-6.
 LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdenek. Fault Tolerance Properties of Systems Generated with the Use of High-Level Synthesis. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 80-86. ISBN 978-1-5386-5709-6.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, CEKAN Ondrej, PÁNEK Richard and KOTÁSEK Zdenek. FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant Systems Design Automation. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, pp. 244-251. ISBN 978-1-5386-7376-8.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, KOTÁSEK Zdenek and KRCMA Martin. Majority Type and Redundancy Level Influences on Redundant Data Types Approach for HLS. In: 2018 16th Biennial Baltic Electronics Conference (BEC). Tallinn: IEEE Computer Society, 2018, pp. 1-4. ISBN 978-1-5386-7311-9.
 LOZANO Díez Alicia, PLCHOT Oldrich, MATEJKA Pavel and GONZALEZ-RODRIGUEZ Joaquin. DNN Based Embeddings for Language Recognition. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5184-5188. ISBN 978-1-5386-4658-8.
 LOZANO Díez Alicia, PLCHOT Oldrich, MATEJKA Pavel, NOVOTNÝ Ondrej and GONZALEZ-RODRIGUEZ Joaquin. Analysis of DNN-based Embeddings for Language Recognition on the NIST LRE 2017. In: Proceedings of Odyssey 2018 The Speaker and Language Recognition Workshop. Les Sables d'Olonne: International Speech Communication Association, 2018, pp. 39-46. ISSN 2312-2846.
 MALÍK Viktor, MARTICEK Stefan, SCHRAMMEL Peter, SRIVAS Mandayam, VOJNAR Tomás and WAHLANG Johanan. 2LS: Memory Safety and Non-termination (Competition Contribution). In: Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Thessaloniki: Springer International Publishing, 2018, pp. 417-421. ISBN 978-3-319-89962-6.
 MATERNA Zdenek, KAPINUS Michal, BERAN Vítezslav, SMRZ Pavel and ZEMCÍK Pavel. Interactive Spatial Augmented Reality in Collaborative Robot Programming: User Experience Evaluation. In: Robot and Human Interactive Communication (RO-MAN). NanJing: Institute of Electrical and Electronics Engineers, 2018, pp. 330-338. ISBN 978-1-5386-7980-7.
 MATOUSEK Denis, KUBIS Juraj, MATOUSEK Jirí and KORENEK Jan. Regular Expression Matching with Pipelined Delayed Input DFAs for High-speed Networks. In: Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems. Ithaca, NY: Association for Computing Machinery, 2018, pp. 104-110. ISBN 978-1-4503-5902-3.
 MATOUSEK Petr, RYSAVÝ Ondrej, JAMES Joshua I. and JANG Yunsik J. Interconnecting Education and Research Through International Partnership: IoT Case Study. In: Proceedings of 28th EAEEIE Annual Conference (EAEEIE). Hafnarfjordur: Institute of Electrical and Electronics Engineers, 2018, pp. 1-6. ISBN 978-1-5386-7711-7.
 MOSNER Ladislav, MATEJKA Pavel, NOVOTNÝ Ondrej and CERNOCKÝ Jan. Dereverberation and Beamforming in Far-Field Speaker Recognition. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5254-5258. ISBN 978-1-5386-4658-8.
 MOSNER Ladislav, PLCHOT Oldrich, MATEJKA Pavel, NOVOTNÝ Ondrej and CERNOCKÝ Jan. Dereverberation and Beamforming in Robust Far-Field Speaker Recognition. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 1334-1338. ISSN 1990-9772.
 MRÁZEK Vojtech and VASÍCEK Zdenek. Evolutionary Design of Large Approximate Adders Optimized for Various Error Criteria. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO '18). Kyoto: Association for Computing Machinery, 2018, pp. 294-295. ISBN 978-1-4503-5764-7.
 MRÁZEK Vojtech, SÝS Marek, VASÍCEK Zdenek, SEKANINA Lukás and MATYÁS Václav. Evolving Boolean Functions for Fast and Efficient Randomness Testing. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '18). Kyoto: Association for Computing Machinery, 2018, pp. 1302-1309. ISBN 978-1-4503-5618-3.
 MRÁZEK Vojtech, VASÍCEK Zdenek and SEKANINA Lukás. Design of Quality-Configurable Approximate Multipliers Suitable for Dynamic Environment. In: Proceedings of the 2018 NASA/ESA Conference on Adaptive Hardware and Systems. Edinburgh: Institute of Electrical and Electronics Engineers, 2018, pp. 264-271. ISBN 978-1-5386-7753-7.
 MUSIL Milos, MARTÍNEK Tomás and ZENDULKA Jaroslav. FireProt: web server for automated design of thermostable proteins. In: DAZ & WIKT 2018 Proceedings. Brno, 2018, pp. 1-4.
 NECASOVÁ Gabriela, VEIGEND Petr and SÁTEK Václav. Modern Taylor series method in numerical integration: PART 2. In: 17th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Horní Lomná: VSB - Technical University of Ostrava, 2018, pp. 211-220. ISBN 978-80-248-4135-9.
 NEVORAL Jan and RUZICKA Richard. Efficient Implementation of Bi-functional RTL Components - Case Study. In: 2018 New Generation of CAS (NGCAS). Valletta: IEEE Circuits and Systems Society, 2018, pp. 25-28. ISBN 978-1-5386-7680-6.
 NEVORAL Jan, RUZICKA Richard and SIMEK Václav. CMOS Gates with Second Function. In: 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). Hong Kong: IEEE Computer Society, 2018, pp. 82-87. ISBN 978-1-5386-7099-6.
 NEVORAL Jan, RUZICKA Richard and SIMEK Václav. From Ambipolarity to Multifunctionality: Novel Library of Polymorphic Gates Using Double-Gate FETs. In: 2018 21st Euromicro Conference on Digital System Design. Praha: Institute of Electrical and Electronics Engineers, 2018, pp. 657-664. ISBN 978-1-5386-7376-8.
 NIKL Vojtech, RÍHA Lubomír, VYSOCKÝ Ondrej and ZAPLETAL Jan. Optimal Hardware Parameters Prediction for Best Energy-to-Solution of Sparse Matrix Operations Using Machine Learning Techniques. In: INFOCOMP 2018. Barcelona: International Academy, Research, and Industry Association, 2018, pp. 43-48. ISBN 978-1-61208-655-2.
 NOVOTNÝ Ondrej, PLCHOT Oldrich, MATEJKA Pavel, MOSNER Ladislav and GLEMBEK Ondrej. On the use of X-vectors for Robust Speaker Recognition. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 168-175. ISSN 2312-2846.
 ONDEL Lucas, GODARD Pierre, BESACIER Laurent, LARSEN Elin, HASEGAWA-JOHNSON Mark, SCHARENBORG Odette, DUPOUX Emmanuel, BURGET Lukás, YVON Francois and KHUDANPUR Sanjeev. Bayesian Models for Unit Discovery on a Very Low Resource Language. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5939-5943. ISBN 978-1-5386-4658-8.
 PÁNEK Richard, LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdenek. Partial Dynamic Reconfiguration in an FPGA-based Fault-Tolerant System: Simulation-based Evaluation. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 129-134. ISBN 978-1-5386-5709-6.
 PÁNEK Richard. Metodika návrhu radice rekonfigurace pro Systémy odolné proti poruchám. In: Pocítacové architektury & diagnostika 2018. Stachy: University of West Bohemia in Pilsen, 2018, pp. 21-24. ISBN 978-80-261-0814-6.
 PASTUSHENKO Olena, HRUSKA Tomás and ZENDULKA Jaroslav. Increasing students' motivation by using virtual learning environments based on gamification mechanics. In: ACM International Conference Proceedings Series. Salamanca: Association for Computing Machinery, 2018, pp. 755-760. ISBN 978-1-4503-6518-5.
 PASTUSHENKO Olena, HYNEK Jirí and HRUSKA Tomás. Generation of Test Samples for Construction of Dashboard Design Guidelines: Impact of Color on Layout Balance. In: Advances in Intelligent Systems and Computing. Naples: Springer International Publishing, 2018, pp. 980-990. ISBN 978-3-319-77711-5.
 PLCHOT Oldrich, MATEJKA Pavel, NOVOTNÝ Ondrej, CUMANI Sandro, LOZANO Díez Alicia, SLAVÍCEK Josef, DIEZ Sánchez Mireia, GRÉZL Frantisek, GLEMBEK Ondrej, KAMSALI Veera Mounika, SILNOVA Anna, BURGET Lukás, ONDEL Lucas, KESIRAJU Santosh and ROHDIN Johan A. Analysis of BUT-PT Submission for NIST LRE 2017. In: Proceedings of Odyssey 2018 The Speaker and Language Recognition Workshop. Les Sables d'Olonne: International Speech Communication Association, 2018, pp. 47-53. ISSN 2312-2846.
 PLUSKAL Jan, LICHTNER Ondrej and RYSAVÝ Ondrej. Traffic Classification and Application Identification in Network Forensics. In: Fourteenth Annual IFIP WG 11.9 International Conference on Digital Forensics. New Delhi: Springer International Publishing, 2018, pp. 161-181. ISBN 978-3-319-99277-8.
 PODIVÍNSKÝ Jakub and KOTÁSEK Zdenek. Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller. In: Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Czech Technical University, 2018, pp. 33-34. ISBN 978-80-01-06456-6.
 PODIVÍNSKÝ Jakub, CEKAN Ondrej, KRCMA Martin, BURGET Radek, HRUSKA Tomás and KOTÁSEK Zdenek. A Framework for Optimizing a Processor to Selected Application. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 564-574. ISBN 978-1-5386-5709-6.
 PODIVÍNSKÝ Jakub, LOJDA Jakub and KOTÁSEK Zdenek. An Experimental Evaluation of Fault-Tolerant FPGA-based Robot Controller. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 63-69. ISBN 978-1-5386-5709-6.
 PODIVÍNSKÝ Jakub, LOJDA Jakub and KOTÁSEK Zdenek. FPGA-based Robot Controller: An Experimental Evaluation of Fault Tolerance Properties. In: INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapest, 2018, pp. 9-12.
 PODIVÍNSKÝ Jakub, LOJDA Jakub, CEKAN Ondrej and KOTÁSEK Zdenek. Evaluation Platform for Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, pp. 229-236. ISBN 978-1-5386-7376-8.
 PULUGUNDLA Bhargav, BASKAR Murali K., KESIRAJU Santosh, EGOROVA Ekaterina, KARAFIÁT Martin, BURGET Lukás and CERNOCKÝ Jan. BUT system for low resource Indian language ASR. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 3182-3186. ISSN 1990-9772.
 PUTEROVÁ Janka and MARTÍNEK Tomás. digIS: automated pipeline for detecting distant, novel insertion sequence elements in prokaryotes. In: Data & Knowledge 2018. Brno: Brno University of Technology, 2018, pp. 1-5. ISBN 978-80-214-5679-2.
 ROHDIN Johan A., SILNOVA Anna, DIEZ Sánchez Mireia, PLCHOT Oldrich, MATEJKA Pavel and BURGET Lukás. End-to-End DNN Based Speaker Recognition Inspired by i-Vector and PLDA. In: Proceedings of ICASSP. Calgary: IEEE Signal Processing Society, 2018, pp. 4874-4878. ISBN 978-1-5386-4658-8.
 ROZMAN Jaroslav and ZBORIL Frantisek. Persons Linking in Baptism Records. In: Workshop PAOS2018 and PASSCR2018 of JIST2018 conference. Awaji, 2018, pp. 43-54. ISSN 1613-0073.
 ROZMAN Jaroslav, ZBORIL Frantisek and KOCÍ Radek. Possibilities of Creation of Community Genealogical Database with Semantic Information and Uncertainty. In: Conference on Big Data and Smart Computing (ICBDSC 2018). Casablanca, 2018, pp. 1-5. ISBN 978-1-4503-5438-7.
 RYANT Neville, BERGELSON Elika, CHURCH Kenneth, CRISTIA Alejandrina, DU Jun, GANAPATHY Sriram, KHUDANPUR Sanjeev, KOWALSKI Diana, KRISHNAMOORTHY Mahesh, KULSHRESHTA Rajat, LIBERMAN Mark, LU Yu-Ding, MACIEJEWSKI Matthew, METZE Florian, PROFANT Ján, SUN Lei, TSAO Yu and YU Zhou. Enhancement and Analysis of Conversational Speech: JSALT 2017. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5154-5158. ISBN 978-1-5386-4658-8.
 SEKANINA Lukás, MRÁZEK Vojtech and VASÍCEK Zdenek. Design Space Exploration for Approximate Implementations of Arithmetic Data Path Primitives. In: 25th IEEE International Conference on Electronics Circuits and Systems (ICECS). Bordeaux: IEEE Circuits and Systems Society, 2018, pp. 377-380. ISBN 978-1-5386-9562-3.
 SCHARENBORG Odette, BESACIER Laurent, BLACK Alan, HASEGAWA-JOHNSON Mark, METZE Florian, NEUBIG Graham, STÜKER Sebastian, GODARD Pierre, MÜLLER Markus, ONDEL Lucas, PALASKAR Shruti, ARTHUR Philip, CIANNELLA Francesco, DU Mingxing, LARSEN Elin, MERKX Danny, RIAD Rachid, WANG Liming and DUPOUX Emmanuel. Linguistic Unit Discovery from Multi-Modal Inputs in Unwritten Languages: Summary of the 'Speaking Rosetta' JSALT 2017 Workshop. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 4980-4984. ISBN 978-1-5386-4658-8.
 SILNOVA Anna, BRUMMER Niko, GARCÍA-ROMERO Daniel, SNYDER David and BURGET Lukás. Fast variational Bayes for heavy-tailed PLDA applied to i-vectors and x-vectors. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 72-76. ISSN 1990-9772.
 SILNOVA Anna, MATEJKA Pavel, GLEMBEK Ondrej, PLCHOT Oldrich, NOVOTNÝ Ondrej, GRÉZL Frantisek, SCHWARZ Petr and CERNOCKÝ Jan. BUT/Phonexia Bottleneck Feature Extractor. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 283-287. ISSN 2312-2846.
 SOCHOR Jakub, SPANHEL Jakub, JURÁNEK Roman, DOBES Petr and HEROUT Adam. Graph@FIT Submission to the NVIDIA AI City Challenge 2018. In: NVIDIA AI City Challenge 2018 (CVPRW). Salt Lake City: IEEE Computer Society, 2018, pp. 77-84. ISBN 978-1-5386-6100-0.
 STRNADEL Josef. Statistical Model Checking of Processor Systems in Various Interrupt Scenarios. In: Proceedings of 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Cham: Springer International Publishing, 2018, pp. 414-429. ISSN 0302-9743.
 SUOMI Visa, TREEBY Bradley E., JAROS Jirí, SAUNAVAARA Jani, KIVINIEMI Aida and BLANCO Roberto. The Effect of Tissue Physiological Variablity on Transurethral Ultrasound Therapy of the Prostate. In: Proceedings of 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Honolulu, HI: Institute of Electrical and Electronics Engineers, 2018, pp. 5701-5704. ISBN 978-1-5386-3646-6.
 SÁTEK Václav, VEIGEND Petr and NECASOVÁ Gabriela. Taylor Series Based Solution of Nonlinear-quadratic ODE Systems. In: MATHMOD VIENNA 2018 - 9th Vienna International Conference on Mathematical Modelling. Vienna: ARGE Simulation News, 2018, pp. 99-100. ISBN 978-3-901608-91-9.
 SPANHEL Jakub, SOCHOR Jakub and MAKAROV Aleksej. Detection of Traffic Violations of Road Users Based on Convolutional Neural Networks. In: 2018 14th Symposium on Neural Networks and Applications (NEUREL). Belgrade: IEEE Signal Processing Society, 2018, pp. 1-6. ISBN 978-1-5386-6974-7.
 SPANHEL Jakub, SOCHOR Jakub and MAKAROV Aleksej. Vehicle Fine-grained Recognition Based on Convolutional Neural Networks for Real-world Applications. In: 2018 14th Symposium on Neural Networks and Applications (NEUREL). Belgrade: IEEE Signal Processing Society, 2018, pp. 1-5. ISBN 978-1-5386-6974-7.
 SPANHEL Jakub, SOCHOR Jakub, JURÁNEK Roman and HEROUT Adam. Geometric Alignment by Deep Learning for Recognition of Challenging License Plates. In: 2018 21st International Conference on Intelligent Transportation Systems (ITSC). Lahaina, Maui: IEEE Intelligent Transportation Systems Society, 2018, pp. 3524-3529. ISBN 978-1-72810-321-1.
 SUSTEK Martin and ZBORIL Frantisek V. Obtaining word embedding from existing classification model. In: Intelligent Systems Design and Applications. Cham: Springer International Publishing, 2018, pp. 540-547. ISBN 978-3-319-76347-7. ISSN 2194-5357.
 UHLÍR Václav, ZBORIL Frantisek and ROZMAN Jaroslav. Improving upon package and food delivery by Semi-autonomous Tag-along Vehicles. In: Intelligent Systems Design and Applications. Cham: Springer International Publishing, 2018, pp. 589-596. ISBN 978-3-319-76347-7.
 VEIGEND Petr, RAFFAI Peter, NECASOVÁ Gabriela, SÁTEK Václav and KUNOVSKÝ Jirí. Simulation of the Gas Flow Through the Piston Ring Pack. In: 15rd International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1.
 VEIGEND Petr, SÁTEK Václav and KUNOVSKÝ Jirí. System Control Using the Modern Taylor Series Method. In: 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1.
 VELAS Martin, SPANEL Michal, HRADIS Michal and HEROUT Adam. CNN for IMU Assisted Odometry Estimation using Velodyne LiDAR. In: Proceedings of IEEE International Conference on Autonomous Robot Systems and Competitions. Torres Vedras: Institute of Electrical and Electronics Engineers, 2018, pp. 71-77. ISBN 978-1-5386-5221-3.
 VELAS Martin, SPANEL Michal, HRADIS Michal and HEROUT Adam. CNN for Very Fast Ground Segmentation in Velodyne LiDAR Data. In: Proceedings of IEEE International Conference on Autonomous Robot Systems and Competitions. Torres Vedras: Institute of Electrical and Electronics Engineers, 2018, pp. 97-103. ISBN 978-1-5386-5221-3.
 VESELÝ Karel, PERALES Carlos Segura, SZOKE Igor, LUQUE Jordi and CERNOCKÝ Jan. Lightly supervised vs. semi-supervised training of acoustic model on Luxembourgish for low-resource automatic speech recognition. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 2883-2887. ISSN 1990-9772.
 VÍDENSKÝ Frantisek and ZBORIL Frantisek. Computer Aided Recognition and Classification of Coats of Arms. In: Proceedings ISDA 2017. Los Alamitos: Springer International Publishing, 2018, pp. 63-73. ISBN 978-3-319-76347-7. ISSN 2194-5357.
 VLK Jan and CHUDÝ Peter. Adaptive Augmentation of an Unmanned Aerial Vehicle's Flight Control System. In: Proceedings of 37th Digital Avionics System Conference. London, UK: IEEE Computer Society, 2018, pp. 633-641. ISBN 978-1-5386-4112-5.
 WIGLASZ Michal and SEKANINA Lukás. Cooperative Coevolutionary Approximation in HOG-based Human Detection Embedded System. In: 2018 IEEE Symposium Series on Computational Intelligence (SSCI 2018). Bengaluru: Institute of Electrical and Electronics Engineers, 2018, pp. 1313-1320. ISBN 978-1-5386-9276-9.
 ZEINALI Hossein, BURGET Lukás and CERNOCKÝ Jan. Convolutional Neural Networks and X-Vector Embedding for DCASE2018 Acoustic Scene Classification Challenge. In: Proceedings of DCASE 2018 Workshop. Surrey: Tampere University of Technology, 2018, pp. 1-5. ISBN 978-952-15-4262-6.
 ZEINALI Hossein, BURGET Lukás, SAMETI Hossein and CERNOCKÝ Jan. Spoken Pass-Phrase Verification in the i-vector Space. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 372-377. ISSN 2312-2846.
 ZMOLÍKOVÁ Katerina, DELCROIX Marc, KINOSHITA Keisuke, HIGUCHI Takuya, NAKATANI Tomohiro and CERNOCKÝ Jan. Optimization of Speaker-aware Multichannel Speech Extraction with ASR Criterion. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 6702-6706. ISBN 978-1-5386-4658-8.
2017ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukás, CHEN Yu-Fang, REZINE Ahmed and RUMMER Philipp. Flatten and conquer: a framework for efficient analysis of string constraints. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: Association for Computing Machinery, 2017, pp. 602-617. ISBN 978-1-4503-4988-8.
 AHMAD Touqeer, CAMPR Pavel, CADÍK Martin and BEBIS George. Comparison of Semantic Segmentation Approaches for Horizon/Sky Line Detection. In: Proceedings of the International Joint Conference on Neural Networks (IJCNN). Anchorage: Institute of Electrical and Electronics Engineers, 2017, pp. 1-8. ISBN 978-1-4799-1961-1.
 APJAR Martin, DRAHANSKÝ Martin, LUZA Radim and VYROUBALOVÁ Jana. Control algorithms for rescue robot RUDA. In: Modeling and Simulation of Autonomous Systems. Rím, 2017, pp. 204-222.
 BAROTOVÁ Stepánka and DRAHANSKÝ Martin. Fingerprint Damage Localizer and Detector of Skin Diseases from Fingerprint Images. In: Proceedings of the 16th International Conference of the Biometrics Special Interest Group. Darmstadt: Springer Verlag, 2017, pp. 267-274. ISBN 978-3-88579-664-0.
 BARTL Vojtech and HEROUT Adam. Fully Automatic Horizon Estimation for Surveillance Cameras. In: 2017 International Conference on Digital Image Computing: Techniques and Applications (DICTA). Sydney: Institute of Electrical and Electronics Engineers, 2017, pp. 23-31. ISBN 978-1-5386-2839-3.
 BARINA David, KULA Michal, MATÝSEK Michal and ZEMCÍK Pavel. Accelerating Discrete Wavelet Transforms on GPUs. In: International Conference on Image Processing (ICIP). Beijing: IEEE Signal Processing Society, 2017, pp. 2707-2710. ISBN 978-1-5090-2175-8.
 BARINA David, NAJMAN Pavel, KLEPÁRNÍK Petr, KULA Michal and ZEMCÍK Pavel. The Parallel Algorithm for the 2-D Discrete Wavelet Transform. In: Ninth International Conference on Graphic and Image Processing (ICGIP 2017). Qingdao: SPIE - the international society for optics and photonics, 2017, pp. 1-6. ISBN 978-1-5106-1741-4. ISSN 0277-786X.
 BASKAR Murali K., KARAFIÁT Martin, BURGET Lukás, VESELÝ Karel, GRÉZL Frantisek and CERNOCKÝ Jan. Residual Memory Networks: Feed-forward approach to learn long-term temporal dependencies. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 4810-4814. ISBN 978-1-5090-4117-6.
 BENES Karel, BASKAR Murali K. and BURGET Lukás. Residual Memory Networks in Language Modeling: Improving the Reputation of Feed-Forward Networks. In: Proceedings of Interspeeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 284-288. ISSN 1990-9772.
 BURGET Radek. Information Extraction from the Web by Matching Visual Presentation Patterns. In: Knowledge Graphs and Language Technology: ISWC 2016 International Workshops: KEKI and NLP&DBpedia. Kobe: Springer International Publishing, 2017, pp. 10-26. ISBN 978-3-319-68722-3.
 CALINESCU Radu, CESKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. Designing Robust Software Systems through Parametric Markov Chain Synthesis. In: Proceedings of 14th IEEE International Conference On Software Architecture. New Jersey: IEEE Computer Society, 2017, pp. 131-140. ISBN 978-1-5090-5729-0.
 CALINESCU Radu, CESKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In: Proceedings of 14th International Conference on Quantitative Evaluation of SysTems. Heidelberg: Springer Verlag, 2017, pp. 1-4. ISBN 978-3-319-66335-7.
 CARDELLI Luca, CESKA Milan, FRANZLE Martin, KWIATKOWSKA Marta, LAURENTI Luca, PAOLETTI Nicola and WHITBY Max. Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. In: Proceedings of the 29th International Conference on Computer Aided Verification. Heidelberg: Springer Verlag, 2017, pp. 375-395. ISBN 978-3-319-63390-9.
 CRHA Adam, SIMEK Václav and RUZICKA Richard. Synthesis tool for design of complex polymorphic circuits. In: 2017 12th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Palma de Mallorca: IEEE Circuits and Systems Society, 2017, pp. 149-154. ISBN 978-1-5090-6376-5.
 CEKAN Ondrej and KOTÁSEK Zdenek. A Probabilistic Context-Free Grammar Based Random Test Program Generation. In: Proceedings of 20th Euromicro Conference on Digital System Design. Víden: TU Vienna, 2017, pp. 356-359. ISBN 978-1-5386-2146-2.
 CEKAN Ondrej and KOTÁSEK Zdenek. Random Test Stimuli Generation Based on a Probabilistic Grammar. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 43-44. ISBN 978-80-01-06178-7.
 CESKA Milan, CESKA Milan and PAOLETTI Nicola. Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters. In: Proceedings of 16th International Conference on Computer Aided Systems Theory. Heidelberg: Springer Verlag, 2017, pp. 38-46. ISBN 978-3-319-74727-9.
 CESKA Milan, MATYÁS Jirí, MRÁZEK Vojtech, SEKANINA Lukás, VASÍCEK Zdenek and VOJNAR Tomás. Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished. In: Proceedings of 36th IEEE/ACM International Conference On Computer Aided Design (ICCAD). Irvine, CA: Institute of Electrical and Electronics Engineers, 2017, pp. 416-423. ISBN 978-1-5386-3093-8.
 CUDOVÁ Marta. Framework for Planning, Running and Monitoring Cooperating Computations. In: Pocítacové architektúry & diagnostika PAD 2017. Bratislava: Slovak University of Technology in Bratislava, 2017, pp. 20-23. ISBN 978-80-972784-0-3.
 DAS Amit, HASEGAWA-JOHNSON Mark and VESELÝ Karel. Deep Auto-encoder Based Multi-task Learning Using Probabilistic Transcriptions. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 2073-2077. ISSN 1990-9772.
 DIAS Ricardo J., FERREIRA Carla, FIEDOR Jan, LOURENCO Joao, SMRCKA Ales, SOUSA Diogo J. and VOJNAR Tomás. Verifying Concurrent Programs Using Contracts. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). Tokyo: Institute of Electrical and Electronics Engineers, 2017, pp. 196-206. ISBN 978-1-5090-6032-0.
 DRAHANSKÝ Martin, MEISTER Torsten and NEZHYBA Ondrej. Sicherheit für intelligente Häuser. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 64-69. ISBN 978-3-95853-316-5.
 DVORÁK Michal and DRAHANSKÝ Martin. Security of Hand Geometry. In: Proceedings of Conference SPI 2017. Brno: University of Defence in Brno, 2017, pp. 17-29. ISBN 978-80-7231-414-0.
 DVORÁK Michal, DRAHANSKÝ Martin, KEMPTER Guido, MOHELNÍKOVÁ Jitka, LUZA Radim, RITTER Walter and KÜNZ Andreas. Usability and Quality of Light Sources for Households. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 125-133. ISBN 978-3-95853-316-5.
 ENEA Constantin, LENGÁL Ondrej, SIGHIREANU Mihaela and VOJNAR Tomás. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Heidelberg: Springer Verlag, 2017, pp. 302-309. ISBN 978-3-319-57287-1.
 FAJCÍK Martin, ZACHARIÁSOVÁ Marcela and SMRZ Pavel. Automation of Processor Verification Using Recurrent Neural Networks. In: 2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV). Austin, Texas: Institute of Electrical and Electronics Engineers, 2017, pp. 15-20. ISBN 978-1-5386-3351-9.
 FIEDOR Tomás, HOLÍK Lukás, JANKU Petr, LENGÁL Ondrej and VOJNAR Tomás. Lazy Automata Techniques for WS1S. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 407-425. ISBN 978-3-662-54576-8. ISSN 0302-9743.
 GROCHOL David and SEKANINA Lukás. Comparison of Parallel Linear Genetic Programming Implementations. In: Recent Advances in Soft Computing: Proceedings of the 22nd International Conference on Soft Computing (MENDEL 2016) held in Brno, Czech Republic, at June 8-10, 2016. Cham: Springer International Publishing, 2017, pp. 64-76. ISBN 978-3-319-58088-3.
 GROCHOL David and SEKANINA Lukás. Multiobjective Evolution of Hash Functions for High Speed Networks. In: Proceedings of the 2017 IEEE Congress on Evolutionary Computation. San Sebastian: IEEE Computer Society, 2017, pp. 1533-1540. ISBN 978-1-5090-4600-3.
 HANNEMANN Mirko, TRMAL Jan, ONDEL Lucas, KESIRAJU Santosh and BURGET Lukás. Bayesian joint-sequence models for grapheme-to-phoneme conversion. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 2836-2840. ISBN 978-1-5090-4117-6.
 HELLEBRANDT Lukás, HUJNÁK Ondrej, HANÁCEK Petr and HOMOLIAK Ivan. Survey of Privacy Enabling Strategies in IoT Networks. In: Proceedings of the 2017 International Conference on Computer Science and Artificial Intelligence. Jakarta: Association for Computing Machinery, 2017, pp. 216-221. ISBN 978-1-4503-5392-2.
 HIGUCHI Takuya, KINOSHITA Keisuke, DELCROIX Marc, ZMOLÍKOVÁ Katerina and NAKATANI Tomohiro. Deep clustering-based beamforming for separation with unknown number of sources. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 1183-1187. ISSN 1990-9772.
 HLOSTA Martin, ZDRÁHAL Zdenek and ZENDULKA Jaroslav. Ouroboros: Early identification of at-risk students without models based on legacy data. In: LAK '17 Proceedings of the Seventh International Learning Analytics & Knowledge Conference. Vancouver: Association for Computing Machinery, 2017, pp. 6-15. ISBN 978-1-4503-4870-6.
 HOLÍK Lukás, HRUSKA Martin, LENGÁL Ondrej, ROGALEWICZ Adam and VOJNAR Tomás. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In: Proceedings of VMCAI'17. Cham: Springer Verlag, 2017, pp. 288-309. ISBN 978-3-319-52234-0. ISSN 0302-9743.
 HOLÍK Lukás, MEYER Roland, VOJNAR Tomás and WOLF Sebastian. Effect Summaries for Thread-Modular Analysis. In: SAS 2017: Static Analysis. Cham: Springer International Publishing, 2017, pp. 169-191. ISBN 978-3-319-66706-5.
 HOMOLIAK Ivan, BARABAS Maros and HANÁCEK Petr. Exploitation of NetEm Utility for Non-payload-based Obfuscation Techniques Improving Network Anomaly Detection. In: Proceedings of 12th International Conference on Security and Privacy in Communication Networks. Guangzhou: Springer International Publishing, 2017, pp. 770-773. ISBN 978-3-319-59607-5.
 HOMOLIAK Ivan, SULÁK Ladislav and HANÁCEK Petr. Features for Non-payload Based Behavioral Intrusion 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. Jeju Island: Springer International Publishing, 2017, pp. 66-78. ISBN 978-3-319-56549-1.
 HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondrej, MU Shin-Cheng, SINHA Nishant and WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. In: Proceedings of NETYS'17. Heidelberg: Springer Verlag, 2017, pp. 421-438. ISSN 0302-9743.
 HRANICKÝ Radek, ZOBAL Lukás, VECERA Vojtech and MATOUSEK Petr. Distributed Password Cracking in a Hybrid Environment. In: Proceedings of SPI 2017. Brno: University of Defence in Brno, 2017, pp. 75-90. ISBN 978-80-7231-414-0.
 HRUSKA Martin, HOLÍK Lukás, LENGÁL Ondrej, ROGALEWICZ Adam, SIMÁCEK Jirí and VOJNAR Tomás. Forester: From Heap Shapes to Automata Predicates. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 365-369. ISBN 978-3-662-54580-5.
 HUSA Jakub and DOBAI Roland. Designing Bent Boolean Functions With Parallelized Linear Genetic Programming. In: GECCO Companion '17 Proceedings of the Companion Publication of the 2017 on Genetic and Evolutionary Computation Conference. Berlín: Association for Computing Machinery, 2017, pp. 1825-1832. ISBN 978-1-4503-4939-0.
 CHALOUPKA Jan, KOCINA Filip, VEIGEND Petr, NECASOVÁ Gabriela, SÁTEK Václav and KUNOVSKÝ Jirí. Multiple Integral Computations. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 CHALOUPKA Jan, NECASOVÁ Gabriela, VEIGEND Petr, KUNOVSKÝ Jirí and SÁTEK Václav. Modern Taylor series method in numerical integration: PART 1. In: 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik, 2017, pp. 263-273. ISBN 978-83-65265-14-2. ISSN 2391-9361.
 CHARVÁT Lucie and MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. In: Proceedings 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2017). Telc, 2017, pp. 1-1.
 CHEN Yu-Fang, LENGÁL Ondrej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. Reykjavik: IEEE Computer Society, 2017, pp. 1-12. ISBN 978-1-5090-3018-7.
 ILA Viorela S., POLOK Lukás, SOLONY Marek and ISTENIC Klemen. Fast Incremental Bundle Adjustment with Covariance Recovery. In: 2017 Fifth International Conference on 3D Vision. Qingdao: Institute of Electrical and Electronics Engineers, 2017, pp. 1-9. ISBN 978-989-8425-47-8.
 ISMAEL Mazen. Detecting Anomalous Trajectories and Traffic Services. In: Data a znalosti 2017. Plzen: University of West Bohemia in Pilsen, 2017, pp. 1-5. ISBN 978-80-261-0720-0.
 ISTENIC Klemen, ILA Viorela S., POLOK Lukás, GRACIAS Nuno and GARCÍA Rafael. Mission-time 3D Reconstruction with Quality Estimation. In: Proceedings of MTS/IEEE Oceans '17 Aberdeen. Aberdeen: Institute of Electrical and Electronics Engineers, 2017, pp. 1-9. ISBN 978-1-880653-88-3.
 JAROSOVÁ Marta, KUCERA Radek and SÁTEK Václav. A Path-following Algorithm for Parallel Solving of the Stokes Problem with the Stick-slip Boundary Condition. In: The 5th International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering. Pécs, 2017, pp. 1-12. ISSN 1759-3433.
 JAROSOVÁ Marta, KUCERA Radek and SÁTEK Václav. Preconditioning in the path-following algorithm for the Stokes flow with stick-slip conditions. In: 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik, 2017, pp. 274-285. ISBN 978-83-65265-14-2. ISSN 2391-9361.
 KACIC Matej and BARABAS Maros. Klasifikace informací v souvislostech. In: IS2 - Other Dimensions of Security. Praha: Tate International s.r.o., 2017, pp. 133-141. ISBN 978-80-86813-30-1.
 KARAFIÁT Martin, BASKAR Murali K., MATEJKA Pavel, VESELÝ Karel, GRÉZL Frantisek, BURGET Lukás and CERNOCKÝ Jan. 2016 BUT Babel system: Multilingual BLSTM acoustic model with i-vector based adaptation. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 719-723. ISSN 1990-9772.
 KAZZAZ M. Mohanned and RYCHLÝ Marek. Restful-based Mobile Web Service Migration Framework. In: 2017 IEEE International Conference on AI & Mobile Services (AIMS). Honolulu: IEEE Computer Society, 2017, pp. 70-75. ISBN 978-1-5386-1999-5.
 KEKELY Michal and KORENEK Jan. Packet Classification with Limited Memory Resources. In: In proceedings 2017 Euromicro Conference on Digital System Design. Vieden: Institute of Electrical and Electronics Engineers, 2017, pp. 179-183. ISBN 978-1-5386-2145-5.
 KESIRAJU Santosh, PAPPAGARI Raghavendra, ONDEL Lucas, BURGET Lukás, DEHAK Najim, KHUDANPUR Sanjeev, CERNOCKÝ Jan and GANGASHETTY Suryakanth V. Topic identification of spoken documents using unsupervised acoustic unit discovery. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 5745-5749. ISBN 978-1-5090-4117-6.
 KESNER Filip, SEKANINA Lukás and BRÁZDIL Milan. Modular Framework for Detection of Inter-ictal Spikes in iEEG. In: The 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC'17). Los Alamos: Institute of Electrical and Electronics Engineers, 2017, pp. 418-421. ISBN 978-1-5090-2809-2.
 KIDON Marek and DOBAI Roland. Evolutionary design of hash functions for IP address hashing using genetic programming. In: 2017 IEEE Congress on Evolutionary Computation (CEC). San Sebastian: Institute of Electrical and Electronics Engineers, 2017, pp. 1720-1727. ISBN 978-1-5090-4601-0.
 KLEPÁRNÍK Petr, ZEMCÍK Pavel and JAROS Jirí. Efficient Lossy Compression of Ultrasound Data. In: 2017 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT). Bilbao: Institute of Electrical and Electronics Engineers, 2017, pp. 232-237. ISBN 978-1-5386-4662-5.
 KLÍMA Ondrej, CHROMÝ Adam, KLEPÁRNÍK Petr, SPANEL Michal and ZEMCÍK Pavel. Model-based Radiostereometric Analysis Using Intensity-based 2D/3D Registration Pipeline: Feasibility Study. In: Conference Materials and Posters of Spring Conference on Computer Graphics SCCG 2017. Mikulov: Brno University of Technology, 2017, pp. 31-33. ISSN 1335-5694.
 KOCINA Filip, NECASOVÁ Gabriela, VEIGEND Petr, CHALOUPKA Jan, SÁTEK Václav and KUNOVSKÝ Jirí. Modelling VLSI Circuits Using Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 KOCÍ Radek and JANOUSEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, pp. 232-237. ISBN 978-1-61208-590-6.
 KORENEK Jan and KEKELY Michal. Mapping of P4 Match Action Tables to FPGA. In: Preceedings of 27TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS. Ghent: Institute of Electrical and Electronics Engineers, 2017, pp. 1-2. ISBN 978-90-90-30428-1.
 KOSTIALIK Daniel, MARUNIAK Lukás and DRAHANSKÝ Martin. Symptoms Detection in Eye Retina Image. In: 2017 IEEE Symposium Series on Computational Intelligence. Hawaii: IEEE Computer Society, 2017, pp. 3088-3093. ISBN 978-1-5386-4058-6.
 KRCMA Martin and KOTÁSEK Zdenek. Approximation accuracy of different FPNN types. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 81-82. ISBN 978-80-01-06178-7.
 KRCMA Martin, KOTÁSEK Zdenek and LOJDA Jakub. Comparison of FPNNs Models Approximation Capabilities and FPGA Resources Utilization. In: Proceedings of IEEE 13th International Conference on Intelligent Computer Communication and Processing. Cluj-Nappoca: IEEE Computer Society, 2017, pp. 125-132. ISBN 978-1-5386-3367-0.
 KRCMA Martin, LOJDA Jakub and KOTÁSEK Zdenek. Triple Modular Redundancy Used in Field Programmable Neural Networks. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, pp. 1-6. ISBN 978-1-5386-3298-7.
 KUCERA Radek, SÁTEK Václav, HASLINGER Jaroslav, POCHYLÝ Frantisek, KOKO Jonas and SASSI Taoufik. Numerical Modelling of the Stokes Flow with Threshold Slip Boundary Conditions. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 LAURENTI Luca, ABATE Alessandro, BORTOLUSSI Luca, CARDELLI Luca, CESKA Milan and KWIATKOWSKA Marta. Reachability Computation for Switching Diffusions:Finite Abstractions with Certifiable and Tuneable Precision. In: Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control. New York: Association for Computing Machinery, 2017, pp. 55-64. ISBN 978-1-4503-4590-3.
 LENGÁL Ondrej, LIN Anthony W., MAJUMDAR Rupak and RUMMER Philipp. Fair Termination for Parameterized Probabilistic Concurrent Systems. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 499-517. ISBN 978-3-662-46680-3. ISSN 0302-9743.
 LIU Chunxi, YANG Jinyi, SUN Ming, KESIRAJU Santosh, ROTT Alena, ONDEL Lucas, GHAHREMANI Pegah, DEHAK Najim, BURGET Lukás and KHUDANPUR Sanjeev. An Empirical evaluation of zero resource acoustic unit discovery. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 5305-5309. ISBN 978-1-5090-4117-6.
 LOJDA Jakub and KOTÁSEK Zdenek. A Basic Approach to Fault Tolerance of Data Paths of HLS-synthesized Systems and its Evaluation. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 79-80. ISBN 978-80-01-06178-7.
 LOJDA Jakub and KOTÁSEK Zdenek. Automatizace návrhu systému odolných proti poruchám pomocí vysokoúrovnové syntézy. In: Pocítacové architektury & diagnostika 2017. Smolenice: Slovak University of Technology in Bratislava, 2017, pp. 59-62. ISBN 978-80-972784-0-3.
 LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdenek. Redundant Data Types and Operations in HLS and their Use for a Robot Controller Unit Fault Tolerance Evaluation. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, pp. 359-364. ISBN 978-1-5386-3298-7.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, KOTÁSEK Zdenek and KRCMA Martin. Data Types and Operations Modifications: a Practical Approach to Fault Tolerance in HLS. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, pp. 273-278. ISBN 978-1-5386-3298-7.
 MAREK Marcel, RYSAVÝ Ondrej and VESELÝ Vladimír. Towards analysis of IP communication in a constrained environment of tactical radio networks. In: Proceedings of European Conference on the Engineering of Computer Based Systems. Larnaca: Association for Computing Machinery, 2017, pp. 50-57. ISBN 978-1-4503-4843-0.
 MATEJKA Pavel, NOVOTNÝ Ondrej, PLCHOT Oldrich, BURGET Lukás, DIEZ Sánchez Mireia and CERNOCKÝ Jan. Analysis of Score Normalization in Multilingual Speaker Recognition. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 1567-1571. ISSN 1990-9772.
 MATEJKA Pavel, PLCHOT Oldrich, NOVOTNÝ Ondrej, CUMANI Sandro, LOZANO Díez Alicia, SLAVÍCEK Josef, DIEZ Sánchez Mireia, GRÉZL Frantisek, GLEMBEK Ondrej, KAMSALI Veera Mounika, SILNOVA Anna, BURGET Lukás, ONDEL Lucas, KESIRAJU Santosh and ROHDIN Johan A. BUT- PT System Description for NIST LRE 2017. In: Proceedings of NIST Language Recognition Workshop 2017. Orlando, Florida: National Institute of Standards and Technology, 2017, pp. 1-6.
 MATERNA Zdenek, KAPINUS Michal, BERAN Vítezslav and SMRZ Pavel. Using Persona, Scenario, and Use Case to Develop a Human-Robot Augmented Reality Collaborative Workspace. In: HRI 2017. Víden: Association for Computing Machinery, 2017, pp. 1-2. ISBN 978-1-4503-4885-0.
 MATOUSEK Jirí, ANTICHI Gianni, LUCANSKÝ Adam, MOORE Andrew W. and KORENEK Jan. ClassBench-ng: Recasting ClassBench After a Decade of Network Evolution. In: 2017 ACM/IEEE Symposium on Architectures for Networking and Communications Systems. Beijing: IEEE Computer Society, 2017, pp. 204-216. ISBN 978-1-5090-6386-4.
 MATOUSEK Petr, ONYANGO Collins Oduor, RYSAVÝ Ondrej and SEVILLA Joseph. Delivering ICT Security Courses over 5.944 km. In: Proceedings of the 27th EAEEIE Annual Conference. Grenoble: Grenoble Institute of Technology, 2017, pp. 1-7. ISBN 2-9516740-8-2.
 MEDUNA Alexander and MARTISKO Jakub. CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. In: 15th International Conference on Automata and Formal Languages. Debrecen: Open Publishing Association, 2017, pp. 170-179. ISSN 2075-2180.
 MILKOVIC Marek. Extraction of Information from .NET Executable Files. In: Sborník príspevku Mezinárodní Masarykovy konference pro doktorandy a mladé vedecké pracovníky 2017. Hradec Králové: Akademické sdruzení MAGNANIMITAS Assn., 2017, pp. 1-9. ISBN 978-80-87952-22-1.
 MINARÍK Milos and SEKANINA Lukás. On Evolutionary Approximation of Sigmoid Function for HW/SW Embedded Systems. In: 20th European Conference on Genetic Programming, EuroGP 2017. Berlin: Springer International Publishing, 2017, pp. 343-358. ISBN 978-3-319-55696-3.
 MOTYCKOVÁ Kristina, KUCERA Radek, MAKROPOULOS Alexandros and SÁTEK Václav. Comparisons of the Semi-Smooth Newton Method for Solving Contact Problems in 2D and 3D. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 MRÁZEK Vojtech and VASÍCEK Zdenek. Parallel Optimization of Transistor Level Circuits using Cartesian Genetic Programming. In: GECCO Companion '17 Proceedings of the Companion Publication of the 2017 on Genetic and Evolutionary Computation Conference. Berlin: Association for Computing Machinery, 2017, pp. 1849-1856. ISBN 978-1-4503-4939-0.
 MRÁZEK Vojtech, HRBÁCEK Radek, VASÍCEK Zdenek and SEKANINA Lukás. EvoApprox8b: Library of Approximate Adders and Multipliers for Circuit Design and Benchmarking of Approximation Methods. In: Proc. of the 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE). Lausanne: European Design and Automation Association, 2017, pp. 258-261. ISBN 978-3-9815370-9-3.
 MUSIL Marek. REDUCING THE RUN-TIME COMPLEXITY OF SUPPORT VECTOR MACHINE USED FOR RAIL CANDIDATES DETECTION. In: International Masaryk Conference for Ph.D. students and young researchers. Hradec Králové, 2017, pp. 2138-2146. ISBN 978-80-87952-12-2.
 NECASOVÁ Gabriela, KOCINA Filip, VEIGEND Petr, CHALOUPKA Jan, SÁTEK Václav and KUNOVSKÝ Jirí. Solving Wave Equation Using Finite Differences and Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 NECASOVÁ Gabriela, KOCINA Filip, VEIGEND Petr, SÁTEK Václav and KUNOVSKÝ Jirí. Model of the Telegraph Line. In: Informatics 2017 - 14th International Scientific Conference on Informatics. Poprad: Institute of Electrical and Electronics Engineers, 2017, pp. 271-275. ISBN 978-1-5386-0888-3.
 NECASOVÁ Gabriela, KUNOVSKÝ Jirí and SÁTEK Václav. Numerical Solution of Wave Equation Using Higher Order Methods. In: 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2017, pp. 1-4. ISBN 978-0-7354-1690-1.
 NEVORAL Jan, SIMEK Václav and RUZICKA Richard. Compact Library of Efficient Polymorphic Gates based on Ambipolar Transistors. In: 2017 12th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Palma de Mallorca: IEEE Circuits and Systems Society, 2017, pp. 155-160. ISBN 978-1-5090-6376-5.
 NIKL Vojtech, HRADECKÝ Michal, JAROS Jirí and KELECÉNI Jakub. The investigation of the ARMv7 and Intel Haswell architectures suitability for performance and energy-aware computing. In: High Performance Computing. Cham: Springer International Publishing, 2017, pp. 377-393. ISBN 978-3-319-58667-0.
 NOSKO Svetozár, MUSIL Martin, MUSIL Petr and ZEMCÍK Pavel. True HDR camera with bilateral filter based tone mapping. In: SCCG '17: Spring Conference on Computer Graphics 2017. Mikulov: Association for Computing Machinery, 2017, pp. 1-9. ISBN 978-1-4503-5107-2.
 ONDEL Lucas, BURGET Lukás, CERNOCKÝ Jan and KESIRAJU Santosh. Bayesian phonotactic language model for acoustic unit discovery. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 5750-5754. ISBN 978-1-5090-4117-6.
 PÁNEK Richard. Systémy odolné proti poruchám - metodika návrhu radice rekonfigurace. In: Pocítacové architektury & diagnostika 2017. Smolenice: Slovak University of Technology in Bratislava, 2017, pp. 24-27. ISBN 978-80-972784-0-3.
 PAPADOPOULOS Pavlos, TRAVADI Ruchir, VAZ Colin, MALANDRAKIS Nikolaos, HERMJAKOB Ulf, POURDAMGHANI Nima, PUST Michael, ZHANG Boliang, PAN Xiaoman, LU Di, LIN Ying, GLEMBEK Ondrej, BASKAR Murali K., KARAFIÁT Martin, BURGET Lukás, HASEGAWA-JOHNSON Mark, JI Heng, MAY Jonathan, KNIGHT Kevin and NARAYANAN Shrikanth. Team ELISA System for DARPA LORELEI Speech Evaluation 2016. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 2053-2057. ISSN 1990-9772.
 PLCHOT Oldrich, MATEJKA Pavel, SILNOVA Anna, NOVOTNÝ Ondrej, DIEZ Sánchez Mireia, ROHDIN Johan A., GLEMBEK Ondrej, BRÜMMER Niko, SWART Albert du Preez, PRIETO Jesús J., GARCIA Perera Leibny Paola, BUERA Luis, KENNY Patrick, ALAM Jahangir and BHATTACHARYA Gautam. Analysis and Description of ABC Submission to NIST SRE 2016. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 1348-1352. ISSN 1990-9772.
 PODIVÍNSKÝ Jakub and KOTÁSEK Zdenek. The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 81-82. ISBN 978-80-01-06178-7.
 PODIVÍNSKÝ Jakub, LOJDA Jakub, CEKAN Ondrej, PÁNEK Richard and KOTÁSEK Zdenek. Reliability Analysis and Improvement of FPGA-based Robot Controller. In: Proceedings of the 2017 20th Euromicro Conference on Digital System Design. Víden: IEEE Computer Society, 2017, pp. 337-344. ISBN 978-1-5386-2146-2.
 POLOK Lukás and SMRZ Pavel. Pivoting Strategy for Fast LU decomposition of Sparse Block Matrices. In: Proceedings of the 25th High Performance Computing Symposium. Virginia Beach, VA: Association for Computing Machinery, 2017, pp. 1-12. ISBN 978-1-5108-3822-2.
 PRIVALOV Vladimir, BERAN Vítezslav and SMRZ Pavel. Effectiveness of the Bag-of-Words approach on the object search problem in 3D domain. In: Proceedings of SCCG 2017. New York City, NY: Association for Computing Machinery, 2017, pp. 138-145. ISBN 978-1-4503-5107-2.
 RICHTA Tomás and JANOUSEK Vladimír. Data-Driven Maritime Processes Management Using Dynamically Reconfigurable Executable Models. In: Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2017, pp. 1-10. ISBN 978-3-642-53855-1.
 RUDNITCKAIA Julia and HRUSKA Tomás. 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. Riga: Springer International Publishing, 2017, pp. 127-136. ISBN 978-9984-818-86-3. ISSN 2367-3370.
 RYCHLÝ Marek and RYSAVÝ Ondrej. TARZAN: An Integrated Platform for Security Analysis. In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. Praha: IEEE Computer Society, 2017, pp. 561-567. ISBN 978-83-946253-7-5.
 SHAFIQUE Muhammad, HAFIZ Rehan, JAVED Muhammad Usama, ABBAS Sarmad, SEKANINA Lukás, VASÍCEK Zdenek and MRÁZEK Vojtech. Adaptive and Energy-Efficient Architectures for Machine Learning: Challenges, Opportunities, and Research Roadmap. In: 2017 IEEE Computer Society Annual Symposium on VLSI. Los Alamitos: IEEE Computer Society Press, 2017, pp. 627-632. ISBN 978-1-5090-6762-6.
 SILNOVA Anna, BURGET Lukás and CERNOCKÝ Jan. Alternative Approaches to Neural Network based Speaker Verification. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 1572-1575. ISSN 1990-9772.
 STRNADEL Josef. On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking. In: Proceedings of the 2017 20th Euromicro Conference on Digital System Design. Los Alamitos: IEEE Computer Society, 2017, pp. 352-355. ISBN 978-1-5386-2146-2.
 SVOBODA Stanislav and BARINA David. New Transforms for JPEG Format. In: Conference Materials and Posters of Spring Conference on Computer Graphics SCCG 2017. Mikulov: Brno University of Technology, 2017, pp. 25-30. ISSN 1335-5694.
 SZURMAN Karel and KOTÁSEK Zdenek. State Synchronization of Faulty Soft Core Processors in Reconfigurable TMR Architecture. In: Pocítacové architektúry & diagnostika 2017. Smolenice: Slovak University of Technology in Bratislava, 2017, pp. 51-54. ISBN 978-80-972784-0-3.
 SPANHEL Jakub, SOCHOR Jakub, JURÁNEK Roman, HEROUT Adam, MARSÍK Lukás and ZEMCÍK Pavel. Holistic Recognition of Low Quality License Plates by CNN using Track Annotated Data. In: International Workshop on Traffic and Street Surveillance for Safety and Security (AVSS 2017). Lecce: IEEE Computer Society, 2017, pp. 1-6. ISBN 978-1-5386-2939-0.
 VASÍCEK Zdenek, MRÁZEK Vojtech and SEKANINA Lukás. Towards Low Power Approximate DCT Architecture for HEVC Standard. In: Proc. of the 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE). Lausanne: European Design and Automation Association, 2017, pp. 1576-1581. ISBN 978-3-9815370-9-3.
 VASÍCEK Zdenek. Relaxed equivalence checking: a new challenge in logic synthesis. In: Proceedings 2017 IEEE 20th International Symposium on Design and Diagnotics of Electronic Circuit & Systems. Dresden: IEEE Computer Society, 2017, pp. 1-6. ISBN 978-1-5386-0472-4.
 VEIGEND Petr, NECASOVÁ Gabriela, KOCINA Filip, CHALOUPKA Jan, SÁTEK Václav and KUNOVSKÝ Jirí. Real Time Simulation of Transport Delay. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 VESELÝ Karel, BASKAR Murali K., DIEZ Sánchez Mireia and BENES Karel. MGB-3 BUT System: Low-resource ASR on Egyptian YOUTUBE data. In: Proceedings of ASRU 2017. Okinawa: IEEE Signal Processing Society, 2017, pp. 368-373. ISBN 978-1-5090-4788-8.
 VESELÝ Karel, BURGET Lukás and CERNOCKÝ Jan. Semi-supervised DNN training with word selection for ASR. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 3687-3691. ISSN 1990-9772.
 VESELÝ Vladimír and RAJCA Tomás. Discovering Neighbor Devices in Computer Network - Development of CDP and LLDP Simulation Modules for OMNeT++. In: Proceedings of 4th OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2017, pp. 1-4. ISSN 2331-8422.
 VESELÝ Vladimír, HOLUSA Jan and RYSAVÝ Ondrej. First-hop Redundancy Protocols in OMNeT++. In: Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH. Madrid: SciTePress - Science and Technology Publications, 2017, pp. 331-339. ISBN 978-989-758-265-3.
 VLK Jan and CHUDÝ Peter. General Aviation Digital Autopilot Design Based on LQR/LQG Control Strategy. In: Proceedings of 36th Digital Avionics Systems Conference. St. Petersburg, FL: IEEE Computer Society, 2017, pp. 1-9. ISBN 978-1-5386-0365-9.
 VONDRÁCEK Martin, PLUSKAL Jan and RYSAVÝ Ondrej. Automation of MitM Attack on Wi-Fi Networks. In: 9th International Conference on Digital Forensics & Cyber Crime. Prague: Springer International Publishing, 2017, pp. 207-220. ISBN 978-3-319-73696-9. ISSN 1867-8211.
 VYSOCKÝ Ondrej, BESEDA Martin, RÍHA Lubomír, ZAPLETAL Jan, NIKL Vojtech, LYSAGHT Michael and KANNAN Venkatesh. Evaluation of the HPC Applications Dynamic Behavior in Terms of Energy Consumption. In: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, GRID AND CLOUD COMPUTING FOR ENGINEERING. Stirlingshire: Civil-Comp Press, 2017, pp. 30-49. ISBN 978-1-905088-66-9.
 WIGLASZ Michal and SEKANINA Lukás. Evolutionary Approximation of Gradient Orientation Module in HOG-based Human Detection System. In: 2017 IEEE Global Conference on Signal and Information Processing GlobalSIP 2017. Montreal: IEEE Signal Processing Society, 2017, pp. 1300-1304. ISBN 978-1-5090-5989-8.
 ZMOLÍKOVÁ Katerina, DELCROIX Marc, KINOSHITA Keisuke, HIGUCHI Takuya, OGAWA Atsunori and NAKATANI Tomohiro. Learning Speaker Representation for Neural Network Based Multichannel Speaker Extraction. In: Proceedings of ASRU 2017. Okinawa: IEEE Signal Processing Society, 2017, pp. 8-15. ISBN 978-1-5090-4788-8.
 ZMOLÍKOVÁ Katerina, DELCROIX Marc, KINOSHITA Keisuke, HIGUCHI Takuya, OGAWA Atsunori and NAKATANI Tomohiro. Speaker-aware neural network based beamformer for speaker extraction in speech mixtures. In: Proceedings of Interspeech 2017. Stocholm: International Speech Communication Association, 2017, pp. 2655-2659. ISSN 1990-9772.

Your IPv4 address: 35.175.200.4
Switch to https