Project Details
The IT4Innovations Centre of Excellence
Project Period: 1. 1. 2011 – 31. 12. 2015
Project Type: grant
Code: ED1.1.00/02.0070
Agency: Ministerstvo školství, mládeže a tělovýchovy ČR
Program: Operační program Výzkum a vývoj pro inovace
information technology, security, safety
Information technologies play a key role in industry in the Moravian-Silesian Region and in the development of the Czech Republic as a whole. The requirements of the application sphere and foreign investors are connected with the rapid growth of IT technologies, yet science and research have not responded adequately to this newly emerging situation.
Vondrák Ivo, prof. Ing., CSc. (CM-SFE) – research leader
Bartík Vladimír, Ing., Ph.D. (DIFS)
Bařina David, Ing., Ph.D. (DCGM)
Beran Vítězslav, doc. Ing., Ph.D. (DCGM)
Bidlo Michal, doc. Ing., Ph.D. (DCSY)
Bouša Zdeněk, Ing.
Burget Lukáš, doc. Ing., Ph.D. (DCGM)
Burget Radek, doc. Ing., Ph.D. (DIFS)
Burianová Michaela, Mgr.
Černocký Jan, prof. Dr. Ing. (DCGM)
Češka Milan, prof. RNDr., CSc.
Dolíhal Luděk, Ing., Ph.D.
Drahanský Martin, prof. Ing., Ph.D.
Drahošová Michaela, Ing., Ph.D. (DCSY)
Dytrych Jaroslav, Ing., Ph.D. (DCGM)
Fučík Otto, doc. Dr. Ing. (DCSY)
Hájek Josef, Ing., Ph.D.
Hanáček Petr, doc. Dr. Ing. (DITS)
Hannemann Mirko, Ph.D.
Havel Jiří, Ing., Ph.D. (CM-SFE)
Herout Adam, prof. Ing., Ph.D. (DCGM)
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Hradiš Michal, Ing., Ph.D. (DCGM)
Hrubý Martin, Ing., Ph.D. (DITS)
Chalupníček Kamil, Ing. (RG SPEECH)
Chmelař Petr, Ing.
Chudý Peter, doc. Ing., Ph.D., MBA (VZ AeroWorks)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Juránek Roman, Ing., Ph.D. (DCGM)
Kajan Rudolf, Ing., Ph.D.
Kaštil Jan, Ing., Ph.D.
Kočí Radek, Ing., Ph.D. (DITS)
Kolář Dušan, doc. Dr. Ing. (DIFS)
Kolář Martin, M.Sc., Ph.D. et Ph.D.
Kotásek Zdeněk, doc. Ing., CSc.
Kouřil Jan, Ing.
Křivka Zbyněk, Ing., Ph.D. (DIFS)
Kubíček Radek, Ing.
Kula Michal, Ing., Ph.D. (DCGM)
Kunovský Jiří, doc. Ing., CSc.
Martínek Tomáš, doc. Ing., Ph.D. (DCSY)
Masařík Karel, Ing., Ph.D. (CM-SDE)
Materna Zdeněk, Ing., Ph.D. (DCGM)
Matoušek Jiří, Ing., Ph.D. (DCSY)
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)
Meduna Alexandr, prof. RNDr., CSc. (DIFS)
Ondráček Tomáš, Ing., Ph.D. (DITS)
Orság Filip, Ing., Ph.D. (DITS)
Otrusina Lubomír, Ing. (DCGM)
Páldy Alexander, Ing.
Pavelková Alena, Ing.
Peringer Petr, Dr. Ing. (DITS)
Petrlík Jiří, Ing., Ph.D. (RG EHW)
Plchot Oldřich, Ing., Ph.D. (DCGM)
Polok Lukáš, Ing., Ph.D.
Ráb Jaroslav, Ing.
Richta Tomáš, Ing., Ph.D.
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)
Rozman Jaroslav, Ing., Ph.D. (DITS)
Růžička Richard, doc. Ing., Ph.D., MBA (DCSY)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)
Řezníček Ivo, Ing., Ph.D.
Samek Jan, Ing., Ph.D. (CM-SFE)
Sekanina Lukáš, prof. Ing., Ph.D. (DCSY)
Smrž Pavel, doc. RNDr., Ph.D. (DCGM)
Sochor Jakub, Ing., Ph.D.
Soukup Ondřej, Ing., Ph.D.
Starka Tomáš, Ing. (DCGM)
Strnadel Josef, Ing., Ph.D. (DCSY)
Szőke Igor, Ing., Ph.D. (DCGM)
Šimek Václav, Ing. (DCSY)
Škoda Petr, RNDr.
Španěl Michal, doc. Ing., Ph.D. (DCGM)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Váňa Jan, Ing.
Vašíček Zdeněk, doc. Ing., Ph.D. (DCSY)
Veľas Martin, Ing., Ph.D.
Veselý Karel, Ing., Ph.D. (DCGM)
Veselý Vladimír, Ing., Ph.D. (DIFS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Zachariáš Michal, Ing., Ph.D. (DCGM)
Zachariášová Marcela, Ing., Ph.D. (DCSY)
Záň Drahoslav, Ing.
Zbořil František, doc. Ing., CSc. (DITS)
Zbořil František, doc. Ing., Ph.D. (DITS)
Zemčík Pavel, prof. Dr. Ing., dr. h. c. (DCGM)
Zemek Petr, Ing., Ph.D.
Zendulka Jaroslav, doc. Ing., CSc. (UIFS)
2018
- BAŘINA, D.; ZEMČÍK, P. Vectorization and Parallelization of 2-D Wavelet Lifting. Journal of Real-Time Image Processing, 2018, vol. 15, no. 2,
p. 349-361. ISSN: 1861-8200. Detail
2017
- ILA, V.; POLOK, L.; ŠOLONY, M.; SVOBODA, P. SLAM++-A Highly Efficient and Temporally Scalable Incremental SLAM Framework. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2017, vol. 2017, no. 1,
p. 210-230. ISSN: 1741-3176. Detail - MATERNA, Z.; ŠPANĚL, M.; MAST, M.; BERAN, V.; WEISSHARDT, F.; BURMESTER, M.; SMRŽ, P. Teleoperating Assistive Robots: A Novel User Interface for Remote Manipulation and Navigation Relying on Semi-Autonomy and Global 3D Environment Mapping. Journal of Robotics and Mechatronics, 2017, vol. 29, no. 2,
p. 381-394. ISSN: 0915-3942. Detail - MEDUNA, A.; SOUKUP, O. Modern Language Models and Computation: Theory with Applications. New York: Springer US, 2017. 567 p. ISBN: 978-3-319-63099-1. Detail
- MEDUNA, A.; SOUKUP, O. Jumping Scattered Context Grammars. Fundamenta Informaticae, 2017, vol. 152, no. 1,
p. 51-86. ISSN: 0169-2968. Detail
2016
- ARON, L.; HANÁČEK, P. Mobile Security for Banking on Android Platform. Proceedings of the International Conference on Computing Technology, Information Security and Risk Management. Dubai: The Society of Digital Information and Wireless Communications, 2016.
p. 7-14. ISBN: 978-1-941968-31-4. Detail - ARON, L.; HANÁČEK, P. 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.
p. 22-30. ISBN: 978-0-7354-1352-8. Detail - CRHA, A.; RŮŽIČKA, R.; ŠIMEK, V. Novel Approach to Synthesis of Logic Circuits Based on Multifunctional Components. Journal of Electrical Engineering, 2016, vol. 67, no. 1,
p. 29-35. ISSN: 1339-309X. Detail - EASTWOOD, S.; SHMERKO, V.; YANUSHKEVICH, S.; DRAHANSKÝ, M.; GORODNICHY, D. Biometric-Enabled Authentication Machines: A Survey of Open-Set Real-World Applications. IEEE Transactions on Human-Machine Systems, 2016, vol. 46, no. 2,
p. 231-242. ISSN: 2168-2291. Detail - GRÉZL, F.; KARAFIÁT, M. Bottle-Neck Feature Extraction Structures for Multilingual Training and Porting. In Procedia Computer Science. Procedia Computer Science. Yogyakarta: Elsevier Science, 2016.
p. 144-151. ISSN: 1877-0509. Detail - HENZL, M.; HANÁČEK, P. A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards. Radioengineering, 2016, vol. 2016, no. 1,
p. 132-139. ISSN: 1210-2512. Detail - JURÁNKOVÁ, M.; HEROUT, A.; HAVEL, J. Real-Time Precise Detection of Regular Grids and Matrix Codes. Journal of Real-Time Image Processing, 2016, vol. 11, no. 1,
p. 193-200. ISSN: 1861-8200. Detail - KARAFIÁT, M.; BURGET, L.; GRÉZL, F.; VESELÝ, K.; ČERNOCKÝ, J. 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.
p. 5430-5434. ISBN: 978-1-4799-9988-0. Detail - KARMAZÍN, J.; OČENÁŠEK, P. The state of Near-Field Communication (NFC) on the Android platform. In Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Toronto: Springer Verlag, 2016.
p. 247-254. ISBN: 978-3-319-39380-3. ISSN: 0302-9743. Detail - KOCMAN, R.; MEDUNA, A. On Parallel Versions of Jumping Finite Automata. In Proceedings of the 2015 Federated Conference on Software Development and Object Technologies. Advances in Intelligent Systems and Computing. Cham: Springer International Publishing, 2016.
p. 142-149. ISBN: 978-3-319-46534-0. Detail - KUČERA, J.; MEDUNA, A. On State-Synchronized Automata Systems. Schedae Informaticae, 2016, vol. 2015, no. 24,
p. 221-237. ISSN: 0860-0295. Detail - LUŽA, R.; DRAHANSKÝ, M.; ZBOŘIL, F. 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.
p. 1-6. ISBN: 978-1-4673-8712-5. Detail - LUŽA, R.; ZBOŘIL, F.; DRAHANSKÝ, M. 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.
p. 467-472. ISBN: 978-1-4673-8605-0. Detail - MEDUNA, A.; SOUKUP, O. Simple Matrix Grammars and Their Leftmost Variants. International Journal of Foundations of Computer Science, 2016, vol. 27, no. 3,
p. 359-373. ISSN: 0129-0541. Detail - MUSIL, M. Effectiveness of Approaches for Rail Candidates Detection and Verification of the SVM. ICTIC - Proceedings in Conference of Informatics and Management Sciences. Volume 5 Issue 1. Žilina: University of Žilina, 2016.
p. 152-156. ISBN: 978-80-554-1196-5. Detail - STRNADEL, J. Modeling and Analysis of Fault-Tolerant Systems by Means of UPPAAL SMC: Method and Benefits. Informal Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Bratislava: Slovak University of Technology in Bratislava, 2016.
p. 32-37. ISBN: 978-80-8086-256-5. Detail - ŽÁK, M.; ROZMAN, J. Design, Construction and Control of Hexapod Walking Robot. In 2015 IEEE 13th International Scientific Conference on Informatics, INFORMATICS 2015 - Proceedings. Poprad: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2016.
p. 302-307. ISBN: 978-1-4673-9867-1. Detail - ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. Overview of Bio-Inspired Control Mechanisms for Hexapod Robot. International Journal of Computer Information Systems and Industrial Management Applications, 2016, vol. 2016, no. 8,
p. 125-134. ISSN: 2150-7988. Detail - ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. Overview of Bio-Inspired Control Mechanisms for Hexapod Robot. In International Conference on Intelligent Systems Design and Applications, ISDA. Marrakesh: Machine Intelligence Research Labs, 2016.
p. 160-165. ISBN: 978-1-4673-8709-5. Detail - ZELENÝ, J.; BURGET, R. Accelerating the process of web page segmentation via template clustering. International Journal of Intelligent Information and Database System, 2016, vol. 2016, no. 2,
p. 134-153. ISSN: 1751-5858. Detail
2015
- ARON, L. Security Threats on Mobile Devices. In Handbook of Research on New Threats and Countermeasures in Digital Crime and Cyber Terrorism. St. Louis: IGI Global, 2015.
p. 30-53. ISBN: 978-1-4666-8345-7. Detail - ARON, L.; HANÁČEK, P. Introduction to Android 5 Security. In Proceedings of Student Research Forum Papers and Posters at SOFSEM 2015. The 41st International Conference on Current Trends in Theory and Practice of Computer Science. Pec pod Snezkou: CEUR-WS.org, 2015.
p. 103-111. ISBN: 978-80-87136-20-1. Detail - ARON, L.; HANÁČEK, P. 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.
p. 2-16. ISBN: 978-9938-9563-3-7. Detail - BAŘINA, D.; MUSIL, M.; MUSIL, P.; ZEMČÍK, P. 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.
p. 31-36. ISBN: 978-1-4673-8621-0. Detail - BAŘINA, D.; ZEMČÍK, P. Real-Time 3-D Wavelet Lifting. In International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG). Plzeň: Union Agency, 2015.
p. 15-23. ISBN: 978-80-86943-65-7. Detail - BARTÍK, V.; POSPÍŠIL, M. 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.
p. 273-280. ISBN: 978-989-758-158-8. Detail - BARTOŠ, V. Using Application-Aware Flow Monitoring for SIP Fraud Detection. In Intelligent Mechanisms for Network Configuration and Security. Lecture Notes in Computer Science. Ghent: Springer International Publishing, 2015.
p. 87-99. ISBN: 978-3-319-20033-0. Detail - BIDLO, M. Investigation of Replicating Tiles in Cellular Automata Designed by Evolution Using Conditionally Matching Rules. In 2015 IEEE International Conference on Evolvable Systems (ICES). Proceedings of the 2015 IEEE Symposium Series on Computational Intelligence (SSCI). Cape Town: IEEE Computational Intelligence Society, 2015.
p. 1506-1513. ISBN: 978-1-4799-7560-0. Detail - BIDLO, M. On Routine Evolution of New Replicating Structures in Cellular Automata. In 7th International Conference on Evolutionary Computationa Theory and Applications. 7th International Joint Conference on Computational Intelligence. Lisbon: SciTePress - Science and Technology Publications, 2015.
p. 28-38. ISBN: 978-989-758-157-1. Detail - ČEKAN, O. Principy generování verifikačních stimulů. Počítačové architektury a diagnostika PAD 2015. Zlín: Fakulta aplikované informatiky, Univerzita Tomáše Bati ve Zlíně, 2015.
s. 13-18. ISBN: 978-80-7454-522-1. Detail - ČEKAN, O.; PODIVÍNSKÝ, J.; KOTÁSEK, Z. Software Fault Tolerance: the Evaluation by Functional Verification. In Proceedings of the 18th Euromicro Conference on Digital Systems Design. Funchal: IEEE Computer Society, 2015.
p. 284-287. ISBN: 978-1-4673-8035-5. Detail - ČEKAN, O.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Universal Pseudo-random Generation of Assembler Codes for Processors. Proceedings of The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Grenoble: COST, European Cooperation in Science and Technology, 2015.
p. 70-73. Detail - CHALOUPKA, J.; KUNOVSKÝ, J.; MARTINKOVIČOVÁ, A.; ŠÁTEK, V.; THONHOFER, E. Multiple Integral Computations Using Taylor Series. In 12th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2015.
p. 1-4. ISBN: 978-0-7354-1287-3. ISSN: 0094-243X. Detail - CHALOUPKA, J.; KUNOVSKÝ, J.; ŠÁTEK, V.; VEIGEND, P.; MARTINKOVIČOVÁ, A. 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.
p. 163-171. ISBN: 978-989-758-120-5. Detail - CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. 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.
p. 193-194. ISBN: 978-84-606-5438-4. Detail - CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In Computer Aided Systems Theory - EUROCAST 2015. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Zurich: Springer International Publishing, 2015.
p. 605-614. ISBN: 978-3-319-27340-2. ISSN: 0302-9743. Detail - CHMELAŘ, P.; DROZD, M.; ŠEBEK, M.; ZENDULKA, J. Real-Time Indexing of Complex Data Streams. In Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering. Lecture Notes in Electrical Engineering. Cham: Springer International Publishing, 2015.
p. 371-378. ISBN: 978-3-319-06772-8. Detail - CHRÁPEK, D.; BERAN, V.; ZEMČÍK, P. Depth-Based Filtration for Tracking Boost. In Springer International Publishing. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Catania: Springer International Publishing, 2015.
p. 217-228. ISBN: 978-3-319-25903-1. ISSN: 0302-9743. Detail - CRHA, A.; RŮŽIČKA, R.; ŠIMEK, V. 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.
p. 612-617. ISBN: 978-1-4799-8713-9. Detail - CUMANI, S.; PLCHOT, O.; FÉR, R. Exploiting i-vector posterior covariances for short-duration language recognition. In Proceedings of Interspeech 2015. Proceedings of Interspeech. Dresden: International Speech Communication Association, 2015.
p. 1002-1006. ISBN: 978-1-5108-1790-6. ISSN: 1990-9772. Detail - DALECKÝ, Š.; ZBOŘIL, F. An Approach to ANFIS Performance. In Advances in Intelligent Systems and Computing. Mendel 2015 Recent Advances in Soft Computing. Brno: 2015.
p. 195-206. ISBN: 978-3-319-19823-1. Detail - DOBAI, R.; SEKANINA, L. Low-Level Flexible Architecture with Hybrid Reconfiguration for Evolvable Hardware. ACM Transactions on Reconfigurable Technology and Systems, 2015, vol. 8, no. 3,
p. 1-24. ISSN: 1936-7406. Detail - DOLÍHAL, L.; HRUŠKA, T. Overview of the testing environment for the embedded systems. Proceedings of The third International Conference on Green Computing, Technology and Innovation. Kuala Lumpur: The Society of Digital Information and Wireless Communications, 2015.
p. 55-59. ISBN: 978-1-941968-15-4. Detail - DRAHANSKÝ, M. Biometrics - Liveness Detection, Recognition of Finger Veins, 3D Hand, Eye Iris and Retina, 3D Face and Thermo-Face. Brno: 2015.
p. 1-30. Detail - DRAHANSKÝ, M. Experiments with fingers, finger fakes and finger and hand veins. Gjovik: 2015.
p. 1-32. Detail - DRAHANSKÝ, M. Úskalí biometrických systémů. Praha: 2015.
s. 1-23. Detail - DRAHANSKÝ, M.; HANÁČEK, P.; ZBOŘIL, F.; HENZL, M.; ZBOŘIL, F.; YIM, J.; SHIM, K. Cryptomodules in Wireless Networks using Biometric Authentication: Securing Nodes in Wireless Networks. In Improving Information Security Practices through Computational Intelligence. Washington: IGI Global, 2015.
p. 198-227. ISBN: 978-1-4666-9426-2. Detail - DRAHANSKÝ, M.; KANICH, O. Vulnerabilities of Biometric Systems. Security and Protection of Information 2015. Brno: University of Defence in Brno, 2015.
p. 53-60. ISBN: 978-80-7231-997-8. Detail - DRAHANSKÝ, M.; KOLÁŘ, R.; MŇUK, T. Elektronické zařízení pro snímání obrazu sítnice a duhovky oka. Česká a slovenská oftalmologie, 2015, roč. 71, č. 6,
s. 302-308. ISSN: 1211-9059. Detail - DRAHOŠOVÁ, M.; HULVA, J.; SEKANINA, L. Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs. In Genetic Programming. Lecture Notes in Computer Science. Berlin: Springer International Publishing, 2015.
p. 113-125. ISBN: 978-3-319-16500-4. Detail - FÉR, R.; MATĚJKA, P.; GRÉZL, F.; PLCHOT, O.; ČERNOCKÝ, J. Multilingual Bottleneck Features for Language Recognition. In Proceedings of Interspeech 2015. Proceedings of Interspeech. Dresden: International Speech Communication Association, 2015.
p. 389-393. ISBN: 978-1-5108-1790-6. ISSN: 1990-9772. Detail - FIEDOR, J.; DUDKA, V.; KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. Advances in Noise-based Testing of Concurrent Programs. Software Testing Verification and Reliability, 2015, vol. 25, no. 3,
p. 272-309. ISSN: 1099-1689. Detail - FIEDOR, J.; LETKO, Z.; LOURENCO, J.; VOJNAR, T. On Monitoring C/C++ Transactional Memory Programs. In Proceedings of MEMICS'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015.
p. 73-87. ISBN: 978-3-319-14895-3. Detail - FIEDOR, J.; LETKO, Z.; VOJNAR, T.; LOURENCO, J. Dynamic Validation of Contracts in Concurrent Code. 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.
p. 177-178. ISBN: 978-84-606-5438-4. Detail - FIEDOR, J.; VOJNAR, T.; LETKO, Z.; LOURENCO, J. Dynamic Validation of Contracts in Concurrent Code. In Proceedings of EUROCAST'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015.
p. 555-564. ISBN: 978-3-319-27339-6. Detail - FIEDOR, T.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Nested Antichains for WS1S. In Proceedings of TACAS'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015.
p. 658-674. ISBN: 978-3-662-46680-3. Detail - GLEMBEK, O.; MATĚJKA, P.; BURGET, L.; SCHWARZ, P.; PEŠÁN, J.; PLCHOT, O. Voice-print transformation for migration between automatic speaker identification systems. Abstract book of the 7th European Academy of Forensic Science Conference. Praha: Criminal Police Department Prague, 2015.
p. 345-345. ISBN: 978-80-260-8659-8. Detail - GLEMBEK, O.; MATĚJKA, P.; PLCHOT, O.; PEŠÁN, J.; BURGET, L.; SCHWARZ, P. Migrating i-vectors Between Speaker Recognition Systems Using Regression Neural Networks. In Proceedings of Interspeech 2015. Proceedings of Interspeech. Dresden: International Speech Communication Association, 2015.
p. 2327-2331. ISBN: 978-1-5108-1790-6. ISSN: 1990-9772. Detail - GROCHOL, D.; SEKANINA, L.; ŽÁDNÍK, M.; KOŘENEK, J. A Fast FPGA-Based Classification of Application Protocols Optimized Using Cartesian GP. In Applications of Evolutionary Computation, 18th European Conference. Lecture Notes in Computer Science. Berlin: Springer International Publishing, 2015.
p. 67-78. ISBN: 978-3-319-16548-6. Detail - HOLÍK, L.; LENGÁL, O.; VOJNAR, T.; JONSSON, B.; TRINH, Q.; ABDULLA, P. Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica, 2015, vol. 53, no. 4,
p. 357-385. ISSN: 0001-5903. Detail - HRUŠKA, M.; LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.; HOLÍK, L.; ROGALEWICZ, A. Forester: Shape Analysis Using Tree Automata (Competition Contribution). In Proceedings of TACAS'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015.
p. 432-435. ISBN: 978-3-662-46680-3. Detail - HSIAO, R.; MA, J.; HARTMANN, W.; KARAFIÁT, M.; GRÉZL, F.; BURGET, L.; SZŐKE, I.; ČERNOCKÝ, J.; WATANABE, S.; CHEN, Z.; MALLIDI, S.; HEŘMANSKÝ, H.; TSAKALIDIS, S.; SCHWARTZ, R. 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.
p. 533-538. ISBN: 978-1-4799-7291-3. Detail - IAREMKO, I.; ARON, L.; HANÁČEK, P. Improving IP Geolocation Using Network Measurement Characteristics. HKICEAS. Hong Kong: Higher Education Forum, 2015.
p. 210-220. ISBN: 978-986-87417-4-4. Detail - JAROŠ, J.; DOHNAL, M.; TREEBY, B. Large-scale Ultrasound Simulations with Local Fourier Basis Decomposition. The International Conference for High Performance Computing, Networking, Storage Analysis, SC15. Austin: 2015.
p. 0-0. Detail - JAROŠ, J.; MAREK, J.; MENŠÍK, P. Optimisation of Water Management Systems Using a GPU-Accelerated Differential Evolution. In Proceedings - 2015 IEEE Symposium Series on Computational Intelligence, SSCI 2015. Cape Town: IEEE Computer Society, 2015.
p. 1727-1734. ISBN: 978-1-4799-7560-0. Detail - JAROŠ, J.; NIKL, V.; TREEBY, B. Large-scale Ultrasound Simulations Using the Hybrid OpenMP/MPI Decomposition. Proceedings of the 3rd International Conference on Exascale Applications and Software. Edinburgh: Association for Computing Machinery, 2015.
p. 115-119. ISBN: 978-0-9926615-1-9. Detail - JURÁNEK, R.; HEROUT, A.; JURÁNKOVÁ, M.; ZEMČÍK, P. Real-Time Pose Estimation Piggybacked on Object Detection. In Proceedings of ICCV. Santiago: IEEE Computer Society, 2015.
p. 1-9. ISBN: 978-1-4673-8391-2. Detail - KARAFIÁT, M.; GRÉZL, F.; BURGET, L.; SZŐKE, I.; ČERNOCKÝ, J. Three ways to adapt a CTS recognizer to unseen reverberated speech in BUT system for the ASpIRE challenge. In Proceedings of Interspeech 2015. Proceedings of Interspeech. Dresden: International Speech Communication Association, 2015.
p. 2454-2458. ISBN: 978-1-5108-1790-6. ISSN: 1990-9772. Detail - KEKELY, L.; KUČERA, J.; PUŠ, V.; KOŘENEK, J.; VASILAKOS, A. Software Defined Monitoring of Application Protocols. IEEE TRANSACTIONS ON COMPUTERS, 2015, vol. 65, no. 2,
p. 615-626. ISSN: 0018-9340. Detail - KEKELYOVÁ, M.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z.; HRUŠKA, T. 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.
p. 91-94. ISBN: 978-1-4799-6779-7. Detail - KOČÍ, R.; JANOUŠEK, V. The Object Oriented Petri Net Component Model. The Tenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2015.
p. 18-24. ISBN: 978-1-61208-438-1. Detail - KOCINA, F.; ŠÁTEK, V.; VEIGEND, P.; NEČASOVÁ, G.; VALENTA, V.; KUNOVSKÝ, J. New Trends in Taylor Series Based Applications. In 13rd International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2015.
p. 1-4. ISBN: 978-0-7354-1287-3. ISSN: 0094-243X. Detail - KOCINA, F.; VEIGEND, P.; NEČASOVÁ, G.; KUNOVSKÝ, J. Parallel Computations of Differential Equations. Proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: Ing. Vladislav Pokorný - Litera, 2015.
p. 28-35. ISBN: 978-80-214-5254-1. Detail - KOLÁŘ, R.; SEMERÁD, L.; DRAHANSKÝ, M.; ODSTRČILÍK, J.; HÁJEK, J.; BOROVSKÝ, J. Bimodal Eye Imaging System for Biometric and Medical Applications. Security and Protection of Information 2015. Brno: University of Defence in Brno, 2015.
p. 83-95. ISBN: 978-80-7231-997-8. Detail - KOŠAŘ, V.; KOŘENEK, J. Towards Efficient Field Programmeable Pattern Matching Array. In Proceedings of the 18th Euromicro Conference on Digital Systems Design. Funchal: IEEE Computer Society, 2015.
p. 1-8. ISBN: 978-1-4673-8035-5. Detail - KRČMA, M. FPNN - neuronové sítě v FPGA. Počítačové architektury a diagnostika PAD 2015. Zlín: Univerzita Tomáše Bati ve Zlíně, 2015.
s. 81-86. ISBN: 978-80-7454-522-1. Detail - KRČMA, M.; KAŠTIL, J.; KOTÁSEK, Z. 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.
p. 157-160. ISBN: 978-1-4799-6779-7. Detail - KRČMA, M.; KOTÁSEK, Z.; KAŠTIL, J. Fault Tolerant Field Programmable Neural Networks. In 1st IEEE Nordic Circuits and Systems (NORCAS) Conference. Oslo: IEEE Computer Society, 2015.
p. 1-4. ISBN: 978-1-4673-6575-8. Detail - KŘIVKA, Z.; MEDUNA, A. Jumping Grammars. International Journal of Foundations of Computer Science, 2015, vol. 26, no. 6,
p. 709-731. ISSN: 0129-0541. Detail - KUNOVSKÝ, J. 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.
p. 1-8. ISBN: 978-1-4673-9867-1. Detail - KUNOVSKÝ, J.; ŠÁTEK, V.; KOCINA, F.; NEČASOVÁ, G.; MAREK, M.; SCHIRRER, A. New Trends in Taylor Series Based Computations. In 12th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2015.
p. 1-4. ISBN: 978-0-7354-1287-3. ISSN: 0094-243X. Detail - KUNOVSKÝ, J.; ŠÁTEK, V.; NEČASOVÁ, G.; VEIGEND, P.; KOCINA, F. The Positive Properties of Taylor Series Method. In Proceedings of the 13th International Conference Informatics' 2015. Poprad: Institute of Electrical and Electronics Engineers, 2015.
p. 156-160. ISBN: 978-1-4673-9867-1. Detail - KUNOVSKÝ, J.; ŠÁTEK, V.; VALDMAN, J.; VALENTA, V. Construction of P1 Gradient from P0 Gradient by Averaging. In 12th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2015.
p. 1-4. ISBN: 978-0-7354-1287-3. ISSN: 0094-243X. Detail - LUŽA, R.; ROZMAN, J.; ZBOŘIL, F. ROS-based Remote Controlled Robotic Arm Workcell. In International Conference on Intelligent Systems Design and Applications, ISDA. Okinawa: Institute of Electrical and Electronics Engineers, 2015.
p. 101-106. ISBN: 978-1-4799-7938-7. Detail - MALLIDI, S.; OGAWA, T.; VESELÝ, K.; NIDADAVOLU, P.; HEŘMANSKÝ, H. Autoencoder based multi-stream combination for noise robust speech recognition. In Proceeding of Interspeech 2015. Proceedings of Interspeech. Dresden: International Speech Communication Association, 2015.
p. 3551-3555. ISBN: 978-1-5108-1790-6. ISSN: 1990-9772. Detail - MEDUNA, A.; KUČERA, J.; SOUKUP, O. Absolutely Unlimited Deep Pushdown Automata. Proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2015). Telč: Ing. Vladislav Pokorný - Litera, 2015.
p. 36-44. ISBN: 978-80-214-5254-1. Detail - MEDUNA, A.; SOUKUP, O.; ZEMEK, P. Ordered Pure Multi-Pushdown Automata. Theoretical and Applied Informatics, 2015, vol. 27, no. 1,
p. 25-47. ISSN: 1896-5334. Detail - MILET, T.; TÓTH, M.; PEČIVA, J.; STARKA, T.; KOBRTEK, J.; ZEMČÍK, P. 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.
p. 85-92. ISBN: 978-3-905674-84-2. Detail - MILIČKA, M.; BURGET, R. Information Extraction from Web Sources based on Multi-aspect Content Analysis. In Semantic Web Evaluation Challenges, SemWebEval 2015 at ESWC 2015. Communications in Computer and Information Science. Communications in Computer and Information Science. Portorož: Springer International Publishing, 2015.
p. 81-92. ISBN: 978-3-319-25517-0. ISSN: 1865-0929. Detail - MOTLÍČEK, P.; DEY, S.; MADIKERI, S.; BURGET, L. 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.
p. 4445-4449. ISBN: 978-1-4673-6997-8. Detail - MRÁČEK, Š.; DVOŘÁK, R.; VÁŇA, J.; NOVOTNÝ, T.; DRAHANSKÝ, M. 3D Face Recognition Utilizing a Low-Cost Depth Sensor. 11th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2015). Ljubljana: 2015.
p. 1 (1 s.). ISBN: 978-1-4799-6026-2. Detail - MUSIL, M. Reducing the Run-time Complexity of Support Vector Machine Used for Rail Candidates Detection. International Masaryk conference for Ph.D. students and young researchers. vol. VI. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2015.
p. 2138-2146. ISBN: 978-80-87952-12-2. Detail - NEČASOVÁ, G.; KUNOVSKÝ, J.; ŠÁTEK, V.; CHALOUPKA, J.; VEIGEND, P. Taylor Series Based Differential Formulas. In MATHMOD VIENNA 2015 - 8th Vienna Conference on Mathematical Modelling. ARGESIM REPORT No. 44. Vienna: ARGE Simulation News, 2015.
p. 705-706. ISBN: 978-3-901608-46-9. Detail - NOVOSAD, P.; ČEŠKA, M. Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs. 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.
p. 183-184. ISBN: 978-84-606-5438-4. Detail - NOVOSAD, P.; ČEŠKA, M. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Faculty of Information Technology BUT, 2015.
p. 0-0. Detail - OČENÁŠEK, P. Effective Synchronization of Data in Distributed Systems. In Information, Computer and Application Engineering - Proceedings of the International Conference on Information Technology and Computer Application Engineering, ITCAE 2014. Leiden: CRC Press LLC, 2015.
p. 177-180. ISBN: 978-1-138-02717-6. Detail - OČENÁŠEK, P. 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.
p. 384-388. ISBN: 978-1-60595-112-6. Detail - OČENÁŠEK, P.; TRCHALÍK, R. System for Remote Monitoring of Engineering Services. International Conference on Advances in Manufacturing and Materials Engineering (ICAMME 2014). Chennai: Elsevier Science, 2015.
p. 1-3. ISBN: 978-1-63439-365-2. Detail - PERINGER, P.; MÜLLER, P.; VOJNAR, T. Predator Hunting Party (Competition Contribution). In Proceedings of TACAS'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015.
p. 443-446. ISBN: 978-3-662-46680-3. Detail - PEŠÁN, J.; BURGET, L.; HEŘMANSKÝ, H.; VESELÝ, K. DNN derived filters for processing of modulation spectrum of speech. In Proceedings of Interspeech 2015. Proceedings of Interspeech. Dresden: International Speech Communication Association, 2015.
p. 1908-1911. ISBN: 978-1-5108-1790-6. ISSN: 1990-9772. Detail - PETRLÍK, J.; SEKANINA, L. 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.
p. 2231-2236. ISBN: 978-1-4673-6596-3. Detail - PODIVÍNSKÝ, J.; ČEKAN, O.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-mechanical Applications. Microprocessors and Microsystems, 2015, vol. 39, no. 8,
p. 1215-1230. ISSN: 0141-9331. Detail - PODIVÍNSKÝ, J.; ZACHARIÁŠOVÁ, M.; ČEKAN, O.; KOTÁSEK, Z. 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.
p. 145-148. ISBN: 978-1-4799-6780-3. Detail - PODIVÍNSKÝ, J.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Radiation Impact on Mechanical Application Driven by FPGA-based Controller. Proceedings of The Fourth Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Grenoble: COST, European Cooperation in Science and Technology, 2015.
p. 13-16. Detail - RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Dynamic Software Architecture for Distributed Embedded Control Systems. In PNSE 2015 Petri Nets and Software Engineering. CEUR Workshop Proceedings. CEUR Workshop Proceedings. Bruxelles: CEUR-WS.org, 2015.
p. 133-150. ISSN: 1613-0073. Detail - RYCHLÝ, M.; ŠKODA, P.; SMRŽ, P. Heterogeneity-Aware Scheduler for Stream Processing Frameworks. International Journal of Big Data Intelligence, 2015, vol. 2, no. 2,
p. 70-80. ISSN: 2053-1397. Detail - ŠÁTEK, V.; KOCINA, F.; KUNOVSKÝ, J.; SCHIRRER, A. Taylor Series Based Solution of Linear ODE Systems and MATLAB Solvers Comparison. In MATHMOD VIENNA 2015 - 8th Vienna Conference on Mathematical Modelling. ARGESIM REPORT No. 44. Vienna: ARGE Simulation News, 2015.
p. 693-694. ISBN: 978-3-901608-46-9. Detail - SEKANINA, L. Principles and Applications of Polymorphic Circuits. In Evolvable Hardware - From Practice to Application. Berlin: Springer Verlag, 2015.
p. 209-224. ISBN: 978-3-662-44615-7. Detail - SEKANINA, L.; VAŠÍČEK, Z. Evolutionary Computing in Approximate Circuit Design and Optimization. 1st Workshop on Approximate Computing (WAPCO 2015). Amsterdam: 2015.
p. 1-6. Detail - SEMERÁD, L.; DRAHANSKÝ, M. Biometric entropy of retina. In Proceedings of Information and Digital Technologies 2015. Žilina: University of Žilina, 2015.
p. 291-293. ISBN: 978-1-4673-7185-8. Detail - ŠIMEK, V.; RŮŽIČKA, R.; CRHA, A.; ŘEZNÍČEK, M.; BURŠÍK, M. Reconfigurable Digital Circuits Based on Chip Expander with Integrated Temperature Regulation. Journal of Computer and Communications, 2015, vol. 3, no. 11,
p. 169-175. ISSN: 2327-5227. Detail - SMRŽ, P.; DYTRYCH, J. 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.
p. 233-236. ISBN: 978-1-57735-730-8. Detail - SNÁŠELOVÁ, P.; ZBOŘIL, F. Genetic Algorithm using Theory of Chaos. Procedia Computer Science, 2015, vol. 2015, no. 51,
p. 316-325. ISSN: 1877-0509. Detail - SOCHOR, J.; HEROUT, A. 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.
p. 1-8. ISBN: 978-1-4673-6795-0. Detail - SPURNÝ, J.; KANICH, O.; DRAHANSKÝ, M.; DOLEŽEL, M.; SHINODA, K. New materials for spoofing touch-based fingerprint scanners. In Proceedings of International Conference on Computer Application Technologies 2015. Matsue: IEEE Computer Society, 2015.
p. 207-211. ISBN: 978-1-4673-8211-3. Detail - STRNADEL, J. 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.
p. 39-44. ISBN: 978-1-4673-7967-0. Detail - ŠVÉDA, M.; RYŠAVÝ, O.; VESELÝ, V.; GRÉGR, M.; PODERMAŃSKI, T.; HALFAR, P.; MAREK, M. Design of Computer Networks Concerning Network Applications Support. Computer Aided Systems Theory. Las Palmas de Gran Canaria: University of Las Palmas, 2015.
p. 23-24. ISBN: 978-84-606-5438-4. Detail - SVOBODA, J.; BRONSTEIN, M.; DRAHANSKÝ, M. Contactless biometric hand geometry recognition using a low-cost 3D camera. In Proceedings 2015 International Conference on Biometrics. Phuket: IEEE Biometric Council, 2015.
p. 452-457. ISBN: 978-1-4799-7824-3. Detail - SZENTANDRÁSI, I.; ZACHARIÁŠ, M.; KAJAN, R.; TINKA, J.; JURÁNKOVÁ, M.; SOCHOR, J.; HEROUT, A. 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.
p. 1-5. ISBN: 978-1-4799-6184-9. Detail - SZŐKE, I.; METZE, F.; RODRIGUEZ-FUENTES, L.; PROENCA, J.; BUZO, A.; LOJKA, M.; ANGUERA, X.; XIONG, X. Query by Example Search on Speech at Mediaeval 2015. In CEUR Workshop Proceedings. CEUR Workshop Proceedings. Wurzen: CEUR-WS.org, 2015.
p. 1-3. ISSN: 1613-0073. Detail - VALENTA, V.; NEČASOVÁ, G.; KUNOVSKÝ, J.; ŠÁTEK, V.; KOCINA, F. 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.
p. 154-162. ISBN: 978-989-758-120-5. Detail - VAŠÍČEK, Z.; SEKANINA, L. Evolutionary Approach to Approximate Digital Circuits Design. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2015, vol. 19, no. 3,
p. 432-444. ISSN: 1089-778X. Detail - VAŠÍČEK, Z.; SEKANINA, L. 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.
p. 1505-1506. ISBN: 978-1-4503-3488-4. Detail - VEIGEND, P.; KUNOVSKÝ, J.; KOCINA, F.; NEČASOVÁ, G.; ŠÁTEK, V.; VALENTA, V. Electronic Representation of Wave Equation. In 13rd International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2015.
p. 1-4. ISBN: 978-0-7354-1392-4. ISSN: 0094-243X. Detail - VESELÝ, V.; REK, V.; RYŠAVÝ, O. Enhanced Interior Gateway Routing Protocol with IPv4 and IPv6 Support for OMNeT++. Advances in Intelligent Systems and Computing, 2015, vol. 402, no. 1,
p. 65-82. ISSN: 2194-5357. Detail - VESELÝ, V.; RYŠAVÝ, O. Locator/Id Split Protocol Improvement for High-Availability Environment. Proceedings of The Eleventh International Conference on Networking and Services ICNS 2015. Roma: The International Academy, Research and Industry Association, 2015.
p. 61-67. ISBN: 978-1-61208-404-6. Detail - VESELÝ, V.; RYŠAVÝ, O. Map-Cache Synchronization and Merged RLOC Probing Study for LISP. The International Journal on Advances in Intelligent Systems, 2015, vol. 2015, no. 34,
p. 494-506. ISSN: 1942-2679. Detail - YANUSHKEVICH, S.; EASTWOOD, S.; MANDERSON, T.; SAMOIL, S.; DRAHANSKÝ, M.; SHMERKO, V. Taxonomy and Modeling of Impersonation in e-Border Authentication. In Proceedings of EST 2015. Braunschweig: Technische Universität Braunschweig, 2015.
p. 1-6. ISBN: 978-1-61208-427-5. Detail - ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Automation and Optimization of Coverage-driven Verification. In Proceedings of the 18th Euromicro Conference on Digital Systems Design. Funchal: IEEE Computer Society, 2015.
p. 87-94. ISBN: 978-1-4673-8035-5. Detail
2014
- ANTAL, L.; BARABAS, M.; HANÁČEK, P. Kompromitace dat pomocí SQL Injection, část I. DSM Data Security Management, 2014, roč. 18, č. 1,
s. 36-39. ISSN: 1211-8737. Detail - ANTAL, L.; BARABAS, M.; HANÁČEK, P. Kompromitace dat pomocí SQL Injection, část II. DSM Data Security Management, 2014, roč. 18, č. 2,
s. 32-35. ISSN: 1211-8737. Detail - ANTAL, L.; BARABAS, M.; HANÁČEK, P. Kompromitace dat pomocí SQL Injection, část III. DSM Data Security Management, 2014, roč. 18, č. 3,
s. 25-29. ISSN: 1211-8737. Detail - BAŘINA, D.; ZAHRÁDKA, J.; ZEMČÍK, P. Wavelet Representation of Optical System Distortion. In International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG). Plzeň: Union Agency, 2014.
p. 11-16. ISBN: 978-80-86943-71-8. Detail - BAŘINA, D.; ZEMČÍK, P. Diagonal Vectorisation of 2-D Wavelet Lifting. In International Conference on Image Processing (ICIP). Paris: IEEE Signal Processing Society, 2014.
p. 2978-2982. ISBN: 978-1-4799-5751-4. Detail - BARTOŠ, V.; ŽÁDNÍK, M. An Analysis of Correlations of Intrusion Alerts in an NREN. In 2014 IEEE 19th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD). Athény: IEEE Communications Society, 2014.
p. 305-309. ISBN: 978-1-4799-5725-5. Detail - BIDLO, M. Evolution of Computational Structures in Uniform Cellular Automata. In 2014 IEEE Congress on Evolutionary Computation (CEC). Beijing: IEEE Computational Intelligence Society, 2014.
p. 2732-2739. ISBN: 978-1-4799-1488-3. Detail - ČEKAN, O.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Solving of Constraint Satisfaction Problem. Proceedings of the 20th Conference STUDENT EEICT 2014. Volume 3. Brno: Faculty of Information Technology BUT, 2014.
p. 291-295. ISBN: 978-80-214-4924-4. Detail - CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors. In Proceedings of 15th International Workshop on Microprocessor Test and Verification (MTV 2014). Austin, TX: IEEE Computer Society, 2014.
p. 83-89. ISBN: 978-1-4673-6858-2. Detail - CUMANI, S.; LAFACE, P.; PLCHOT, O. On the use of i-vector posterior distributions in Probabilistic Linear Discriminant Analysis. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, 2014, vol. 22, no. 4,
p. 846-857. ISSN: 2329-9290. Detail - DOLÍHAL, L.; HRUŠKA, T. Semiautomatic Porting of the C Library. Proceedings of the International Conference on Computer Science, Computer Engineering, and Education Technologies. Kuala Lumpur: The Society of Digital Information and Wireless Communications, 2014.
p. 86-89. ISBN: 978-1-941968-02-4. Detail - DRAHANSKÝ, M. Biometrické systémy v praxi. Dolní Morava: 2014.
s. 0-0. Detail - DRAHOŠOVÁ, M.; KOMJÁTHY, G.; SEKANINA, L. Towards Compositional Coevolution in Evolutionary Circuit Design. In 2014 IEEE International Conference on Evolvable Systems Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, 2014.
p. 157-164. ISBN: 978-1-4799-4479-8. Detail - DUDKA, K.; PERINGER, P.; VOJNAR, T. Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution). In Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2014.
p. 412-414. ISBN: 978-3-642-54861-1. Detail - DUDKA, V.; KŘENA, B.; LETKO, Z.; ŠIMKOVÁ, H.; VOJNAR, T. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In SSBSE'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2014.
p. 107-122. ISBN: 978-3-319-09939-2. Detail - ĎURFINA, L.; KOLÁŘ, D. Generic detection and annotations of the statically linked code. Acta Electrotechnica et Informatica, 2014, vol. 2013, no. 4,
p. 51-56. ISSN: 1335-8243. Detail - ĎURFINA, L.; KŘOUSTEK, J.; MATULA, P.; ZEMEK, P. A Novel Approach to Online Retargetable Machine-Code Decompilation. Journal of Network and Innovative Computing (JNIC), 2014, vol. 2, no. 1,
p. 224-232. ISSN: 2160-2174. Detail - EASTWOOD, S.; SHMERKO, V.; YANUSHKEVICH, S.; DRAHANSKÝ, M. Biometric Intelligence in Automated Border Control Applications: From Talking Faces to Talking Robots. In Proceedings of IIAI 3rd International Conference on Advanced Applied Informatics. Kitakyushu: IEEE Computer Society, 2014.
p. 763-768. ISBN: 978-1-4799-4174-2. Detail - ENEA, C.; LENGÁL, O.; SIGHIREANU, M.; VOJNAR, T. Compositional Entailment Checking for a Fragment of Separation Logic. In Proceedings of APLAS'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2014.
p. 314-333. ISBN: 978-3-319-12735-4. Detail - GLEMBEK, O.; MA, J.; MATĚJKA, P.; ZHANG, B.; PLCHOT, O.; BURGET, L.; MATSOUKAS, S. Domain Adaptation Via Within-class Covariance Correction in I-Vector Based Speaker Recognition Systerms. In Proceedings of ICASSP 2014. Florencie: IEEE Signal Processing Society, 2014.
p. 4060-4064. ISBN: 978-1-4799-2892-7. Detail - GREGA, W.; HILBURN, T.; KORNECKI, A.; MAYR, R.; PYLE, I.; ROZENBLIT, J.; RYŠAVÝ, O.; ŠVÉDA, M.; ZHANG, L.; ZHANG, L. Proceedings of the International workshop on Cyber-Physical Systems. In 2013 Federated Conference on Computer Science and Information Systems. Krakow: Elsevier Science, 2014.
p. 1-200. ISBN: 978-1-4673-4471-5. Detail - GRÉGR, M.; PODERMAŃSKI, T.; ŠVÉDA, M. Measuring Quality and Penetration of IPv6 Services. The Tenth International Conference on Networking and Services. 74400 CHAMONIX MONT-BLANC: Institute for Systems and Technologies of Information, Control and Communication, 2014.
p. 96-101. ISBN: 978-1-61208-330-8. Detail - GRÉZL, F.; EGOROVA, E.; KARAFIÁT, M. Further Investigation into Multilingual Training and Adaptation of Stacked Bottle-neck Neural Network Structure. In Proceedings of 2014 Spoken Language Technology Workshop. South Lake Tahoe, Nevada: IEEE Signal Processing Society, 2014.
p. 48-53. ISBN: 978-1-4799-7129-9. Detail - GRÉZL, F.; KARAFIÁT, M. Adapting Multilingual Neural Network Hierarchy to a New Language. Proceedings of the 4th International Workshop on Spoken Language Technologies for Under- resourced Languages SLTU-2014. St. Petersburg, Russia, 2014. St. Petersburg: International Speech Communication Association, 2014.
p. 39-45. ISBN: 978-5-8088-0908-6. Detail - GRÉZL, F.; KARAFIÁT, M. Combination of Multilingual and Semi-Supervised Training for Under-Resourced Languages. In Proceedings of Interspeech 2014. Singapore: International Speech Communication Association, 2014.
p. 820-824. ISBN: 978-1-63439-435-2. Detail - GRÉZL, F.; KARAFIÁT, M.; VESELÝ, K. Adaptation of Multilingual Stacked Bottle-neck Neural Network Structure for New Language. In Proceedings of ICASSP 2014. Florencie: IEEE Signal Processing Society, 2014.
p. 7704-7708. ISBN: 978-1-4799-2892-7. Detail - HÁJEK, J.; DOLEŽEL, M.; DRAHANSKÝ, M. Biometric device for retina and iris recognition in intelligent houses. Beiträge zum Usability Day XII Assistenztechnik für betreutes Wohnen. Dornbirn: University of Applied Sciences Vorarlberg, 2014.
p. 143-147. ISBN: 978-3-89967-943-4. Detail - HÁJEK, J.; DRAHANSKÝ, M.; KOLÁŘ, R. Experimental ophthalmic multimodal imaging system for iris and retina. In Proceedings of IIAI 3rd International Conference on Advanced Applied Informatics. Kitakyushu: IEEE Computer Society, 2014.
p. 676-679. ISBN: 978-1-4799-4174-2. Detail - HALFAR, P.; ŠVÉDA, M. Cyber-Physical Information Systems for Enterprise Engineering -- Cyber-Physical Applications Timing. In ICEIS Proceedings 2014. Lisabon: Institute for Systems and Technologies of Information, Control and Communication, 2014.
p. 1-7. ISBN: 978-989-758-029-1. Detail - HAVEL, J.; JURÁNKOVÁ, M.; HEROUT, A.; JOŠTH, R. Real-Time Detection of Lines using Parallel Coordinates and CUDA. Journal of Real-Time Image Processing, 2014, vol. 2014, no. 9,
p. 205-216. ISSN: 1861-8200. Detail - HENZL, M.; BARABAS, M.; JANČA, R.; HANÁČEK, P. Bezpečnost bezkontaktních platebních karet. DSM Data Security Management, 2014, roč. 28, č. 2,
s. 41-43. ISSN: 1211-8737. Detail - HENZL, M.; HANÁČEK, P.; KAČIC, M. Preventing Real-world Relay Attacks on Contactless Devices. In International Carnahan Conference on Security Technology. 48th Annual International Carnahan Conference on Security Technology. Rome: IEEE Computer Society, 2014.
p. 376-381. ISBN: 978-1-4799-3531-4. Detail - HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; CHEN, Y. Mediating for reduction (on minimizing alternating Buchi automata). Theoretical Computer Science, 2014, vol. 2014, no. 552,
p. 26-43. ISSN: 0304-3975. Detail - HOMOLIAK, I.; OVŠONKA, D.; GRÉGR, M.; HANÁČEK, P. NBA of Obfuscated Network Vulnerabilities' Exploitation Hidden into HTTPS Traffic. In Proceedings of International Conference for Internet Technology and Secured Transactions (ICITST-2014). London: IEEE Computer Society, 2014.
p. 310-317. ISBN: 978-1-908320-40-7. Detail - HOMOLIAK, I.; OVŠONKA, D.; KORANDA, K.; HANÁČEK, P. Characteristics of Buffer Overflow Attacks Tunneled in HTTP Traffic. In International Carnahan Conference on Security Technology. 48th Annual International Carnahan Conference on Security Technology. Řím: IEEE Computer Society, 2014.
p. 188-193. ISBN: 978-1-4799-3531-4. Detail - JURÁNKOVÁ, M.; HEROUT, A.; JURÁNEK, R.; SOCHOR, J. Fully Automatic Roadside Camera Calibration for Traffic Surveillance. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2014, vol. 2014, no. 1,
p. 1-10. ISSN: 1524-9050. Detail - KAČIC, M.; OVŠONKA, D.; BARABAS, M.; HANÁČEK, P. Traffic generator based on behavioral pattern. In Internet Technology and Secured Transactions (ICITST), 2014 9th International Conference for. London: IEEE Computer Society, 2014.
p. 229-233. ISBN: 978-1-908320-40-7. Detail - KARAFIÁT, M.; GRÉZL, F.; HANNEMANN, M.; ČERNOCKÝ, J. BUT Neural Network Features for Spontaneous Vietnamese in BABEL. In Proceedings of ICASSP 2014. Florencie: IEEE Signal Processing Society, 2014.
p. 5659-5663. ISBN: 978-1-4799-2892-7. Detail - KARAFIÁT, M.; GRÉZL, F.; VESELÝ, K.; HANNEMANN, M.; SZŐKE, I.; ČERNOCKÝ, J. BUT 2014 Babel System: Analysis of adaptation in NN based systems. In Proceedings of Interspeech 2014. Singapore: International Speech Communication Association, 2014.
p. 3002-3006. ISBN: 978-1-63439-435-2. Detail - KARAFIÁT, M.; VESELÝ, K.; SZŐKE, I.; BURGET, L.; GRÉZL, F.; HANNEMANN, M.; ČERNOCKÝ, J. BUT ASR System for BABEL Surprise Evaluation 2014. In Proceedings of 2014 Spoken Language Technology Workshop. South Lake Tahoe, Nevada: IEEE Signal Processing Society, 2014.
p. 501-506. ISBN: 978-1-4799-7129-9. Detail - KEKELY, L. Software Defined Monitoring: Nový prístup k monitorovaniu vysokorýchlostných počítačových sietí. Počítačové architektury a diagnostika 2014. Liberec: Liberec University of Technology, 2014.
s. 74-79. ISBN: 978-80-7494-027-9. Detail - KEKELY, L.; PUŠ, V.; BENÁČEK, P.; KOŘENEK, J. Trade-offs and Progressive Adoption of FPGA Acceleration in Network Traffic Monitoring. In 2014 24th International Conference on Field Programmable Logic and Applications (FPL 2014). Munich: IEEE Circuits and Systems Society, 2014.
p. 264-267. ISBN: 978-3-00-044645-0. Detail - KEKELY, L.; PUŠ, V.; KOŘENEK, J. Software Defined Monitoring of Application Protocols. In Proceedings of IEEE INFOCOM 2014 - IEEE Conference on Computer Communications. Toronto: IEEE Computer Society, 2014.
p. 1725-1733. ISBN: 978-1-4799-3360-0. Detail - KEKELY, L.; ŽÁDNÍK, M.; MATOUŠEK, J.; KOŘENEK, J. Fast Lookup for Dynamic Packet Filtering in FPGA. In Proceedings of the 2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2014. Warszawa: IEEE Computer Society, 2014.
p. 219-222. ISBN: 978-1-4799-4558-0. Detail - KOČÍ, R.; JANOUŠEK, V. System Composition Using Petri Nets and DEVS Formalisms. The Ninth International Conference on Software Engineering Advances. Nice: Xpert Publishing Services, 2014.
p. 309-315. ISBN: 978-1-61208-367-4. Detail - KOČÍ, R.; JANOUŠEK, V. Formal Models in Software Development and Deployment: A Case Study. International Journal on Advances in Software, 2014, vol. 7, no. 1,
p. 266-276. ISSN: 1942-2628. Detail - KOŘENEK, J.; KORČEK, P.; VIKTORIN, J. Jak propojit Linux s FPGA?. DPS Elektronika od A do Z. 2014.
s. 24-25. ISSN: 1805-5044. Detail - KOŠAŘ, V.; KOŘENEK, J. Multi-Stride NFA-Split Architecture for Regular Expression Matching Using FPGA. Proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: NOVPRESS s.r.o., 2014.
p. 77-88. ISBN: 978-80-214-5022-6. Detail - KOŠAŘ, V.; KOŘENEK, J. On NFA-Split Architecture Optimizations. In 2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Warsaw: IEEE Computer Society, 2014.
p. 274-277. ISBN: 978-1-4799-4558-0. Detail - KOTÁSEK, Z.; MIČULKA, L. Generic Partial Dynamic Reconfiguration Controller for Transient and Permanent Fault Mitigation in Fault Tolerant Systems Implemented Into FPGA. In 17th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. Warszawa: IEEE Computer Society, 2014.
p. 171-174. ISBN: 978-0-7695-5074-9. Detail - KOUTNÝ, J.; MEDUNA, A. On Normal Forms and Erasing Rules in Path-Controlled Grammars. Schedae Informaticae, 2014, vol. 2013, no. 22,
p. 9-18. ISSN: 0860-0295. Detail - KOVÁČIK, M. Detekcia sieťových anomálií a bezpečnostných incidentov s využitím DNS dát. Počítačové architektury a diagnostika. Malá Skála: Liberec University of Technology, 2014.
s. 99-104. ISBN: 978-80-7494-027-9. Detail - KRÁL, J.; ZBOŘIL, F.; ZBOŘIL, F. Handling Multiple Intentions Using Action Heuristics. In Proceedings of the 2014 International Conference on Intelligent Systems Design and Applications. Okinawa: Institute of Electrical and Electronics Engineers, 2014.
p. 56-61. ISBN: 978-1-4799-7938-7. Detail - KŘIVKA, Z.; SUBRAMANIAN, K.; MARTÍN-VIDE, C.; MEDUNA, A. A Variant of Pure Two-dimensional Context-free Grammars generating Picture Languages. In 16th International Workshop on Combinatorial Image Analysis. Lecture Notes in Computer Science. Lecture Notes in Computer Science, ISSN 0302-9743, Vol. 8466. Brno: Springer Verlag, 2014.
p. 123-133. ISBN: 978-3-319-07147-3. ISSN: 0302-9743. Detail - KŘOUSTEK, J.; MATULA, P.; KOLÁŘ, D.; ZAVORAL, M. Advanced Preprocessing of Binary Executable Files and its Usage in Retargetable Decompilation. International Journal on Advances in Software, 2014, vol. 7, no. 1,
p. 112-122. ISSN: 1942-2628. Detail - KŘOUSTEK, J.; POKORNÝ, F.; KOLÁŘ, D. Reconstruction of Instruction Idioms in a Retargetable Decompiler: Revisited. COMPUT SCI INF SYST, 2014, vol. 11, no. 4,
p. 1337-1359. ISSN: 1820-0214. Detail - KUČIŠ, M.; BAŘINA, D.; KULA, M.; ZEMČÍK, P. 2-D Discrete Wavelet Transform Using GPU. In 5th Workshop on Application for Multi-Core Architectures. Paris: IEEE Computer Society, 2014.
p. 1-6. ISBN: 978-1-4799-7014-8. Detail - KUPKOVÁ, K. EEG for Biometric Verification. Proceedings of the 20th Conference STUDENT EEICT 2014. Volume 3. Brno: Brno University of Technology, 2014.
p. 298-302. ISBN: 978-80-214-4924-4. Detail - LEXA, M.; MARTÍNEK, T.; BRÁZDOVÁ, M. Uneven distribution of potential triplex sequences in the human genome: In silico study using the R/Bioconductor package triplex. In Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms. Angers: SciTePress - Science and Technology Publications, 2014.
p. 80-88. ISBN: 978-989-758-012-3. Detail - LEXA, M.; ŠTEFLOVÁ, P.; MARTÍNEK, T.; VORLÍČKOVÁ, M.; VYSKOT, B.; KEJNOVSKÝ, E. Guanine quadruplexes are formed by specific regions of human transposable elements. BMC GENOMICS, 2014, vol. 15, no. 1032,
p. 1-12. ISSN: 1471-2164. Detail - LOPATOVSKÝ, L.; PALIČKA, A.; ŠKODA, P.; VÁŽNÝ, J.; VRÁBELOVÁ, P. Knowledge Discovery in Mega-Spectra Archives. In ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS: XXIV. Astronomical Society of the Pacific Conference Series. Calgary: Astronomical Society of the Pacific, 2014.
p. 87-90. ISBN: 978-1-58381-874-9. Detail - LOPEZ-MORENO, I.; GONZALEZ-DOMINGUEZ, J.; MARTÍNEZ GONZÁLEZ, D.; PLCHOT, O.; GONZALEZ-RODRIGUEZ, J.; MORENO, P. Automatic Language Identification Using Deep Neural Networks. In Proceeding of ICASSP 2014. Florencie: IEEE Signal Processing Society, 2014.
p. 5374-5378. ISBN: 978-1-4799-2892-7. Detail - LUŽA, R.; ZBOŘIL, F. Detection of mechanical play of revolute robot joint. In ICINCO 2014 Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics Volume 2. Vídeň: Department of Intelligent Systems FIT BUT, 2014.
p. 327-332. ISBN: 978-989-758-040-6. Detail - MÁČEL, L.; HRUŠKA, T. Bringing flexibility into dynamic process change:The process re-execution approach. BUSTECH 2014: The Fourth International Conference on Business Intelligence and Technology. Benátky: The International Academy, Research and Industry Association, 2014.
p. 31-38. ISBN: 978-1-61208-345-2. Detail - MARTÍNEZ GONZÁLEZ, D.; BURGET, L.; STAFYLAKIS, T.; LEI, Y.; KENNY, P.; LLEIDA, E. Unscented Transform For Ivector-based Noisy Speaker Recognition. In Proceedings of ICASSP 2014. Florencie: IEEE Signal Processing Society, 2014.
p. 4070-4074. ISBN: 978-1-4799-2892-7. Detail - MATES, V.; RYCHLÝ, M.; HRUŠKA, T. Modelling of Context-Adaptable Business Processes and their Implementation as Service-Oriented Architecture. In Procedia Economics and Finance. Procedia Economics and Finance. Amsterdam: 2014.
p. 412-421. ISSN: 2212-5671. Detail - MATOUŠEK, J. Analýza dynamických vlastností směrovacích tabulek pro efektivnější implementaci směrování v páteřních sítích. Sborník příspěvků PAD-2014 - elektronická verze. Liberec: Technická univerzita v Liberci, 2014.
s. 129-134. ISBN: 978-80-7494-027-9. Detail - MATULA, P.; KOLÁŘ, D. Composite Data Type Recovery in a Retargetable Decompilation. Proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: NOVPRESS s.r.o., 2014.
p. 63-76. ISBN: 978-80-214-5022-6. Detail - MEDUNA, A. Formal Languages and Computation. Taylor and Francis. Taylor and Francis. New York: Taylor & Francis Informa plc, 2014. 315 p. ISBN: 978-1-4665-1345-7. Detail
- MEDUNA, A.; SOUKUP, O. Computational Completeness Resulting from Scattered Context Grammars Working Under Various Derivation Modes. Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014.
p. 89-100. ISBN: 978-80-214-5022-6. Detail - MEDUNA, A.; VRÁBEL, L.; ZEMEK, P. Solutions To Four Open Problems Concerning Controlled Pure Grammar Systems. International Journal of Computer Mathematics, 2014, vol. 91, no. 6,
p. 1156-1169. ISSN: 0020-7160. Detail - MEDUNA, A.; ZEMEK, P. Regulated Grammars and Automata. New York: Springer US, 2014. 694 p. ISBN: 978-1-4939-0368-9. Detail
- MEDUNA, A.; ZEMEK, P. Controlled Finite Automata. Acta Informatica, 2014, vol. 51, no. 5,
p. 327-337. ISSN: 0001-5903. Detail - MEDUNA, A.; ZEMEK, P. One-Sided Random Context Grammars with a Limited Number of Right Random Context Rules. Theoretical Computer Science, 2014, vol. 516, no. 1,
p. 127-132. ISSN: 0304-3975. Detail - MEDUNA, A.; ZEMEK, P. One-Sided Random Context Grammars: A Survey. In Computing with New Resources. Berlin: Springer Verlag, 2014.
p. 338-351. ISBN: 978-3-319-13349-2. Detail - MILET, T.; KOBRTEK, J.; ZEMČÍK, P.; PEČIVA, J. Fast and Robust Tessellation-Based Silhouette Shadows. 22nd International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2014, Poster Papers Proceedings - in co-operation with EUROGRAPHICS Association. Plzeň: University of West Bohemia in Pilsen, 2014.
p. 33-38. ISBN: 978-80-86943-72-5. Detail - MILIČKA, M.; BURGET, R. Multi-aspect Document Content Analysis using Ontological Modelling. Proceedings of 9th Workshop on Intelligent and Knowledge Oriented Technologies (WIKT 2014). Smolenice: Vydavateľstvo STU, 2014.
p. 9-12. ISBN: 978-80-227-4267-2. Detail - MINAŘÍK, M.; SEKANINA, L. Exploring the Search Space of Hardware / Software Embedded Systems by Means of GP. In Genetic Programming, 17th European Conference, EuroGP 2014. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2014.
p. 112-123. ISBN: 978-3-662-44302-6. Detail - MRÁČEK, Š.; DRAHANSKÝ, M.; DVOŘÁK, R.; PROVAZNÍK, V.; VÁŇA, J. 3D Face Recognition on Low-Cost Depth Sensors. In Proceedings of the International Conference of Biometrics Special Interest Group (BIOSIG 2014). GI-Edition Lecture Notes in Informatics (LNI). Darmstadt: GI - Group for computer science, 2014.
p. 195-202. ISBN: 978-3-88579-624-4. ISSN: 1617-5468. Detail - MRÁČEK, Š.; VÁŇA, J.; KUPKOVÁ, K.; DRAHANSKÝ, M.; DOLEŽEL, M. 3D face recognition based on the hierarchical score-level fusion classifiers. In Proceedings of Biometric and Surveillance Technology for Human and Activity Identification XI, Vol. 9075. Baltimore: SPIE - the international society for optics and photonics, 2014.
p. 1-12. ISBN: 978-1-62841-012-9. Detail - MÜLLER, P.; VOJNAR, T. CPAlien: Shape Analyzer for CPAChecker. In Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2014.
p. 395-397. ISBN: 978-3-642-54861-1. Detail - NIKL, V.; JAROŠ, J. Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition. In Mathematical and Engineering Methods in Computer Science. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2014.
p. 100-112. ISBN: 978-3-319-14895-3. Detail - OTRUSINA, L.; SMRŽ, P. Deep Learning from Web-Scale Corpora for Better Dictionary Interfaces. Proceedings of the 4th Workshop on Cognitive Aspects of the Lexicon (CogALex). Dublin: Association for Computational Linguistics, 2014.
p. 22-30. ISBN: 978-1-63439-217-4. Detail - PETRLÍK, J.; FUČÍK, O.; SEKANINA, L. Multiobjective Selection of Input Sensors for SVR Applied to Road Traffic Prediction. In Parallel Problem Solving from Nature - PPSN XIII. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2014.
p. 802-811. ISBN: 978-3-319-10761-5. Detail - PETRLÍK, J.; FUČÍK, O.; SEKANINA, L. Multiobjective Selection of Input Sensors for Travel Times Forecasting Using Support Vector Regression. In 2014 IEEE Symposium on Computational Intelligence in Vehicles and Transportation Systems Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, 2014.
p. 14-21. ISBN: 978-1-4799-4498-9. Detail - PLASCENCIA, A.; CALTENCO, H.; BERAN, V. Comparison of Different Powered-wheelchair Control Modes for Individuals with Severe Motor Impairments. In ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics. Vienna: IEEE Computer Society, 2014.
p. 353-359. ISBN: 978-989-758-040-6. Detail - PLASCENCIA, A.; KARSTOFT, H. Map Building Based on a Xtion Pro Live RGBD and a Laser Sensors. Journal of Information Technology & Software Engineering, 2014, vol. 4, no. 1,
p. 1-7. ISSN: 2165-7866. Detail - PODIVÍNSKÝ, J.; ČEKAN, O.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-mechanical Applications. In 17th Euromicro Conference on Digital Systems Design. Verona: IEEE Computer Society, 2014.
p. 312-319. ISBN: 978-1-4799-5793-4. Detail - PODIVÍNSKÝ, J.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Complex Control System for Testing Fault-Tolerance Methodologies. Proceedings of The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Dresden: COST, European Cooperation in Science and Technology, 2014.
p. 24-27. ISBN: 978-2-11-129175-1. Detail - POLÁŠEK, P.; JANOUŠEK, V.; ČEŠKA, M. Petri Net Simulation as a Service. In CEUR Workshop Proceedings. CEUR Workshop Proceedings. Tunisia: CEUR-WS.org, 2014.
p. 353-362. ISSN: 1613-0073. Detail - POLOK, L.; ILA, V.; SMRŽ, P. Fast Radix Sort for Sparse Linear Algebra on GPU. Proceedings of the 22nd High Performance Computing Symposium (HPC'14). Tampa: Association for Computing Machinery, 2014.
p. 1-8. ISBN: 1-56555-353-5. Detail - PŘIKRYL, Z. Fast Simulation of Pipeline in ASIP simulators. In 15th International Workshop on Microprocessor Test and Verification. Austin: IEEE Computer Society, 2014.
p. 1-6. ISBN: 978-0-7695-4000-9. Detail - PUŠ, V.; KEKELY, L.; KOŘENEK, J. Design Methodology of Configurable High Performance Packet Parser for FPGA. In 17th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. Warszawa: IEEE Computer Society, 2014.
p. 189-194. ISBN: 978-1-4799-4558-0. Detail - ROGALEWICZ, A.; VOJNAR, T.; IOSIF, R. Deciding Entailments in Inductive Separation Logic with Tree Automata. In Proceedings of ATVA'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2014.
p. 201-218. ISBN: 978-3-319-11935-9. Detail - RYCHLÝ, M.; ŠKODA, P.; SMRŽ, P. Scheduling Decisions in Stream Processing on Heterogeneous Clusters. In 2014 Eighth International Conference on Complex, Intelligent and Software Intensive Systems. Birmingham: IEEE Computer Society, 2014.
p. 614-619. ISBN: 978-1-4799-4325-8. Detail - SAMEK, J.; MALAČKA, O.; ZBOŘIL, F.; ZBOŘIL, F. Decision Making and Partner Selection Based on Trust in Multi-context Environment. In Proceedings of the 2014 International Conference on Intelligent Systems Design and Applications (ISDA 2014). Okinawa: Institute of Electrical and Electronics Engineers, 2014.
p. 19-24. ISBN: 978-1-4799-7938-7. Detail - ŠIMEK, V.; RŮŽIČKA, R. Reconfigurable Platform with Polymorphic Digital Gates and Partial Reconfiguration Feature. In Proceedings on UKSim-AMSS 8th European Modelling Symposium on Mathematical Modelling and Computer Simulation. Pisa: IEEE Computer Society, 2014.
p. 501-506. ISBN: 978-1-4799-7411-5. Detail - ŠIMEK, V.; RŮŽIČKA, R.; CRHA, A.; TESAŘ, R. Implementation of a Cellular Automaton with Globally Switchable Rules. In 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014. Lecture Notes in Computer Science. Cham: Springer Science+Business Media B.V., 2014.
p. 378-387. ISBN: 978-3-319-11519-1. Detail - ŠLOSÁR, P.; JURÁNEK, R.; HEROUT, A. Cheap Rendering vs. Costly Annotation: Rendered Omnidirectional Dataset of Vehicles. In Proceedings of Spring Conference on Computer Graphics. Smolenice: Comenius University in Bratislava, 2014.
p. 105-112. ISBN: 978-80-223-3601-7. Detail - SMRŽ, P.; KOUŘIL, J. Semantic Search in Documents Enriched by LOD-based Annotations. In Proceedings of LREC 2014. Reykjavik: European Language Resources Association, 2014.
p. 234-237. ISBN: 978-2-9517408-7-7. Detail - SOCHOR, J. Fully Automated Real-Time Vehicles Detection and Tracking with Lanes Analysis. Proceedings of CESCG 2014. Smolenice: Technical University Wien, 2014.
p. 59-66. ISBN: 978-3-9502533-6-8. Detail - STRNADEL, J.; CONTE, G. Producing Unique Identifiers and Random Numbers on Basis of Unclonable Parameters of Microcontrollers and Undesired Effects. Proceedings of Electronic Devices and Systems IMAPS CS International Conference 2014. Brno: Brno University of Technology, 2014.
p. 82-87. ISBN: 978-80-214-4985-5. Detail - STRNADEL, J.; POKORNÝ, M. Comparing Availability-Aware Real-Time Schedulers by Means of Configurable Experimental Framework. In Proceedings of the 2014 17th Euromicro Conference on Digital System Design. Los Alamitos: IEEE Computer Society, 2014.
p. 333-340. ISBN: 978-1-4799-5793-4. Detail - STRNADEL, J.; SLIMAŘÍK, F. Impact of Software Fault Tolerance to Fault Effects in OS-Driven RT Systems. Computing and Informatics, 2014, vol. 33, no. 4,
p. 757-782. ISSN: 1335-9150. Detail - STROKINA, N.; JURÁNEK, R.; EEROLA, T.; ZEMČÍK, P.; KÄLVIÄINEN, H.; LENSU, L. Comparison of Appearance-Based and Geometry-Based Bubble Detectors. In Proccedings of Internation Conference on Computer Vision and Graphics. Lecture Notes in Computer Science. Warsaw: Springer Verlag, 2014.
p. 610-617. ISBN: 978-3-319-11330-2. Detail - ŠVÉDA, M. Dependability in Cyber-Physical Systems Network Applications. Proceedings of the 5th International Conference on Circuits, Systems, Control, Signals 2014. Invited Talk. Salerno: North Atlantic University Union, 2014.
p. 1-6. ISBN: 978-1-61804-204-0. Detail - SZURMAN, K. Synchronization Methodology for Fault Tolerant System Recovery After Its Failure. Počítačové architektury & diagnostika 2014. Malá Skála: Liberec University of Technology, 2014.
p. 111-116. ISBN: 978-80-7494-027-9. Detail - SZURMAN, K.; MIČULKA, L.; KOTÁSEK, Z. State Synchronization after Partial Reconfiguration of Fault Tolerant CAN Bus Control System. In 17th Euromicro Conference on Digital Systems Design. Verona: IEEE Computer Society, 2014.
p. 704-707. ISBN: 978-1-4799-5793-4. Detail - SZURMAN, K.; MIČULKA, L.; KOTÁSEK, Z. Towards a State Synchronization Methodology for Recovery Process after Partial Reconfiguration of Fault Tolerant Systems. In 9th IEEE International Conference on Computer Engineering and Systems. Káhira: IEEE Computer Society, 2014.
p. 231-236. ISBN: 978-1-4799-6594-6. Detail - TESAŘ, R.; RŮŽIČKA, R.; ŠIMEK, V. Resistant Gates for Polymorphic Electronics. In Proceedings on UKSim-AMSS 8th European Modelling Symposium on Mathematical Modelling and Computer Simulation. Pisa: IEEE Computer Society, 2014.
p. 513-518. ISBN: 978-1-4799-7412-2. Detail - TESAŘ, R.; ŠIMEK, V.; RŮŽIČKA, R.; CRHA, A. Polymorphic Electronics Based on Ambipolar OFETs. EDS 2014 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2014.
p. 106-111. ISBN: 978-80-214-4985-5. Detail - VAŠÍČEK, Z.; SEKANINA, L. Evolutionary Design of Approximate Multipliers Under Different Error Metrics. In 17th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. Warsaw: IEEE Computer Society, 2014.
p. 135-140. ISBN: 978-1-4799-4558-0. Detail - VEĽAS, M.; ŠPANĚL, M.; MATERNA, Z.; HEROUT, A. Calibration of RGB Camera With Velodyne LiDAR. In WSCG 2014 Communication Papers Proceedings. Journal of WSCG. Plzeň: Union Agency, 2014.
p. 135-144. ISBN: 978-80-86943-71-8. ISSN: 1213-6972. Detail - VESELÝ, V.; BLOUDÍČEK, J.; RYŠAVÝ, O. Enhanced Interior Gateway Routing Protocol for OMNeT++. Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014). Wien: SciTePress - Science and Technology Publications, 2014.
p. 50-58. ISBN: 978-989-758-045-1. Detail - VESELÝ, V.; RYŠAVÝ, O.; ŠVÉDA, M. Protocol Independent Multicast in OMNeT++. The Tenth International Conference on Networking and Services. 74400 CHAMONIX MONT-BLANC: The International Academy, Research and Industry Association, 2014.
p. 132-137. ISBN: 978-1-61208-330-8. Detail - VIKTORIN, J.; KORČEK, P.; KOŘENEK, J.; FUKAČ, T. Network monitoring probe based on Xilinx Zynq. In Proceedings of the 2012 Tenth ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS 2014). Marina del Rey, CA, USA: Association for Computing Machinery, 2014.
p. 237-238. ISBN: 978-1-4503-2839-5. Detail - ŽÁK, J.; ZBOŘIL, F. JESTER Methodology: A Wood of Fire Case Study. In Proceedings of ISDA 2014. Okinawa: Institute of Electrical and Electronics Engineers, 2014.
p. 1-6. ISBN: 978-1-4799-7938-7. Detail - ZÁŇ, D.; JAROŠ, J. Solving Multidimensional Knapsack Problem using CUDA Accelerated PSO. In Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Beijing: IEEE Computational Intelligence Society, 2014.
p. 2933-2939. ISBN: 978-1-4799-1488-3. Detail
2013
- BARABAS, M.; HOMOLIAK, I.; DROZD, M.; HANÁČEK, P. Automated Malware Detection Based on Novel Network Behavioral Signatures. International Journal of Engineering and Technology, 2013, vol. 5, no. 2,
p. 249-253. ISSN: 1793-8236. Detail - BARABAS, M.; HOMOLIAK, I.; HANÁČEK, P.; KAČIC, M. Detection of Network Buffer Overflow Attacks: A Case Study. The 47th Annual International Carnahan Conference on Security Technology. Mendellin: Institute of Electrical and Electronics Engineers, 2013.
p. 128-131. ISBN: 978-958-8790-65-7. Detail - BELICA, M.; BARTÍK, V. Systém pre sumarizáciu dokumentov na webe. WIKT 2013 - 8th Workshop on Intelligent and Knowledge oriented Technologies 2013. Herĺany: 2013.
s. 1-6. Detail - BIDLO, M.; VAŠÍČEK, Z. Evolution of Cellular Automata with Conditionally Matching Rules. In 2013 IEEE Congress on Evolutionary Computation (CEC 2013). Cancún: IEEE Computer Society, 2013.
p. 1178-1185. ISBN: 978-1-4799-0452-5. Detail - BIDLO, M.; VAŠÍČEK, Z. Functional-Level Development of Image Filters by Means of Cellular Automata. In 2013 IEEE International Conference on Evolvable Systems (ICES). Proceedings of the 2013 IEEE Symposium Series on Computational Intelligence (SSCI). Singapore: IEEE Computer Society, 2013.
p. 29-36. ISBN: 978-1-4673-5847-7. Detail - BRÁZDOVÁ, M.; MARTÍNEK, T.; LEXA, M. In silico search for secondary structures in p53 target genes using R/Bioconductor. ITAT 2013: Information Technologies - Applications and Theory. Donovaly: CreativeSpace Independent Publishing Platform, 2013.
p. 42-46. ISBN: 978-1-4909-5208-6. Detail - BURGET, R.; SMRŽ, P. Extracting Visually Presented Element Relationships from Web Documents. International Journal of Cognitive Informatics and Natural Intelligence, 2013, vol. 2013, no. 2,
p. 13-29. ISSN: 1557-3958. Detail - CEDERBERG, J.; VOJNAR, T.; ABDULLA, P. Monotonic Abstraction for Programs with Multiply-Linked Structures. International Journal of Foundations of Computer Science, 2013, vol. 24, no. 2,
p. 187-210. ISSN: 0129-0541. Detail - CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. An Abstraction of Multi-Port Memories with Arbitrary Addressable Units. Computer Aided Systems Theory - EUROCAST 2013. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013.
p. 460-468. ISBN: 978-3-642-53855-1. Detail - CHMELAŘ, P.; PEŠEK, M.; VOLF, T.; ZENDULKA, J.; FRÖML, V. VTApi: an Efficient Framework for Computer Vision Data Management and Analytics. Advanced Concepts for Intelligent Vision Systems (ACIVS) - Proceedings of the 15th International Conference, ACIVS 2013. Lecture Notes in Computer Science (LNCS), Volume 8192 2013. Poznań: Springer London, 2013.
p. 378-388. ISBN: 978-3-319-02894-1. Detail - CHUDÝ, P.; LEITAO, M.; STROSCHER, F.; VLK, J. Evolution Driven Controller Design for Aeroservoelastic Aircraft. In Conference Proceeding Series (GNC/AFM/MST). AIAA Modeling and Simulation Technologies (MST) Conference. Boston, MA: American Institute of Aeronautics and Astronautics, 2013.
p. 1-17. ISBN: 978-1-62993-153-1. Detail - CHUDÝ, P.; VLK, J.; DITTRICH, P. Evolution Assisted Flight Control System Design. In Proceedings of 32nd Digital Avionics Systems Conference. Syracuse, NY: IEEE Computer Society, 2013.
p. 1-9. ISBN: 978-1-4799-1536-1. Detail - CHUDÝ, P.; VLK, J.; DITTRICH, P.; RZUCIDŁO, P. HW in-the-Loop Simulation of a Light Aircraft Autopilot. In Conference Proceeding Series (GNC/AFM/MST). Boston, MA: American Institute of Aeronautics and Astronautics, 2013.
p. 1-11. ISBN: 978-1-62993-153-1. Detail - CUMANI, S.; BRUMMER, J.; BURGET, L.; LAFACE, P.; PLCHOT, O.; VASILAKAKIS, V. Pairwise Discriminative Speaker Verification in the I -Vector Space. IEEE Transactions on Audio, Speech, and Language Processing, 2013, vol. 2013, no. 6,
p. 1217-1227. ISSN: 1558-7916. Detail - CUMANI, S.; PLCHOT, O.; LAFACE, P. Probabilistic Linear Discriminant Analysis Of I-Vector Posterior Distributions. Proceedings of ICASSP 2013. Vancouver: IEEE Signal Processing Society, 2013.
p. 7644-7648. ISBN: 978-1-4799-0355-9. Detail - DOBAI, R.; SEKANINA, L. Image Filter Evolution on the Xilinx Zynq Platform. Proceedings of the 2013 NASA/ESA Conference on Adaptive Hardware and Systems. Torino: IEEE Circuits and Systems Society, 2013.
p. 164-171. ISBN: 978-1-4673-6381-5. Detail - DOBAI, R.; SEKANINA, L. Towards Evolvable Systems Based on the Xilinx Zynq Platform. 2013 IEEE International Conference on Evolvable Systems (ICES). Proceedings of the 2013 IEEE Symposium Series on Computational Intelligence (SSCI). Singapur: IEEE Computational Intelligence Society, 2013.
p. 89-95. ISBN: 978-1-4673-5869-9. Detail - DOLEŽEL, M.; DRAHANSKÝ, M.; URBÁNEK, J. Einfluss von Hauterkrankungen auf den biometrischen Erkennungsprozess. DuD - Datenschutz und Datensicherheit, 2013, roč. 2013, č. 06,
s. 358-362. ISSN: 1614-0702. Detail - DRAHANSKÝ, M. Biometrics - Liveness Detection on Fingers, Finger Veins Recognition, 3D Hand Recognition and Thermo-Faces. Brno: 2013.
p. 0-0. Detail - DRAHANSKÝ, M.; DOLEŽEL, M.; VÁŇA, J.; BŘEZINOVÁ, E.; YIM, J.; SHIM, K. New Optical Methods for Liveness Detection on Fingers. BioMed Research International, 2013, vol. 2013, no. 9,
p. 1-11. ISSN: 2314-6133. Detail - DRAHANSKÝ, M.; HANÁČEK, P.; ZBOŘIL, F.; ZBOŘIL, F.; BARABAS, M.; ANTAL, L. Threats in Networks using Agent and Biometric Systems. International Journal of Bio-Science and Bio-Technology, 2013, vol. 5, no. 3,
p. 119-133. ISSN: 2233-7849. Detail - DUDKA, K.; MÜLLER, P.; PERINGER, P.; VOJNAR, T. Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Lecture Notes in Computer Science Volume 7795. Berlin: Springer Verlag, 2013.
p. 627-629. ISBN: 978-3-642-36742-7. ISSN: 0302-9743. Detail - DUDKA, K.; PERINGER, P.; VOJNAR, T. Byte-Precise Verification of Low-Level List Manipulation. 20th Static Analysis Symposium. Lecture Notes in Computer Science. Lecture Notes in Computer Science Volume 7935. Berlin: Springer Verlag, 2013.
p. 215-237. ISBN: 978-3-642-38855-2. ISSN: 0302-9743. Detail - ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P. Retargetable Machine-Code Decompilation in Your Web Browser. 3rd IEEE World Congress on Information and Communication Technologies (WICT 2013). Hanoi: IEEE Computer Society, 2013.
p. 57-62. ISBN: 978-1-4799-3230-6. Detail - ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P. Psyb0t Malware: A Step-By-Step Decompilation Case Study. In 20th Working Conference on Reverse Engineering (WCRE). Koblenz: IEEE Computer Society, 2013.
p. 449-456. ISBN: 978-1-4799-2930-6. Detail - EGOROVA, E.; VESELÝ, K.; KARAFIÁT, M.; JANDA, M.; ČERNOCKÝ, J. Manual and Semi-Automatic Approaches to Building a Multilingual Phoneme Set. In Proceedings of ICASSP 2013. Vancouver: IEEE Signal Processing Society, 2013.
p. 7324-7328. ISBN: 978-1-4799-0355-9. Detail - FUCHS, G.; ŠÁTEK, V.; VOPĚNKA, V.; KUNOVSKÝ, J.; KOZEK, M. Application of the Modern Taylor Series Method to a multi-torsion chain. SIMULATION MODELLING PRACTICE AND THEORY, 2013, vol. 2013, no. 33,
p. 89-101. ISSN: 1569-190X. Detail - GRÉZL, F.; KARAFIÁT, M. Semi-Supervised Bootstrapping Approach For Neural Network Feature Extractor Training. Proceedings of ASRU 2013. Olomouc: IEEE Signal Processing Society, 2013.
p. 470-475. ISBN: 978-1-4799-2755-5. Detail - HÁJEK, J.; DRAHANSKÝ, M.; DROZD, R. Extraction of Retina Features Based on Position of the Blood Vessel Bifurcation. Journal of Medical Research and Development, 2013, vol. 2, no. 3,
p. 55-59. ISSN: 2303-9345. Detail - HANNEMANN, M.; POVEY, D.; ZWEIG, G. Combining Forward and Backward Search in Decoding. Proceedings of ICASSP 2013. Vancouver: IEEE Signal Processing Society, 2013.
p. 6739-6743. ISBN: 978-1-4799-0355-9. Detail - HENZL, M.; HANÁČEK, P. Modeling of Contactless Smart Card Protocols and Automated Vulnerability Finding. 2013 International Symposium on Biometrics and Security Technologies (ISBAST). Chengdu: IEEE Computer Society, 2013.
p. 141-148. ISBN: 978-0-7695-5010-7. Detail - HERMAN, D.; ORSÁG, F. Exploring k-PSO Algorithm for Clustering. Proceedings of the IASTED International Conference Artificial Intelligence and Applications (AIA 2013). Innsbruck: ACTA Press, 2013.
p. 161-168. ISBN: 978-0-88986-943-1. Detail - HEROUT, A.; SZENTANDRÁSI, I.; ZACHARIÁŠ, M.; JURÁNKOVÁ, M.; KAJAN, R. Five Shades of Grey for Fast and Reliable Camera Pose Estimation. Proceedings of CVPR. Portland, OR: IEEE Computer Society, 2013.
p. 1384-1390. ISBN: 978-0-7695-4989-7. Detail - HLOSTA, M.; ŠEBEK, M.; ZENDULKA, J. Approach to Visualisation of Evolving Association Rule Models. Proceedings of The Second International Conference on Informatics & Applications (ICIA 2013). Łódź: The Society of Digital Information and Wireless Communications, 2013.
p. 47-52. ISBN: 978-1-4673-5255-0. Detail - HLOSTA, M.; STRÍŽ, R.; KUPČÍK, J.; ZENDULKA, J.; HRUŠKA, T. Constrained Classification of Large Imbalanced Data by Logistic Regression and Genetic Algorithm. International Journal of Machine Learning and Computing, 2013, vol. 2013, no. 3,
p. 214-218. ISSN: 2010-3700. Detail - HLOSTA, M.; STRÍŽ, R.; ZENDULKA, J.; HRUŠKA, T. PSO-based Constrained Imbalanced Data Classification. Proceedings of the Twelth International Conference on Informatics INFORMATICS'2013. Spišská Nová Ves: The University of Technology Košice, 2013.
p. 234-239. ISBN: 978-80-8143-127-2. Detail - HOFSTEDE, R.; BARTOŠ, V.; SPEROTTO, A.; PRAS, A. Towards Real-Time Intrusion Detection for NetFlow and IPFIX. In Proceedings of the 9th International Conference on Network and Service Management. Zürich: International Federation for Information Processing, 2013.
p. 1-6. ISBN: 978-3-901882-53-1. Detail - HOLÍK, L.; JONSSON, B.; LENGÁL, O.; VOJNAR, T.; TRINH, Q.; ABDULLA, P. Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. Proceedings of ATVA'13. Heidelberg: Springer Verlag, 2013.
p. 224-239. ISBN: 978-3-319-02443-1. Detail - HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T. Fully Automated Shape Analysis Based on Forest Automata. Proceedings of CAV'13. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2013.
p. 740-755. ISBN: 978-3-642-39798-1. ISSN: 0302-9743. Detail - HOMOLIAK, I.; BARABAS, M.; CHMELAŘ, P.; DROZD, M.; HANÁČEK, P. ASNM: Advanced Security Network Metrics for Attack Vector Description. Proceedings of the 2013 International Conference on Security & Management. Las Vegas: Computer Science Research, Education, and Applications Press, 2013.
p. 350-358. ISBN: 1-60132-259-3. Detail - HOMOLIAK, I.; BARABAS, M.; CHMELAŘ, P.; DROZD, M.; HANÁČEK, P. Advanced Security Network Metrics. In Emerging Trends in ICT Security. Waltham: Elsevier Science, 2013.
p. 187-202. ISBN: 978-0-12-411474-6. Detail - HON, J.; MARTÍNEK, T.; RAJDL, K.; LEXA, M. Triplex: an R/Bioconductor package for identification and visualization of potential intramolecular triplex patterns in DNA sequences. BIOINFORMATICS, 2013, vol. 29, no. 15,
p. 1900-1901. ISSN: 1367-4803. Detail - HORÁČEK, J.; ZBOŘIL, F.; ŽÁK, J. Mobile Agents in Wireless Sensor Networks. Journal of Network and Innovative Computing (JNIC), 2013, vol. 1, no. 1,
p. 214-223. ISSN: 2160-2174. Detail - HULÍK, R.; ŠPANĚL, M.; MATERNA, Z.; SMRŽ, P. Continuous Plane Detection in Point-cloud Data Based on 3D Hough Transform. JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION, 2013, vol. 25, no. 1,
p. 86-97. ISSN: 1047-3203. Detail - HUSÁR, A.; PŘIKRYL, Z.; DOLÍHAL, L.; MASAŘÍK, K.; HRUŠKA, T. ASIP Design with Automatic C/C++ Compiler Generation. Haifa: 2013.
p. 0-0. Detail - ILA, V.; POLOK, L.; SMRŽ, P.; ŠOLONY, M.; ZEMČÍK, P. Incremental Block Cholesky Factorization for Nonlinear Least Squares in Robotics. In proceedings of The Robotics: Science and Systems 2013 Conference. Berlín: MIT Press, 2013.
p. 1-8. ISBN: 978-981-07-3937-9. Detail - ILA, V.; POLOK, L.; SMRŽ, P.; ŠOLONY, M.; ZEMČÍK, P. Incremental Cholesky Factorization for Least Squares Problems in Robotics. Proceedings of The 2013 IFAC Intelligent Autonomous Vehicles Symposium. Gold Coast: IEEE Computer Society, 2013.
p. 1-8. ISBN: 978-3-902823-36-6. Detail - JANDA, M. Automatic Generation Of Pronunciation Dictionaries Based On Diarization. Proceedings of the 19th Conference Student EEICT 2013. Brno: Brno University of Technology, 2013.
p. 228-232. ISBN: 978-80-214-4695-3. Detail - JURÁNKOVÁ, M.; HEROUT, A. Real Projective Plane Mapping for Detection of Orthogonal Vanishing Points. Proceedings of BMVC 2013. Bristol: The British Machine Vision Association and Society for Pattern Recognition, 2013.
p. 1-10. ISBN: 1-901725-49-9. Detail - JURÁNKOVÁ, M.; SZENTANDRÁSI, I.; ZACHARIÁŠ, M.; HEROUT, A. Poor Man's SimulCam: Real-Time And Effortless MatchMoving. Proceedings of the 2013 12th IEEE International Symposium on Mixed and Augmented Reality. Adelaide, S.A.: Institute of Electrical and Electronics Engineers, 2013.
p. 1-3. ISBN: 978-1-4673-4661-0. Detail - JURNEČKA, P.; HANÁČEK, P.; BARABAS, M.; HENZL, M.; KAČIC, M. A method for parallel software refactoring for safety standards compliance. System Safety 2013 collection of papers. INT. CONF. ON SIMULATORS, (BRIGHTON, U.K.: SEP. 26-30, 1983), LONDON, U.K., INST. ELECTR. ENGRS., 1983, P.267-273. (CONF. Cardiff: The Institution of Engineering and Technology, 2013.
p. 1-6. ISBN: 978-1-84919-777-9. ISSN: 0537-9989. Detail - JURNEČKA, P.; HANÁČEK, P.; BARABAS, M.; HENZL, M.; KAČIC, M. A method for parallel software refactoring for safety standards compliance. In Resilience, Security & Risk in Transport. London: The Institution of Engineering and Technology, 2013.
p. 42-48. ISBN: 978-1-84919-787-8. Detail - JURNEČKA, P.; HANÁČEK, P.; KAČIC, M. Concept of parallel code generating and refactoring system for safety standards compliance. Proceedings of the 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS). Berlin: Institute of Electrical and Electronics Engineers, 2013.
p. 630-635. ISBN: 978-1-4799-1426-5. Detail - KAČIC, M.; HANÁČEK, P.; HENZL, M.; HOMOLIAK, I. A Concept of Behavioral Reputation System in Wireless Networks. The 47th Annual International Carnahan Conference on Security Technology. Medellín: Institute of Electrical and Electronics Engineers, 2013.
p. 86-90. ISBN: 978-958-8790-65-7. Detail - KAČIC, M.; HENZL, M.; JURNEČKA, P.; HANÁČEK, P. Malware injection in wireless networks. Proceedings of the 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS). Volume 1. Berlin: Institute of Electrical and Electronics Engineers, 2013.
p. 483-487. ISBN: 978-1-4799-1426-5. Detail - KADLČEK, F.; FUČÍK, O. Automatic synthesis of small AdaBoost Classifier in FPGA. IEEE Design and Diagnostics of Electronic Circuits and Systems DDECS'2013. Brno: IEEE Computer Society, 2013.
p. 1-6. ISBN: 978-1-4673-6133-0. Detail - KAJAN, R.; SZENTANDRÁSI, I.; HEROUT, A.; ZACHARIÁŠ, M. On-Screen Marker Fields for Reliable Screen-To-Screen Task Migration. Proceedings of the 2013 International Conference on Human Factors in Computing & Informatics. Maribor: Springer Verlag, 2013.
p. 1-19. ISBN: 978-3-642-39061-6. Detail - KALMÁR, R.; ZBOŘIL, F.; ZBOŘIL, F. Security threats classification in wireless sensor networks with mobile codes. Proceedings of the 12th International Conference on Informatics. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2013.
p. 210-215. ISBN: 978-80-8143-127-2. Detail - KARAFIÁT, M.; GRÉZL, F.; HANNEMANN, M.; VESELÝ, K.; ČERNOCKÝ, J. BUT BABEL System for Spontaneous Cantonese. Proceedings of Interspeech 2013. Proceedings of the 14th Annual Conference of the International Speech Communication Association (Interspeech 2013). Lyon: International Speech Communication Association, 2013.
p. 2589-2593. ISBN: 978-1-62993-443-3. ISSN: 2308-457X. Detail - KOPŘIVA, J.; KUNOVSKÝ, J.; ŠÁTEK, V.; DROZDOVÁ, M.; KILLIAN, M. Parallel system based on the RNS. In The Proceedings of the 12th Conference Informatics'2013. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2013.
p. 323-328. ISBN: 978-80-8143-127-2. Detail - KOPŘIVA, J.; KUNOVSKÝ, J.; ŠÁTEK, V.; DROZDOVÁ, M.; SCHIRRER, A. Parallel Computations Based on Automatic Transformation of Ordinary Differential Equations. In Proceedings of the 11th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2013.
p. 2293-2296. ISBN: 978-0-7354-1184-5. ISSN: 0094-243X. Detail - KOPŘIVA, J.; KUNOVSKÝ, J.; ŠÁTEK, V.; KOCINA, F.; TALIC, E. Numerical integration in the RNS. In The Proceedings of the 12th Conference Informatics'2013. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2013.
p. 318-322. ISBN: 978-80-8143-127-2. Detail - KORANDA, K. Hardwarová akcelerace AES-GCM pro protokol SSH. Sborník příspěvků MKB 2013. Praha: TNS, a.s., 2013.
s. 81-82. ISBN: 978-80-904257-5-0. Detail - KORČEK, P.; SEKANINA, L.; FUČÍK, O. Advanced Approach to Calibration of Traffic Microsimulation Models using Travel Times. Journal of Cellular Automata, 2013, vol. 8, no. 6,
p. 457-467. ISSN: 1557-5969. Detail - KOŠAŘ, V.; ŽÁDNÍK, M.; KOŘENEK, J. NFA Reduction for Regular Expressions Matching Using FPGA. Proceedings of the 2013 International Conference on Field Programmable Technology. Kyoto: IEEE Computer Society, 2013.
p. 338-341. ISBN: 978-1-4799-2199-7. Detail - KOVÁČIK, M. Detekcia sieťových anomálií s využitím DNS dát. Počítačové architektury a diagnostika. Teplá: University of West Bohemia in Pilsen, 2013.
s. 33-38. ISBN: 978-80-01-05106-1. Detail - KOVÁČIK, M.; KAJAN, M.; ŽÁDNÍK, M. Detecting IP-spoofing by modelling history of IP address entry points. Emerging Management Mechanisms for the Future Internet. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Barcelona: Springer Verlag, 2013.
p. 73-83. ISBN: 978-3-642-38997-9. ISSN: 0302-9743. Detail - KRÁL, J.; ZBOŘIL, F.; ZBOŘIL, F. Flexible Intention Handling using Extended Environment. Proceedings of the 12th International Conference on Informatics. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2013.
p. 228-233. ISBN: 978-80-8143-127-2. Detail - KŘOUSTEK, J.; KOLÁŘ, D. Preprocessing of Binary Executable Files Towards Retargetable Decompilation. 8th International Multi-Conference on Computing in the Global Information Technology (ICCGI'13). Nice: International Academy, Research, and Industry Association, 2013.
p. 259-264. ISBN: 978-1-61208-283-7. Detail - KŘOUSTEK, J.; KOLÁŘ, D. Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis. Acta Informatica Pragensia, 2013, vol. 2, no. 1,
p. 18-29. ISSN: 1805-4951. Detail - KŘOUSTEK, J.; KOLÁŘ, D. Context Parsing (Not Only) of the Object-File-Format Description Language. COMPUT SCI INF SYST, 2013, vol. 10, no. 4,
p. 1673-1702. ISSN: 1820-0214. Detail - LEI, Y.; BURGET, L.; SCHEFFER, N. A Noise Robust I-Vector Extractor Using Vector Taylor Series For Speaker Recognition. Proceedings of ICASSP 2013. Vancouver: IEEE Signal Processing Society, 2013.
p. 6788-6791. ISBN: 978-1-4799-0355-9. Detail - LETKO, Z. Analysis and Testing of Concurrent Programs. Information Sciences and Technologies Bulletin of the ACM Slovakia, 2013, vol. 5, no. 3,
p. 1-8. ISSN: 1338-1237. Detail - LUŽA, R.; ROZMAN, J.; ZBOŘIL, F. Remote Controlling of the Robotic Arm Mitsubishi Melfa. Informatics 2013. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2013.
p. 329-334. ISBN: 978-80-8143-127-2. Detail - MATOUŠEK, J. Paměťově efektivní vyhledání nejdelšího shodného prefixu pro směrování ve 100 Gb/s sítích. Počítačové architektury a diagnostika PAD 2013. Plzeň: Západočeská univerzita v Plzni, 2013.
s. 105-110. ISBN: 978-80-261-0270-0. Detail - MATOUŠEK, J.; SKAČAN, M.; KOŘENEK, J. Memory Efficient IP Lookup in 100 Gbps Networks. In 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings. Porto: IEEE Circuits and Systems Society, 2013.
p. 1-8. ISBN: 978-1-4799-0004-6. Detail - MATOUŠEK, J.; SKAČAN, M.; KOŘENEK, J. Towards Hardware Architecture for Memory Efficient IPv4/IPv6 Lookup in 100 Gbps Networks. In Proceedings of the 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2013. Brno: IEEE Computer Society, 2013.
p. 108-111. ISBN: 978-1-4673-6136-1. Detail - MATULA, P.; KOLÁŘ, D. Reconstruction of simple data types in decompilation. Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2013.
p. 1-10. ISBN: 978-80-87952-00-9. Detail - MEDUNA, A.; ZEMEK, P. Generalized One-Sided Forbidding Grammars. International Journal of Computer Mathematics, 2013, vol. 90, no. 2,
p. 172-182. ISSN: 0020-7160. Detail - MEDUNA, A.; ZEMEK, P. Left Random Context ET0L Grammars. Fundamenta Informaticae, 2013, vol. 123, no. 3,
p. 289-304. ISSN: 0169-2968. Detail - MEDUNA, A.; ZEMEK, P. On the Generation of Sentences with Their Parses by Propagating Regular-Controlled Grammars. Theoretical Computer Science, 2013, vol. 477, no. 1,
p. 67-75. ISSN: 0304-3975. Detail - MIČULKA, L.; KOTÁSEK, Z. Synchronization Technique for TMR System After Dynamic Reconfiguration on FPGA. The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN 2013). Avignon: Politecnico di Milano, 2013.
p. 53-56. ISBN: 978-2-11-129175-1. Detail - MIČULKA, L.; STRAKA, M.; KOTÁSEK, Z. Methodology for Fault Tolerant System Design Based on FPGA Into Limited Redundant Area. 16th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Santander: IEEE Computer Society, 2013.
p. 227-234. ISBN: 978-0-7695-5074-9. Detail - MILET, T.; NAVRÁTIL, J.; HEROUT, A.; ZEMČÍK, P. Improved Computation of Attenuated Light with Application in Scenes with Many Light Sources. Proceedings of SCCG 2013. Bratislava: Comenius University in Bratislava, 2013.
p. 155-160. ISBN: 978-80-223-3377-1. Detail - MILIČKA, M.; BURGET, R. Web Document Description Based on Ontologies. Proceedings of the 2th annual conference ICIA 2013. Łódź: The Society of Digital Information and Wireless Communications, 2013.
p. 288-293. ISBN: 978-1-4673-5255-0. Detail - NAHHAS, I. A New Algorithm for Fast Block-Matching Motion Estimation Based on Four-Neighborhood Blocks. Processing of EEICT 2013. Brno: Faculty of Electrical Engineering and Computing, University of Zagreb, 2013.
p. 1-6. ISBN: 978-80-214-4695-3. Detail - NAHHAS, I.; DRAHANSKÝ, M. Analysis of Block Matching Algorithms with Fast Computational and Winner-update Strategies. International Journal of Signal Processing, Image Processing and Pattern Recognition, 2013, vol. 6, no. 3,
p. 129-137. ISSN: 2005-4254. Detail - NOVOSAD, P.; ČEŠKA, M. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. Computer Aided System Theory -EUROCAST 2013 - revised selected papers. Lecture Notes in Computer Science. Berín: Springer Verlag, 2013.
p. 428-435. ISBN: 978-3-642-53855-1. Detail - NOVOSAD, P.; ČEŠKA, M. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. Proc. of Computer Aided System Theory 2013. Universidad de Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2013.
p. 244-245. ISBN: 84-695-6971-6. Detail - OČENÁŠEK, P. Effective Design and Implementation of Distributed Business Information Systems. Applied Mechanics and Materials, 2013, vol. 2013, no. 307,
p. 451-454. ISSN: 1660-9336. Detail - OČENÁŠEK, P. Effective Design and Implementation of Distributed Business Information Systems. In Proceedings of 2012 International Conference on Mechatronics and Applied Mechanics. Applied Mechanics and Materials. Hong Kong: National Taiwan University, 2013.
p. 451-454. ISBN: 978-3-03785-659-8. ISSN: 1660-9336. Detail - OČENÁŠEK, P. The Practice of Global Internet Filtering. In Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013.
p. 332-337. ISBN: 978-3-642-39344-0. ISSN: 0302-9743. Detail - OČENÁŠEK, P.; KARMAZÍN, J. On the Secure and Safe Data Synchronization. In Human Aspects of Information Security, Privacy, and Trust. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013.
p. 326-331. ISBN: 978-3-642-39344-0. ISSN: 0302-9743. Detail - OČENÁŠEK, P.; ŠVÉDA, M. Communication in Business Information Systems - New Perspectives. International Academic Research Journal of Business and Management, 2013, vol. 1, no. 7,
p. 87-92. ISSN: 2227-1287. Detail - OČENÁŠEK, P.; ŠVÉDA, M. On the Effective Internet Communication Filtering. Applied Mechanics and Materials, 2013, vol. 2013, no. 307,
p. 478-481. ISSN: 1660-9336. Detail - OČENÁŠEK, P.; ŠVÉDA, M. On the Effective Internet Communication Filtering. In Proceedings of the 2012 ICMCM Conference. Applied Mechanics and Materials. Dubaj: Trans Tech Publications Inc., 2013.
p. 478-481. ISBN: 978-3-03785-659-8. ISSN: 1660-9336. Detail - OTRUSINA, L.; SMRŽ, P. BUT-TYPED: Using domain knowledge for computing typed similarity. Second Joint Conference on Lexical and Computational Semantics (*SEM), Volume 1: Proceedings of the Main Conference and the Shared Task: Semantic Textual Similarity. Atlanta: Association for Computational Linguistics, 2013.
p. 119-123. ISBN: 978-1-937284-48-0. Detail - PEČIVA, J.; STARKA, T.; MILET, T.; KOBRTEK, J.; ZEMČÍK, P. Robust Silhouette Shadow Volumes on Contemporary Hardware. In 23rd International Conference on Computer Graphics and Vision, GraphiCon 2013 - Conference Proceedings. Vladivostok: GraphiCon Scientific Society, 2013.
p. 56-59. ISBN: 978-5-8044-1402-4. Detail - PETCU, D.; DI MARTINO, B.; VENTICINQUE, S.; RAK, M.; MÁHR, T.; LOPEZ, G.; BRITO, F.; COSSU, R.; STOPAR, M.; ŠPERKA, S.; STANKOVSKI, V. Experiences in building a mOSAIC of clouds. Journal of Cloud Computing: Advances, Systems and Applications, 2013, vol. 2, no. 12,
p. 1-38. ISSN: 2192-113X. Detail - PETRLÍK, J.; SEKANINA, L. Multiobjective evolution of approximate multiple constant multipliers. In IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 2013. Brno: IEEE Computer Society, 2013.
p. 116-119. ISBN: 978-1-4673-6133-0. Detail - PLCHOT, O.; MATSOUKAS, S.; MATĚJKA, P.; DEHAK, N.; MA, J.; CUMANI, S.; GLEMBEK, O.; HEŘMANSKÝ, H.; MESGARANI, N.; SOUFIFAR, M.; THOMAS, S.; ZHANG, B.; ZHOU, X. Developing A Speaker Identification System For The DARPA RATS Project. Proceedings of ICASSP 2013. Vancouver: IEEE Signal Processing Society, 2013.
p. 6768-6772. ISBN: 978-1-4799-0355-9. Detail - POLOK, L.; ILA, V.; SMRŽ, P. Cache Efficient Implementation for Block Matrix Operations. Proceedings of the 21st High Performance Computing Symposium (HPC'13). San Diego: Association for Computing Machinery, 2013.
p. 698-706. ISBN: 1-56555-350-0. Detail - POLOK, L.; ILA, V.; ŠOLONY, M.; ZEMČÍK, P.; SMRŽ, P. Efficient Implementation for Block Matrix Operations Nonlinear Least Squares Problems for Robotic Applications. Proceedings of 2013 IEEE International Conference on Robotics and Automation. Karlsruhe: IEEE Computer Society, 2013.
p. 123-131. ISBN: 978-1-4673-5642-8. Detail - POSPÍŠIL, M.; MATES, V.; HRUŠKA, T. Analysing Resource Performance and its Application in Company. The Fifth International Conference on Information, Process, and Knowledge Management. Nice: The International Academy, Research and Industry Association, 2013.
p. 149-154. ISBN: 978-1-61208-254-7. Detail - POSPÍŠIL, M.; MATES, V.; HRUŠKA, T. Process Mining in Manufacturing Company. The Fifth International Conference on Information, Process, and Knowledge Managemen. Nice: International Academy, Research, and Industry Association, 2013.
p. 143-148. ISBN: 978-1-61208-254-7. Detail - POSPÍŠIL, M.; MATES, V.; HRUŠKA, T.; BARTÍK, V. Process Mining in a Manufacturing Company for Predictions and Planning. International Journal on Advances in Software, 2013, vol. 2013, no. 3,
p. 283-297. ISSN: 1942-2628. Detail - RATH, S.; POVEY, D.; VESELÝ, K.; ČERNOCKÝ, J. Improved Feature Processing for Deep Neural Networks. Proceedings of Interspeech 2013. Proceedings of the 14th Annual Conference of the International Speech Communication Association (Interspeech 2013). Lyon: International Speech Communication Association, 2013.
p. 109-113. ISBN: 978-1-62993-443-3. ISSN: 2308-457X. Detail - RICHTA, T.; JANOUŠEK, V. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. Computer Aided Systems Theory - EUROCAST 2013. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2013.
p. 444-451. ISBN: 978-3-642-53855-1. Detail - RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. CEUR Workshop Proceedings, 2013, vol. 2013, no. 989,
p. 203-217. ISSN: 1613-0073. Detail - ROGALEWICZ, A.; IOSIF, R. Automata-Based Termination Proofs. Computing and Informatics, 2013, vol. 2013, no. 4,
p. 739-775. ISSN: 1335-9150. Detail - RŮŽIČKA, R.; ŠIMEK, V. More Complex Polymorphic Circuits: A Way to Implementation of Smart Dependable Systems. ElectroScope - http://www.electroscope.zcu.cz, 2013, vol. 7, no. 5,
p. 1-6. ISSN: 1802-4564. Detail - RZUCIDŁO, P.; CHUDÝ, P.; RYDLO, K. Simulation and Prototyping of FCS for Sport Aircraft. Aircraft Engineering and Aerospace Technology: An International Journal, 2013, vol. 2013, no. 85,
p. 400-415. ISSN: 0002-2667. Detail - SALVADOR, R.; OTERO, A.; MORA, J.; DE LA TORRE, E.; RIESGO, T.; SEKANINA, L. Self-Reconfigurable Evolvable Hardware System for Adaptive Image Processing. IEEE TRANSACTIONS ON COMPUTERS, 2013, vol. 62, no. 8,
p. 1481-1493. ISSN: 0018-9340. Detail - ŠÁTEK, V.; KUNOVSKÝ, J.; KOCINA, F.; CHALOUPKA, J. Taylor Series Based Computation and MATLAB ODE Solvers Comparison. In Proceedings of the 11th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2013.
p. 2289-2292. ISBN: 978-0-7354-1184-5. ISSN: 0094-243X. Detail - ŠEBEK, M.; HLOSTA, M.; ZENDULKA, J.; HRUŠKA, T. MLSP: Mining Hierarchically-Closed Multi-Level Sequential Patterns. 9th International Conference, ADMA 2013. Lecture Notes in Computer Science. Hangzhou: Springer Verlag, 2013.
p. 157-168. ISBN: 978-3-642-53913-8. Detail - ŠEBEK, M.; ZENDULKA, J. Generator of Synthetic Datasets for Hierarchical Sequential Pattern Mining Evaluation. Proceedings of the Twelfth International Conference on Informatics 2013. Košice: The University of Technology Košice, 2013.
p. 289-292. ISBN: 978-80-8143-127-2. Detail - SEKANINA, L. Ubiquity symposium: Evolutionary computation and the processes of life: evolutionary computation in physical world. Ubiquity, 2013, vol. 2013, no. 2,
p. 1-7. ISSN: 1530-2180. Detail - SEKANINA, L.; VAŠÍČEK, Z. Approximate Circuit Design by Means of Evolvable Hardware. In 2013 IEEE International Conference on Evolvable Systems (ICES). Proceedings of the 2013 IEEE Symposium Series on Computational Intelligence (SSCI). Singapur: IEEE Computer Society, 2013.
p. 21-28. ISBN: 978-1-4673-5847-7. Detail - ŠIMEK, V.; RŮŽIČKA, R. More Complex Polymorphic Circuits and Their Physical Implementation. Proceedings of the 20th Electronic Devices and Systems IMAPS CS International Conference. Brno: Brno University of Technology, 2013.
p. 189-194. ISBN: 978-80-214-4754-7. Detail - SOUFIFAR, M.; BURGET, L.; PLCHOT, O.; CUMANI, S.; ČERNOCKÝ, J. Regularized Subspace n-Gram Model for Phonotactic iVector Extraction. Proceedings of Interspeech 2013. Proceedings of the 14th Annual Conference of the International Speech Communication Association (Interspeech 2013). Lyon: International Speech Communication Association, 2013.
p. 74-78. ISBN: 978-1-62993-443-3. ISSN: 2308-457X. Detail - STRNADEL, J. Load-Adaptive Monitor-Driven Hardware for Preventing Embedded Real-Time Systems from Overloads Caused by Excessive Interrupt Rates. Architecture of Computing Systems - ARCS 2013. Lecture Notes in Computer Science. Lecture Notes in Computer Science, ISSN 0302-9743, Vol. 7767. Berlin: Springer Verlag, 2013.
p. 98-109. ISBN: 978-3-642-36423-5. ISSN: 0302-9743. Detail - STRNADEL, J. On Design of Priority-Driven Load-Adaptive Monitoring-Based Hardware for Managing Interrupts in Embedded Event-Triggered Real-Time Systems. Proceedings of the IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Brno: IEEE Computer Society, 2013.
p. 24-29. ISBN: 978-1-4673-6133-0. Detail - STRNADEL, J. Plánování úloh v systémech RT - IV: víceprocesorové prostředí. Automa, 2013, roč. 19, č. 1,
s. 44-46. ISSN: 1210-9592. Detail - STRNADEL, J. Plánování úloh v systémech RT - V: zvyšování provozuschopnosti systémů. Automa, 2013, roč. 19, č. 2,
s. 46-49. ISSN: 1210-9592. Detail - ŠVEC, T.; SAMEK, J. Trust Evaluation on Facebook Using Multiple Contexts. CEUR Workshop Proceedings, 2013, vol. 2013, no. 997,
p. 23-32. ISSN: 1613-0073. Detail - ŠVÉDA, M. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. Proceedings of the SCSI 2013. Recent Advances in Electrical Engineering Series, 16. Rhodes Island: European Society for Environmental Research and Sustainable Development, 2013.
p. 413-419. ISBN: 978-1-61804-204-0. Detail - ŠVÉDA, M. Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design. International Journal of Systems Applications, Engineering & Development, 2013, vol. 7, no. 5,
p. 263-270. ISSN: 2074-1308. Detail - ŠVÉDA, M.; RYŠAVÝ, O. Dependable Cyber-Physical Systems Networking: An Approach for Real-Time, Software Intensive Systems. Programmable Devices and Embedded Systems. Programmable devices and systems. Volume #12. Laxenburg: IFAC, 2013.
p. 1-4. ISBN: 978-3-902823-21-2. ISSN: 1474-6670. Detail - ŠVÉDA, M.; VRBA, R. Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach. IEEE Proceedings AFRICON 2013. New York: Institute of Electrical and Electronics Engineers, 2013.
p. 101-106. ISBN: 978-1-4673-5943-6. Detail - SVOBODA, J.; KLUBAL, O.; DRAHANSKÝ, M. Biometric Recognition of People by 3D Hand Geometry. In Proceedings of 9th International Conference on Digital Technologies 2013. Žilina: IEEE Computer Society, 2013.
p. 173-177. ISBN: 978-80-554-0682-4. Detail - SZURMAN, K. Fault Tolerant CAN Bus Control System Implemented into FPGA and its synchronization after failure and recovery. Počítačové architektury & diagnostika 2013. Plzeň: University of West Bohemia in Pilsen, 2013.
p. 21-26. ISBN: 978-1-4673-6136-1. Detail - VALENTA, V.; ŠÁTEK, V.; KUNOVSKÝ, J.; HUMENÁ, P. Adaptive Solution of Laplace Equation. In Proceedings of the 11th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2013.
p. 2285-2288. ISBN: 978-0-7354-1184-5. ISSN: 0094-243X. Detail - VAŠÍČEK, Z.; BIDLO, M.; SEKANINA, L. Evolution of efficient real-time non-linear image filters for FPGAs. SOFT COMPUTING, 2013, vol. 17, no. 11,
p. 2163-2180. ISSN: 1432-7643. Detail - VESELÝ, K.; GHOSHAL, A.; BURGET, L.; POVEY, D. Sequence-discriminative Training of Deep Neural Networks. Proceedings of Interspeech 2013. Proceedings of the 14th Annual Conference of the International Speech Communication Association (Interspeech 2013). Lyon: International Speech Communication Association, 2013.
p. 2345-2349. ISBN: 978-1-62993-443-3. ISSN: 2308-457X. Detail - VESELÝ, K.; HANNEMANN, M.; BURGET, L. Semi-supervised Training of Deep Neural Networks. Proceedings of ASRU 2013. Olomouc: IEEE Signal Processing Society, 2013.
p. 267-272. ISBN: 978-1-4799-2755-5. Detail - VESELÝ, V. Map-keš synchronizace pro LISP. Proceedings of the 19th Conference Student EEICT 2013 Volume 3. Brno: Fakulta informačních technologií VUT v Brně, 2013.
s. 234-239. ISBN: 978-80-214-4695-3. Detail - VESELÝ, V. LISP: nové paradigma ve směrování (1.). ROOT, informace nejen ze světa Linuxu, 2013, roč. 2013, č. 9,
s. 1-6. ISSN: 1212-8309. Detail - VESELÝ, V. LISP: nové paradigma ve směrování (2.). ROOT, informace nejen ze světa Linuxu, 2013, roč. 2013, č. 9,
s. 1-6. ISSN: 1212-8309. Detail - VESELÝ, V. LISP: nové paradigma ve směrování (3.). ROOT, informace nejen ze světa Linuxu, 2013, roč. 2013, č. 10,
s. 1-6. ISSN: 1212-8309. Detail - VESELÝ, V. LISP: nové paradigma ve směrování (4.). ROOT, informace nejen ze světa Linuxu, 2013, roč. 2013, č. 10,
s. 1-6. ISSN: 1212-8309. Detail - VESELÝ, V. LISP: nové paradigma ve směrování (5.). ROOT, informace nejen ze světa Linuxu, 2013, roč. 2013, č. 10,
s. 1-6. ISSN: 1212-8309. Detail - VESELÝ, V.; MATOUŠEK, P.; ŠVÉDA, M. Multicast simulation and modeling in OMNeT++. SimuTools '13 Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques. Brussels: International Communication Sciences and Technology Association, 2013.
p. 142-145. ISBN: 978-1-4503-2464-9. Detail - VESELÝ, V.; ŠVÉDA, M. Comparison of Proposals Suggesting Internet Architecture Change. Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2013.
p. 1-11. ISBN: 978-80-87952-00-9. Detail - VOJNAR, T.; KŘENA, B. Automated formal analysis and verification: an overview. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013, vol. 2013, no. 42,
p. 335-365. ISSN: 0308-1079. Detail - ZACHARIÁŠOVÁ, M. New Methods for Increasing Efficiency and Speed of Functional Verification. Počítačové architektury a diagnostika PAD 2013. Plzeň: University of West Bohemia in Pilsen, 2013.
p. 111-116. ISBN: 978-80-261-0270-0. Detail - ZACHARIÁŠOVÁ, M.; BOLCHINI, C.; KOTÁSEK, Z. Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability. IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Karlovy Vary: IEEE Computer Society, 2013.
p. 275-278. ISBN: 978-1-4673-6133-0. Detail - ZACHARIÁŠOVÁ, M.; BOLCHINI, C.; KOTÁSEK, Z. Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability. Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Avignon: COST, European Cooperation in Science and Technology, 2013.
p. 35-38. ISBN: 978-2-11-129175-1. Detail - ZACHARIÁŠOVÁ, M.; PŘIKRYL, Z.; HRUŠKA, T.; KOTÁSEK, Z. Automated Functional Verification of Application Specific Instruction-set Processors. IFIP Advances in Information and Communication Technology, 2013, vol. 4, no. 403,
p. 128-138. ISSN: 1868-4238. Detail - ŽÁDNÍK, M. Optimization of network flow monitoring. Information Sciences and Technologies Bulletin of the ACM Slovakia, 2013, vol. 5, no. 1,
p. 0-0. ISSN: 1338-1237. Detail - ŽÁK, J.; ZBOŘIL, F. JESTER - Methodology for Developing Wireless Sensor Networks Using Small Agents. Proceedings of the 12th International Conference on Informatics. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2013.
p. 198-203. ISBN: 978-80-8143-127-2. Detail - ZELENÝ, J.; BURGET, R. Isomorphic mapping of DOM trees for Cluster-Based Page Segmentation. Proceedings of the Twelfth International Conference on Informatics INFORMATICS'2013. Spišská Nová Ves: The University of Technology Košice, 2013.
p. 256-261. ISBN: 978-80-8143-127-2. Detail - ZELENÝ, J.; BURGET, R. Cluster-based Page Segmentation - a fast and precise method for web page pre-processing. In The Third International Conference on Web Intelligence, Mining and Semantics. Madrid: Association for Computing Machinery, 2013.
p. 1-12. ISBN: 978-1-4503-1850-1. Detail
2012
- BARTOŠ, P.; KOTÁSEK, Z. Reduction of Test Vectors Number based on Parasitic Capacity Extraction of Scan Chain Wires. Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2012.
p. 162-169. ISBN: 978-80-8143-049-7. Detail - BARTOŠ, V. Detekce anomálií v síťovém provozu. Počítačové architektury a diagnostika 2012. Milovy: Fakulta informačních technologií ČVUT, 2012.
s. 29-34. ISBN: 978-80-01-05106-1. Detail - BARTOŠ, V. Detekce anomálií v datech o síťovém provozu. Trilobit, 2012, roč. 2012, č. 2,
s. 1-6. ISSN: 1804-1795. Detail - BARTOŠ, V.; ŽÁDNÍK, M. Network Anomaly Detection: Comparison and Real-time Issues. Dependable Networks and Services. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2012.
p. 118-121. ISBN: 978-3-642-30632-7. Detail - BEDNAŘÍK, R.; HEROUT, A. What Students Want: A Study on the Role of Supervisor of Final Works in Computing Education. Proceedings of the 12th Koli Calling International Conference on Computing Education Research. New York: Association for Computing Machinery, 2012.
p. 118-125. ISBN: 978-1-4503-1795-5. Detail - BENDL, J.; ZENDULKA, J. Integration System for Functional Annotation of Single Nucleotide Polymorphism. ElectroScope - http://www.electroscope.zcu.cz, 2012, vol. 2012, no. 5,
p. 0-0. ISSN: 1802-4564. Detail - BIDLO, M.; VAŠÍČEK, Z. Evolution of Cellular Automata Using Instruction-Based Approach. In 2012 IEEE World Congress on Computational Intelligence. CA: Institute of Electrical and Electronics Engineers, 2012.
p. 1060-1067. ISBN: 978-1-4673-1508-1. Detail - BRUMMER, J.; CUMANI, S.; GLEMBEK, O.; KARAFIÁT, M.; MATĚJKA, P.; PEŠÁN, J.; PLCHOT, O.; SOUFIFAR, M.; DE VILLIERS, E.; ČERNOCKÝ, J. Description and analysis of the Brno276 system for LRE2011. In Proceedings of Odyssey 2012: The Speaker and Language Recognition Workshop. Singapur: International Speech Communication Association, 2012.
p. 216-223. ISBN: 978-981-07-3093-2. Detail - CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description. Proceedings of the 13th International Workshop on Microprocessor Test and Verification (MTV 2012). Austin, TX: Institute of Electrical and Electronics Engineers, 2012.
p. 6-12. ISBN: 978-1-4673-4441-8. Detail - D'HARO, L.; GLEMBEK, O.; PLCHOT, O.; MATĚJKA, P.; SOUFIFAR, M.; CORDOBA, R.; ČERNOCKÝ, J. Phonotactic Language Recognition using i-vectors and Phoneme Posteriogram Counts. Proceedings of Interspeech 2012. Proceedings of Interspeech. Portland, Oregon: International Speech Communication Association, 2012.
p. 1-4. ISBN: 978-1-62276-759-5. ISSN: 1990-9772. Detail - DITTRICH, P. Identification of Flight Parameters of Light Sport Aircraft. Proceedings of the 18th Conference STUDENT EEICT 2012. Volume 3. Brno: Brno University of Technology, 2012.
p. 464-468. ISBN: 978-80-214-4462-1. Detail - DLUHOŠ, O.; DVOŘÁK, R.; VÁŇA, J.; DRAHANSKÝ, M. Hand Surface as Biometric Identifier. Advanced Science and Technology Letters, Volume 4, 2012, vol. 8, no. 7,
p. 351-356. ISSN: 2287-1233. Detail - DOLEŽEL, M.; DRAHANSKÝ, M.; URBÁNEK, J.; BŘEZINOVÁ, E.; KIM, T. Influence of Skin Diseases on Fingerprint Quality and Recognition. In New Trends and Developments in Biometrics. Rijeka: InTech - Open Access Publisher, 2012.
p. 275-303. ISBN: 9789535108597. Detail - DOLÍHAL, L.; HRUŠKA, T.; MASAŘÍK, K. Usage of simulators in testing system. Industrial Simulation Conference. Brno: EUROSIS, 2012.
p. 74-78. ISBN: 978-90-77381-71-7. Detail - DOLÍHAL, L.; HRUŠKA, T.; MASAŘÍK, K. Testing of an automatically generated compiler, Review of retargetable testing system. International Journal on Advances in Software, 2012, vol. 2012, no. 1,
p. 15-26. ISSN: 1942-2628. Detail - DRAHANSKÝ, M.; DOLEŽEL, M.; URBÁNEK, J.; BŘEZINOVÁ, E.; KIM, T. Influence of Skin Diseases on Fingerprint Recognition. JOURNAL OF BIOMEDICINE AND BIOTECHNOLOGY, 2012, vol. 2012, no. 4,
p. 1-14. ISSN: 1110-7243. Detail - DRAHOŠOVÁ, M.; SEKANINA, L. Coevolution in Cartesian Genetic Programming. Proc. of the 15th European Conference on Genetic Programming. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2012.
p. 182-193. ISBN: 978-3-642-29138-8. Detail - DRAHOŠOVÁ, M.; SEKANINA, L. Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7491,
p. 163-172. ISSN: 0302-9743. Detail - DROZD, R.; HÁJEK, J.; DRAHANSKÝ, M. An algorithm for retina features extraction based on position of the blood vessel bifurcations. In Biometric Recognition. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Guangzhou: Springer London, 2012.
p. 308-315. ISBN: 978-3-642-35135-8. ISSN: 0302-9743. Detail - DUDKA, K.; MÜLLER, P.; PERINGER, P.; VOJNAR, T. Predator: A Verification Tool for Programs with Dynamic Linked Data Structures. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7214,
p. 544-547. ISSN: 0302-9743. Detail - ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P. Generic Source Code Migration Using Decompilation. 10th Annual Industrial Simulation Conference (ISC'2012). Brno: EUROSIS, 2012.
p. 38-42. ISBN: 978-90-77381-71-7. Detail - ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KÁBELE, B. Accurate Recovery of Functions in a Retargetable Decompiler. The 15th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2012). Lecture Notes in Computer Science. Amsterdam: Springer Verlag, 2012.
p. 390-392. ISBN: 978-3-642-33337-8. Detail - ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KÁBELE, B. Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler. 19th Working Conference on Reverse Engineering (WCRE 2012). Kingston, Ontario: IEEE Computer Society, 2012.
p. 51-60. ISBN: 978-0-7695-4891-3. Detail - FIEDOR, J.; VOJNAR, T. Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level. PADTAD '12. Proceedings of the 10th Workshop on Parallel and Distributed Systems. New York: Association for Computing Machinery, 2012.
p. 36-46. ISBN: 978-1-4503-1456-5. Detail - FIEDOR, J.; VOJNAR, T. ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7687,
p. 35-41. ISSN: 0302-9743. Detail - GRÉGR, M.; PODERMAŃSKI, T.; ŠVÉDA, M. User identification in IPV6 network. In IP Networking 1 -- Theory and Practice. Žilina: Zilina University Publisher, 2012.
p. 5-8. ISBN: 978-80-554-0494-3. Detail - HALFAR, P.; RÁB, J.; RYŠAVÝ, O.; ŠVÉDA, M. A Formal Authorization Framework for Networked SCADA Systems. Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012.
p. 298-302. ISBN: 978-0-7695-4664-3. Detail - HENZL, M.; HANÁČEK, P.; JURNEČKA, P.; KAČIC, M. A Concept of Automated Vulnerability Search in Contactless Communication Applications. Proceedings 46th Annual IEEE International Carnahan Conference on Security Technology. Boston: Institute of Electrical and Electronics Engineers, 2012.
p. 180-186. ISBN: 978-1-4673-4807-2. Detail - HERMAN, D.; ORSÁG, F.; DRAHANSKÝ, M. Object Tracking in Monochromatic Video Sequences Using Particle Filter. In 7th Scientific International Conference - Enviromental Protection of Population. Brno: Karel Englis College Inc., 2012.
p. 120-128. ISBN: 978-80-86710-57-0. Detail - HEROUT, A.; JURÁNKOVÁ, M.; HAVEL, J. Real-Time Detection of Lines and Grids: By PClines and Other Approaches. Springerbriefs in Computer Science. Springerbriefs in Computer Science. London: Springer London, 2012. 88 p. ISBN: 978-1-4471-4413-7. Detail
- HEROUT, A.; ZACHARIÁŠ, M.; JURÁNKOVÁ, M.; HAVEL, J. Fractal Marker Fields: No More Scale Limitations for Fiduciary Markers. Proceedings of the 2012 11th IEEE International Symposium on Mixed and Augmented Reality. Atlatnta, Georgia: Institute of Electrical and Electronics Engineers, 2012.
p. 1-2. ISBN: 978-1-4673-4660-3. Detail - HOLÍK, L.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T.; HABERMEHL, P. Forest Automata for Verification of Heap Manipulation. FORMAL METHODS IN SYSTEM DESIGN, 2012, vol. 2012, no. 41,
p. 83-106. ISSN: 0925-9856. Detail - HORÁČEK, J.; ZBOŘIL, F. Mobile code placement in wireless sensor networks. Proceedings of the 2012 12th International Conference on Intelligent Systems Design and Applications (ISDA). Kočín (Cochin): Institute of Electrical and Electronics Engineers, 2012.
p. 172-177. ISBN: 978-1-4673-5118-8. Detail - HORÁČEK, J.; ZBOŘIL, F.; HANÁČEK, P. Agent Aided Routing in Wireless Sensor Networks. Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering. Košice: The University of Technology Košice, 2012.
p. 119-126. ISBN: 978-80-8143-049-7. Detail - HORÁČEK, P.; MEDUNA, A. Synchronous Versions of Regulated Grammars: Generative Power and Linguistic Applications. Theoretical and Applied Informatics, 2012, vol. 24, no. 3,
p. 175-190. ISSN: 1896-5334. Detail - HULÍK, R. 3D Polygonal Model Curvature Approximation Based on Local Projections Method. Sborník prací konference a soutěže Student EEICT 2012. Brno: Department of Computer Graphics and Multimedia FIT BUT, 2012.
p. 436-440. ISBN: 978-80-214-4462-1. Detail - HULÍK, R.; BERAN, V.; ŠPANĚL, M.; KRŠEK, P.; SMRŽ, P. Fast and Accurate Plane Segmentation in Depth Maps for Indoor Scenes. In IEEE International Conference on Intelligent Robots and Systems. Vilamoura, Algarve: Department of Computer Graphics and Multimedia FIT BUT, 2012.
p. 1665-1670. ISBN: 978-1-4673-1737-5. ISSN: 2153-0858. Detail - IOSIF, R.; HOJJAT, H.; KONEČNÝ, F.; KUNCAK, V.; RUMMER, P. Accelerating Interpolants. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7561,
p. 187-202. ISSN: 0302-9743. Detail - JANDA, M. Grapheme Based Speech Recognition. Proceedings of the 18th Conference STUDENT EEICT 2012. Brno: Brno University of Technology, 2012.
p. 441-445. ISBN: 978-80-214-4460-7. Detail - JANDA, M.; KARAFIÁT, M.; ČERNOCKÝ, J. Dealing with Numbers in Grapheme-Based Speech Recognition. Proceedings of 15th International Conference on Text, Speech and Dialogue. Lecture Notes in Computer Science. Lecture Notes in Computer Science, 2012, Volume 7499. Springer-Verlag Berlin Heidelberg 2012: Springer Verlag, 2012.
p. 438-445. ISBN: 978-3-642-32789-6. ISSN: 0302-9743. Detail - JURÁNEK, R.; HRADIŠ, M.; ZEMČÍK, P. Real-time Algorithms of Object Detection with Classifiers. In Real-Time System. Rijeka: InTech - Open Access Publisher, 2012.
p. 1-22. ISBN: 9789535105107. Detail - KADLČEK, F. Návrh a optimalizace obrazových klasifikátorů. Počítačové architektury & diagnostika 2012. Milovy: Vydavatelství ČVUT, 2012.
s. 91-96. ISBN: 978-80-01-05106-1. Detail - KADLČEK, F.; FUČÍK, O. Evolutionary Design of Local Binary Pattern Feature Shapes for Object Detection. 2012 NASA/ESA Adaptive Hardware and Systems (AHS-2012) Conference. CFP1263A-USB. Nuremberg: IEEE Computer Society, 2012.
p. 1-8. ISBN: 978-1-4673-1914-0. Detail - KARAS, P.; SVOBODA, D.; ZEMČÍK, P. Optimalizace konvoluce velkých reálných 3D obrazů na GPU. Proceedings of ACVIS 2012. Heidelberg: Springer Verlag, 2012.
s. 59-71. ISBN: 978-3-642-33139-8. Detail - KAŠTIL, J.; STRAKA, M.; MIČULKA, L.; KOTÁSEK, Z. Dependability Analysis of Fault Tolerant Systems Based on Partial Dynamic Reconfiguration Implemented into FPGA. 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Cesme-Izmir: IEEE Computer Society, 2012.
p. 250-257. ISBN: 978-0-7695-4798-5. Detail - KEKELY, L.; PUŠ, V.; KOŘENEK, J. Low-Latency Modular Packet Header Parser for FPGA. ACM/IEEE Symposium on Architectures for Networking and Communications Systems. Austin: Association for Computing Machinery, 2012.
p. 77-78. ISBN: 978-1-4503-1685-9. Detail - KOČÍ, R.; JANOUŠEK, V. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. CEUR Workshop Proceedings, 2012, vol. 851, no. 06,
p. 253-266. ISSN: 1613-0073. Detail - KONEČNÝ, F.; HOJJAT, H.; IOSIF, R.; KUNCAK, V.; RUMMER, P.; GARNIER, F. A Verification Toolkit for Numerical Transition Systems. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7436,
p. 247-251. ISSN: 0302-9743. Detail - KONEČNÝ, F.; IOSIF, R.; BOZGA, M. Deciding Conditional Termination. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7214,
p. 252-266. ISSN: 0302-9743. Detail - KORČEK, P.; SEKANINA, L.; FUČÍK, O. Calibrating Traffic Simulation Model using Vehicle Travel Times. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7495,
p. 807-816. ISSN: 0302-9743. Detail - KORČEK, P.; SEKANINA, L.; FUČÍK, O. Evolutionary approach to calibration of cellular automaton based traffic simulation model. In Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems. Anchorage: IEEE Intelligent Transportation Systems Society, 2012.
p. 122-129. ISBN: 978-1-4673-3062-6. Detail - KORČEK, P.; ŽÁDNÍK, M. Lightweight benchmarking of platforms for network traffic processing. Proceedings of the 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). Tallin: IEEE Computer Society, 2012.
p. 278-283. ISBN: 978-1-4673-1185-4. Detail - KOŘENEK, J.; KORČEK, P.; KOŠAŘ, V.; ŽÁDNÍK, M.; VIKTORIN, J. A New Embedded Platform for Rapid Development of Networking Applications. Proceedings of the 2012 Seventh ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS 2012). Austin: IEEE Computer Society, 2012.
p. 81-82. ISBN: 978-1-4503-1684-2. Detail - KŘOUSTEK, J.; KOLÁŘ, D. Object-File-Format Description Language and Its Usage in Retargetable Decompilation. In AIP Conference Proceedings. AIP Conference Proceedings. Kos: American Institute of Physics, 2012.
p. 466-469. ISBN: 978-0-7354-1091-6. ISSN: 1551-7616. Detail - KŘOUSTEK, J.; MATULA, P.; KONČICKÝ, J.; KOLÁŘ, D. Accurate Retargetable Decompilation Using Debug Information. Proceedings of the Sixth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE'12). Rome: International Academy, Research, and Industry Association, 2012.
p. 79-84. ISBN: 978-1-61208-209-7. Detail - KUNOVSKÝ, J.; KRAUS, M.; ŠÁTEK, V.; SZÖLLÖS, A. Parallel Computations Based on Numerical Integration Methods. In Proceedings of the 10th International Conference of Numerical Analysis and Applied Mathematics. AIP Conference Proceedings. Kos: American Institute of Physics, 2012.
p. 2217-2220. ISBN: 978-0-7354-1091-6. ISSN: 1551-7616. Detail - KUNOVSKÝ, J.; ŠÁTEK, V.; VOPĚNKA, V. Stiffness in Technical Initial Problems. In Proceedings of the 10th International Conference of Numerical Analysis and Applied Mathematics. AIP Conference Proceedings. Kos: American Institute of Physics, 2012.
p. 2221-2224. ISBN: 978-0-7354-1091-6. ISSN: 1551-7616. Detail - KUPČÍK, J.; HRUŠKA, T. Towards Online Data Mining System for Enterprises. Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012). Wrocław: SciTePress - Science and Technology Publications, 2012.
p. 187-192. ISBN: 978-989-8565-13-6. Detail - LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T. VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7214,
p. 79-94. ISSN: 0302-9743. Detail - MACHALÍK, S.; JURÁNEK, R.; ZEMČÍK, P. Research of Imgae Features for Classification of Wear Debris. Machine Graphics and Vision, 2012, vol. 20, no. 1,
p. 479-493. ISSN: 1230-0535. Detail - MALAČKA, O.; SAMEK, J.; ZBOŘIL, F.; ZBOŘIL, F. Interval Trust Representation. Proceedings of CSE 2012 International Conference on Computer Science and Engineering. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2012.
p. 175-182. ISBN: 978-80-8143-049-7. Detail - MALAČKA, O.; SAMEK, J.; ZBOŘIL, F.; ZBOŘIL, F. Case Study: Different Approaches and Their Aspects for Partner Selection Based on Trust. In Proceedings of the 2012 12th International Conference on Intelligent Systems Design and Applications (ISDA). Kochi, Indie: Institute of Electrical and Electronics Engineers, 2012.
p. 285-290. ISBN: 978-1-4673-5118-8. Detail - MALČÍK, D.; DRAHANSKÝ, M. Anatomy of Biometric Passports. Advanced Science and Technology Letters, Volume 4, 2012, vol. 2012, no. 4,
p. 258-263. ISSN: 2287-1233. Detail - MALČÍK, D.; DRAHANSKÝ, M. Anatomy of Biometric Passports. JOURNAL OF BIOMEDICINE AND BIOTECHNOLOGY, 2012, vol. 2012, no. 1,
p. 1-8. ISSN: 1110-7243. Detail - MALČÍK, D.; DRAHANSKÝ, M. Microscopic Analysis of The Chips: Chips deprocessing. Advanced Science and Technology Letters, Volume 4, 2012, vol. 2012, no. 7,
p. 80-85. ISSN: 2287-1233. Detail - MATĚJKA, P.; PLCHOT, O.; SOUFIFAR, M.; GLEMBEK, O.; D'HARO, L.; VESELÝ, K.; GRÉZL, F.; MA, J.; MATSOUKAS, S.; DEHAK, N. Patrol Team Language Identification System for DARPA RATS P1 Evaluation. Proceedings of Interspeech 2012. Proceedings of Interspeech. Portland, Oregon: International Speech Communication Association, 2012.
p. 1-4. ISBN: 978-1-62276-759-5. ISSN: 1990-9772. Detail - MATES, V.; HRUŠKA, T. Context-Based Adaptation of Process Definition. BUSTECH 2012 : The Second International Conference on Business Intelligence and Technology. Nice: The International Academy, Research and Industry Association, 2012.
p. 25-31. ISBN: 978-1-61208-223-3. Detail - MATOUŠEK, J. Optimalizace vyhledání nejdelšího prefixu síťové adresy s využitím částečné dynamické rekonfigurace FPGA. Počítačové architektury a diagnostika. Milovy: Fakulta informačních technologií ČVUT, 2012.
s. 67-72. ISBN: 978-80-01-05106-1. Detail - MEDUNA, A.; VRÁBEL, L.; ZEMEK, P. An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets. DCFS'12: 14th International Workshop on Descriptional Complexity of Formal Systems. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Braga: Springer Verlag, 2012.
p. 236-243. ISBN: 978-3-642-31622-7. ISSN: 0302-9743. Detail - MEDUNA, A.; ZEMEK, P. Controlled Pure Grammar Systems. Journal of Universal Computer Science, 2012, vol. 18, no. 14,
p. 2024-2040. ISSN: 0948-6968. Detail - MEDUNA, A.; ZEMEK, P. Jumping Finite Automata. International Journal of Foundations of Computer Science, 2012, vol. 23, no. 7,
p. 1555-1578. ISSN: 0129-0541. Detail - MEDUNA, A.; ZEMEK, P. Nonterminal Complexity of One-Sided Random Context Grammars. Acta Informatica, 2012, vol. 49, no. 2,
p. 55-68. ISSN: 0001-5903. Detail - MEDUNA, A.; ZEMEK, P. One-Sided Forbidding Grammars and Selective Substitution Grammars. International Journal of Computer Mathematics, 2012, vol. 89, no. 5,
p. 586-596. ISSN: 0020-7160. Detail - MEDUNA, A.; ZEMEK, P. One-Sided Random Context Grammars with Leftmost Derivations. In LNCS Festschrift Series: Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday. Berlin-Heidelberg: Springer Verlag, 2012.
p. 160-173. ISBN: 978-3-642-31643-2. Detail - MIČULKA, L.; KOTÁSEK, Z. Design Sychronization after Partial Dynamic Reconfiguration of Fault Tolerant System. 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Cesme-Izmir: IEEE Computer Society, 2012.
p. 20-21. ISBN: 978-3-902457-33-2. Detail - MILIČKA, M.; BURGET, R. Využití ontologií k popisu vizuálních rysů dokumentu. Proceedings of 7th Workshop on Intelligent and Knowledge Oriented Technologies (WIKT 2012). Smolenice: Vydavateľstvo STU, 2012.
s. 85-88. ISBN: 978-80-227-3812-5. Detail - MRÁČEK, Š.; VÁŇA, J.; DVOŘÁK, R.; DRAHANSKÝ, M.; YANUSHKEVICH, S. 3D and Thermo-face Recognition. In New Trends and Developments in Biometrics. Rijeka: InTech - Open Access Publisher, 2012.
p. 31-58. ISBN: 9789535108597. Detail - MRÁČEK, Š.; VÁŇA, J.; YANUSHKEVICH, S.; DRAHANSKÝ, M.; DVOŘÁK, R. Thermal Face Recognition - Fusion of common used methods. In Proceedings of the Emerging Security Technologies (EST 2012). Lisabon: IEEE Computer Society, 2012.
p. 1-4. ISBN: 978-0-7695-4791-6. Detail - NAHHAS, I.; DRAHANSKÝ, M. Comparison of Fast Block Matching Algorithms for Motion Estimation. Proceedings of IMC2012. Hradec Králové: Ministry of Industry and Trade of the Czech Republic, 2012.
p. 3139-3145. ISBN: 978-80-905243-3-0. Detail - NAVRÁTIL, J.; KOBRTEK, J.; ZEMČÍK, P. A Survey on Methods for Omnidirectional Shadow Rendering. Journal of WSCG, 2012, vol. 20, no. 2,
p. 89-96. ISSN: 1213-6972. Detail - NAVRÁTIL, J.; ZEMČÍK, P.; JURÁNEK, R.; PEČIVA, J. A Skewed Paraboloid Cut for Better Shadow Rendering. Proceedings of Computer Graphics International 2012. Berlin: Springer Verlag, 2012.
p. 1-4. ISBN: 978-1-85899-283-9. Detail - OČENÁŠEK, P.; HRANÁČ, J. Design of Authentication and Key Distribution Protocols with Routing Functionality. Journal of Information & Communication Technology, 2012, vol. 5, no. 1,
p. 1-11. ISSN: 1816-613X. Detail - OČENÁŠEK, P.; MÍCHAL, L. Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae. Applied Mechanics and Materials, 2012, vol. 2012, no. 157,
p. 870-873. ISSN: 1660-9336. Detail - OČENÁŠEK, P.; ŠVÉDA, M. Communication in Business Information Systems - New Perspectives. Proceedings of ARC 2012 International Conference on Business and Management. Bangalore: Siemens, Corporate Research and Development, 2012.
p. 257-262. ISBN: 978-0-615-73960-1. Detail - OČENÁŠEK, P.; ŠVÉDA, M. Analysis and Filtering of Network Communication in ISP Firewalls. Lecture Notes in Information Technology, 2012, vol. 2012, no. 38,
p. 491-494. ISSN: 2070-1918. Detail - PETRLÍK, J.; KORČEK, P.; FUČÍK, O.; BESZÉDEŠ, M.; SEKANINA, L. Estimation of traffic density map using evolutionary algorithm. In Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems. Anchorage: IEEE Intelligent Transportation Systems Society, 2012.
p. 632-637. ISBN: 978-1-4673-3062-6. Detail - PETRLÍK, J.; SEKANINA, L. Multiobjective Evolution of Multiple-Constant Multipliers. Proceedings of the 18th International Conference on Soft Computing (MENDEL2012). Brno: Faculty of Mechanical Engineering BUT, 2012.
p. 64-69. ISBN: 978-80-214-4540-6. Detail - PLCHOT, O.; KARAFIÁT, M.; BRUMMER, J.; GLEMBEK, O.; MATĚJKA, P.; DE VILLIERS, E.; ČERNOCKÝ, J. Speaker vectors from Subspace Gaussian Mixture Model as complementary features for Language Identification. In Proceedings of Odyssey 2012, The Speaker and Language Recognition Workshop. Singapur: International Speech Communication Association, 2012.
p. 330-333. ISBN: 978-981-07-3093-2. Detail - PROCHÁZKA, B.; DRAHANSKÝ, M.; HANÁČEK, P. Únos výpočetního toku v obsluze systémových volání na operačním systému Linux. IMEA 2012 Sborník příspěvků 12.ročníku doktorandské konference. Hradec Králové: Univerzita Hradec Králové, 2012.
s. 19-24. ISBN: 978-80-7435-185-3. Detail - PUŠ, V.; KOŘENEK, J. Reducing memory in high-speed packet classification. Proceedings of the 8th International Wireless Communications and Mobile Computing Conference. Limassol: Frederick University, 2012.
p. 437-442. ISBN: 978-1-4577-1377-4. Detail - RATH, S.; KARAFIÁT, M.; GLEMBEK, O.; ČERNOCKÝ, J. A factorized representation of FMLLR transform based on QR-decomposition. Proceedings of Interspeech 2012. Proceedings of Interspeech. Portland, Oregon: International Speech Communication Association, 2012.
p. 1-4. ISBN: 978-1-62276-759-5. ISSN: 1990-9772. Detail - RŮŽIČKA, R.; ŠIMEK, V. NAND/NOR Gate Polymorphism in Low Temperature Environment. Proceedings of the 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. Tallinn: Institute of Electrical and Electronics Engineers, 2012.
p. 34-37. ISBN: 978-1-4673-1185-4. Detail - RŮŽIČKA, R.; ŠIMEK, V. Polymeric Polymorphic Electronics: Towards Multifunctional Logic Elements Based on Organic Semiconductor Materials. Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineerig. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2012.
p. 154-161. ISBN: 978-80-8143-049-7. Detail - RYŠAVÝ, O.; ŠVÉDA, M.; VRBA, R. A Framework for Cyber-Physical Systems Design - A Concept Study. Proceedings ICONS 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012.
p. 79-82. ISBN: 978-1-61208-184-7. Detail - SALVADOR, R.; OTERO, A.; MORA, J.; DE LA TORRE, E.; RIESGO, T.; SEKANINA, L. Implementation Techniques for Evolvable HW Systems: Virtual vs. Dynamic Reconfiguration. Proc. of the 22nd International Conference on Field Programmable Logic and Applications (FPL). Oslo: IEEE Computer Society, 2012.
p. 547-550. ISBN: 978-1-4673-2257-7. Detail - SALVADOR, R.; VIDAL, A.; MORENO, F.; RIESGO, T.; SEKANINA, L. Accelerating FPGA-based evolution of wavelet transform filters by optimized task scheduling. Microprocessors and Microsystems, 2012, vol. 36, no. 5,
p. 427-438. ISSN: 0141-9331. Detail - SAMEK, J. Multi-contextual Trust Model for Multi-Agent Systems. Information Sciences and Technologies Bulletin of the ACM Slovakia, 2012, vol. 4, no. 1,
p. 44-54. ISSN: 1338-1237. Detail - SAMEK, J.; MALAČKA, O.; KRÁL, J.; ZBOŘIL, F.; ZBOŘIL, F. HMTCsim: A simulation tool for multi-agent systems with using decision making based on trust. Proceedings of Third International Conference on Computer Modelling and Simulation. Brno: Faculty of Information Technology BUT, 2012.
p. 80-85. ISBN: 978-80-214-4576-5. Detail - ŠÁTEK, V. Stiff Systems Analysis. Information Sciences and Technologies Bulletin of the ACM Slovakia, 2012, vol. 4, no. 3,
p. 1-11. ISSN: 1338-1237. Detail - ŠÁTEK, V.; KUNOVSKÝ, J.; KOPŘIVA, J. Advanced Stiff Systems Detection. Acta Electrotechnica et Informatica, 2012, vol. 11, no. 4,
p. 66-71. ISSN: 1335-8243. Detail - ŠÁTEK, V.; KUNOVSKÝ, J.; TOPOLÁNEK, D.; VOPĚNKA, V. Telegraph Equation and its Application in Medium Voltage Line. In Proceeding of the 13th International Scientific Conference Electric Power Engineering 2012. Brno: Faculty of Electrical Engineering and Communication BUT, 2012.
p. 175-180. ISBN: 978-80-214-4514-7. Detail - SEKANINA, L.; SALAJKA, V. Towards New Applications of Multi-Function Logic: Image Multi-Filtering. Proc. of the 2012 Design, Automation and Test in Europe. Dresden: European Design and Automation Association, 2012.
p. 824-827. ISBN: 978-1-4577-2145-8. Detail - SEKANINA, L.; SALAJKA, V.; VAŠÍČEK, Z. Two-Step Evolution of Polymorphic Circuits for Image Multi-Filtering. In 2012 IEEE World Congress on Computational Intelligence. CA: Institute of Electrical and Electronics Engineers, 2012.
p. 432-439. ISBN: 978-1-4673-1508-1. Detail - SEKANINA, L.; VAŠÍČEK, Z. A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits. Proc. of the 2012 Design, Automation and Test in Europe. Dresden: European Design and Automation Association, 2012.
p. 715-720. ISBN: 978-1-4577-2145-8. Detail - ŠKODA, P.; ŠPERKA, S.; SMRŽ, P. Extracting Information from Scientific Papers in the Cloud. Proceedings of Sixth International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2012). Palermo: IEEE Computer Society, 2012.
p. 775-780. ISBN: 978-0-7695-4687-2. Detail - SMOLKA, T.; ŠVENDA, P.; SEKANINA, L.; MATYÁŠ, V. Evolutionary Design of Message Efficient Secrecy Amplification Protocols. Proc. of the 15th European Conference on Genetic Programming. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2012.
p. 194-205. ISBN: 978-3-642-29138-8. Detail - ŠPERKA, S.; SMRŽ, P. Towards Adaptive and Semantic Database Model for RDF Data Stores. Proceedings of Sixth International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2012). Palermo: IEEE Computer Society, 2012.
p. 810-815. ISBN: 978-0-7695-4687-2. Detail - STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z. Methodology for Reliability Analysis of FPGA-based Fault Tolerant Systems. CSE'2012 International Scientific Conference on Computer Science and Engineering. Košice: The University of Technology Košice, 2012.
p. 146-153. ISBN: 978-80-8143-049-7. Detail - STRAKA, M.; MIČULKA, L.; KAŠTIL, J.; KOTÁSEK, Z. Test Platform for Fault Tolerant Systems Design Qualities Verification. 15th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Tallin: IEEE Computer Society, 2012.
p. 336-341. ISBN: 978-1-4673-1185-4. Detail - STRNADEL, J. Monitoring-Driven HW/SW Interrupt Overload Prevention for Embedded Real-Time Systems. In Proceedings of the 15th International IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). Tallin: IEEE Computer Society, 2012.
p. 121-126. ISBN: 978-1-4673-1188-5. Detail - STRNADEL, J. Plánování úloh v systémech RT - I: závislé úlohy. Automa, 2012, roč. 18, č. 10,
s. 42-45. ISSN: 1210-9592. Detail - STRNADEL, J. Plánování úloh v systémech RT - II: neperiodické úlohy. Automa, 2012, roč. 18, č. 11,
s. 44-46. ISSN: 1210-9592. Detail - STRNADEL, J. Plánování úloh v systémech RT - III: přetížení systému. Automa, 2012, roč. 18, č. 12,
s. 44-47. ISSN: 1210-9592. Detail - STRNADEL, J.; RAJNOHA, P. Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study. Acta Electrotechnica et Informatica, 2012, vol. 12, no. 4,
p. 17-29. ISSN: 1335-8243. Detail - STRNADEL, J.; SLIMAŘÍK, F. On Distribution and Impact of Fault Effects at Real-Time Kernel and Application Levels. Proceedings of the 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Pistacaway: IEEE Computer Society, 2012.
p. 272-279. ISBN: 978-0-7695-4798-5. Detail - ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Static Analysis of Routing and Firewall Policy Configurations. In e-Business and Telecommunications. Communications in Computer and Information Science. LNCS CCIS, Vol.222. Heidelberg: Springer Science+Business Media B.V., 2012.
p. 39-53. ISBN: 978-3-642-25205-1. ISSN: 1865-0929. Detail - ŠVÉDA, M.; SEKLETÁR, M.; FIDLER, T.; RYŠAVÝ, O. A High-level Network-wide Router Configuration Language. Proceedings ICN 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012.
p. 18-21. ISBN: 978-1-61208-183-0. Detail - SZENTANDRÁSI, I.; HEROUT, A.; JURÁNKOVÁ, M. Fast Detection and Recognition of QR codes in High-Resolution Images. Proceedings of 28th Spring conference on Computer Graphics. Bratislava: Comenius University in Bratislava, 2012.
p. 1-8. ISBN: 978-1-4503-1977-5. Detail - SZENTANDRÁSI, I.; ZACHARIÁŠ, M.; HAVEL, J.; HEROUT, A.; JURÁNKOVÁ, M.; KAJAN, R. Uniform Marker Fields: Camera Localization By Orientable De Bruijn Tori. Proceedings of the 2012 11th IEEE International Symposium on Mixed and Augmented Reality. Atlatnta, Georgia: Institute of Electrical and Electronics Engineers, 2012.
p. 1-2. ISBN: 978-1-4673-4661-0. Detail - SZŐKE, I.; FAPŠO, M.; VESELÝ, K. BUT2012 přístup pro Spoken Web Search úkol na MediaEval2012. Working Notes Proceedings of the MediaEval 2012 Workshop. CEUR Workshop Proceedings. Pisa: CEUR-WS.org, 2012.
s. 1-2. ISSN: 1613-0073. Detail - SZŐKE, I.; FAPŠO, M.; ŽIŽKA, J.; BERAN, V.; ČERNOCKÝ, J. Efektivní přístup ke znalostem v audio-vizuálních záznamech. Proceedings of the Annual Database Conference. Praha: Technická univerzita v Košiciach, 2012.
s. 57-74. ISBN: 978-80-553-1049-7. Detail - TEJEDOR, J.; FAPŠO, M.; SZŐKE, I.; ČERNOCKÝ, J.; GRÉZL, F. Comparison of methods for language-dependent and language-independent query-by-example spoken term detection. ACM TRANSACTIONS ON INFORMATION SYSTEMS, 2012, vol. 2012, no. 30,
p. 1-34. ISSN: 1046-8188. Detail - TRCHALÍK, R.; ŠVÉDA, M. Unified Sensor Gateway Interconnection of Sensor Networks. Proceedings 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Sy. Programmable devices and systems. Programmable Devices and Embedded Systems, Volume # 11 | Part# 1. Brno: Faculty of Electrical Engineering and Communication BUT, 2012.
p. 372-377. ISBN: 978-3-902823-21-2. ISSN: 1474-6670. Detail - VÁŇA, J.; MRÁČEK, Š.; YANUSHKEVICH, S.; DRAHANSKÝ, M. Applying Fusion in Thermal Face Recognition. In BIOSIG 2012. GI-Edition Lecture Notes in Informatics (LNI). Lecture Notes in Informatics (LNI) - Proceedings. Darmstadt: Fraunhofer Institute - Graphic Data Processing Institute, 2012.
p. 233-244. ISBN: 978-3-88579-290-1. ISSN: 1617-5468. Detail - VAŠÍČEK, Z.; SEKANINA, L. On Area Minimization of Complex Combinational Circuits Using Cartesian Genetic Programming. In 2012 IEEE World Congress on Computational Intelligence. CA: Institute of Electrical and Electronics Engineers, 2012.
p. 2379-2386. ISBN: 978-1-4673-1508-1. Detail - VAŠÍČEK, Z.; SLANÝ, K. Efficient Phenotype Evaluation in Cartesian Genetic Programming. In Proc. of the 15th European Conference on Genetic Programming. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2012.
p. 266-278. ISBN: 978-3-642-29138-8. Detail - VESELÝ, K.; KARAFIÁT, M.; GRÉZL, F.; JANDA, M.; EGOROVA, E. The Language-Independent Bottleneck Features. Proceedings of IEEE 2012 Workshop on Spoken Language Technology. Miami: IEEE Signal Processing Society, 2012.
p. 336-341. ISBN: 978-1-4673-5124-9. Detail - VESELÝ, V.; ŠVÉDA, M. L2 protocols in OMNeT++. In IP Networking 1 -- Theory and Practice. Žilina: Zilina University Publisher, 2012.
p. 37-40. ISBN: 978-80-554-0494-3. Detail - ŽÁK, J.; HORÁČEK, J.; ZBOŘIL, F.; KOČÍ, R.; KRÁL, J. JADE Agents Used for Wireless Sensors Control: System Based on Services. Proceedings of the 2012 12th International Conference on Intelligent Systems Design and Applications (ISDA). Kochi (Cochin): Institute of Electrical and Electronics Engineers, 2012.
p. 252-257. ISBN: 978-1-4673-5118-8. Detail - ŽÁK, J.; ZBOŘIL, F.; HANÁČEK, P. Jade Agents to Wireless Sensors: Case study. Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering. Košice: The University of Technology Košice, 2012.
p. 95-102. ISBN: 978-80-8143-049-7. Detail - ŽALOUDEK, L.; SEKANINA, L. Cellular automata-based systems with fault-tolerance. Natural Computing, 2012, vol. 11, no. 4,
p. 673-685. ISSN: 1567-7818. Detail - ZENDULKA, J.; PEŠEK, M. Mining Moving Object Data. Central European Journal of Computer Science, 2012, vol. 2, no. 3,
p. 183-193. ISSN: 1896-1533. Detail - ZUZAŇÁK, J.; ZEMČÍK, P. Script Language for Image Processing. Computing and Informatics, 2012, vol. 2012, no. 31,
p. 1279-1293. ISSN: 1335-9150. Detail
2011
- BARTOŠ, V.; ŽÁDNÍK, M. Hardware precomputation of entropy for anomaly detection. Proceedings of the 7th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. New York: IEEE Computer Society, 2011.
p. 219-220. ISBN: 978-0-7695-4521-9. Detail - ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Advanced Static Analysis for Decompilation Using Scattered Context Grammars. Proceedings of the Applied Computing Conference 2011 (ACC'11). Angers: World Scientific and Engineering Academy, 2011.
p. 164-169. ISBN: 978-1-61804-051-0. Detail - ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Design of an Automatically Generated Retargetable Decompiler. 2nd European Conference of COMPUTER SCIENCE (ECCS'11). Puerto De La Cruz, Tenerife: North Atlantic University Union, 2011.
p. 199-204. ISBN: 978-1-61804-056-5. Detail - GAJDA, Z.; SEKANINA, L. Recent Advances in Evolutionary Synthesis and Optimization of Ordinary and Polymorphic Circuits. Brno: Faculty of Information Technology BUT, 2011. 111 p. ISBN: 978-80-214-4417-1. Detail
- HRUBÝ, M. Designing a New Raster Sub-System for GRASS-7. Proceedings of the Workshop Geoinformatics FCE CTU 2006, 2011, vol. 6, no. 1,
p. 11-30. ISSN: 1802-2669. Detail - JANOUŠEK, V. Simulace a návrh vyvíjejících se systémů. Brno: Fakulta informačních technologií VUT v Brně, 2011. 123 s. ISBN: 978-80-214-4414-0. Detail
- KLÍMA, O. Forensic Identification of Children Faces. Proceedings of the 17th Conference STUDENT EEICT 2011. Brno: Vysoké učení technické v Brně, 2011.
s. 1-3. ISBN: 978-80-214-4273-3. Detail - KORČEK, P.; KOŠAŘ, V.; ŽÁDNÍK, M.; KORANDA, K.; KAŠTOVSKÝ, P. Hacking NetCOPE to run on NetFPGA-10G. Proceedings of the 2011 Seventh ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS 2011). Brooklyn, New York: IEEE Computer Society, 2011.
p. 1-2. ISBN: 978-0-7695-4521-9. Detail - MRÁČEK, Š. 3D Face Recognition. Saarbrücken: Lambert Academic Publishing, 2011. 81 p. ISBN: 978-3-8465-4450-1. Detail
- PEČIVA, J.; PŘIBYL, J.; NAVRÁTIL, J. Close-to-photorealistic Lighting for Simulations and CAD. 2011 International Simulation Multiconference - SCS (SCSC, SPECTS, GCMS) - SCSC Proceedings (Hard-Copy) 11. Hague: SCS Publication House, 2011.
p. 1-2. ISBN: 1-56555-345-4. Detail - ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Reachability Analysis in Dynamically Routed Networks. Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011.
p. 197-205. ISBN: 978-0-7695-4379-6. Detail
2015
- Multifunctional camera system with automated processing of video data, utility model, 2015
Authors: DRAHANSKÝ, M.; ZENDULKA, J.; ZEMČÍK, P.; FRÖML, V.; MRÁČEK, Š.; BERAN, V. - Ophthalmic Diagnostic Apparatus and Method of its Operation, patent, 2015
Authors: DRAHANSKÝ, M.; PROVAZNÍK, V.; KOLÁŘ, R.; HÁJEK, J. - Ophthalmic diagnostic apparatus and the way of its use, patent, 2015
Authors: DRAHANSKÝ, M.; PROVAZNÍK, V.; KOLÁŘ, R.; HÁJEK, J.
2014
- Ophthalmic diagnostic apparatus, utility model, 2014
Authors: DRAHANSKÝ, M.; PROVAZNÍK, V.; KOLÁŘ, R.; HÁJEK, J. - Way of liveness detection in biometric systems using security sensor based on heart beating frequency, patent, 2014
Authors: DRAHANSKÝ, M.; HOMOLA, A.
2013
- Decentralized supervisory network enabling request and analysis of supervisory data, patent, 2013
Authors: CHMELAŘ, P.; ZENDULKA, J. - Nonlinear image filter, patent, 2013
Authors: SEKANINA, L.; VAŠÍČEK, Z.
2012
- Method and device for digital image correction, patent, 2012
Authors: ZEMČÍK, P.; HEROUT, A.; SEEMAN, M.; PŘIBYL, B. - Method of distribution of data throgh a loop and the distribution block of the loop for this purpose, patent, 2012
Authors: ZEMČÍK, P.; BERAN, V.; ZUZAŇÁK, J.; ŽÁDNÍK, M.; HAVEL, J.; HEROUT, A.; HRADIŠ, M.; JURÁNEK, R.