Publications

Author: From year: Years:
Title: Keywords:
Type:
  
2017AHMAD Touqeer, CAMPR Pavel, ČADÍK Martin and BEBIS George. Comparison of Semantic Segmentation Approaches for Horizon/Sky Line Detection. In: Proceedings of the International Joint Conference on Neural Networks (IJCNN). Anchorage: Institute of Electrical and Electronics Engineers, 2017, pp. 1-8. ISBN 978-1-4799-1961-1.
 BAROTOVÁ Štěpánka and DRAHANSKÝ Martin. Fingerprint Damage Localizer and Detector of Skin Diseases from Fingerprint Images. In: Proceedings of the 16th International Conference of the Biometrics Special Interest Group. Darmstadt: Springer Verlag, 2017, pp. 267-274. ISBN 978-3-88579-664-0.
 BAŘINA David, KULA Michal, MATÝŠEK Michal and ZEMČÍ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.
 BAŘINA David, NAJMAN Pavel, KLEPÁRNÍK Petr, KULA Michal and ZEMČÍK Pavel. The Parallel Algorithm for the 2-D Discrete Wavelet Transform. In: 9th International Conference on Graphic and Image Processing (ICGIP 2017). Qingdao: SPIE - the international society for optics and photonics, 2017, pp. 1-9999. ISBN 978-90-00-00219-1.
 BASKAR Murali K., KARAFIÁT Martin, BURGET Lukáš, VESELÝ Karel, GRÉZL František and ČERNOCKÝ Jan. Residual Memory Networks: Feed-forward approach to learn long-term temporal dependencies. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 4810-4814. ISBN 978-1-5090-4117-6.
 BURGET Lukáš, DEHAK Najim, KESIRAJU Santosh, KHUDANPUR Sanjeev, ONDEL Lucas and YANG Jinyi. 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.
 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, ČEŠKA 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. To appear in IEEE: IEEE Computer Society, 2017, pp. 131-140. ISBN 978-1-5090-5729-0.
 CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In: 14th International Conference on Quantitative Evaluation of SysTems. To appear in LNCS: Springer Verlag, 2017, pp. 1-4.
 CARDELLI Luca, ČEŠKA 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. To appear in LNCS, 2017, pp. 1-20.
 CRHA Adam, ŠIMEK Václav and RŮŽIČKA Richard. Synthesis tool for design of complex polymorphic circuits. In: 2017 12th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Palma de Mallorca: IEEE Circuits and Systems Society, 2017, pp. 149-154. ISBN 978-1-5090-6376-5.
 ČEKAN Ondřej and KOTÁSEK Zdeněk. A Probabilistic Context-Free Grammar Based Random Test Program Generation. In: Proceedings of 20th Euromicro Conference on Digital System Design. Vídeň: TU Vienna, 2017, pp. 356-359. ISBN 978-1-5386-2146-2.
 ČEKAN Ondřej and KOTÁSEK Zdeněk. Random Test Stimuli Generation Based on a Probabilistic Grammar. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 43-44. ISBN 978-80-01-06178-7.
 ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished. In: Proceedings of 36th IEEE/ACM International Conference On Computer Aided Design (ICCAD). Irvine, CA: Institute of Electrical and Electronics Engineers, 2017, pp. 416-423. ISBN 978-1-5386-3093-8.
 ČUDOVÁ Marta. Framework for Planning, Running and Monitoring Cooperating Computations. In: Počítačové architektúry & diagnostika PAD 2017. Bratislava: Slovak University of Technology in Bratislava, 2017, pp. 20-23. ISBN 978-80-972784-0-3.
 DRAHANSKÝ Martin, MEISTER Torsten and NEZHYBA Ondřej. Sicherheit für intelligente Häuser. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 64-69. ISBN 978-3-95853-316-5.
 DVOŘÁK Michal and DRAHANSKÝ Martin. Security of Hand Geometry. In: Proceedings of Conference SPI 2017. Brno: Brno University of Defence, 2017, pp. 17-29. ISBN 978-80-7231-414-0.
 DVOŘÁK Michal, DRAHANSKÝ Martin, KEMPTER Guido, MOHELNÍKOVÁ Jitka, LUŽA Radim, RITTER Walter and KÜNZ Andreas. Usability and Quality of Light Sources for Households. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 125-133. ISBN 978-3-95853-316-5.
 ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Heidelberg: Springer Verlag, 2017, pp. 302-309. ISSN 0302-9743.
 FIEDOR Jan, LOURENCO Joao, SMRČKA Aleš and VOJNAR Tomáš. Verifying Concurrent Programs Using Contracts. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). Tokyo: Institute of Electrical and Electronics Engineers, 2017, pp. 196-206. ISBN 978-1-5090-6032-0.
 FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej and VOJNAR Tomáš. Lazy Automata Techniques for WS1S. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 407-425. ISBN 978-3-662-54576-8.
 GROCHOL David and SEKANINA Lukáš. Comparison of Parallel Linear Genetic Programming Implementations. In: Recent Advances in Soft Computing: Proceedings of the 22nd International Conference on Soft Computing (MENDEL 2016) held in Brno, Czech Republic, at June 8-10, 2016. Cham: Springer International Publishing, 2017, pp. 64-76. ISBN 978-3-319-58088-3.
 GROCHOL David and SEKANINA Lukáš. 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áš. 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.
 HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam and VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In: Proceedings of VMCAI'17. Cham: Springer Verlag, 2017, pp. 288-309. ISBN 978-3-319-52234-0.
 HOMOLIAK Ivan, BARABAS Maroš and HANÁČEK Petr. Exploitation of NetEm Utility for Non-payload-based Obfuscation Techniques Improving Network Anomaly Detection. In: Proceedings of 12th International Conference on Security and Privacy in Communication Networks. Guangzhou: Springer International Publishing, 2017, pp. 770-773. ISBN 978-3-319-59607-5.
 HOMOLIAK Ivan, ŠULÁK Ladislav and HANÁČEK 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 Ondřej, MU Shin-Cheng, SINHA Nishant and WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. In: Proceedings of NETYS'17. Heidelberg: Springer Verlag, 2017, pp. 1-15. ISSN 0302-9743.
 HRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch and MATOUŠEK Petr. Distributed Password Cracking in a Hybrid Environment. In: Proceedings of SPI 2017. Brno: Brno University of Defence, 2017, pp. 75-90. ISBN 978-80-7231-414-0.
 HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Forester: From Heap Shapes to Automata Predicates. In: Proceedings of TACAS'17. 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, NEČASOVÁ Gabriela, ŠÁTEK Václav and KUNOVSKÝ Jiří. Multiple Integral Computations. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 CHALOUPKA Jan, NEČASOVÁ Gabriela, VEIGEND Petr, KUNOVSKÝ Jiří and ŠÁTEK Václav. Modern Taylor series method in numerical integration: PART 1. In: 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik, 2017, pp. 263-273. ISBN 978-83-65265-14-2. ISSN 2391-9361.
 CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX, 2017, pp. 1-12.
 ILA Viorela S., POLOK Lukáš, ŠOLONY Marek and ISTENIČ Klemen. Fast Incremental Bundle Adjustment with Covariance Recovery. In: 2017 Fifth International Conference on 3D Vision. Qingdao, 2017, pp. 1-9.
 ISTENIČ Klemen, ILA Viorela S., POLOK Lukáš, 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.
 JAROŠOVÁ Marta, KUČERA Radek and ŠÁ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.
 JAROŠOVÁ Marta, KUČERA Radek and ŠÁ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.
 KAČIC Matej and BARABAS Maroš. Klasifikace informací v souvislostech. In: IS2 - Other Dimensions of Security. Praha: Tate International s.r.o., 2017, pp. 133-141. ISBN 978-80-86813-30-1.
 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 KOŘENEK 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, ONDEL Lucas, BURGET Lukáš, DEHAK Najim, KHUDANPUR Sanjeev and ČERNOCKÝ Jan. 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.
 KEŠNER Filip, SEKANINA Lukáš 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.
 KLÍMA Ondřej, CHROMÝ Adam, KLEPÁRNÍK Petr, ŠPANĚL Michal and ZEMČÍK Pavel. Model-based Radiostereometric Analysis Using Intensity-based 2D/3D Registration Pipeline: Feasibility Study. In: Proceedings of SCCG 2017. Mikulov: Comenius University in Bratislava, 2017, pp. 1-3. ISBN 978-80-223-3377-1. ISSN 1335-5694.
 KOCINA Filip, NEČASOVÁ Gabriela, VEIGEND Petr, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Modelling VLSI Circuits Using Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 KOČÍ Radek and JANOUŠEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, pp. 232-237. ISBN 978-1-61208-590-6.
 KOŘENEK 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.
 KUČERA Radek, ŠÁTEK Václav, HASLINGER Jaroslav, POCHYLÝ František, 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, ČEŠKA 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 Ondřej, 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.
 LOJDA Jakub and KOTÁSEK Zdeněk. A Basic Approach to Fault Tolerance of Data Paths of HLS-synthesized Systems and its Evaluation. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 79-80. ISBN 978-80-01-06178-7.
 LOJDA Jakub and KOTÁSEK Zdeněk. Automatizace návrhu systémů odolných proti poruchám pomocí vysokoúrovňové syntézy. In: Počítačové architektury & diagnostika 2017. Smolenice: Slovak University of Technology in Bratislava, 2017, pp. 59-62. ISBN 978-80-972784-0-3.
 LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Redundant Data Types and Operations in HLS and their Use for a Robot Controller Unit Fault Tolerance Evaluation. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, pp. 359-364. ISBN 978-1-5386-3298-7.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, KOTÁSEK Zdeněk and KRČMA Martin. Data Types and Operations Modifications: a Practical Approach to Fault Tolerance in HLS. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, pp. 273-278. ISBN 978-1-5386-3298-7.
 MAREK Marcel, RYŠAVÝ Ondřej and VESELÝ Vladimír. Towards analysis of IP communication in a constrained environment of tactical radio networks. In: Proceedings of European Conference on the Engineering of Computer Based Systems. Larnaca: Association for Computing Machinery, 2017, pp. 50-57. ISBN 978-1-4503-4843-0.
 MATERNA Zdeněk, KAPINUS Michal, BERAN Vítězslav and SMRŽ Pavel. Using Persona, Scenario, and Use Case to Develop a Human-Robot Augmented Reality Collaborative Workspace. In: HRI 2017. Vídeň: Association for Computing Machinery, 2017, pp. 1-2. ISBN 978-1-4503-4885-0.
 MATOUŠEK Jiří, ANTICHI Gianni, LUČANSKÝ Adam, MOORE Andrew W. and KOŘENEK Jan. ClassBench-ng: Recasting ClassBench After a Decade of Network Evolution. In: 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.
 MATOUŠEK Petr, ONYANGO Collins Oduor, RYŠAVÝ Ondřej and SEVILLA Joseph. Delivering ICT Security Courses over 5.944 km. In: Proceedings of the 27th EAEEIE Annual Conference. Grenoble, 2017, pp. 1-7.
 MEDUNA Alexander and MARTIŠKO Jakub. CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. In: 15th International Conference on Automata and Formal Languages. Debrecen, 2017, pp. 170-179. ISSN 2075-2180.
 MINAŘÍK Miloš and SEKANINA Lukáš. 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.
 MOTYČKOVÁ Kristina, KUČERA Radek, MAKROPOULOS Alexandros and ŠÁ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 Vojtěch and VAŠÍČEK Zdeněk. 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 Vojtěch, HRBÁČEK Radek, VAŠÍČEK Zdeněk and SEKANINA Lukáš. EvoApprox8b: Library of Approximate Adders and Multipliers for Circuit Design and Benchmarking of Approximation Methods. In: Proc. of the 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE). Lausanne: European Design and Automation Association, 2017, pp. 258-261. ISBN 978-3-9815370-9-3.
 NEČASOVÁ Gabriela, KOCINA Filip, VEIGEND Petr, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Solving Wave Equation Using Finite Differences and Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 NEVORAL Jan, ŠIMEK Václav and RŮŽIČKA Richard. Compact Library of Efficient Polymorphic Gates based on Ambipolar Transistors. In: 2017 12th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Palma de Mallorca: IEEE Circuits and Systems Society, 2017, pp. 155-160. ISBN 978-1-5090-6376-5.
 NIKL Vojtěch, HRADECKÝ Michal, JAROŠ Jiří and KELEČÉNI Jakub. The investigation of the ARMv7 and Intel Haswell architectures suitability for performance and energy-aware computing. In: High Performance Computing. Cham: Springer International Publishing, 2017, pp. 377-393. ISBN 978-3-319-58667-0.
 ONDEL Lucas, BURGET Lukáš, ČERNOCKÝ Jan and KESIRAJU Santosh. Bayesian phonotactic language model for acoustic unit discovery. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 5750-5754. ISBN 978-1-5090-4117-6.
 PÁNEK Richard. Systémy odolné proti poruchám - metodika návrhu řadiče rekonfigurace. In: Počítačové architektury & diagnostika 2017. Smolenice: Slovak University of Technology in Bratislava, 2017, pp. 24-27. ISBN 978-80-972784-0-3.
 PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 81-82. ISBN 978-80-01-06178-7.
 PODIVÍNSKÝ Jakub, LOJDA Jakub, ČEKAN Ondřej, PÁNEK Richard and KOTÁSEK Zdeněk. Reliability Analysis and Improvement of FPGA-based Robot Controller. In: Proceedings of the 2017 20th Euromicro Conference on Digital System Design. Vídeň: IEEE Computer Society, 2017, pp. 337-344. ISBN 978-1-5386-2146-2.
 POLOK Lukáš and SMRŽ Pavel. Pivoting Strategy for Fast LU decomposition of Sparse Block Matrices. In: Proceedings of the 25th High Performance Computing Symposium. Virginia Beach, VA: Association for Computing Machinery, 2017, pp. 1-12. ISBN 978-1-5108-3822-2.
 RYCHLÝ Marek and RYŠAVÝ Ondřej. TARZAN: An Integrated Platform for Security Analysis. In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. 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áš, VAŠÍČEK Zdeněk and MRÁZEK Vojtěch. 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.
 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 BAŘINA David. New Transforms for JPEG Format. In: Conference Materials and Posters of Spring Conference on Computer Graphics SCCG 2017. Mikulov: Brno University of Technology, 2017, pp. 25-30. ISSN 1335-5694.
 SZURMAN Karel and KOTÁSEK Zdeněk. State Synchronization of Faulty Soft Core Processors in Reconfigurable TMR Architecture. In: Počítačové architektúry & diagnostika 2017. Smolenice: Slovak University of Technology in Bratislava, 2017, pp. 51-54. ISBN 978-80-972784-0-3.
 ŠPAŇHEL Jakub, SOCHOR Jakub, JURÁNEK Roman, HEROUT Adam, MARŠÍK Lukáš and ZEMČÍK Pavel. Holistic Recognition of Low Quality License Plates by CNN using Track Annotated Data. In: International Workshop on Traffic and Street Surveillance for Safety and Security (AVSS 2017). Lecce: IEEE Computer Society, 2017, pp. 1-6. ISBN 978-1-5386-2939-0.
 VAŠÍČEK Zdeněk. 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.
 VAŠÍČEK Zdeněk, MRÁZEK Vojtěch and SEKANINA Lukáš. 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.
 VEIGEND Petr, NEČASOVÁ Gabriela, KOCINA Filip, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Real Time Simulation of Transport Delay. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 VONDRÁČEK Martin, PLUSKAL Jan and RYŠAVÝ Ondřej. Automation of MitM Attack on Wi-Fi Networks. In: 9th International Conference on Digital Forensics & Cyber Crime. Praha, 2017, pp. 1-1.
 WIGLASZ Michal and SEKANINA Lukáš. Evolutionary Approximation of Gradient Orientation Module in HOG-based Human Detection System. In: 2017 IEEE Global Conference on Signal and Information Processing GlobalSIP 2017. Montreal: IEEE Computer Society, 2017, pp. 1300-1304. ISBN 978-1-5090-5989-8.
2016ABATE Alessandro, ČEŠKA Milan and KWIATKOWSKA Marta. Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. In: Proceedings of 14th International Symposium on Automated Technology for Verification and Analysis. Heidelberg: Springer Verlag, 2016, pp. 1-16. ISBN 978-3-319-46519-7.
 ALDEGHERI Stefano, BARNAT Jiří, BOMBIERI Nicola, BUSATO Federico and ČEŠKA Milan. Parametric Multi-Step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components. In: Proceedings of 2nd Workshop on Performance Engineering for Large Scale Graph Analytics. Cham: Springer Verlag, 2016, pp. 519-531. ISBN 978-3-319-58942-8.
 ALMEIDA Ricardo, HOLÍK Lukáš and MAYR Richard. Reduction of Nondeterministic Tree Automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Berlin Heidelberg: Springer Verlag, 2016, pp. 717-735. ISBN 978-3-662-49673-2.
 ARON Lukáš and HANÁČEK Petr. A Concept of Dynamic Permission Mechanism on Android. In: Progress in Applied Mathematics in Science and Engineering Proceedings. Bali, Indonesia: American Institute of Physics, 2016, pp. 22-30. ISBN 978-0-7354-1352-8.
 ARON Lukáš and HANÁČEK Petr. Mobile Security for Banking on Android Platform. In: Proceedings of the International Conference on Computing Technology, Information Security and Risk Management. Dubai: The Society of Digital Information and Wireless Communications, 2016, pp. 7-14. ISBN 978-1-941968-31-4.
 BARTOŠ Václav and KOŘENEK Jan. Evaluating Reputation of Internet Entities. In: Management and Security in the Age of Hyperconnectivity. Munich: Springer International Publishing, 2016, pp. 132-136. ISBN 978-3-319-39813-6.
 BAŘINA David, KLÍMA Ondřej and ZEMČÍK Pavel. Single-Loop Architecture for JPEG 2000. In: Image and Signal Processing. Cham: Springer International Publishing, 2016, pp. 346-355. ISBN 978-3-319-33618-3.
 BAŘINA David, KULA Michal and ZEMČÍK Pavel. Simple Signal Extension Method for Discrete Wavelet Transform. In: Proceedings of 2016 IEEE International Conference on Signal and Image Processing. Beijing: Institute of Electrical and Electronics Engineers, 2016, pp. 534-538. ISBN 978-1-5090-2375-2.
 BIDLO Michal. Evolution of Complex Emergent Behaviour in Multi-State Cellular Automata. In: Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion. New York: Association for Computing Machinery, 2016, pp. 157-158. ISBN 978-1-4503-4323-7.
 BIDLO Michal. Evolution of Generic Square Calculations in Cellular Automata. In: Proceedings of the 8th International Joint Conference on Computational Intelligence - Volume 3: ECTA. Porto: SciTePress - Science and Technology Publications, 2016, pp. 94-102. ISBN 978-989-758-201-1.
 BREITENBACHER Dominik, HOMOLIAK Ivan, JAROŠ Jiří and HANÁČEK Petr. Impact of Optimization and Parallelism on Factorization Speed of SIQS. In: Proceedings of The 20th World Multi-Conference on Systemics, Cybernetics and Informatics. Orlando: The International Institute of Informatics and Systemics, 2016, pp. 55-62. ISBN 978-1-941763-41-4.
 CRHA Adam. Polymorfní elektronika a metody syntézy. In: Počítačové architektury & diagnostika Česko-slovenský seminář pro studenty doktorského studia. Brno: Faculty of Information Technology BUT, 2016, pp. 93-97. ISBN 978-80-214-5376-0.
 ČEKAN Ondřej. Generování testovacích stimulů. In: Počítačové architektury a diagnostika PAD 2016. Bořetice - Kraví Hora: Faculty of Information Technology BUT, 2016, pp. 97-100. ISBN 978-80-214-5376-0.
 ČEKAN Ondřej, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Random Stimuli Generation Based on a Stochastic Context-Free Grammar. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 291-292. ISBN 978-1-5090-5602-6.
 ČEŠKA Milan, PILAŘ Petr, PAOLETTI Nicola, BRIM Luboš and KWIATKOWSKA Marta. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In: Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Berlin: Springer International Publishing, 2016, pp. 367-384. ISBN 978-3-662-49673-2. ISSN 0302-9743.
 DALECKÝ Štěpán, SNÁŠELOVÁ Petra, LUŽA Radim, ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. SmartMowers as a Part of a SmartCity. In: Sbornik ICCC 2016. Tatranská Lomnica: The University of Technology Košice, 2016, pp. 156-160. ISBN 978-1-4673-8605-0.
 DOBAI Roland, KOŘENEK Jan and SEKANINA Lukáš. Adaptive Development of Hash Functions in FPGA-Based Network Routers. In: 2016 IEEE Symposium Series on Computational Intelligence. Athens: IEEE Computational Intelligence Society, 2016, pp. 1-8. ISBN 978-1-5090-4240-1.
 DOLÍHAL Luděk and HRUŠKA Tomáš. Automatic job generation for compiler testing, Testing of generated compiler. In: Proceedings of The Eighth International Conference on Advances in System Testing and Validation Lifecycle. Řím: The International Academy, Research and Industry Association, 2016, pp. 1-6. ISBN 978-1-61208-500-5.
 DRAHANSKÝ Martin, LUŽA Radim and ZBOŘIL František V. Localization of rescue robot in hybrid environment. In: ICCITR2016. Dubai: Higher Institute of Technological Studies, 2016, pp. 1-4. ISBN 978-9973-9816-2-2.
 DRAHANSKÝ Martin, LUŽA Radim and ZBOŘIL František V. RUDA - Robot for Search for Human Beings in Debrits and Avalanches. In: Proceedings of ISDA 2015. Marrakesh: Faculty of Information Technology, Czech Technical University, 2016, pp. 1-6. ISBN 978-1-4673-8712-5.
 DUDKA Kamil, HOLÍK Lukáš, PERINGER Petr, TRTÍK Marek and VOJNAR Tomáš. From Low-Level Pointers to High-Level Containers. In: Verification, Model Checking, and Abstract Interpretation (VMCAI). Berlin Heidelberg: Springer Verlag, 2016, pp. 431-452. ISBN 978-3-662-49121-8.
 DVOŘÁČEK Petr and SEKANINA Lukáš. Evolutionary Approximation of Edge Detection Circuits. In: 19th European Conference on Genetic programming. Berlin: Springer International Publishing, 2016, pp. 19-34. ISBN 978-3-319-30667-4.
 DYTRYCH Jaroslav and SMRŽ Pavel. Interaction Patterns in Computer-assisted Semantic Annotation of Text - An Empirical Evaluation. In: Proceedings of the 8th International Conference on Agents and Artificial Intelligence. Setúbal: SciTePress - Science and Technology Publications, 2016, pp. 74-84. ISBN 978-989-758-172-4.
 EGOROVA Ekaterina and SERRANO Jordi Lugue. Semi-Supervised Training of Language Model on Spanish Conversational Telephone Speech Data. In: Procedia Computer Science. Yogyakarta: Elsevier Science, 2016, pp. 114-120. ISSN 1877-0509.
 GRASA Eduard, RYŠAVÝ Ondřej, LICHTNER Ondrej, ASGARI Hamid, DAY John and CHITKUSHEV Lou. From protecting protocols to layers: designing, implementing and experimenting with security policies in RINA. In: 2016 IEEE International Conference on Communications (ICC). Kuala-Lumpur: Institute of Electrical and Electronics Engineers, 2016, pp. 1-7. ISBN 978-1-4799-6665-3.
 GRÉZL František and KARAFIÁT Martin. Boosting Performance on Low-resource Languages by Standard Corpora: AN ANALYSIS. In: Proceeding of SLT 2016. San Diego: IEEE Signal Processing Society, 2016, pp. 629-636. ISBN 978-1-5090-4903-5.
 GRÉZL František and KARAFIÁT Martin. Bottle-Neck Feature Extraction Structures for Multilingual Training and Porting. In: Procedia Computer Science. Yogyakarta: Elsevier Science, 2016, pp. 144-151. ISSN 1877-0509.
 GRÉZL František, EGOROVA Ekaterina and KARAFIÁT Martin. Study of Large Data Resources for Multilingual Training and System Porting. In: Procedia Computer Science. Yogyakarta: Elsevier Science, 2016, pp. 15-22. ISSN 1877-0509.
 GROCHOL David and SEKANINA Lukáš. Evolutionary Design of Fast High-quality Hash Functions for Network Applications. In: GECCO '16 Proceedings of the 2016 on Genetic and Evolutionary Computation Conference. New York, NY: Association for Computing Machinery, 2016, pp. 901-908. ISBN 978-1-4503-4206-3.
 GROCHOL David. Evoluční hardware v síťových aplikacích. In: Počítačové architektury a diagnostika PAD 2016. Bořetice: Faculty of Information Technology BUT, 2016, pp. 57-60. ISBN 978-80-214-5376-0.
 HAZIZA Frédéric, HOLÍK Lukáš, MEYER Roland and WOLF Sebastian. Pointer Race Freedom. In: Verification, Model Checking, and Abstract Interpretation (VMCAI). Berlin: Springer Verlag, 2016, pp. 393-412. ISBN 978-3-662-49121-8.
 HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Run Forester, Run Backwards! (Competition Contribution). In: Proceedings of TACAS'16. Heidelberg: Springer Verlag, 2016, pp. 923-926. ISBN 978-3-662-49673-2.
 HOLÍK Lukáš, KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika, TRTÍK Marek and VOJNAR Tomáš. Predator Shape Analysis Tool Suite. In: Proceedings of HVC 2016. Zurich: Springer Verlag, 2016, pp. 202-209. ISBN 978-3-319-49052-6.
 HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. Towards Formal Relaxed Equivalence Checking in Approximate Computing Methodology. In: 2nd Workshop on Approximate Computing (WAPCO 2016). Prague, 2016, pp. 1-6.
 HOLÍK Lukáš, MEYER Roland and MUSKALLA Sebastian. An Anti Chain-based Approach to Recursive Program Verification. In: Proceedings of International Conference on Networked Systems. Cham: Springer International Publishing, 2016, pp. 322-336. ISBN 978-3-319-26849-1.
 HOLÍK Lukáš, MEYER Roland and MUSKALLA Sebastian. Summaries for Context-Free Games. In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, pp. 41-57. ISBN 978-3-95977-027-9.
 HRANICKÝ Radek, MATOUŠEK Petr, RYŠAVÝ Ondřej and VESELÝ Vladimír. Experimental Evaluation of Password Recovery in Encrypted Documents. In: Proceedings of ICISSP 2016. Roma: SciTePress - Science and Technology Publications, 2016, pp. 299-306. ISBN 978-989-758-167-0.
 HRBÁČEK Radek, MRÁZEK Vojtěch and VAŠÍČEK Zdeněk. Automatic Design of Approximate Circuits by Means of Multi-Objective Evolutionary Algorithms. In: Proceedings of the 11th International Conference on Design & Technology of Integrated Systems in Nanoscale Era. Istanbul: Istanbul Sehir University, 2016, pp. 239-244. ISBN 978-1-5090-0335-8.
 HYNEK Jiří and HRUŠKA Tomáš. Pixel-Based Analysis of Information Dashboard Attributes. In: New Trends in Databases and Information Systems. CH: Springer International Publishing, 2016, pp. 29-36. ISBN 978-3-319-44065-1. ISSN 1865-0929.
 HYRŠ Martin and SCHWARZ Josef. Advanced Parallel Copula Based EDA. In: 2016 IEEE Symposium Series on Computational Intelligence. Athens: Institute of Electrical and Electronics Engineers, 2016, pp. 1-8. ISBN 978-1-5090-4239-5.
 HYRŠ Martin and SCHWARZ Josef. Kopulové EDA algoritmy. In: Počítačové architektury & diagnostika PAD 2016. Bořetice: Faculty of Information Technology BUT, 2016, pp. 105-108. ISBN 978-80-214-5376-0.
 CHARVÁT Lukáš, SMRČKA Aleš and VOJNAR Tomáš. Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016). Sydney: School of Computer Science and Engineering, University of New South Wales, 2016, pp. 87-93. ISSN 2075-2180.
 CHEN Yu-Fang, HSIEH Chiao, LENGÁL Ondřej, LII Tsung-Ju, TSAI Ming-Hsien, WANG Bow-Yaw and WANG Farn. PAC Learning-Based Verification and Model Synthesis. In: Proceedings of the 38th International Conference on Software Engineering. Austin, TX: Association for Computing Machinery, 2016, pp. 714-724. ISBN 978-1-4503-3900-1.
 CHROMÝ Adam, ŽALUD Luděk and KLÍMA Ondřej. DeskBalance: Novel Gamified System for Diagnosis and Treatment of Postural Stability. In: 14th IFAC Conference on Programmable Devices and Embedded Systems PDES 2016 Brno, Czech Republic, 5-7 October 2016. Brno / Lednice: Elsevier Science, 2016, pp. 200-205. ISSN 2405-8963.
 IOSIF Radu, ROGALEWICZ Adam and VOJNAR Tomáš. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. In: Tools and Algorithms for the Construction and Analysis of Systems. Heidelberg: Springer Verlag, 2016, pp. 71-89. ISBN 978-3-662-49673-2.
 KARAFIÁT Martin, BASKAR Murali K., MATĚJKA Pavel, VESELÝ Karel, GRÉZL František and ČERNOCKÝ Jan. Multilingual BLSTM and Speaker-Specific Vector Adaptation in 2016 BUT BABEL SYSTEM. In: Proceedings of SLT 2016. San Diego: IEEE Signal Processing Society, 2016, pp. 637-643. ISBN 978-1-5090-4903-5.
 KARAFIÁT Martin, BURGET Lukáš, GRÉZL František, VESELÝ Karel and ČERNOCKÝ Jan. Multilingual Region-Dependent Transforms. In: Proceedings of the 41th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2016), 2016. Shanghai: IEEE Signal Processing Society, 2016, pp. 5430-5434. ISBN 978-1-4799-9988-0.
 KARMAZÍN Jaromír and OČENÁŠEK Pavel. The state of Near-Field Communication (NFC) on the Android platform. In: Human Aspects of Information Security, Privacy, and Trust. Toronto: Springer Verlag, 2016, pp. 247-254. ISBN 978-3-319-39380-3.
 KESIRAJU Santosh, BURGET Lukáš, SZŐKE Igor and ČERNOCKÝ Jan. Learning document representations using subspace multinomial model. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, pp. 700-704. ISBN 978-1-5108-3313-5.
 KLÍMA Ondřej, BAŘINA David, KLEPÁRNÍK Petr, ZEMČÍK Pavel, CHROMÝ Adam and ŠPANĚL Michal. Lossy Compression of 3-D Statistical Shape and Intensity Models of Femoral Bones Using JPEG 2000. In: 14th IFAC Conference on Programmable Devices and Embedded Systems PDES 2016 Brno, Czech Republic, 5-7 October 2016. Brno / Lednice: Elsevier Science, 2016, pp. 115-120. ISSN 2405-8963.
 KLÍMA Ondřej, CHROMÝ Adam, ZEMČÍK Pavel, KLEPÁRNÍK Petr and ŠPANĚL Michal. A Study on Performace of Levenberg-Marquardt and CMA-ES Optimization Methods for Atlas-based 2D/3D Reconstruction. In: 14th IFAC Conference on Programmable Devices and Embedded Systems PDES 2016 Brno, Czech Republic, 5-7 October 2016. Brno / Lednice: Elsevier Science, 2016, pp. 121-126. ISSN 2405-8963.
 KLÍMA Ondřej, KLEPÁRNÍK Petr, ŠPANĚL Michal and ZEMČÍK Pavel. Intensity-based femoral atlas 2D/3D registration using Levenberg-Marquardt optimisation. In: Biomedical Applications in Molecular, Structural, and Functional Imaging. San Diego: SPIE - the international society for optics and photonics, 2016, pp. 1-6. ISBN 978-1-5106-0023-2.
 KOCINA Filip, KUNOVSKÝ Jiří, NEČASOVÁ Gabriela, ŠÁTEK Václav and VEIGEND Petr. Parallel solution of higher order differential equations. In: Proceedings of the 2016 International Conference on High Performance Computing & Simulation (HPCS 2016). Insbruck: Institute of Electrical and Electronics Engineers, 2016, pp. 302-309. ISBN 978-1-5090-2088-1.
 KOCMAN Radim and MEDUNA Alexander. On Parallel Versions of Jumping Finite Automata. In: Proceedings of the 2015 Federated Conference on Software Development and Object Technologies. Cham: Springer International Publishing, 2016, pp. 142-149. ISBN 978-3-319-46534-0.
 KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. On Double-Jumping Finite Automata. In: Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). Wien: Austrian Computer Society, 2016, pp. 195-210. ISBN 978-3-903035-10-2.
 KOČÍ Radek and JANOUŠEK Vladimír. Modeling System Requirements Using Use Cases and Petri Nets. In: ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances. Řím: Xpert Publishing Services, 2016, pp. 160-165. ISBN 978-1-61208-498-5.
 KOLÁŘ Martin, HRADIŠ Michal and ZEMČÍK Pavel. Deep Learning on Small Datasets using Online Image Search. In: Proceedings of 32nd Spring Conference on Computer Graphics. Bratislava: Comenius University in Bratislava, 2016, pp. 1-7. ISBN 978-1-4503-3693-2. ISSN 1335-5694.
 KOŘENEK Jan and VIKTORIN Jan. Packet Processing on FPGA SoC with DPDK. In: 26th International Conference on Field-Programmable Logic and Applications. Lausanne: École Polytechnique Fédérale de Lausanne, 2016, pp. 578-579. ISBN 978-2-8399-1844-2.
 KOŠAŘ Vlastimil and KOŘENEK Jan. Dynamically Reconfigurable Architecture with Atomic Configuration Updates for Flexible Regular Expressions Matching in FPGA. In: Proceedings of The 19th Euromicro Conference on Digital Systems Design. Limassol: IEEE Computer Society, 2016, pp. 591-598. ISBN 978-1-5090-2816-0.
 KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika and VOJNAR Tomáš. Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution). In: Proceedings of TACAS 2016. Heidelberg: Springer Verlag, 2016, pp. 942-945. ISBN 978-3-662-49673-2.
 KRČMA Martin, KOTÁSEK Zdeněk, LOJDA Jakub and KAŠTIL Jan. Comparsion of FPNNs models approximation capabilities and resources utilization. In: Proceedings of the Work in progress Session held in connection with DSD 2016. Limassol: Johannes Kepler University Linz, 2016, pp. 1-2. ISBN 978-3-902457-46-2.
 KULA Michal, BAŘINA David and ZEMČÍK Pavel. Block-based Approach to 2-D Wavelet Transform on GPUs. In: Information Technology: New Generations. Las Vegas, Nevada: Springer International Publishing, 2016, pp. 643-653. ISBN 978-3-319-32467-8.
 KULA Michal, BAŘINA David and ZEMČÍK Pavel. New Non-Separable Lifting Scheme for Images. In: Proceedings of 2016 IEEE International Conference on Signal and Image Processing. Beijing: Institute of Electrical and Electronics Engineers, 2016, pp. 292-295. ISBN 978-1-5090-2375-2.
 LI Ruizhi, MALLIDI Sri Harish, PLCHOT Oldřich, BURGET Lukáš and DEHAK Najim. Exploiting Hidden-Layer Responses of Deep Neural Networks for Language Recognition. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, pp. 2365-2369. ISBN 978-1-5108-3313-5.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, KRČMA Martin and KOTÁSEK Zdeněk. HLS-based Fault Tolerance Approach for SRAM-based FPGAs. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 297-298. ISBN 978-1-5090-5602-6.
 LOZANO-DIEZ Alicia, SILNOVA Anna, MATĚJKA Pavel, GLEMBEK Ondřej, PLCHOT Oldřich, PEŠÁN Jan, BURGET Lukáš and GONZALEZ-RODRIGUEZ Joaquin. Analysis and Optimization of Bottleneck Features for Speaker Recognition. In: Proceedings of Odyssey 2016. Bilbao: International Speech Communication Association, 2016, pp. 352-357. ISSN 2312-2846.
 LUŽA Radim, ZBOŘIL František V. and DRAHANSKÝ Martin. High-level control of RUDA - the robot for rescuing people in debris and under avalanches. In: ICCC. Tatranská Lomnica: The University of Technology Košice, 2016, pp. 467-472. ISBN 978-1-4673-8605-0.
 MATĚJKA Pavel, GLEMBEK Ondřej, NOVOTNÝ Ondřej, PLCHOT Oldřich, GRÉZL František, BURGET Lukáš and ČERNOCKÝ Jan. Analysis Of DNN Approaches To Speaker Identification. In: Proceedings of the 41th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2016), 2016. Shanghai: IEEE Signal Processing Society, 2016, pp. 5100-5104. ISBN 978-1-4799-9988-0.
 MATERNA Zdeněk, KAPINUS Michal, ŠPANĚL Michal, BERAN Vítězslav and SMRŽ Pavel. Simplified Industrial Robot Programming: Effects of Errors onMultimodal Interaction in WoZ experiment. In: Robot and Human Interactive Communication (RO-MAN). New York City: Institute of Electrical and Electronics Engineers, 2016, pp. 1-6. ISBN 978-1-5090-3929-6.
 MATOUŠEK Denis, KOŘENEK Jan and PUŠ Viktor. High-speed Regular Expression Matching with Pipelined Automata. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 93-100. ISBN 978-1-5090-5602-6.
 MERTA Michal, ZAPLETAL Jan and JAROŠ Jiří. Many Core Acceleration of the Boundary Element Method. In: Proceedings of High Performance Computing in Science and Engineering. Basel: Springer International Publishing, 2016, pp. 116-125. ISBN 978-3-319-40360-1.
 MRÁZEK Vojtěch and VAŠÍČEK Zdeněk. Automatic Design of Arbitrary-Size Approximate Sorting Networks with Error Guarantee. In: Power and Timing Modeling, Optimization and Simulation (PATMOS), 2016 26rd International Workshop on. Bremen: Institute of Electrical and Electronics Engineers, 2016, pp. 221-228. ISBN 978-1-5090-0733-2.
 MRÁZEK Vojtěch. Evoluční snižování příkonu: Od obvodů na úrovni tranzistorů po neuronové sítě na čipu. In: Počítačové architektury a diagnostika PAD 2016. Bořetice: Faculty of Information Technology BUT, 2016, pp. 61-64. ISBN 978-80-214-5376-0.
 MRÁZEK Vojtěch, SARWAR Syed Shakib, SEKANINA Lukáš, VAŠÍČEK Zdeněk and ROY Kaushik. Design of Power-Efficient Approximate Multipliers for Approximate Artificial Neural Networks. In: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design. Austin, TX: Association for Computing Machinery, 2016, pp. 811-817. ISBN 978-1-4503-4466-1.
 NEVORAL Jan. Polymorfní obvody na bázi ambipolárních tranzistorů. In: Počítačové architektury a diagnostika PAD 2016. Bořetice: Faculty of Information Technology BUT, 2016, pp. 45-48. ISBN 978-80-214-5376-0.
 NEVORAL Jan, RŮŽIČKA Richard and MRÁZEK Vojtěch. Evolutionary Design of Polymorphic Gates Using Ambipolar Transistors. In: 2016 IEEE Symposium Series on Computational Intelligence. Athens: Institute of Electrical and Electronics Engineers, 2016, pp. 1-8. ISBN 978-1-5090-4240-1.
 NIKL Vojtěch. High Performance Computing on Low Power Devices. In: Computer achitectures and diagnostics 2016. Brno: Faculty of Information Technology BUT, 2016, pp. 81-84. ISBN 978-80-214-5376-0.
 NOVOTNÝ Ondřej, MATĚJKA Pavel, GLEMBEK Ondřej, PLCHOT Oldřich, GRÉZL František, BURGET Lukáš and ČERNOCKÝ Jan. Analysis of the DNN-Based SRE Systems in Multi-language Conditions. In: Proceedings of SLT 2016. San Diego: IEEE Signal Processing Society, 2016, pp. 199-204. ISBN 978-1-5090-4903-5.
 NOVOTNÝ Ondřej, MATĚJKA Pavel, PLCHOT Oldřich, GLEMBEK Ondřej, BURGET Lukáš and ČERNOCKÝ Jan. Analysis of Speaker Recognition Systems in Realistic Scenarios of the SITW 2016 Challenge. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, pp. 828-832. ISBN 978-1-5108-3313-5.
 ONDEL Lucas, BURGET Lukáš and ČERNOCKÝ Jan. Variational Inference for Acoustic Unit Discovery. In: Procedia Computer Science. Yogyakarta: Elsevier Science, 2016, pp. 80-86. ISSN 1877-0509.
 OTRUSINA Lubomír and SMRŽ Pavel. WTF-LOD - A New Resource for Large-Scale NER Evaluation. In: Proceedings of the Tenth conference on International Language Resources and Evaluation (LREC'16). Portorož: European Language Resources Association, 2016, pp. 1-4. ISBN 978-2-9517408-9-1.
 PEŠÁN Jan, BURGET Lukáš and ČERNOCKÝ Jan. Sequence Summarizing Neural Networks for Spoken Language Recognition. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, pp. 3285-3289. ISBN 978-1-5108-3313-5.
 PLASCENCIA Alfredo C. and ROZMAN Jaroslav. Towards a User-Wheelchair Shared Control Paradigm for Individuals with Severe Motor Impairments. In: ICINCO 2016 13th International Conference on Informatics in Control, Automation and Robotics. Lisabon: Institute for Systems and Technologies of Information, Control and Communication, 2016, pp. 246-254. ISBN 978-989-758-198-4.
 PLCHOT Oldřich, BURGET Lukáš, ARONOWITZ Hagai and MATĚJKA Pavel. Audio Enhancing With DNN Autoencoder For Speaker Recognition. In: Proceedings of the 41th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2016), 2016. Shanghai: IEEE Signal Processing Society, 2016, pp. 5090-5094. ISBN 978-1-4799-9988-0.
 PLCHOT Oldřich, MATĚJKA Pavel, FÉR Radek, GLEMBEK Ondřej, NOVOTNÝ Ondřej, PEŠÁN Jan, VESELÝ Karel, ONDEL Lucas, KARAFIÁT Martin, GRÉZL František, KESIRAJU Santosh, BURGET Lukáš, BRUMMER Niko, SWART Albert du Preez, CUMANI Sandro, MALLIDI Sri Harish and LI Ruizhi. BAT System Description for NIST LRE 2015. In: Proceedings of Odyssey 2016, The Speaker and Language Recognition Workshop. Bilbao: International Speech Communication Association, 2016, pp. 166-173. ISSN 2312-2846.
 PODIVÍNSKÝ Jakub. Funkční verifikace jako nástroj pro sledování vlivu poruch na elektro-mechanický systém. In: Počítačové architektury a diagnostika PAD 2016. Bořetice - Kraví Hora: Faculty of Information Technology BUT, 2016, pp. 101-104. ISBN 978-80-214-5376-0.
 PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub and KOTÁSEK Zdeněk. Functional Verification as a Tool for Monitoring Impact of Faults in SRAM-based FPGAs. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 289-290. ISBN 978-1-5090-5602-6.
 PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub and KOTÁSEK Zdeněk. Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems. In: Proceedings of the 19th Euromicro Conference on Digital Systems Design. Limassol: IEEE Computer Society, 2016, pp. 487-494. ISBN 978-1-5090-2817-7.
 POLČÁK Libor, CALDAROLA Leo, CUDA Davide, DONDERO Marco, FICARA Domenico, FRANKOVÁ Barbora, HOLKOVIČ Martin, CHOUKIR Amine, MUCCIFORA Roberto and TRIFILO Antonio. High Level Policies in SDN. In: E-Business and Telecommunications. Berlin: Springer International Publishing, 2016, pp. 39-57. ISBN 978-3-642-35754-1. ISSN 1865-0929.
 POLOK Lukáš and SMRŽ Pavel. Increasing Double Precision Throughput on NVIDIA Maxwell GPUs. In: Proceedings of the 24th High Performance Computing Symposium. Pasadena / Los Angeles: Association for Computing Machinery, 2016, pp. 1-8. ISBN 978-1-5108-2318-1.
 POLOK Lukáš, ILA Viorela S. and SMRŽ Pavel. 3D Reconstruction Quality Analysis and Its Acceleration on GPU Clusters. In: Proceedings of European Signal Processing Conference 2016. Budapest: Institute of Electrical and Electronics Engineers, 2016, pp. 1-8. ISBN 978-0-9928626-6-4.
 POSPÍŠIL Milan, BARTÍK Vladimír and HRUŠKA Tomáš. Analyzing Machine Performance Using Data Mining. In: 2016 IEEE Symposium on Computational Intelligence and Data Mining. Athens: Institute of Electrical and Electronics Engineers, 2016, pp. 1-7. ISBN 978-1-5090-4239-5.
 POVOLNÝ Filip, MATĚJKA Pavel, HRADIŠ Michal, POPKOVÁ Anna, OTRUSINA Lubomír, SMRŽ Pavel, WOOD Ian, ROBIN Cecile and LAMEL Lori. Multimodal Emotion Recognition for AVEC 2016 Challenge. In: AVEC '16 Proceedings of the 6th International Workshop on Audio/Visual Emotion Challenge. Amsterdam: Association for Computing Machinery, 2016, pp. 75-82. ISBN 978-1-4503-4516-3.
 RIŠA Michal. Scheduling and Synchronization on Multicores. In: Sborník příspěvků Česko-slovenského semináře pro studenty doktorského studia Počítačové architektury & diagnostika. Brno: Faculty of Information Technology BUT, 2016, pp. 10-13. ISBN 978-80-214-5376-0.
 RŮŽIČKA Richard and TESAŘ Radek. Lets Move Polymorphism Downwards: On the Multifunctional Logic Based on Ambipolar Behaviour of Semiconductor Devices. In: Proceedings of the 11th International Conference on Design & Technology of Integrated Systems in Nanoscale Era. Istanbul: Istanbul Sehir University, 2016, pp. 275-279. ISBN 978-1-5090-0335-8.
 SEKANINA Lukáš and KAPUSTA Vlastimil. Visualisation and Analysis of Genetic Records Produced by Cartesian Genetic Programming. In: GECCO'16 Companion. New York: Association for Computing Machinery, 2016, pp. 1411-1418. ISBN 978-1-4503-4323-7.
 SEKANINA Lukáš and VAŠÍČEK Zdeněk. Genetic Improvement for Approximate Computing. In: 2nd Workshop on Approximate Computing (WAPCO 2016). Prague, 2016, pp. 1-2.
 SEKANINA Lukáš. Introduction to Approximate Computing: Embedded Tutorial. In: 19th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Košice: Institute of Electrical and Electronics Engineers, 2016, pp. 90-95. ISBN 978-1-5090-2467-4.
 SMETKA Tomáš, HOMOLIAK Ivan and HANÁČEK Petr. On the Application of Symbolic Regression and Genetic Programming for Cryptanalysis of Symmetric Encryption Algorithm. In: Proceedings of 2016 IEEE International Carnahan Conference on Security Technology. Orlando, Fl: Institute of Electrical and Electronics Engineers, 2016, pp. 1-8. ISBN 978-1-5090-1072-1.
 SOCHOR Jakub, HEROUT Adam and HAVEL Jiří. BoxCars: 3D Boxes as CNN Input for Improved Fine-Grained Vehicle Recognition. In: The IEEE Conference on Computer Vision and Pattern Recognition (CVPR). Las Vegas: IEEE Computer Society, 2016, pp. 3006-3015. ISBN 978-1-4673-8851-1. ISSN 1063-6919.
 STRNADEL Josef and RIŠA Michal. On Analysis of Software Interrupt Limiters for Embedded Systems by Means of UPPAAL SMC. In: Proceedings of the 24th Austrian Workshop on Microelectronics. Villach: IEEE Computer Society Press, 2016, pp. 45-50. ISBN 978-1-5090-1040-0.
 STRNADEL Josef. Modeling and Analysis of Fault-Tolerant Systems by Means of UPPAAL SMC: Method and Benefits. In: Informal Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Bratislava: Slovak University of Technology in Bratislava, 2016, pp. 32-37. ISBN 978-80-8086-256-5.
 STRNADEL Josef. On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Cham: Springer International Publishing, 2016, pp. 166-181. ISBN 978-3-319-47166-2. ISSN 0302-9743.
 SUOMI Visa, JAROŠ Jiří, TREEBY Bradley E. and CLEVELAND Robin. Nonlinear 3-D simulation of high-intensity focused ultrasound therapy in the kidney. In: 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Orlando: Institute of Electrical and Electronics Engineers, 2016, pp. 5648-5651. ISBN 978-1-4577-0220-4.
 SVOBODA Pavel, HRADIŠ Michal, MARŠÍK Lukáš and ZEMČÍK Pavel. CNN for license plate motion deblurring. In: IEEE International Conference on Image Processing (ICIP). Phoenix: IEEE Signal Processing Society, 2016, pp. 1-4. ISBN 978-1-4673-9961-6.
 ŠIMEK Václav, STŘÍTESKÝ Stanislav, ŘEZNÍČEK Michal, CRHA Adam and RŮŽIČKA Richard. Towards Implementation of Logic Circuits Based on Intrinsically Reconfigurable Organic Transistors. In: Proceedings of the 6th Electronics System-Integration Technology Conference. Grenoble: Institute of Electrical and Electronics Engineers, 2016, pp. 1-6. ISBN 978-1-5090-1401-9.
 ŠIMEK Václav, TESAŘ Radek, RŮŽIČKA Richard and CRHA Adam. Modelling and Physical Implementation of Ambipolar Components Based on Organic Materials. In: Proceedings of the 28th International Conference on Microelectronics (ICM 2016). Cairo: IEEE Circuits and Systems Society, 2016, pp. 341-344. ISBN 978-1-5090-5721-4.
 TESAŘ Radek. Nekonvenční technologie pro číslicové systémy. In: Počítačové architektury a diagnostika PAD 2016. Bořetice: Faculty of Information Technology BUT, 2016, pp. 109-115. ISBN 978-80-214-5376-0.
 TREEBY Bradley E., JAROŠ Jiří and COX Ben T. Advanced photoacoustic image reconstruction using the k-Wave toolbox. In: SPIE Proceedings Vol. 9708: Photons Plus Ultrasound: Imaging and Sensing 2016. San Francisco: SPIE - the international society for optics and photonics, 2016, pp. 1-14. ISBN 978-1-62841-942-9.
 VAŠÍČEK Zdeněk and SEKANINA Lukáš. Search-based synthesis of approximate circuits implemented into FPGAs. In: 26th International Conference on Field Programmable Logic and Applications. Lausanne: Institute of Electrical and Electronics Engineers, 2016, pp. 1-4. ISBN 978-2-8399-1844-2.
 VAŠÍČEK Zdeněk, MRÁZEK Vojtěch and SEKANINA Lukáš. Evolutionary Functional Approximation of Circuits Implemented into FPGAs. In: 2016 IEEE Symposium Series on Computational Intelligence. Athens: Institute of Electrical and Electronics Engineers, 2016, pp. 1-8. ISBN 978-1-5090-4240-1.
 VAVERKA Filip. Case Study on Multi-domain Decomposition of k-Wave Simulation Framework. In: Computer achitectures and diagnostics 2016. Brno: Faculty of Information Technology BUT, 2016, pp. 37-40. ISBN 978-80-214-5376-0.
 VAVERKA Filip, HRBÁČEK Radek and SEKANINA Lukáš. Evolving Component Library for Approximate High Level Synthesis. In: 2016 IEEE Symposium Series on Computational Intelligence. Athens: IEEE Computational Intelligence Society, 2016, pp. 1-8. ISBN 978-1-5090-4240-1.
 VEĽAS Martin and ŠPANĚL Michal. Improving Multi-view Object Recognition by Detecting Changes in Point Clouds. In: IEEE Symposium on Computational Intelligence for Multimedia, Signal and Vision Processing. Atény: IEEE Computer Society, 2016, pp. 1-7. ISBN 978-1-5090-4239-5.
 VEĽAS Martin, ŠPANĚL Michal and HEROUT Adam. Collar Line Segments for Fast Odometry Estimation from Velodyne Point Clouds. In: Proceedings of IEEE International Conference on Robotics and Automation. Stockholm: IEEE Computer Society, 2016, pp. 4486-4491. ISBN 978-1-4673-8025-6.
 VESELÝ Karel, WATANABE Shinji, ŽMOLÍKOVÁ Kateřina, KARAFIÁT Martin, BURGET Lukáš and ČERNOCKÝ Jan. Sequence Summarizing Neural Network for Speaker Adaptation. In: Proceedings of the 41th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2016), 2016. Shanghai: IEEE Signal Processing Society, 2016, pp. 5315-5319. ISBN 978-1-4799-9988-0.
 VESELÝ Vladimír, REK Vít and RYŠAVÝ Ondřej. Babel Routing Protocol for OMNeT++ - More than just a new simulation module for INET framework. In: Proceedings of 3rd OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2016, pp. 1-5. ISSN 2331-8422.
 VOJVODA Jakub and BERAN Vítězslav. Feature extraction for efficient image and video segmentation. In: Proceedings of SCCG 2016. Smolenice: Association for Computing Machinery, 2016, pp. 1-7. ISBN 978-1-4503-3693-2.
 WIGLASZ Michal and DRAHOŠOVÁ Michaela. Plastic Fitness Predictors Coevolved with Cartesian Programs. In: 19th European Conference on Genetic programming. Berlin: Springer International Publishing, 2016, pp. 164-179. ISBN 978-3-319-30667-4.
 ZACHARIÁŠ Michal and HEROUT Adam. Color Theme-Based Digital Art for Augmented Environment. In: Proceedings of the 2016 International Conference on Digital Arts, Media and Technology. Chiang Rai, 2016, pp. 1-6.
 ZACHARIÁŠ Michal, SZENTANDRÁSI István and HEROUT Adam. Visual Correction of Position Drift using Uniform Marker Fields. In: Proceedings of the 32nd Spring conference on Computer Graphics. Bratislava, 2016, pp. 1-5.
 ZACHARIÁŠOVÁ Marcela, BELEŠOVÁ Michaela and KOTÁSEK Zdeněk. Regression Test Suites Optimization for Application-specific Instruction-set Processors and Their Use for Dependability Analysis. In: Proceedings of the 19th Euromicro Conference on Digital Systems Design. Limassol Cyprus: IEEE Computer Society, 2016, pp. 380-387. ISBN 978-1-5090-2816-0.
 ZAPLETAL Dominik and HEROUT Adam. Vehicle Re-Identification for Automatic Video Traffic Surveillance. In: International Workshop on Automatic Traffic Surveillance (CVPR 2016). Las Vegas: IEEE Computer Society, 2016, pp. 1-7. ISBN 978-0-7695-4989-7.
 ZEINALI Hossein, BURGET Lukáš, SAMETI Hossein, GLEMBEK Ondřej and PLCHOT Oldřich. Deep Neural Networks and Hidden Markov Models in i-vector-based Text-Dependent Speaker Verification. In: Proceedings of Odyssey 2016, The Speaker and Language Recognition Workshop. Bilbao: International Speech Communication Association, 2016, pp. 24-30. ISSN 2312-2846.
 ZEINALI Hossein, SAMETI Hossein, BURGET Lukáš, ČERNOCKÝ Jan, MAGHSOODI Nooshin and MATĚJKA Pavel. i-vector/HMM Based Text-dependent Speaker Verification System for RedDots Challenge. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, pp. 440-444. ISBN 978-1-5108-3313-5.
 ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Hexapod Robot: Test Platform for Bio-Inspired Controllers. In: Sbornik ICCC 2016. Tatranská Lomnica: The University of Technology Košice, 2016, pp. 819-824. ISBN 978-1-4673-8605-0.
 ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Overview of Bio-Inspired Control Mechanisms for Hexapod Robot. In: Proceedings of ISDA 2015. Marrakesh: Machine Intelligence Research Labs, 2016, pp. 160-165. ISBN 978-1-4673-8712-5.
 ŽMOLÍKOVÁ Kateřina, KARAFIÁT Martin, VESELÝ Karel, DELCROIX Marc, WATANABE Shinji, BURGET Lukáš and ČERNOCKÝ Jan. Data selection by sequence summarizing neural network in mismatch condition training. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, pp. 2354-2358. ISBN 978-1-5108-3313-5.
2015ABDULLA Parosh A., ATIG Mohamed F., HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed, RUMMER Philipp and STENMAN Jari. Norn: An SMT Solver for String Constraints. In: Computer Aided Verification. Cham: Springer International Publishing, 2015, pp. 462-469. ISBN 978-3-319-21689-8.
 ABDULLA Parosh A., HAZIZA Frédéric and HOLÍK Lukáš. View Abstraction - A Tutorial. In: 2nd International Workshop on Synthesis of Complex Parameters. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2015, pp. 1-15. ISBN 978-3-939897-82-8.
 ANGUERA Xavier, RODRIGUEZ-FUENTES Luis J., BUZO Andi, METZE Florian, SZŐKE Igor and PENAGARIKANO Mikel. QUESST 2014: Evaluating Query-By-Example Speech Search in a Zero-Resource. In: Proceedings of 2015 IEEE International Conference on Acoustics, Speech and Signal Processing. South Brisbane, Queensland: IEEE Signal Processing Society, 2015, pp. 5833-5837. ISBN 978-1-4673-6997-8.
 ARON Lukáš and HANÁČEK Petr. Introduction to Android 5 Security. In: Proceedings of Student Research Forum Papers and Posters at SOFSEM 2015. Pec pod Snezkou: CEUR-WS.org, 2015, pp. 103-112. ISBN 978-80-87136-20-1.
 ARON Lukáš and HANÁČEK Petr. Overview of security on mobile devices. In: The 2nd IEEE World Symposium on Web Application and Networking (WSWAN'2015). Sousse: N&N Global Technology, 2015, pp. 2-16. ISBN 978-9938-9563-3-7.
 BARTÍK Vladimír and POSPÍŠIL Milan. Use of Frequent Itemset Mining Techniques to Analyze Business Processes. In: Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Lisbon: SciTePress - Science and Technology Publications, 2015, pp. 273-280. ISBN 978-989-758-158-8.
 BARTOŠ Václav. Using Application-Aware Flow Monitoring for SIP Fraud Detection. In: Intelligent Mechanisms for Network Configuration and Security,. Ghent: Springer International Publishing, 2015, pp. 87-99. ISBN 978-3-319-20033-0.
 BAŘINA David and ZEMČÍK Pavel. Real-Time 3-D Wavelet Lifting. In: International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG). Plzeň: Union Agency, 2015, pp. 15-23. ISBN 978-80-86943-65-7.
 BAŘINA David, MUSIL Martin, MUSIL Petr and ZEMČÍK Pavel. Single-Loop Approach to 2-D Wavelet Lifting with JPEG 2000 Compatibility. In: IEEE 27th International Symposium on Computer Architecture and High Performance Computing Workshops. Florianopolis: IEEE Computer Society, 2015, pp. 31-36. ISBN 978-1-4673-8621-0.
 BEHÚŇ Kamil, HEROUT Adam and PAVELKOVÁ Alena. Hand Gestures in Aeronautics Cockpit as a Cue for Crew State and Workload Inference. In: Proceedings of ITSC 2015. Las Palmas: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 1-6. ISBN 0-00-000000-0.
 BIDLO Michal. Investigation of Replicating Tiles in Cellular Automata Designed by Evolution Using Conditionally Matching Rules. In: 2015 IEEE International Conference on Evolvable Systems (ICES). Cape Town: IEEE Computational Intelligence Society, 2015, pp. 1506-1513. ISBN 978-1-4799-7560-0.
 BIDLO Michal. On Routine Evolution of New Replicating Structures in Cellular Automata. In: 7th International Conference on Evolutionary Computationa Theory and Applications. Lisbon: SciTePress - Science and Technology Publications, 2015, pp. 28-38. ISBN 978-989-758-157-1.
 BLAT Josep, EVANS Alun, HILTON Adrian, IMRE Evren, KIM Hansung, NIKOLAIDIS Nikos, PITAS Ioannis, POLOK Lukáš, SMRŽ Pavel, TEFAS Anastasios and ZEMČÍK Pavel. IMPART: Big media data processing and analysis for film production. In: IEEE International Conference on Multimedia Expo Workshops (ICMEW). Torino, 2015, pp. 1-5. ISBN 978-1-4799-7079-7.
 BREITENBACHER Dominik, HOMOLIAK Ivan and HANÁČEK Petr. Parallelized Self-Initializing Quadratic Sieve using OpenMP. In: Santa's Crypto Get-Together 2015. Praha: Trusted Network Solutions, a.s., 2015, pp. 39-40. ISBN 978-80-904257-7-4.
 CALDAROLA Leo, CHOUKIR Amine, CUDA Davide, DONDERO Marco, FICARA Domenico, MUCCIFORA Roberto, POLČÁK Libor and TRIFILO Antonio. Towards a real application-aware network. In: Proceedings of the 6th International Conference on Data Communication Networking (DCNET-2015). Colmar: SciTePress - Science and Technology Publications, 2015, pp. 5-12. ISBN 978-989-758-112-0.
 CRHA Adam, RŮŽIČKA Richard and ŠIMEK Václav. On the Synthesis of Multifunctional Logic Circuits. In: Abstracts Proceedings of International FLASH Conference. Brno: Faculty of Electrical Engineering and Communication BUT, 2015, pp. 52-53. ISBN 978-80-214-5270-1.
 CRHA Adam, RŮŽIČKA Richard and ŠIMEK Václav. Synthesis Methodology of Polymorphic Circuits Using Polymorphic NAND/NOR Gates. In: Proceedings on UKSim-AMSS 17th International Conference on Computer Modelling ans Simulation. Cambridge: IEEE Computer Society, 2015, pp. 612-617. ISBN 978-1-4799-8713-9.
 CUMANI Sandro, PLCHOT Oldřich and FÉR Radek. Exploiting i-vector posterior covariances for short-duration language recognition. In: Proceedings of Interspeech 2015. Dresden: International Speech Communication Association, 2015, pp. 1002-1006. ISBN 978-1-5108-1790-6. ISSN 1990-9772.
 ČADÍK Martin, VAŠÍČEK Jan, HRADIŠ Michal, RADENOVIĆ Filip and CHUM Ondřej. Camera Elevation Estimation from a Single Mountain Landscape Photograph. In: British Machine Vision Conference 2015. Swansea: The British Machine Vision Association and Society for Pattern Recognition, 2015, pp. 1-12. ISBN 1-901725-53-7.
 ČEKAN Ondřej. Principy generování verifikačních stimulů. In: Počítačové architektury a diagnostika PAD 2015. Zlín: Faculty of Applied Informatics, Tomas Bata University in Zlín, 2015, pp. 13-18. ISBN 978-80-7454-522-1.
 ČEKAN Ondřej, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Software Fault Tolerance: the Evaluation by Functional Verification. In: Proceedings of the 18th Euromicro Conference on Digital Systems Design. Funchal: IEEE Computer Society, 2015, pp. 284-287. ISBN 978-1-4673-8035-5.
 ČEKAN Ondřej, ZACHARIÁŠOVÁ Marcela and KOTÁSEK Zdeněk. Universal Pseudo-random Generation of Assembler Codes for Processors. In: Proceedings of The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Grenoble: COST, European Cooperation in Science and Technology, 2015, pp. 70-73.
 DALECKÝ Štěpán and ZBOŘIL František V. An Approach to ANFIS Performance. In: Advances in Intelligent Systems and Computing. Brno, 2015, pp. 195-206. ISBN 978-3-319-19823-1.
 DOBAI Roland and KOŘENEK Jan. Evolution of Non-Cryptographic Hash Function Pairs for FPGA-Based Network Applications. In: 2015 IEEE Symposium Series on Computational Intelligence. Cape Town: Institute of Electrical and Electronics Engineers, 2015, pp. 1214-1219. ISBN 978-1-4799-7560-0.
 DOLÍHAL Luděk and HRUŠKA Tomáš. Overview of the testing environment for the embedded systems. In: Proceedings of The third International Conference on Green Computing, Technology and Innovation. Kuala Lumpur: The Society of Digital Information and Wireless Communications, 2015, pp. 55-59. ISBN 978-1-941968-15-4.
 DRAHANSKÝ Martin and KANICH Ondřej. Vulnerabilities of Biometric Systems. In: Security and Protection of Information 2015. Brno: Brno University of Defence, 2015, pp. 53-60. ISBN 978-80-7231-997-8.
 DRAHOŠOVÁ Michaela, HULVA Jiří and SEKANINA Lukáš. Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs. In: Genetic Programming. Berlin: Springer International Publishing, 2015, pp. 113-125. ISBN 978-3-319-16500-4.
 FÉR Radek, MATĚJKA Pavel, GRÉZL František, PLCHOT Oldřich and ČERNOCKÝ Jan. Multilingual Bottleneck Features for Language Recognition. In: Proceedings of Interspeech 2015. Dresden: International Speech Communication Association, 2015, pp. 389-393. ISBN 978-1-5108-1790-6. ISSN 1990-9772.
 FIALA Jiří and KOČÍ Radek. Computer as Therapy in role of alternative and augmentative communication. In: Proceedings of 4th International Conference on Advanced in Computing and Emerging E-Learning Technology. Singapore, 2015, pp. 34-42.
 FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 177-178. ISBN 978-84-606-5438-4.
 FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of EUROCAST'15. Heidelberg: Springer Verlag, 2015, pp. 555-564. ISBN 978-3-319-27339-6.
 FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. On Monitoring C/C++ Transactional Memory Programs. In: Proceedings of MEMICS'14. Heidelberg: Springer Verlag, 2015, pp. 73-87. ISBN 978-3-319-14895-3.
 FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Nested Antichains for WS1S. In: Proceedings of TACAS'15. Heidelberg: Springer Verlag, 2015, pp. 658-674. ISBN 978-3-662-46680-3.
 GLEMBEK Ondřej, MATĚJKA Pavel, PLCHOT Oldřich, PEŠÁN Jan, BURGET Lukáš and SCHWARZ Petr. Migrating i-vectors Between Speaker Recognition Systems Using Regression Neural Networks. In: Proceedings of Interspeech 2015. Dresden: International Speech Communication Association, 2015, pp. 2327-2331. ISBN 978-1-5108-1790-6. ISSN 1990-9772.
 GROCHOL David, SEKANINA Lukáš, ŽÁDNÍK Martin and KOŘENEK Jan. A Fast FPGA-Based Classification of Application Protocols Optimized Using Cartesian GP. In: Applications of Evolutionary Computation, 18th European Conference. Berlin: Springer International Publishing, 2015, pp. 67-78. ISBN 978-3-319-16548-6.
 HÁJEK Josef, DRAHANSKÝ Martin, KOLÁŘ Radim, ODSTRČILÍK Jan and BOROVSKÝ Ján. Bimodal eye imaging system. In: Signal-Image Technology and Internet-Based Systems. Bangkok: Institute of Electrical and Electronics Engineers, 2015, pp. 572-575. ISBN 978-1-4673-9721-6.
 HEŘMANSKÝ Hynek, BURGET Lukáš, COHEN Jordan, DUPOUX Emmanuel, FELDMAN Naomi, GODFREY John, KHUDANPUR Sanjeev, MACIEJEWSKI Matthew, MALLIDI Sri Harish, MENON Anjali, OGAWA Tetsuji, PEDDINTI Vijayaditya, ROSE Richard, STERN Richard, WIESNER Matthew and VESELÝ Karel. Towards Machines That Know When They Do Not Know: Summary of Work Done at 2014 FREDERICK JELINEK MEMORIAL WORKSHOP. In: Proceedings of 2015 IEEE International Conference on Acoustics, Speech and Signal Processing. South Brisbane, Queensland: IEEE Signal Processing Society, 2015, pp. 5009-5013. ISBN 978-1-4673-6997-8.
 HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Forester: Shape Analysis Using Tree Automata (Competition Contribution). In: Proceedings of TACAS'15. Heidelberg: Springer Verlag, 2015, pp. 431-434. ISBN 978-3-662-46680-3.
 HOLÍK Lukáš, ISBERNER Malte and JONSSON Bengt. Mediator Synthesis in a Component Algebra with Data. In: Correct System Design. Berlin: Springer Verlag, 2015, pp. 238-259. ISBN 978-3-319-23505-9.
 HRADIŠ Michal, KOTERA Jan, ZEMČÍK Pavel and ŠROUBEK Filip. Convolutional Neural Networks for Direct Text Deblurring. In: Proceedings of BMVC 2015. Swansea: The British Machine Vision Association and Society for Pattern Recognition, 2015, pp. 1-13. ISBN 1-901725-53-7.
 HRBÁČEK Radek. Parallel Multi-Objective Evolutionary Design of Approximate Circuits. In: GECCO '15 Proceedings of the 2015 conference on Genetic and evolutionary computation. New York: Association for Computing Machinery, 2015, pp. 687-694. ISBN 978-1-4503-3472-3.
 HSIAO Roger, MA Jeff, HARTMANN William, KARAFIÁT Martin, GRÉZL František, BURGET Lukáš, SZŐKE Igor, ČERNOCKÝ Jan, WATANABE Shinji, CHEN Zhuo, MALLIDI Sri Harish, HEŘMANSKÝ Hynek, TSAKALIDIS Stavros and SCHWARTZ Richard. Robust Speech Recognition in Unknown Reverberant and Noisy Conditions. In: Proceedings of 2015 IEEE Automatic Speech Recognition and Understanding Workshop. Scottsdale, Arizona: IEEE Signal Processing Society, 2015, pp. 533-538. ISBN 978-1-4799-7291-3.
 HYNEK Jiří and HRUŠKA Tomáš. Automatic Evaluation of Information Dashboard Usability. In: International Journal of Advances in Computer Science And Its Applications. Rome: Institute of Research Engineers and Doctors, 2015, pp. 383-387. ISBN 978-1-63248-044-6. ISSN 2250-3765.
 HYPSKÝ Roman, ZÁMEČNÍKOVÁ Eva and KRESLÍKOVÁ Jitka. FORMAL DEFINITION OF BUSINESS RULES BY GRAMMAR SYSTEMS. In: International Journal of Advancements in Communication Technologies (IJACT). Rome, 2015, pp. 1-5. ISBN 978-1-63248-044-6. ISSN 0976-5697.
 HYRŠ Martin and SCHWARZ Josef. Elliptical and Archimedean Copulas in Estimation of Distribution Algorithm with Model Migration. In: Proceedings of the 7th International Joint Conference on Computational Intelligence (IJCCI 2015). Lisbon: SciTePress - Science and Technology Publications, 2015, pp. 212-219. ISBN 978-989-758-157-1.
 HYRŠ Martin and SCHWARZ Josef. Elliptical and Archimedean Copulas in Estimation of Distribution Algorithm. In: MENDEL 2015 21st International Conference on Soft Computing. Brno: Faculty of Mechanical Engineering BUT, 2015, pp. 19-26. ISBN 978-80-214-4984-8.
 CHALOUPKA Jan, KUNOVSKÝ Jiří, MARTINKOVIČOVÁ Alžbeta, ŠÁTEK Václav and THONHOFER Elvira. Multiple Integral Computations Using Taylor Series. In: 12th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2015, pp. 1-4. ISBN 978-0-7354-1287-3. ISSN 0094-243X.
 CHALOUPKA Jan, KUNOVSKÝ Jiří, ŠÁTEK Václav, VEIGEND Petr and MARTINKOVIČOVÁ Alžbeta. Numerical Integration of Multiple Integrals Using Taylor's Polynomial. In: Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. Colmar: SciTePress - Science and Technology Publications, 2015, pp. 163-171. ISBN 978-989-758-120-5.
 CHARVÁT Lukáš, SMRČKA Aleš and VOJNAR Tomáš. Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory (EUROCAST 2015). Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 193-194. ISBN 978-84-606-5438-4.
 CHMELAŘ Petr, DROZD Michal, ŠEBEK Michal and ZENDULKA Jaroslav. Real-Time Indexing of Complex Data Streams. In: Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering. Cham: Springer International Publishing, 2015, pp. 371-378. ISBN 978-3-319-06772-8.
 CHRÁPEK David, BERAN Vítězslav and ZEMČÍK Pavel. Depth-Based Filtration for Tracking Boost. In: Springer International Publishing. Catania: Springer International Publishing, 2015, pp. 217-228. ISBN 978-3-319-25903-1.
 IAREMKO Iaroslav, ARON Lukáš and HANÁČEK Petr. Improving IP Geolocation Using Network Measurement Characteristics. In: HKICEAS. Hong Kong: Higher Education Forum, 2015, pp. 210-220. ISBN 978-986-87417-4-4.
 ILA Viorela S., POLOK Lukáš, ŠOLONY Marek, ZEMČÍK Pavel and SMRŽ Pavel. Fast Covariance Recovery in Incremental Nonlinear Least Square Solvers. In: Proceedings of IEEE International Conference on robotics and Automation. Seattle: IEEE Computer Society, 2015, pp. 1-8. ISBN 978-1-4799-6922-7.
 JANKŮ Peter, KOPLÍK Karel, DOŠEK Roman, DULÍK Tomáš, BLIŽŇÁK Michal and VAŘACHA Pavel. Context sensitive fire protection system. In: DAAAM International Vienna. Vienna: DAAAM International, 2015, pp. 1025-1031. ISBN 978-3-902734-06-8. ISSN 1726-9679.
 JAROŠ Jiří, MAREK Jan and MENŠÍK Pavel. Optimisation of Water Management Systems Using a GPU-Accelerated Differential Evolution. In: Proceedings of 2015 IEEE Symposium Series on Computational Intelligence. Cape Town: IEEE Computer Society, 2015, pp. 1727-1734. ISBN 978-1-4799-7560-0.
 JAROŠ Jiří, NIKL Vojtěch and TREEBY Bradley E. Large-scale Ultrasound Simulations Using the Hybrid OpenMP/MPI Decomposition. In: Proceedings of the 3rd International Conference on Exascale Applications and Software. Edinburgh: Association for Computing Machinery, 2015, pp. 115-119. ISBN 978-0-9926615-1-9.
 JAROŠOVÁ Marta, KUČERA Radek and ŠÁTEK Václav. A New Variant of the Path-Following Algorithm for the Parallel Solving of the Stokes Problem with Friction. In: CCP: 107 PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, GRID AND CLOUD COMPUTING FOR ENGINEERING. Stirlingshire, 2015, pp. 1-12. ISBN 978-1-905088-62-1. ISSN 1759-3433.
 JURÁNEK Roman, HEROUT Adam, DUBSKÁ Markéta and ZEMČÍK Pavel. Real-Time Pose Estimation Piggybacked on Object Detection. In: Proceedings of ICCV. Santiago: IEEE Computer Society, 2015, pp. 1-9. ISBN 978-1-4673-8391-2.
 KARAFIÁT Martin, GRÉZL František, BURGET Lukáš, SZŐKE Igor and ČERNOCKÝ Jan. Three ways to adapt a CTS recognizer to unseen reverberated speech in BUT system for the ASpIRE challenge. In: Proceedings of Interspeech 2015. Dresden: International Speech Communication Association, 2015, pp. 2454-2458. ISBN 978-1-5108-1790-6. ISSN 1990-9772.
 KAZZAZ M. Mohanned and RYCHLÝ Marek. Web Service Migration using the Analytic Hierarchy Process. In: 2015 IEEE International Conference on Mobile Services. New York: IEEE Computer Society, 2015, pp. 423-430. ISBN 978-1-4673-7284-8.
 KEKELYOVÁ Michaela, ZACHARIÁŠOVÁ Marcela, KOTÁSEK Zdeněk and HRUŠKA Tomáš. Application of Evolutionary Algorithms for Optimization of Regression Suites. In: IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Belgrade: IEEE Computer Society, 2015, pp. 91-94. ISBN 978-1-4799-6779-7.
 KEŠNER Filip, CIMBÁLNÍK Jan, DOLEŽALOVÁ Irena, BRÁZDIL Milan and SEKANINA Lukáš. Fast Automated Interictal Spike Detection in iEEG/ECoG Recordings. In: Proceedings of NEUROTECHNIX: International Congress on Neurotechnology, Electronics and Informatics. Lisabon, 2015, pp. 1-4.
 KOCINA Filip, KUNOVSKÝ Jiří, MAREK Martin, NEČASOVÁ Gabriela, SCHIRRER Alexander and ŠÁTEK Václav. New Trends in Taylor Series Based Computations. In: 12th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2015, pp. 1-4. ISBN 978-0-7354-1287-3. ISSN 0094-243X.
 KOCINA Filip, ŠÁTEK Václav, VEIGEND Petr, NEČASOVÁ Gabriela, VALENTA Václav and KUNOVSKÝ Jiří. New Trends in Taylor Series Based Applications. In: 13rd International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2015, pp. 1-4. ISBN 978-0-7354-1287-3. ISSN 0094-243X.
 KOCINA Filip, VEIGEND Petr, NEČASOVÁ Gabriela and KUNOVSKÝ Jiří. Parallel Computations of Differential Equations. In: Proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: Ing. Vladislav Pokorný - Litera, 2015, pp. 28-35. ISBN 978-80-214-5254-1.
 KOČÍ Radek and JANOUŠEK Vladimír. The Object Oriented Petri Net Component Model. In: The Tenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2015, pp. 18-24. ISBN 978-1-61208-438-1.
 KOLÁŘ Radim, SEMERÁD Lukáš, DRAHANSKÝ Martin, ODSTRČILÍK Jan, HÁJEK Josef and BOROVSKÝ Ján. Bimodal Eye Imaging System for Biometric and Medical Applications. In: Security and Protection of Information 2015. Brno: Brno University of Defence, 2015, pp. 83-95. ISBN 978-80-7231-997-8.
 KOŠAŘ Vlastimil and KOŘENEK Jan. Towards Efficient Field Programmeable Pattern Matching Array. In: Proceedings of the 18th Euromicro Conference on Digital Systems Design. Funchal: IEEE Computer Society, 2015, pp. 1-8. ISBN 978-1-4673-8035-5.
 KRČMA Martin. FPNN - neuronové sítě v FPGA. In: Počítačové architektury a diagnostika PAD 2015. Zlín: Tomas Bata University in Zlín, 2015, pp. 81-86. ISBN 978-80-7454-522-1.
 KRČMA Martin, KAŠTIL Jan and KOTÁSEK Zdeněk. Mapping trained neural networks to FPNNs. In: IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Belgrade: IEEE Computer Society, 2015, pp. 157-160. ISBN 978-1-4799-6779-7.
 KRČMA Martin, KOTÁSEK Zdeněk and KAŠTIL Jan. Fault Tolerant Field Programmable Neural Networks. In: 1st IEEE Nordic Circuits and Systems (NORCAS) Conference. Oslo: IEEE Computer Society, 2015, pp. 1-4. ISBN 978-1-4673-6575-8.
 KUČERA Jiří, MEDUNA Alexander and SOUKUP Ondřej. Absolutely Unlimited Deep Pushdown Automata. In: Proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2015). Telč: Ing. Vladislav Pokorný - Litera, 2015, pp. 36-44. ISBN 978-80-214-5254-1.
 KUNOVSKÝ Jiří. Modern Taylor Series Method. In: Proceedings of the 2015 IEEE 13th International Scientific Conference on Informatics, INFORMATICS 2015. Poprad: Institute of Electrical and Electronics Engineers, 2015, pp. 1-8. ISBN 978-1-4673-9867-1.
 KUNOVSKÝ Jiří, ŠÁTEK Václav, NEČASOVÁ Gabriela, VEIGEND Petr and KOCINA Filip. The Positive Properties of Taylor Series Method. In: Proceedings of the 13th International Conference Informatics' 2015. Poprad: Institute of Electrical and Electronics Engineers, 2015, pp. 156-160. ISBN 978-1-4673-9867-1.
 KUNOVSKÝ Jiří, ŠÁTEK Václav, VALDMAN Jan and VALENTA Václav. Construction of P1 Gradient from P0 Gradient by Averaging. In: 12th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2015, pp. 1-4. ISBN 978-0-7354-1287-3. ISSN 0094-243X.
 LOUKOTA Petr and BARTÍK Vladimír. Klasifikace webových stránek na základě vizuální podoby a odkazů mezi dokumenty. In: 10th Workshop on Intelligent and Knowledge oriented Technologies. Košice: Vydavateľstvo STU, 2015, pp. 1-4. ISBN 978-80-553-2271-1.
 MALLIDI Sri Harish, OGAWA Tetsuji, VESELÝ Karel, NIDADAVOLU Phani S. and HEŘMANSKÝ Hynek. Autoencoder based multi-stream combination for noise robust speech recognition. In: Proceeding of Interspeech 2015. Dresden: International Speech Communication Association, 2015, pp. 3551-3555. ISBN 978-1-5108-1790-6. ISSN 1990-9772.
 MILET Tomáš, NAVRÁTIL Jan and ZEMČÍK Pavel. An Improved Non-Orthogonal Texture Warping for Better Shadow Rendering. In: WSCG 2015 - Full Papers Proceedings. Plzeň: Union Agency, 2015, pp. 99-107. ISBN 978-80-86943-65-7.
 MILET Tomáš, TÓTH Michal, PEČIVA Jan, STARKA Tomáš, KOBRTEK Jozef and ZEMČÍK Pavel. Fast robust and precise shadow algorithm for WebGL 1.0 platform. In: ICAT-EGVE 2015 - International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments. Kyoto: Eurographics Association, 2015, pp. 85-92. ISBN 978-3-905674-84-2.
 MILIČKA Martin and BURGET Radek. Information Extraction from Web Sources based on Multi-aspect Content Analysis. In: Semantic Web Evaluation Challenges, SemWebEval 2015 at ESWC 2015. Portorož: Springer International Publishing, 2015, pp. 81-92. ISBN 978-3-319-25517-0. ISSN 1865-0929.
 MOTLÍČEK Petr, DEY Subhadeep, MADIKERI Srikanth and BURGET Lukáš. Employment of Subspace Gaussian Mixture Models in Speaker Recognition. In: Proceedings of 2015 IEEE International Conference on Acoustics, Speech and Signal Processing. South Brisbane, Queensland: IEEE Signal Processing Society, 2015, pp. 4445-4449. ISBN 978-1-4673-6997-8.
 MRÁČEK Štěpán, DVOŘÁK Radim, VÁŇA Jan, NOVOTNÝ Tomáš and DRAHANSKÝ Martin. 3D Face Recognition Utilizing a Low-Cost Depth Sensor. In: 11th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2015). Ljubljana, 2015, pp. 1-1.
 MRÁZEK Vojtěch and VAŠÍČEK Zdeněk. Automatic Design of Low-Power VLSI Circuits: Accurate and Approximate Multipliers. In: Proceedings of 13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing. Porto: Institute of Electrical and Electronics Engineers, 2015, pp. 106-113. ISBN 978-1-4673-8299-1.
 MRÁZEK Vojtěch and VAŠÍČEK Zdeněk. Evolutionary Design of Transistor Level Digital Circuits using Discrete Simulation. In: Genetic Programming, 18th European Conference, EuroGP 2015. Berlin: Springer International Publishing, 2015, pp. 66-77. ISBN 978-3-319-16500-4.
 MRÁZEK Vojtěch. Evoluční návrh nízkopříkonových obvodů. In: Počítačové architektury a diagnostika PAD 2015. Zlín: Faculty of Applied Informatics, Tomas Bata University in Zlín, 2015, pp. 1-6. ISBN 978-80-7454-522-1.
 MRÁZEK Vojtěch, VAŠÍČEK Zdeněk and SEKANINA Lukáš. Evolutionary Approximation of Software for Embedded Systems: Median Function. In: GECCO Companion '15 Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference. New York: Association for Computing Machinery, 2015, pp. 795-801. ISBN 978-1-4503-3488-4.
 MÜLLER Petr, PERINGER Petr and VOJNAR Tomáš. Predator Hunting Party (Competition Contribution). In: Proceedings of TACAS'15. Heidelberg: Springer Verlag, 2015, pp. 443-446. ISBN 978-3-662-46680-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é: Akademické sdružení MAGNANIMITAS Assn., 2015, pp. 2138-2146. ISBN 978-80-87952-12-2.
 NAJMAN Pavel, ZAHRÁDKA Jiří and ZEMČÍK Pavel. Projector-Leap Motion calibration for gestural interfaces. In: International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG). Plzeň: Union Agency, 2015, pp. 165-172. ISBN 978-80-86943-65-7.
 NEČASOVÁ Gabriela, KUNOVSKÝ Jiří, ŠÁTEK Václav, CHALOUPKA Jan and VEIGEND Petr. Multiple Integral Computations Using Taylor Series. In: MATHMOD VIENNA 2015 - 8th Vienna Conference on Mathematical Modelling. Vienna: ARGE Simulation News, 2015, pp. 705-706. ISBN 978-3-901608-46-9.
 NIKL Vojtěch. High Performance Computing on Low Power Devices. In: Počítačové architektury a diagnostika 2015. Zlín: Faculty of Applied Informatics, Tomas Bata University in Zlín, 2015, pp. 37-41. ISBN 978-80-7454-522-1.
 NOVOSAD Petr and ČEŠKA Milan. Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 183-184. ISBN 978-84-606-5438-4.
 OČENÁŠEK Pavel and TRCHALÍK Roman. System for Remote Monitoring of Engineering Services. In: International Conference on Advances in Manufacturing and Materials Engineering (ICAMME 2014). Chennai: Elsevier Science, 2015, pp. 1-3. ISBN 978-1-63439-365-2.
 OČENÁŠEK Pavel. Effective Synchronization of Data in Distributed Systems. In: Information, Computer and Application Engineering. Leiden: CRC Press LLC, 2015, pp. 177-180. ISBN 978-1-138-02717-6.
 OČENÁŠEK Pavel. Information and Communication Management in Business Information Systems. In: 2015 International Conference on Simulation, Modelling and Mathematical Statistics (SMMS 2015). Lancaster: DEStech Publications, Inc., 2015, pp. 384-388. ISBN 978-1-60595-112-6.
 ONDEL Lucas, ANGUERA Xavier and LUQUE Jordi. MASK+:Data-Driven Regions Selection for Acoustic Fingerprinting. In: Proceedings of 2015 IEEE International Conference on Acoustics, Speech and Signal Processing. South Brisbane, Queensland: IEEE Signal Processing Society, 2015, pp. 335-339. ISBN 978-1-4673-6997-8.
 PAVELKOVÁ Alena, HEROUT Adam and BEHÚŇ Kamil. Usability of Pilot's Gaze in Aeronautic Cockpit for Safer Aircraft. In: Proceedings of ITSC 2015. Las Palmas: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 1-6. ISBN 978-1-4673-6595-6.
 PEŠÁN Jan, BURGET Lukáš, HEŘMANSKÝ Hynek and VESELÝ Karel. DNN derived filters for processing of modulation spectrum of speech. In: Proceedings of Interspeech 2015. Dresden: International Speech Communication Association, 2015, pp. 1908-1911. ISBN 978-1-5108-1790-6. ISSN 1990-9772.
 PETRLÍK Jiří and SEKANINA Lukáš. Towards Robust and Accurate Traffic Prediction Using Parallel Multiobjective Genetic Algorithms and Support Vector Regression. In: 2015 IEEE 18th International Conference on Intelligent Transportation Systems. Los Alamitos: IEEE Computer Society, 2015, pp. 2231-2236. ISBN 978-1-4673-6596-3.
 PLUSKAL Jan, MATOUŠEK Petr, RYŠAVÝ Ondřej, KMEŤ Martin, VESELÝ Vladimír, KARPÍŠEK Filip and VYMLÁTIL Martin. Netfox Detective: A tool for advanced network forensics analysis. In: Proceedings of Security and Protection of Information (SPI) 2015. Brno: Brno University of Defence, 2015, pp. 147-163. ISBN 978-80-7231-997-8.
 PODIVÍNSKÝ Jakub. Využití funkční verifikace pro ověřování metodik pro zajištění odolnosti proti poruchám. In: Počítačové architektury a diagnostika PAD 2015. Zlín: Tomas Bata University in Zlín, 2015, pp. 7-12. ISBN 978-80-7454-522-1.
 PODIVÍNSKÝ Jakub, ZACHARIÁŠOVÁ Marcela and KOTÁSEK Zdeněk. Radiation Impact on Mechanical Application Driven by FPGA-based Controller. In: Proceedings of The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Grenoble: COST, European Cooperation in Science and Technology, 2015, pp. 13-16.
 PODIVÍNSKÝ Jakub, ZACHARIÁŠOVÁ Marcela, ČEKAN Ondřej and KOTÁSEK Zdeněk. FPGA Prototyping and Accelerated Verification of ASIPs. In: IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Belgrade: IEEE Computer Society, 2015, pp. 145-148. ISBN 978-1-4799-6779-7.
 POLOK Lukáš, ILA Viorela S. and SMRŽ Pavel. Fast Sparse Matrix Multiplication on GPU. In: Proceedings of the 23rd High Performance Computing Symposium (HPC'15). Alexandria, Virginia: Association for Computing Machinery, 2015, pp. 1-8. ISBN 1-56555-355-1.
 POLOK Lukáš, KLICNAR Lukáš, ZEMČÍK Pavel, BERAN Vítězslav and SMRŽ Pavel. Quality Assurance in Large Collections of Video Sequences. In: Proceedings of 2015 IEEE International Conference on Image Processing. Québec: IEEE Computer Society Press, 2015, pp. 1-8. ISBN 978-1-4799-8338-4.
 PŘIBYL Bronislav, ZEMČÍK Pavel and ČADÍK Martin. Camera Pose Estimation from Lines using Plücker Coordinates. In: Proceedings of the British Machine Vision Conference (BMVC 2015). Swansea: The British Machine Vision Association and Society for Pattern Recognition, 2015, pp. 1-12. ISBN 978-1-901725-53-7.
 RICHTA Tomáš, JANOUŠEK Vladimír and KOČÍ Radek. Dynamic Software Architecture for Distributed Embedded Control Systems. In: ADECS '15. Bruxelles: CEUR-WS.org, 2015, pp. 1-15. ISBN 1-234-56789-X. ISSN 1613-0073.
 ŘEZNÍČEK Michal, BURŠÍK Martin, JANKOVSKÝ Jaroslav, ŠIMEK Václav and RŮŽIČKA Richard. Temperature Stabilized Chip Expander. In: Proceedings on 20th European Microelectronics and Packaging Conference & Exhibition. Friedrichshafen: IMAPS-Deutschland e.V., 2015, pp. 1-6. ISBN 978-0-9568086-1-5.
 SEKANINA Lukáš and VAŠÍČEK Zdeněk. Evolutionary Computing in Approximate Circuit Design and Optimization. In: 1st Workshop on Approximate Computing (WAPCO 2015). Amsterdam, 2015, pp. 1-6.
 SEMERÁD Lukáš and DRAHANSKÝ Martin. Biometric entropy of retina. In: Proceedings of Information and Digital Technologies 2015. Žilina: University of Žilina, 2015, pp. 291-293. ISBN 978-1-4673-7185-8.
 SILNOVA Anna, GLEMBEK Ondřej, KINNUNEN Tomi and MATĚJKA Pavel. Exploring ANN Back-Ends for i-Vector Based Speaker Age Estimation. In: Proceedings of Interspeech 2015. Dresden: International Speech Communication Association, 2015, pp. 3036-3040. ISBN 978-1-5108-1790-6. ISSN 1990-9772.
 SKÁCEL Miroslav and SZŐKE Igor. BUT QUESST 2015 System Description. In: CEUR Workshop Proceedings. Wurzen: CEUR-WS.org, 2015, pp. 1-3. ISSN 1613-0073.
 SLANÝ Karel. Cartesian Genetic Programming in a Changing Environment. In: Proceedings of the 7th International Joint Conference on Computational Intelligence (IJCCI 2015). Lisbon: SciTePress - Science and Technology Publications, 2015, pp. 204-211. ISBN 978-989-758-157-1.
 SMETKA Tomáš, HOMOLIAK Ivan and HANÁČEK Petr. Cryptanalysis of Symmetric Encryption Algorithm Using Symbolic Regression and Genetic Programming. In: Santa's Crypto Get-Together 2015. Praha: TNS, 2015, pp. 43-44. ISBN 978-80-904257-7-4.
 SMRŽ Pavel and DYTRYCH Jaroslav. Advanced Features of Collaborative Semantic Annotators - the 4A System. In: Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference. Palo Alto, California: American Association for Artificial Intelligence, 2015, pp. 233-236. ISBN 978-1-57735-730-8.
 SOCHOR Jakub and HEROUT Adam. Unsupervised Processing of Vehicle Appearance for Automatic Understanding in Traffic Surveillance. In: Digital Image Computing: Techniques and Applications (DICTA), 2015 International Conference on. Adelaide: Australian Pattern Recognition Society, 2015, pp. 1-8. ISBN 978-1-4673-6795-0.
 SPURNÝ Jan, KANICH Ondřej, DRAHANSKÝ Martin, DOLEŽEL Michal and SHINODA Koichi. New materials for spoofing touch-based fingerprint scanners. In: Proceedings of International Conference on Computer Application Technologies 2015. Matsue: IEEE Computer Society, 2015, pp. 207-211. ISBN 978-1-4673-8211-3.
 STRNADEL Josef. Comparison of Generally Applicable Mechanisms for Preventing Embedded Event-Driven Real-Time Systems from Interrupt Overloads. In: Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems. Brno: Brno University of Technology, 2015, pp. 39-44. ISBN 978-1-4673-7967-0.
 SVOBODA Jan, BRONSTEIN Michael and DRAHANSKÝ Martin. Contactless biometric hand geometry recognition using a low-cost 3D camera. In: Proceedings 2015 International Conference on Biometrics. Phuket: IEEE Biometric Council, 2015, pp. 452-457. ISBN 978-1-4799-7824-3.
 SZENTANDRÁSI István, ZACHARIÁŠ Michal, KAJAN Rudolf, TINKA Jan, DUBSKÁ Markéta, SOCHOR Jakub and HEROUT Adam. INCAST: Interactive Camera Streams for Surveillance Cams AR. In: Proceedings of the 2015 14th IEEE International Symposium on Mixed and Augmented Reality. Fukuoka: Institute of Electrical and Electronics Engineers, 2015, pp. 1-5. ISBN 978-1-4799-6184-9.
 SZŐKE Igor, SKÁCEL Miroslav, ČERNOCKÝ Jan and BURGET Lukáš. Coping with Channel Mismatch in Query-By-Example - BUT QUESST 2014. In: Proceedings of 2015 IEEE International Conference on Acoustics, Speech and Signal Processing. South Brisbane, Queensland: IEEE Signal Processing Society, 2015, pp. 5838-5842. ISBN 978-1-4673-6997-8.
 ŠÁTEK Václav, KOCINA Filip, KUNOVSKÝ Jiří and SCHIRRER Alexander. Taylor Series Based Solution of Linear ODE Systems and MATLAB Solvers Comparison. In: MATHMOD VIENNA 2015 - 8th Vienna Conference on Mathematical Modelling. Vienna: ARGE Simulation News, 2015, pp. 693-694. ISBN 978-3-901608-46-9.
 ŠIMEK Václav, RŮŽIČKA Richard and CRHA Adam. Toward Efficient Synthesis Method of Multifunctional Logic Circuits. In: Proceedings of the 27th International Conference on Microelectronics (ICM 2015). Casablanca: IEEE Computer Society, 2015, pp. 21-24. ISBN 978-1-4673-8759-0.
 ŠOLONY Marek, IMRE Evren, ILA Viorela S., POLOK Lukáš, KIM Hansung and ZEMČÍK Pavel. Fast and Accurate Refinement Method for 3D Reconstruction from Stereo Spherical Images. In: Proceedings of the 10th International Conference on Computer Vision Theory and Applications. Berlin: Institute of Electrical and Electronics Engineers, 2015, pp. 1-8. ISBN 978-989-8425-47-8.
 ŠVÉDA Miroslav, RYŠAVÝ Ondřej, VESELÝ Vladimír, GRÉGR Matěj, PODERMAŃSKI Tomáš, HALFAR Patrik and MAREK Marcel. Design of Computer Networks Concerning Network Applications Support. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria: University of Las Palmas, 2015, pp. 23-24. ISBN 978-84-606-5438-4.
 TESAŘ Radek. Obecná polymorfní logika a její složitost. In: Počítačové architektury a diagnostika PAD2015. Zlín: Faculty of Applied Informatics, Tomas Bata University in Zlín, 2015, pp. 42-47. ISBN 978-80-7454-522-1.
 VALENTA Václav, NEČASOVÁ Gabriela, KUNOVSKÝ Jiří, ŠÁTEK Václav and KOCINA Filip. Adaptive Solution of the Wave Equation. In: Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. Colmar: SciTePress - Science and Technology Publications, 2015, pp. 154-162. ISBN 978-989-758-120-5.
 VAŠÍČEK Zdeněk and SEKANINA Lukáš. Circuit Approximation Using Single- and Multi-Objective Cartesian GP. In: Genetic Programming. Berlin: Springer International Publishing, 2015, pp. 217-229. ISBN 978-3-319-16500-4.
 VAŠÍČEK Zdeněk and SEKANINA Lukáš. Evolutionary approximation of complex digital circuits. In: Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference. New York: Association for Computing Machinery, 2015, pp. 1505-1506. ISBN 978-1-4503-3488-4.
 VAŠÍČEK Zdeněk. Cartesian GP in Optimization of Combinational Circuits with Hundreds of Inputs and Thousands of Gates. In: Genetic Programming, 18th European Conference, EuroGP 2015. Berlin: Springer International Publishing, 2015, pp. 139-150. ISBN 978-3-319-16500-4.
 VEIGEND Petr, KUNOVSKÝ Jiří, KOCINA Filip, NEČASOVÁ Gabriela, ŠÁTEK Václav and VALENTA Václav. Electronic Representation of Wave Equation. In: 13rd International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2015, pp. 1-4. ISBN 978-0-7354-1392-4. ISSN 0094-243X.
 VESELÝ Vladimír and RYŠAVÝ Ondřej. Locator/Id Split Protocol Improvement for High-Availability Environment. In: Proceedings of The Eleventh International Conference on Networking and Services ICNS 2015. Roma: The International Academy, Research and Industry Association, 2015, pp. 61-67. ISBN 978-1-61208-404-6.
 VESELÝ Vladimír, MAREK Marcel, HYKEL Tomáš and RYŠAVÝ Ondřej. Skip This Paper - RINASim: Your Recursive InterNetwork Architecture Simulator. In: Proceedings of 2nd OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2015, pp. 1-4. ISSN 2331-8422.
 YANUSHKEVICH Svetlana, EASTWOOD Shawn C., MANDERSON Travis L., SAMOIL Steven, DRAHANSKÝ Martin and SHMERKO Vlad. P. Taxonomy and Modeling of Impersonation in e-Border Authentication. In: Proceedings of EST 2015. Braunschweig: Technische Universität Braunschweig, 2015, pp. 1-6. ISBN 978-1-61208-427-5.
 ZACHARIÁŠOVÁ Marcela and KOTÁSEK Zdeněk. Automation and Optimization of Coverage-driven Verification. In: Proceedings of the 18th Euromicro Conference on Digital Systems Design. Funchal: IEEE Computer Society, 2015, pp. 87-94. ISBN 978-1-4673-8035-5.
 ZÁMEČNÍKOVÁ Eva and KRESLÍKOVÁ Jitka. Comparison of Platforms For High Frequency Data Processing. In: 2015 IEEE 13th International Scientific Conference on Informatics. Poprad, SK: The University of Technology Košice, 2015, pp. 296-301. ISBN 978-1-4673-9867-1.
 ZÁMEČNÍKOVÁ Eva and KRESLÍKOVÁ Jitka. Formalization of Business Rules in Decision Making Process. In: Work in Progress Session SEAA 2015 41st Euromicro Conference on Software Engineering and Advanced Application. Funchal, Madeira: Johannes Kepler University Linz, 2015, pp. 13-14. ISBN 978-3-902457-44-8.
 ŽÁK Marek and ROZMAN Jaroslav. Design, Construction and Control of Hexapod Walking Robot. In: Infromatics 2015 Proceedings. Poprad: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2015, pp. 302-307. ISBN 978-1-4673-9867-1.

Your IPv4 address: 54.198.2.110
Switch to IPv6 connection

DNSSEC [dnssec]