Detail projektu

The IT4Innovations Centre of Excellence

Období řešení: 01.01.2011 — 31.12.2015

O projektu

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.

Popis česky
IT4Innovations je unikátní projekt, jehož cílem je vybudovat národní centrum excelentního výzkumu v oblasti informačních technologií. Toto nově vybudované centrum umožní posílit koncentraci celé řady vědních oborů vztahujících se k informačním technologiím a dosáhnout jejich rozvoje.Součástí projektu bude mj. pořízení velmi výkonného superpočítače, který by měl být uveden do provozu okolo roku 2014, přičemž by se měl v té době zařadit mezi 100 nejvýkonnějších superpočítačů na světě. Projekt společně připravuje pět subjektů: Vysoká škola báňská-Technická univerzita Ostrava, Ostravská univerzita v Ostravě, Slezská univerzita v Opavě, Vysoké učení technické v Brně a Ústav geoniky AV ČR.  

Klíčová slova
information technology, security, safety

Klíčová slova česky
informační technologie, superpočítač, bezpečnost

Označení

ED1.1.00/02.0070

Originální jazyk

angličtina

Řešitelé

Hruška Tomáš, prof. Ing., CSc.
- hlavní řešitel (01.01.2011 - 31.12.2015)
Vondrák Ivo, prof. Ing., CSc.
- hlavní řešitel (01.01.2011 - 31.12.2015)
Bartík Vladimír, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Bařina David, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Beran Vítězslav, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Bidlo Michal, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Bouša Zdeněk, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Burget Lukáš, doc. Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Burget Radek, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Burianová Michaela, Mgr.
- spoluřešitel (01.01.2011 - 31.12.2015)
Dolíhal Luděk, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Drahošová Michaela, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Dytrych Jaroslav, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Hájek Josef, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Hannemann Mirko, Dipl.-Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Havel Jiří, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Holík Lukáš, Mgr., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Hradiš Michal, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Hrubý Martin, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Chalupníček Kamil, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Chmelař Petr, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Chudý Peter, doc. Ing., Ph.D., MBA
- spoluřešitel (01.01.2011 - 31.12.2015)
Janoušek Vladimír, doc. Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Juránek Roman, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Kajan Rudolf, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Kaštil Jan, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Kočí Radek, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Kolář Dušan, doc. Dr. Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Kolář Martin, M.Sc.
- spoluřešitel (01.01.2011 - 31.12.2015)
Kouřil Jan, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Křivka Zbyněk, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Kubíček Radek, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Kula Michal, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Kunovský Jiří, doc. Ing., CSc.
- spoluřešitel (01.01.2011 - 31.12.2015)
Martínek Tomáš, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Masařík Karel, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Materna Zdeněk, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Matoušek Jiří, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Matoušek Petr, Ing., Ph.D., M.A.
- spoluřešitel (01.01.2011 - 31.12.2015)
Ondráček Tomáš, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Orság Filip, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Otrusina Lubomír, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Páldy Alexander, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Pavelková Alena, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Peringer Petr, Dr. Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Petrlík Jiří, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Plchot Oldřich, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Polok Lukáš, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Ráb Jaroslav, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Richta Tomáš, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Rogalewicz Adam, doc. Mgr., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Rozman Jaroslav, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Růžička Richard, doc. Ing., Ph.D., MBA
- spoluřešitel (01.01.2011 - 31.12.2015)
Ryšavý Ondřej, doc. Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Řezníček Ivo, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Samek Jan, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Sochor Jakub, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Soukup Ondřej, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Starka Tomáš, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Strnadel Josef, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Szőke Igor, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Šimek Václav, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Škoda Petr, RNDr.
- spoluřešitel (01.01.2011 - 31.12.2015)
Španěl Michal, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Váňa Jan, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Vašíček Zdeněk, doc. Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Veľas Martin, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Veselý Karel, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Veselý Vladimír, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Zachariáš Michal, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Zachariášová Marcela, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Záň Drahoslav, Ing.
- spoluřešitel (01.01.2011 - 31.12.2015)
Zbořil František, doc. Ing., CSc.
- spoluřešitel (01.01.2011 - 31.12.2015)
Zbořil František, doc. Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)
Zemek Petr, Ing., Ph.D.
- spoluřešitel (01.01.2011 - 31.12.2015)

Útvary

Ústav informačních systémů
- odpovědné pracoviště (03.09.2010 - 31.12.2015)
Fakulta informačních technologií
- spolupříjemce (03.09.2010 - 31.12.2015)
Slezská univerzita v Opavě
- spolupříjemce (03.09.2010 - 31.12.2015)
Vysoká škola báňská - Technická univerzita Ostrava
- příjemce (03.09.2010 - 31.12.2015)

Zdroje financování

Ministerstvo školství, mládeže a tělovýchovy ČR - Operační program Výzkum a vývoj pro inovace
- plně financující (2011-01-01 - 2015-12-31)

Výsledky

ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Reachability Analysis in Dynamically Routed Networks. In Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011. p. 197-205. ISBN: 978-0-7695-4379-6.
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. In 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

PEČIVA, J.; PŘIBYL, J.; NAVRÁTIL, J. Close-to-photorealistic Lighting for Simulations and CAD. In 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

KORČEK, P.; KOŠAŘ, V.; ŽÁDNÍK, M.; KORANDA, K.; KAŠTOVSKÝ, P. Hacking NetCOPE to run on NetFPGA-10G. In 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

BARTOŠ, V.; ŽÁDNÍK, M. Hardware precomputation of entropy for anomaly detection. In 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. In 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

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

MRÁČEK, Š. 3D Face Recognition. Saarbrücken: Lambert Academic Publishing, 2011. 81 p. ISBN: 978-3-8465-4450-1.
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

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

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

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. In 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

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

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

SEKANINA, L.; SALAJKA, V. Towards New Applications of Multi-Function Logic: Image Multi-Filtering. In 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.; VAŠÍČEK, Z. A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits. In 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

DRAHOŠOVÁ, M.; SEKANINA, L. Coevolution in Cartesian Genetic Programming. In 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

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

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

KORČEK, P.; ŽÁDNÍK, M. Lightweight benchmarking of platforms for network traffic processing. In 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

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

SMOLKA, T.; ŠVENDA, P.; SEKANINA, L.; MATYÁŠ, V. Evolutionary Design of Message Efficient Secrecy Amplification Protocols. In 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

Š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

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

BARTOŠ, V.; ŽÁDNÍK, M. Network Anomaly Detection: Comparison and Real-time Issues. In Dependable Networks and Services. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2012. p. 118-121. ISBN: 978-3-642-30632-7.
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

ŠÁ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

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

STRAKA, M.; MIČULKA, L.; KAŠTIL, J.; KOTÁSEK, Z. Test Platform for Fault Tolerant Systems Design Qualities Verification. In 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

RYŠAVÝ, O.; ŠVÉDA, M.; VRBA, R. A Framework for Cyber-Physical Systems Design - A Concept Study. In Proceedings ICONS 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012. p. 79-82. ISBN: 978-1-61208-184-7.
Detail

ŠVÉDA, M.; SEKLETÁR, M.; FIDLER, T.; RYŠAVÝ, O. A High-level Network-wide Router Configuration Language. In Proceedings ICN 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012. p. 18-21. ISBN: 978-1-61208-183-0.
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

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

HULÍK, R. 3D Polygonal Model Curvature Approximation Based on Local Projections Method. In 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

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

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

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

KADLČEK, F.; FUČÍK, O. Evolutionary Design of Local Binary Pattern Feature Shapes for Object Detection. In 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

SZENTANDRÁSI, I.; HEROUT, A.; JURÁNKOVÁ, M. Fast Detection and Recognition of QR codes in High-Resolution Images. In Proceedings of 28th Spring conference on Computer Graphics. Bratislava: Comenius University in Bratislava, 2012. p. 1-8. ISBN: 978-1-4503-1977-5.
Detail

TRCHALÍK, R.; ŠVÉDA, M. Unified Sensor Gateway Interconnection of Sensor Networks. In 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

HALFAR, P.; RÁB, J.; RYŠAVÝ, O.; ŠVÉDA, M. A Formal Authorization Framework for Networked SCADA Systems. In Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012. p. 298-302. ISBN: 978-0-7695-4664-3.
Detail

RŮŽIČKA, R.; ŠIMEK, V. NAND/NOR Gate Polymorphism in Low Temperature Environment. In 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

ŠLAPAL, J.; PFALTZ, J. Transformations of Discrete Closure Systems. Acta Mathematica Hungarica, 2013, vol. 138, no. 4, p. 386-405. ISSN: 0236-5294.
Detail

ŠLAPAL, J. A Jordan curve theorem with respect to a pretopology on Z^2. International Journal of Computer Mathematics, 2013, roč. 90, č. 8, s. 1618-1628. ISSN: 0020-7160.
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

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

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

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

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

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

NAVRÁTIL, J.; ZEMČÍK, P.; JURÁNEK, R.; PEČIVA, J. A Skewed Paraboloid Cut for Better Shadow Rendering. In Proceedings of Computer Graphics International 2012. Berlin: Springer Verlag, 2012. p. 1-4. ISBN: 978-1-85899-283-9.
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

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

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

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

ŠÁ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

DITTRICH, P. Identification of Flight Parameters of Light Sport Aircraft. In 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

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

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

STRNADEL, J.; SLIMAŘÍK, F. On Distribution and Impact of Fault Effects at Real-Time Kernel and Application Levels. In 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

ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P. Generic Source Code Migration Using Decompilation. In 10th Annual Industrial Simulation Conference (ISC'2012). Brno: EUROSIS, 2012. p. 38-42. ISBN: 978-90-77381-71-7.
Detail

MEDUNA, A.; VRÁBEL, L.; ZEMEK, P. An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets. In 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

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

ŠPERKA, S.; SMRŽ, P. Towards Adaptive and Semantic Database Model for RDF Data Stores. In 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

ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KÁBELE, B. Accurate Recovery of Functions in a Retargetable Decompiler. In 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

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

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

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

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

SALVADOR, R.; OTERO, A.; MORA, J.; DE LA TORRE, E.; RIESGO, T.; SEKANINA, L. Implementation Techniques for Evolvable HW Systems: Virtual vs. Dynamic Reconfiguration. In 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

KUPČÍK, J.; HRUŠKA, T. Towards Online Data Mining System for Enterprises. In 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

MATES, V.; HRUŠKA, T. Context-Based Adaptation of Process Definition. In 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

KŘOUSTEK, J.; MATULA, P.; KONČICKÝ, J.; KOLÁŘ, D. Accurate Retargetable Decompilation Using Debug Information. In 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

ŠKODA, P.; ŠPERKA, S.; SMRŽ, P. Extracting Information from Scientific Papers in the Cloud. In 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

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

MALAČKA, O.; SAMEK, J.; ZBOŘIL, F.; ZBOŘIL, F. Interval Trust Representation. In 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

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

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

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

ŽÁK, J.; ZBOŘIL, F.; HANÁČEK, P. Jade Agents to Wireless Sensors: Case study. In 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

HENZL, M.; HANÁČEK, P.; JURNEČKA, P.; KAČIC, M. A Concept of Automated Vulnerability Search in Contactless Communication Applications. In 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

PETRLÍK, J.; SEKANINA, L. Multiobjective Evolution of Multiple-Constant Multipliers. In 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

HORÁČEK, J.; ZBOŘIL, F.; HANÁČEK, P. Agent Aided Routing in Wireless Sensor Networks. In 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

BARTOŠ, P.; KOTÁSEK, Z. Reduction of Test Vectors Number based on Parasitic Capacity Extraction of Scan Chain Wires. In 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

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

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. In 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

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

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

JANDA, M. Grapheme Based Speech Recognition. In Proceedings of the 18th Conference STUDENT EEICT 2012. Brno: Brno University of Technology, 2012. p. 441-445. ISBN: 978-80-214-4460-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

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

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z. Methodology for Reliability Analysis of FPGA-based Fault Tolerant Systems. In 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

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

BRUMMER, N.; 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

PLCHOT, O.; KARAFIÁT, M.; BRUMMER, N.; 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

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

FIEDOR, J.; VOJNAR, T. Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level. In 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

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. In 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

ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KÁBELE, B. Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler. In 19th Working Conference on Reverse Engineering (WCRE 2012). Kingston, Ontario: IEEE Computer Society, 2012. p. 51-60. ISBN: 978-0-7695-4891-3.
Detail

DOLÍHAL, L.; HRUŠKA, T.; MASAŘÍK, K. Usage of simulators in testing system. In Industrial Simulation Conference. Brno: EUROSIS, 2012. p. 74-78. ISBN: 978-90-77381-71-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

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

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

RATH, S.; KARAFIÁT, M.; GLEMBEK, O.; ČERNOCKÝ, J. A factorized representation of FMLLR transform based on QR-decomposition. In 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

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. In 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

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. In 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

VESELÝ, K.; KARAFIÁT, M.; GRÉZL, F.; JANDA, M.; EGOROVA, E. The Language-Independent Bottleneck Features. In 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

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

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

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

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

BARTOŠ, V. Detekce anomálií v síťovém provozu. In 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

MIČULKA, L.; KOTÁSEK, Z. Design Sychronization after Partial Dynamic Reconfiguration of Fault Tolerant System. In 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

KOŘENEK, J.; KORČEK, P.; KOŠAŘ, V.; ŽÁDNÍK, M.; VIKTORIN, J. A New Embedded Platform for Rapid Development of Networking Applications. In 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

HORÁČEK, J.; ZBOŘIL, F. Mobile code placement in wireless sensor networks. In 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

HEROUT, A.; ZACHARIÁŠ, M.; JURÁNKOVÁ, M.; HAVEL, J. Fractal Marker Fields: No More Scale Limitations for Fiduciary Markers. In 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

SZENTANDRÁSI, I.; ZACHARIÁŠ, M.; HAVEL, J.; HEROUT, A.; JURÁNKOVÁ, M.; KAJAN, R. Uniform Marker Fields: Camera Localization By Orientable De Bruijn Tori. In 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

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

JANDA, M.; KARAFIÁT, M.; ČERNOCKÝ, J. Dealing with Numbers in Grapheme-Based Speech Recognition. In 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

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

ŽÁK, J.; HORÁČEK, J.; ZBOŘIL, F.; KOČÍ, R.; KRÁL, J. JADE Agents Used for Wireless Sensors Control: System Based on Services. In 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

MATOUŠEK, J. Optimalizace vyhledání nejdelšího prefixu síťové adresy s využitím částečné dynamické rekonfigurace FPGA. In Počítačové architektury a diagnostika. Milovy: Fakulta informačních technologií ČVUT, 2012. s. 67-72. ISBN: 978-80-01-05106-1.
Detail

KADLČEK, F. Návrh a optimalizace obrazových klasifikátorů. In Počítačové architektury & diagnostika 2012. Milovy: Vydavatelství ČVUT, 2012. s. 91-96. ISBN: 978-80-01-05106-1.
Detail

MILIČKA, M.; BURGET, R. Využití ontologií k popisu vizuálních rysů dokumentu. In 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

ŠÁ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

PUŠ, V.; KOŘENEK, J. Reducing memory in high-speed packet classification. In 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

RŮŽIČKA, R.; ŠIMEK, V. Polymeric Polymorphic Electronics: Towards Multifunctional Logic Elements Based on Organic Semiconductor Materials. In 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

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. In Proceedings of the Annual Database Conference. Praha: Technická univerzita v Košiciach, 2012. s. 57-74. ISBN: 978-80-553-1049-7.
Detail

BEDNAŘÍK, R.; HEROUT, A. What Students Want: A Study on the Role of Supervisor of Final Works in Computing Education. In 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

SZŐKE, I.; FAPŠO, M.; VESELÝ, K. BUT2012 přístup pro Spoken Web Search úkol na MediaEval2012. In Working Notes Proceedings of the MediaEval 2012 Workshop. CEUR Workshop Proceedings. Pisa: CEUR-WS.org, 2012. s. 1-2. ISSN: 1613-0073.
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

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

KEKELY, L.; PUŠ, V.; KOŘENEK, J. Low-Latency Modular Packet Header Parser for FPGA. In 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

Ž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

OČENÁŠEK, P.; ŠVÉDA, M. Communication in Business Information Systems - New Perspectives. In 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. 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

NAHHAS, I.; DRAHANSKÝ, M. Comparison of Fast Block Matching Algorithms for Motion Estimation. In 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

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

BARTOŠ, V. Detekce anomálií v datech o síťovém provozu. Trilobit, 2012, roč. 2012, č. 2, s. 1-6. ISSN: 1804-1795.
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

ŠLAPAL, J. Graphs with a path partition for structuring the digital plane. INFORMATION SCIENCES, 2013, vol. 233, no. 1, p. 305-312. ISSN: 0020-0255.
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

KARAS, P.; SVOBODA, D.; ZEMČÍK, P. Optimalizace konvoluce velkých reálných 3D obrazů na GPU. In Proceedings of ACVIS 2012. Heidelberg: Springer Verlag, 2012. s. 59-71. ISBN: 978-3-642-33139-8.
Detail

CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description. In 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

DALÍK, J.; VALENTA, V. Averaging of gradient in the space of linear triangular and bilinear rectangular finite elements. CENT EUR J MATH, 2013, vol. 4, no. 11, p. 597-608. ISSN: 1895-1074.
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

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

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

Ď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

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. Generalized One-Sided Forbidding Grammars. International Journal of Computer Mathematics, 2013, vol. 90, no. 2, p. 172-182. ISSN: 0020-7160.
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

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

KRÁL, J.; ZBOŘIL, F.; ZBOŘIL, F. Flexible Intention Handling using Extended Environment. In 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

STRNADEL, J. On Design of Priority-Driven Load-Adaptive Monitoring-Based Hardware for Managing Interrupts in Embedded Event-Triggered Real-Time Systems. In 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

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

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

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

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

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

STRNADEL, J. Load-Adaptive Monitor-Driven Hardware for Preventing Embedded Real-Time Systems from Overloads Caused by Excessive Interrupt Rates. In 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

POLOK, L.; ILA, V.; ŠOLONY, M.; ZEMČÍK, P.; SMRŽ, P. Efficient Implementation for Block Matrix Operations Nonlinear Least Squares Problems for Robotic Applications. In 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

HERMAN, D.; ORSÁG, F. Exploring k-PSO Algorithm for Clustering. In 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

POSPÍŠIL, M.; MATES, V.; HRUŠKA, T. Process Mining in Manufacturing Company. In 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. Analysing Resource Performance and its Application in Company. In 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

NOVOSAD, P.; ČEŠKA, M. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. In 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

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

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

DOBAI, R.; SEKANINA, L. Towards Evolvable Systems Based on the Xilinx Zynq Platform. In 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

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

KŘOUSTEK, J.; KOLÁŘ, D. Preprocessing of Binary Executable Files Towards Retargetable Decompilation. In 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

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

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. 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

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

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

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

HOMOLIAK, I.; BARABAS, M.; CHMELAŘ, P.; DROZD, M.; HANÁČEK, P. ASNM: Advanced Security Network Metrics for Attack Vector Description. In 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

DOBAI, R.; SEKANINA, L. Image Filter Evolution on the Xilinx Zynq Platform. In 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

DUDKA, K.; MÜLLER, P.; PERINGER, P.; VOJNAR, T. Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution). In 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

KAČIC, M.; HENZL, M.; JURNEČKA, P.; HANÁČEK, P. Malware injection in wireless networks. In 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

ŽÁ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Ř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

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

NAHHAS, I. A New Algorithm for Fast Block-Matching Motion Estimation Based on Four-Neighborhood Blocks. In 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

POLOK, L.; ILA, V.; SMRŽ, P. Cache Efficient Implementation for Block Matrix Operations. In 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

JURNEČKA, P.; HANÁČEK, P.; KAČIC, M. Concept of parallel code generating and refactoring system for safety standards compliance. In 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

ZACHARIÁŠOVÁ, M.; PŘIKRYL, Z.; HRUŠKA, T.; KOTÁSEK, Z. Automated Functional Verification of Application Specific Instruction-set Processors. Environmental Software Systems, 2013, vol. 4, no. 403, p. 128-138. ISSN: 1868-4238.
Detail

KOVÁČIK, M.; KAJAN, M.; ŽÁDNÍK, M. Detecting IP-spoofing by modelling history of IP address entry points. In 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

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

ZACHARIÁŠOVÁ, M.; BOLCHINI, C.; KOTÁSEK, Z. Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability. In 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

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

MILET, T.; NAVRÁTIL, J.; HEROUT, A.; ZEMČÍK, P. Improved Computation of Attenuated Light with Application in Scenes with Many Light Sources. In Proceedings of SCCG 2013. Bratislava: Comenius University in Bratislava, 2013. p. 155-160. ISBN: 978-80-223-3377-1.
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

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

KADLČEK, F.; FUČÍK, O. Automatic synthesis of small AdaBoost Classifier in FPGA. In 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

HEROUT, A.; SZENTANDRÁSI, I.; ZACHARIÁŠ, M.; JURÁNKOVÁ, M.; KAJAN, R. Five Shades of Grey for Fast and Reliable Camera Pose Estimation. In Proceedings of CVPR. Portland, OR: IEEE Computer Society, 2013. p. 1384-1390. ISBN: 978-0-7695-4989-7.
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

Š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

DRAHANSKÝ, M. Biometrics - Liveness Detection on Fingers, Finger Veins Recognition, 3D Hand Recognition and Thermo-Faces. Brno: 2013. p. 0-0.
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

CUMANI, S.; PLCHOT, O.; LAFACE, P. Probabilistic Linear Discriminant Analysis Of I-Vector Posterior Distributions. In Proceedings of ICASSP 2013. Vancouver: IEEE Signal Processing Society, 2013. p. 7644-7648. ISBN: 978-1-4799-0355-9.
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. In Proceedings of ICASSP 2013. Vancouver: IEEE Signal Processing Society, 2013. p. 6768-6772. ISBN: 978-1-4799-0355-9.
Detail

KAČIC, M.; HANÁČEK, P.; HENZL, M.; HOMOLIAK, I. A Concept of Behavioral Reputation System in Wireless Networks. In 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

CHMELAŘ, P.; PEŠEK, M.; VOLF, T.; ZENDULKA, J.; FRÖML, V. VTApi: an Efficient Framework for Computer Vision Data Management and Analytics. In 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

BARABAS, M.; HOMOLIAK, I.; HANÁČEK, P.; KAČIC, M. Detection of Network Buffer Overflow Attacks: A Case Study. In 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

HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T. Fully Automated Shape Analysis Based on Forest Automata. In 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

JANDA, M. Automatic Generation Of Pronunciation Dictionaries Based On Diarization. In Proceedings of the 19th Conference Student EEICT 2013. Brno: Brno University of Technology, 2013. p. 228-232. ISBN: 978-80-214-4695-3.
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

HANNEMANN, M.; POVEY, D.; ZWEIG, G. Combining Forward and Backward Search in Decoding. In Proceedings of ICASSP 2013. Vancouver: IEEE Signal Processing Society, 2013. p. 6739-6743. ISBN: 978-1-4799-0355-9.
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

DUDKA, K.; PERINGER, P.; VOJNAR, T. Byte-Precise Verification of Low-Level List Manipulation. In 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

ROGALEWICZ, A.; IOSIF, R. Automata-Based Termination Proofs. Computing and Informatics, 2013, vol. 2013, no. 4, p. 739-775. ISSN: 1335-9150.
Detail

ŠVÉDA, M. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. In 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

KAJAN, R.; SZENTANDRÁSI, I.; HEROUT, A.; ZACHARIÁŠ, M. On-Screen Marker Fields for Reliable Screen-To-Screen Task Migration. In 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

LEI, Y.; BURGET, L.; SCHEFFER, N. A Noise Robust I-Vector Extractor Using Vector Taylor Series For Speaker Recognition. In Proceedings of ICASSP 2013. Vancouver: IEEE Signal Processing Society, 2013. p. 6788-6791. ISBN: 978-1-4799-0355-9.
Detail

ŠVÉDA, M.; VRBA, R. Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach. In IEEE Proceedings AFRICON 2013. New York: Institute of Electrical and Electronics Engineers, 2013. p. 101-106. ISBN: 978-1-4673-5943-6.
Detail

ILA, V.; POLOK, L.; SMRŽ, P.; ŠOLONY, M.; ZEMČÍK, P. Incremental Cholesky Factorization for Least Squares Problems in Robotics. In 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

ILA, V.; POLOK, L.; SMRŽ, P.; ŠOLONY, M.; ZEMČÍK, P. Incremental Block Cholesky Factorization for Nonlinear Least Squares in Robotics. In 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

CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. An Abstraction of Multi-Port Memories with Arbitrary Addressable Units. In 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

ŠIMEK, V.; RŮŽIČKA, R. More Complex Polymorphic Circuits and Their Physical Implementation. In 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

NOVOSAD, P.; ČEŠKA, M. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. In 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

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

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

MIČULKA, L.; KOTÁSEK, Z. Synchronization Technique for TMR System After Dynamic Reconfiguration on FPGA. In 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. In 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

ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P. Retargetable Machine-Code Decompilation in Your Web Browser. In 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

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

KOVÁČIK, M. Detekcia sieťových anomálií s využitím DNS dát. In Počítačové architektury a diagnostika. Teplá: University of West Bohemia in Pilsen, 2013. s. 33-38. ISBN: 978-80-01-05106-1.
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

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. In Proceedings of ATVA'13. Heidelberg: Springer Verlag, 2013. p. 224-239. ISBN: 978-3-319-02443-1.
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. In 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

ZACHARIÁŠOVÁ, M.; BOLCHINI, C.; KOTÁSEK, Z. Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability. In 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

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

ŠVÉDA, M.; RYŠAVÝ, O. Dependable Cyber-Physical Systems Networking: An Approach for Real-Time, Software Intensive Systems. In 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

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

LUŽA, R.; ROZMAN, J.; ZBOŘIL, F. Remote Controlling of the Robotic Arm Mitsubishi Melfa. In 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

JURÁNKOVÁ, M.; HEROUT, A. Real Projective Plane Mapping for Detection of Orthogonal Vanishing Points. In 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

JURNEČKA, P.; HANÁČEK, P.; BARABAS, M.; HENZL, M.; KAČIC, M. A method for parallel software refactoring for safety standards compliance. In 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

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

ZELENÝ, J.; BURGET, R. Isomorphic mapping of DOM trees for Cluster-Based Page Segmentation. In 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

KALMÁR, R.; ZBOŘIL, F.; ZBOŘIL, F. Security threats classification in wireless sensor networks with mobile codes. In 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

HLOSTA, M.; ŠEBEK, M.; ZENDULKA, J. Approach to Visualisation of Evolving Association Rule Models. In 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

JURÁNKOVÁ, M.; SZENTANDRÁSI, I.; ZACHARIÁŠ, M.; HEROUT, A. Poor Man's SimulCam: Real-Time And Effortless MatchMoving. In 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

VESELÝ, K.; GHOSHAL, A.; BURGET, L.; POVEY, D. Sequence-discriminative Training of Deep Neural Networks. In 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

KARAFIÁT, M.; GRÉZL, F.; HANNEMANN, M.; VESELÝ, K.; ČERNOCKÝ, J. BUT BABEL System for Spontaneous Cantonese. In 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

RATH, S.; POVEY, D.; VESELÝ, K.; ČERNOCKÝ, J. Improved Feature Processing for Deep Neural Networks. In 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

MILIČKA, M.; BURGET, R. Web Document Description Based on Ontologies. In 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

ŠEBEK, M.; ZENDULKA, J. Generator of Synthetic Datasets for Hierarchical Sequential Pattern Mining Evaluation. In 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

ŽÁK, J.; ZBOŘIL, F. JESTER - Methodology for Developing Wireless Sensor Networks Using Small Agents. In 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

HLOSTA, M.; STRÍŽ, R.; ZENDULKA, J.; HRUŠKA, T. PSO-based Constrained Imbalanced Data Classification. In 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

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.; RZUCIDLO, 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

RZUCIDLO, 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

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.; 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

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

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

SOUFIFAR, M.; BURGET, L.; PLCHOT, O.; CUMANI, S.; ČERNOCKÝ, J. Regularized Subspace n-Gram Model for Phonotactic iVector Extraction. In 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

CUMANI, S.; BRUMMER, N.; 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

SZURMAN, K. Fault Tolerant CAN Bus Control System Implemented into FPGA and its synchronization after failure and recovery. In Počítačové architektury & diagnostika 2013. Plzeň: University of West Bohemia in Pilsen, 2013. p. 21-26. ISBN: 978-1-4673-6136-1.
Detail

BRÁZDOVÁ, M.; MARTÍNEK, T.; LEXA, M. In silico search for secondary structures in p53 target genes using R/Bioconductor. In ITAT 2013: Information Technologies - Applications and Theory. Donovaly: CreativeSpace Independent Publishing Platform, 2013. p. 42-46. ISBN: 978-1-4909-5208-6.
Detail

KORANDA, K. Hardwarová akcelerace AES-GCM pro protokol SSH. In Sborník příspěvků MKB 2013. Praha: TNS, a.s., 2013. s. 81-82. ISBN: 978-80-904257-5-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

OTRUSINA, L.; SMRŽ, P. BUT-TYPED: Using domain knowledge for computing typed similarity. In 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

MATULA, P.; KOLÁŘ, D. Reconstruction of simple data types in decompilation. In 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

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

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

ZACHARIÁŠOVÁ, M. New Methods for Increasing Efficiency and Speed of Functional Verification. In 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

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

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

HENZL, M.; HANÁČEK, P. Modeling of Contactless Smart Card Protocols and Automated Vulnerability Finding. In 2013 International Symposium on Biometrics and Security Technologies (ISBAST). Chengdu: IEEE Computer Society, 2013. p. 141-148. ISBN: 978-0-7695-5010-7.
Detail

KOŠAŘ, V.; ŽÁDNÍK, M.; KOŘENEK, J. NFA Reduction for Regular Expressions Matching Using FPGA. In 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

ŠEBEK, M.; HLOSTA, M.; ZENDULKA, J.; HRUŠKA, T. MLSP: Mining Hierarchically-Closed Multi-Level Sequential Patterns. In 9th International Conference, ADMA 2013. Lecture Notes in Computer Science. Hangzhou: Springer Verlag, 2013. p. 157-168. ISBN: 978-3-642-53913-8.
Detail

VESELÝ, V.; ŠVÉDA, M. Comparison of Proposals Suggesting Internet Architecture Change. In 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

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

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

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

ŠÁ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

RICHTA, T.; JANOUŠEK, V. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. In 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

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

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

GRÉZL, F.; KARAFIÁT, M. Semi-Supervised Bootstrapping Approach For Neural Network Feature Extractor Training. In Proceedings of ASRU 2013. Olomouc: IEEE Signal Processing Society, 2013. p. 470-475. ISBN: 978-1-4799-2755-5.
Detail

VESELÝ, K.; HANNEMANN, M.; BURGET, L. Semi-supervised Training of Deep Neural Networks. In Proceedings of ASRU 2013. Olomouc: IEEE Signal Processing Society, 2013. p. 267-272. ISBN: 978-1-4799-2755-5.
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

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

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

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

HRDINA, J. The generic rank of A–planar structures. In Algebra, Geometry and Mathematical Physics. Springer Proceedings in Mathematics & Statistics. USA: Springer, 2014. p. 397-403. ISBN: 978-3-642-55360-8.
Detail

VESELÝ, V.; MATOUŠEK, P.; ŠVÉDA, M. Multicast simulation and modeling in OMNeT++. In 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

MEDUNA, A.; ZEMEK, P. Controlled Finite Automata. Acta Informatica, 2014, vol. 51, no. 5, p. 327-337. ISSN: 0001-5903.
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

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.; 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

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

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

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

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

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

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

ZÁŇ, D.; JAROŠ, J. Solving Multidimensional Knapsack Problem using CUDA Accelerated PSO. In 2014 IEEE Congress on Evolutionary Computation. Beijing: IEEE Computational Intelligence Society, 2014. p. 2933-2939. ISBN: 978-1-4799-1488-3.
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

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

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

MILET, T.; KOBRTEK, J.; ZEMČÍK, P.; PEČIVA, J. Fast and Robust Tessellation-Based Silhouette Shadows. In 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

MEDUNA, A.; ZEMEK, P. Regulated Grammars and Automata. New York: Springer US, 2014. 694 p. ISBN: 978-1-4939-0368-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

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

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

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

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

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

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

Š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

TESAŘ, R.; ŠIMEK, V.; RŮŽIČKA, R.; CRHA, A. Polymorphic Electronics Based on Ambipolar OFETs. In EDS 2014 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2014. p. 106-111. ISBN: 978-80-214-4985-5.
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

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

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

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

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

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

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

HÁJEK, J.; DOLEŽEL, M.; DRAHANSKÝ, M. Biometric device for retina and iris recognition in intelligent houses. In 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

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

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

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

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

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

Ď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

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

GRÉZL, F.; KARAFIÁT, M. Adapting Multilingual Neural Network Hierarchy to a New Language. In 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

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

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

MÁČEL, L.; HRUŠKA, T. Bringing flexibility into dynamic process change:The process re-execution approach. In 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

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

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

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

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

POLOK, L.; ILA, V.; SMRŽ, P. Fast Radix Sort for Sparse Linear Algebra on GPU. In 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

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

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

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

STRNADEL, J.; CONTE, G. Producing Unique Identifiers and Random Numbers on Basis of Unclonable Parameters of Microcontrollers and Undesired Effects. In 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

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

GRÉGR, M.; PODERMAŃSKI, T.; ŠVÉDA, M. Measuring Quality and Penetration of IPv6 Services. In 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

VESELÝ, V.; RYŠAVÝ, O.; ŠVÉDA, M. Protocol Independent Multicast in OMNeT++. In 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

PODIVÍNSKÝ, J.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Complex Control System for Testing Fault-Tolerance Methodologies. In 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

Š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

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

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

ŠVÉDA, M. Dependability in Cyber-Physical Systems Network Applications. In 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

ČEKAN, O.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Solving of Constraint Satisfaction Problem. In 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

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

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

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

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

KOČÍ, R.; JANOUŠEK, V. System Composition Using Petri Nets and DEVS Formalisms. In The Ninth International Conference on Software Engineering Advances. Nice: Xpert Publishing Services, 2014. p. 309-315. ISBN: 978-1-61208-367-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

Š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

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

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

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

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

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

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

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

DUDKA, V.; KŘENA, B.; LETKO, Z.; PLUHÁČKOVÁ, 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.; 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

KEKELY, L. Software Defined Monitoring: Nový prístup k monitorovaniu vysokorýchlostných počítačových sietí. In Počítačové architektury a diagnostika 2014. Liberec: Liberec University of Technology, 2014. s. 74-79. ISBN: 978-80-7494-027-9.
Detail

MRÁČEK, Š.; DRAHANSKÝ, M.; DVOŘÁK, R.; PROVAZNÍK, I.; 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

SOCHOR, J. Fully Automated Real-Time Vehicles Detection and Tracking with Lanes Analysis. In Proceedings of CESCG 2014. Smolenice: Technical University Wien, 2014. p. 59-66. ISBN: 978-3-9502533-6-8.
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

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

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

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

KOŠAŘ, V.; KOŘENEK, J. Multi-Stride NFA-Split Architecture for Regular Expression Matching Using FPGA. In 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

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

OTRUSINA, L.; SMRŽ, P. Deep Learning from Web-Scale Corpora for Better Dictionary Interfaces. In 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

SZURMAN, K. Synchronization Methodology for Fault Tolerant System Recovery After Its Failure. In Počítačové architektury & diagnostika 2014. Malá Skála: Liberec University of Technology, 2014. p. 111-116. 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

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

KUPKOVÁ, K. EEG for Biometric Verification. In 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

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

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

MILIČKA, M.; BURGET, R. Multi-aspect Document Content Analysis using Ontological Modelling. In 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

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

MATULA, P.; KOLÁŘ, D. Composite Data Type Recovery in a Retargetable Decompilation. In 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.; SOUKUP, O. Computational Completeness Resulting from Scattered Context Grammars Working Under Various Derivation Modes. In Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014. p. 89-100. ISBN: 978-80-214-5022-6.
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

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

VESELÝ, V.; BLOUDÍČEK, J.; RYŠAVÝ, O. Enhanced Interior Gateway Routing Protocol for OMNeT++. In 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

ŽÁ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

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

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

DRAHANSKÝ, M. Biometrické systémy v praxi. Dolní Morava: 2014. s. 0-0.
Detail

OČENÁŠEK, P.; TRCHALÍK, R. System for Remote Monitoring of Engineering Services. In 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

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

DOLÍHAL, L.; HRUŠKA, T. Semiautomatic Porting of the C Library. In 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

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

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

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

KOVÁČIK, M. Detekcia sieťových anomálií a bezpečnostných incidentov s využitím DNS dát. In Počítačové architektury a diagnostika. Malá Skála: Liberec University of Technology, 2014. s. 99-104. ISBN: 978-80-7494-027-9.
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

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

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

VESELÝ, V. Map-keš synchronizace pro LISP. In 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

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

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

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

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. In 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

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

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

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

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

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

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

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

CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In Proceedings of the 15th International Conference on Computer Aided Systems Theory (EUROCAST 2015). Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2015. p. 193-194. ISBN: 978-84-606-5438-4.
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

NOVOSAD, P.; ČEŠKA, M. Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs. In Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015. p. 183-184. ISBN: 978-84-606-5438-4.
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

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

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

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

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

ŠÁ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

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

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

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

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

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

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

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

FIEDOR, J.; LETKO, Z.; VOJNAR, T.; LOURENCO, J. Dynamic Validation of Contracts in Concurrent Code. In Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015. p. 177-178. ISBN: 978-84-606-5438-4.
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. In Computer Aided Systems Theory. Las Palmas de Gran Canaria: University of Las Palmas, 2015. p. 23-24. ISBN: 978-84-606-5438-4.
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

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

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

DRAHANSKÝ, M. Experiments with fingers, finger fakes and finger and hand veins. Gjovik: 2015. p. 1-32.
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

VESELÝ, V.; RYŠAVÝ, O. Locator/Id Split Protocol Improvement for High-Availability Environment. In Proceedings of The Eleventh International Conference on Networking and Services ICNS 2015. Roma: The International Academy, Research and Industry Association, 2015. p. 61-67. ISBN: 978-1-61208-404-6.
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

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

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

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

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. In Security and Protection of Information 2015. Brno: University of Defence in Brno, 2015. p. 83-95. ISBN: 978-80-7231-997-8.
Detail

DRAHANSKÝ, M.; KANICH, O. Vulnerabilities of Biometric Systems. In Security and Protection of Information 2015. Brno: University of Defence in Brno, 2015. p. 53-60. ISBN: 978-80-7231-997-8.
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

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

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

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

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

RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Dynamic Software Architecture for Distributed Embedded Control Systems. In ADECS '15. CEUR Workshop Proceedings. CEUR Workshop Proceedings. Bruxelles: CEUR-WS.org, 2015. p. 1-15. ISBN: 1-234-56789-X. ISSN: 1613-0073.
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

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

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

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

KOČÍ, R.; JANOUŠEK, V. The Object Oriented Petri Net Component Model. In The Tenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2015. p. 18-24. ISBN: 978-1-61208-438-1.
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

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

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

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

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

JAROŠ, J.; MAREK, J.; MENŠÍK, P. Optimisation of Water Management Systems Using a GPU-Accelerated Differential Evolution. In Proceedings of 2015 IEEE Symposium Series on Computational Intelligence. Cape Town: IEEE Computer Society, 2015. p. 1727-1734. ISBN: 978-1-4799-7560-0.
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

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

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

ŽÁ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

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

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

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

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

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

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

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

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

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

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

Č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

MEDUNA, A.; KUČERA, J.; SOUKUP, O. Absolutely Unlimited Deep Pushdown Automata. In Proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2015). Telč: Ing. Vladislav Pokorný - Litera, 2015. p. 36-44. ISBN: 978-80-214-5254-1.
Detail

IAREMKO, I.; ARON, L.; HANÁČEK, P. Improving IP Geolocation Using Network Measurement Characteristics. In HKICEAS. Hong Kong: Higher Education Forum, 2015. p. 210-220. ISBN: 978-986-87417-4-4.
Detail

ČEKAN, O. Principy generování verifikačních stimulů. In 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

ŽÁ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

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

DRAHANSKÝ, M. Úskalí biometrických systémů. Praha: 2015. s. 1-23.
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

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

KRČMA, M. FPNN - neuronové sítě v FPGA. In 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

Š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

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

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

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

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

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

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

KOCINA, F.; VEIGEND, P.; NEČASOVÁ, G.; KUNOVSKÝ, J. Parallel Computations of Differential Equations. In Proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: Ing. Vladislav Pokorný - Litera, 2015. p. 28-35. ISBN: 978-80-214-5254-1.
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

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

DOLÍHAL, L.; HRUŠKA, T. Overview of the testing environment for the embedded systems. In Proceedings of The third International Conference on Green Computing, Technology and Innovation. Kuala Lumpur: The Society of Digital Information and Wireless Communications, 2015. p. 55-59. ISBN: 978-1-941968-15-4.
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

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

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

MUSIL, M. Reducing the Run-time Complexity of Support Vector Machine Used for Rail Candidates Detection. In International Masaryk conference for Ph.D. students and young researchers. vol. VI. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2015. p. 2138-2146. ISBN: 978-80-87952-12-2.
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

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

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

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

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

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

KUČERA, J.; MEDUNA, A. On State-Synchronized Automata Systems. Schedae Informaticae, 2016, vol. 2015, no. 24, p. 221-237. ISSN: 0860-0295.
Detail

ARON, L.; HANÁČEK, P. Mobile Security for Banking on Android Platform. In Proceedings of the International Conference on Computing Technology, Information Security and Risk Management. Dubai: The Society of Digital Information and Wireless Communications, 2016. p. 7-14. ISBN: 978-1-941968-31-4.
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

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

STRNADEL, J. Modeling and Analysis of Fault-Tolerant Systems by Means of UPPAAL SMC: Method and Benefits. In Informal Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Bratislava: Slovak University of Technology in Bratislava, 2016. p. 32-37. ISBN: 978-80-8086-256-5.
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

ŽÁ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

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

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

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

MUSIL, M. Effectiveness of Approaches for Rail Candidates Detection and Verification of the SVM. In 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

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

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

MEDUNA, A.; SOUKUP, O. Jumping Scattered Context Grammars. Fundamenta Informaticae, 2017, vol. 152, no. 1, p. 51-86. ISSN: 0169-2968.
Detail

BELICA, M.; BARTÍK, V. Systém pre sumarizáciu dokumentov na webe. In WIKT 2013 - 8th Workshop on Intelligent and Knowledge oriented Technologies 2013. Herĺany: 2013. s. 1-6.
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

MATOUŠEK, J. Addressing Issues in Research on Packet Classification in Core Networks. Brno: Faculty of Information Technology BUT, 2019. p. 0-0.
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

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

ZEMČÍK, P.; BERAN, V.; ZUZAŇÁK, J.; ŽÁDNÍK, M.; HAVEL, J.; HEROUT, A.; HRADIŠ, M.; JURÁNEK, R.; Vysoké učení technické v Brně: Způsob distribuce dat smyčkou a distribuční blok smyčky k provádění tohoto způsobu. 303038, patent. (2012)
Detail

ZEMČÍK, P.; HEROUT, A.; SEEMAN, M.; PŘIBYL, B.; Vysoké učení technické v Brně: Způsob a zařízení pro digitální korekci obrazu. 303039, patent. (2012)
Detail

DRAHANSKÝ, M.; PROVAZNÍK, I.; KOLÁŘ, R.; HÁJEK, J.; Vysoké učení technické v Brně: Oftalmologické diagnostické zařízení. 26535, užitný vzor. (2014)
Detail

CHMELAŘ, P.; ZENDULKA, J.; Vysoké učení technické v Brně: Decentralizovaná dohledová síť umožnující dotazování a analýzu dohledových dat. 303854, patent. (2013)
Detail

SEKANINA, L.; VAŠÍČEK, Z.; Vysoké učení technické v Brně: Nelineární obrazový filtr. 304181, patent. (2013)
Detail

DRAHANSKÝ, M.; HOMOLA, A.; Vysoké učení technické v Brně: Způsob detekce živosti v biometrických systémech pomocí bezpečnostního senzoru na základě tepové frekvence. 304801, patent. (2014)
Detail

DRAHANSKÝ, M.; PROVAZNÍK, I.; KOLÁŘ, R.; HÁJEK, J.; Vysoké učení technické v Brně: Ophthalmic Diagnostic Apparatus and Method of its Operation. EP2919641, patent. (2015)
Detail

DRAHANSKÝ, M.; PROVAZNÍK, I.; KOLÁŘ, R.; HÁJEK, J.; Vysoké učení technické v Brně: Oftalmologické diagnostické zařízení a způsob jeho činnosti. 305278, patent. (2015)
Detail

DRAHANSKÝ, M.; ZENDULKA, J.; ZEMČÍK, P.; FRÖML, V.; MRÁČEK, Š.; BERAN, V.; Vysoké učení technické v Brně: Multifunkční kamerový systém s automatizovaným zpracováním videodat. 28802, užitný vzor. (2015)
Detail

VEĽAS, M.; ŠPANĚL, M.; HEROUT, A.: but_velodyne_odom; Odometry Estimation from Velodyne LiDAR Point Clouds.    - Stránka FIT VUT v Brně: http://www.fit.vutbr.cz/research/prod/index.php?id=460    - Repositář se zdrojovými kódy: https://github.com/robofit/but_velodyne_lib. URL: https://www.fit.vut.cz/research/product/460/. (software)
Detail

OTRUSINA, L.; SMRŽ, P.: WTF-LOD; WTF-LOD Extractor. http://www.fit.vutbr.cz/research/prod/index.php?id=480. URL: http://www.fit.vutbr.cz/research/prod/index.php?id=480. (software)
Detail

MATERNA, Z.; BERAN, V.; ŠPANĚL, M.; VEĽAS, M.; KAPINUS, M.: 3DM-IT4I; Venkovní robotická platforma pro snímání senzorových dat a experimentální ověřování algoritmů 3D rekonstrukce. Laboratoř O104 (1. np), budova FIT VUT v Brně, Božetěchova 1, 612 66 Brno, Česká republika. URL: https://www.fit.vut.cz/research/product/448/. (funkční vzorek)
Detail

VONDRÁČEK, M.; PLUSKAL, J.; RYŠAVÝ, O.; MATOUŠEK, P.: wifimitm; Automatizace útoku MitM na WiFi sítích. https://mvondracek.github.io/wifimitm/. URL: https://mvondracek.github.io/wifimitm/. (software)
Detail

LETAVAY, V.; PLUSKAL, J.; RYŠAVÝ, O.; MATOUŠEK, P.: IOS IM Snooper suite; Rekonstrukce zachycené komunikace na platformě iOS. Software je umístěn ve podobě zdrojových kódů v repositáři projektu. V  podobě binární aplikace je software dostupný pro instalaci ze zabezpečených stránek.. URL: https://www.fit.vut.cz/research/product/488/. (software)
Detail

JANEČEK, V.; PLUSKAL, J.; RYŠAVÝ, O.; MATOUŠEK, P.: SnooperMAFF; Exportování obsahu webového provozu do MAFF. Software je umístěn ve podobě zdrojových kódů v repositáři projektu. V  podobě binární aplikace je software dostupný pro instalaci ze zabezpečených stránek.. URL: https://www.fit.vut.cz/research/product/489/. (software)
Detail

MARUŠIC, M.; PLUSKAL, J.; RYŠAVÝ, O.; MATOUŠEK, P.: mitmproxy; Automatizace MitM útoku pro dešifrování SSL/TLS. Software je umístěn ve podobě zdrojových kódů v repositáři projektu. V  podobě binární aplikace je software dostupný pro instalaci ze zabezpečených stránek.. URL: https://www.fit.vut.cz/research/product/490/. (software)
Detail

HVĚZDA, M.; PLUSKAL, J.; RYŠAVÝ, O.; MATOUŠEK, P.: Netfox Services; Distribuované zpracování síťového provozu pro forenzní analýzu. Software je umístěn ve podobě zdrojových kódů v repositáři projektu. V  podobě binární aplikace je software dostupný pro instalaci ze zabezpečených stránek.. URL: https://www.fit.vut.cz/research/product/491/. (software)
Detail

DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.: DA-BMC; A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. (software)
Detail

LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.: vata; VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/libvata/. URL: https://www.fit.vut.cz/research/product/223/. (software)
Detail

HRUŠKA, T.; MASAŘÍK, K.; FUJCIK, L.; PŘIKRYL, Z.; HUSÁR, A.; PRISTACH, M.: ADOP; ADOP mikroprocesor. UIFS, ww.fit.vutbr.cz. (funkční vzorek)
Detail

ZACHARIÁŠOVÁ, M.; LENGÁL, O.; KAJAN, M.: haven; HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. Nástroj i dokumentaci lze získat na URL http://www.fit.vutbr.cz/~isimkova/haven/ (http://www.fit.vutbr.cz/%7Eisimkova/haven/). URL: https://www.fit.vut.cz/research/product/234/. (software)
Detail

JANOUŠEK, V.: Prototypes-2012; Prototypes-2012. http://perchta.fit.vutbr.cz/projekty/32. URL: http://perchta.fit.vutbr.cz/projekty/32. (software)
Detail

MRNUŠTÍK, M.: DecipherCrawler; Decipher focused crawler. www.fit.vutbr.cz/~imrnustik/decipher_crawler.tar.gz. URL: https://www.fit.vut.cz/research/product/231/. (software)
Detail

KORČEK, P.; KOŘENEK, J.; ŠIMEK, V.: uG4-150; Embedded development platform for gigabit network applications based on FPGA. http://www.fit.vutbr.cz/research/view_product.php?id=251. URL: http://www.fit.vutbr.cz/research/view_product.php?id=251. (funkční vzorek)
Detail

BURGET, R.; BIELIK, P.: swingbox; SwingBox Rendering Component. http://cssbox.sourceforge.net/swingbox. URL: http://cssbox.sourceforge.net/swingbox. (software)
Detail

FIEDOR, J.; VOJNAR, T.: ANaConDA; ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/. (software)
Detail

HUSÁR, A.; HRUŠKA, T.; MASAŘÍK, K.: RAVAC; Robust Automatic Vector Accelerator Compiler. http://www.fit.vutbr.cz/research/prod/index.php?id=266. URL: http://www.fit.vutbr.cz/research/prod/index.php?id=266. (software)
Detail

KOUŘIL, J.: CDFA; Classification Framework for Texts on Visual Arts. http://www.fit.vutbr.cz/~ikouril/ClassificationDaemon/ClassificationDaemon.tar.gz. URL: http://www.fit.vutbr.cz/~ikouril/ClassificationDaemon/ClassificationDaemon.tar.gz. (software)
Detail

ŠPERKA, S.; ŠKODA, P.; SMRŽ, P.: mosaic-but-app; Cloud Information Extractor from Scientific Papers. https://bitbucket.org/.beho/mosaic-but-app. URL: https://bitbucket.org/.beho/mosaic-but-app. (software)
Detail

ŠPERKA, S.: sparql-motif; Nástroj pro dolování motivů ze SPARQL dotazů. https://bitbucket.org/.beho/sparql-motifs. URL: https://bitbucket.org/.beho/sparql-motifs. (software)
Detail

DYTRYCH, J.; KLEBAN, M.; LOUKOTA, P.; SMRŽ, P.; CUDRÁK, M.; PĚNKAVA, P.: AEd; Annotation editor. http://knot.fit.vutbr.cz/annotations/AEd.zip. URL: http://knot.fit.vutbr.cz/annotations/AEd.zip. (software)
Detail

POKORNÝ, L.; BARTÍK, V.: TextSum; Text Summarization Tool. http://www.fit.vutbr.cz/~bartik/Arcbc/summar.htm. URL: http://www.fit.vutbr.cz/~bartik/Arcbc/summar.htm. (software)
Detail

PEČIVA, J.; STARKA, T.: Lexolights; Lexolights. Lexolights včetně demonstračních modelů (https://wis.fit.vutbr.cz/FIT/db/vav/view_product.php.cz?file=%2Fproduct%2F276%2FLexolights-2-2-win32-withModels.zip&id=276) (24MB). URL: https://www.fit.vut.cz/research/product/276/. (software)
Detail

HORÁČEK, J.; ZBOŘIL, F.; ŽÁK, J.: GDEfALLL; GDEfALLL: Graphical development environment for ALLL language. http://www.fit.vutbr.cz/~ihoracek/gdefalll. URL: http://www.fit.vutbr.cz/~ihoracek/gdefalll. (software)
Detail

OTRUSINA, L.; SMRŽ, P.; JEŘÁBEK, J.; MAREK, T.; RYLKO, V.; SZNAPKA, J.; ŠAFÁŘ, M.; UHERČÍK, M.: M-Eco WP3 package; Content collector and document analysis for the M-Eco project. https://github.com/iotrusina/M-Eco-WP3-package. URL: https://github.com/iotrusina/M-Eco-WP3-package. (software)
Detail

OTRUSINA, L.; SMRŽ, P.; SZNAPKA, J.; ŠAFÁŘ, M.: Decipher NER+IR; Decipher NER a Decipher IE. www.fit.vutbr.cz/~iotrusina/Decipher_NER+IE.tar.gz. URL: https://www.fit.vut.cz/research/product/287/. (software)
Detail

CHMELAŘ, P.; DALGAARD, L.; SMRŽ, P.; ZEMČÍK, P.: R3-KB; R3-COP Knowledge Base. http://www.fit.vutbr.cz/research/prod/index.php?id=294. URL: http://www.fit.vutbr.cz/research/prod/index.php?id=294. (software)
Detail

JURÁNEK, R.; ZEMČÍK, P.: rftoolbox; Random Forest Toolbox. http://www.fit.vutbr.cz/research/prod/index.php?id=301¬itle=1. URL: http://www.fit.vutbr.cz/research/prod/index.php?id=301¬itle=1. (software)
Detail

HULÍK, R.; ŠPANĚL, M.; SMRŽ, P.: OMToolkit; OMToolkit - The polygonal mesh processing toolkit. https://www.fit.vutbr.cz/research/prod/index.php?id=305¬itle=1. URL: https://www.fit.vutbr.cz/research/prod/index.php?id=305¬itle=1. (software)
Detail

STRNADEL, J.; ŠIMEK, V.: INTMAN; intMAN: Priority-Driven Load-Adaptive Monitoring-Based Hardware for Managing Interrupts in Embedded Event-Triggered Real-Time Systems. Ústav počítačových systémů, Fakulta informačních technologií Vysokého učení technického v Brně, Božetěchova 2, 612 66 Brno. URL: https://www.fit.vut.cz/research/product/303/. (prototyp)
Detail

ZOUHAR, D.; MLÍCH, J.; ZEMČÍK, P.: libhmm; libhmm: framework pro klasifikaci dat. https://github.com/DCGM/libhmm. URL: https://github.com/DCGM/libhmm. (software)
Detail

HON, J.; LEXA, M.; MARTÍNEK, T.; RAJDL, K.: R_triplex; R/Bioconductor package for identification of triplex-forming sequences. http://www.bioconductor.org/packages/release/bioc/html/triplex.html. URL: http://www.bioconductor.org/packages/release/bioc/html/triplex.html. (software)
Detail

DRAHANSKÝ, M.; PROVAZNÍK, I.; KOLÁŘ, R.; HÁJEK, J.: Device_Iris_Retina; Zařízení pro snímání a rozpoznávání duhovky a sítnice oka. Funkční vzorek je umístěn v laboratoři biometrických systémů na FIT VUT v Brně, Božetěchova 2, 612 66, Brno, ČR.. URL: https://www.fit.vut.cz/research/product/323/. (funkční vzorek)
Detail

DYTRYCH, J.; SMRŽ, P.; CUDRÁK, M.; PETR, M.; KOPECKÝ, M.; KUBÍK, L.; STRECHA, J.; PĚNKAVA, P.; LOSKOT, R.; LOUKOTA, P.; MACHÁČEK, J.; ŽUREK, A.; KLEBAN, M.; KRATOCHVÍLOVÁ, M.: 4ADrupal; Annotation system for Drupal. http://knot.fit.vutbr.cz/annotations/4A_System_Drupal.zip. URL: http://knot.fit.vutbr.cz/annotations/4A_System_Drupal.zip. (software)
Detail

KORČEK, P.; KOŠAŘ, V.; VIKTORIN, J.; FUKAČ, T.; KEKELY, M.; KOŘENEK, J.: uSonda; Mikrosonda pro monitorování gigabitových sítí. http://www.fit.vutbr.cz/research/view_product.php?id=331. URL: http://www.fit.vutbr.cz/research/view_product.php?id=331. (funkční vzorek)
Detail

ŠKODA, P.; ŠPERKA, S.; SMRŽ, P.: mosaic-vendormodule-cloudstack; CloudStack vendor module for mOSAIC. https://bitbucket.org/.beho/mosaic-agency-vendors/. URL: https://bitbucket.org/.beho/mosaic-agency-vendors/. (software)
Detail

MÜLLER, P.; VOJNAR, T.: cpalien; CPAlien: Configurable Program Analysis over Symbolic Memory Graphs. http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien. (software)
Detail

HRUŠKA, T.; HUSÁR, A.; MASAŘÍK, K.: CLANG-PRAGMA; C Language Compiler Frontend with Pragma Support. http://www.fit.vutbr.cz/research/prod/index.php.cs?id=345. URL: http://www.fit.vutbr.cz/research/prod/index.php.cs?id=345. (software)
Detail

PETRLÍK, J.: R_fssvm; SVM Feature Selection System. http://www.fit.vutbr.cz/~ipetrlik/prods.php?id=349¬itle=1. URL: http://www.fit.vutbr.cz/~ipetrlik/prods.php?id=349¬itle=1. (software)
Detail

KEKELY, L.; ŽÁDNÍK, M.; KOŘENEK, J.: Vysokorychlostní-LI-sonda; Funkční vzorek vysokorychlostní sondy pro monitorování IPv6 provozu. http://www.fit.vutbr.cz/research/view_product.php?id=315. URL: http://www.fit.vutbr.cz/research/view_product.php?id=315. (funkční vzorek)
Detail

KOŠŤÁL, V.; KUTÁLEK, A.; RESSLER, I.; SROVNAL, V.; SROVNAL, V.; STANKUŠ, M.; SLABÝ, R.; SIKORA, J.; HLISNIKOVSKÝ, P.; HERCÍK, R.; ŠVÉDA, M.; PACNER, J.; HALFAR, P.; JEŘÁBEK, J.; RYŠAVÝ, O.: ScadaQnx; RT-SCADA-QNX MSC03 - systém pro monitorování a řízení průmyslových procesů. Produkt se nachází u firmy DISAM RT, s r. o.. URL: https://www.fit.vut.cz/research/product/361/. (software)
Detail

KEKELY, L.; KOŘENEK, J.; ŽÁDNÍK, M.: paketfiltr100; Paketový filtr pro síťový provoz s rychlostí 100 Gb/s. http://www.fit.vutbr.cz/research/view_product.php?id=369. URL: http://www.fit.vutbr.cz/research/view_product.php?id=369. (software)
Detail

ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.: SLIDE; SLIDE: Separation Logic with Inductive Definitions. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/slide/. URL: https://www.fit.vut.cz/research/product/373/. (software)
Detail

PACNER, J.; RYŠAVÝ, O.; ŠVÉDA, M.: QnxTimeSync; QnxTimeSync - Prostředí pro měření přesnosti síťových synchronizačních protokolů. https://github.com/dumblob/qnx_net_time_sync. URL: https://github.com/dumblob/qnx_net_time_sync. (software)
Detail

VAŠÍČEK, Z.: CGP-GENERATOR; Online CGP generator. Domovská stránka nástroje Online CGP Generator se nachází na adrese http://www.fit.vutbr.cz/~vasicek/cgp. . URL: https://www.fit.vut.cz/research/product/353/. (software)
Detail

ŠIMEK, J.; KŘIVKA, Z.: PBSim; PicoBlaze Instruction Simulator. http://www.fit.vutbr.cz/~krivka/pbsim. URL: http://www.fit.vutbr.cz/~krivka/pbsim. (software)
Detail

DOLEŽEL, M.; DRAHANSKÝ, M.: SW-Retina_Veins_2014; Software pro extrakci příznaků z žilního řečiště sítnice oka za účelem biometrického rozpoznávání osob. http://www.gsegmentator.wz.cz/Retina.zip. URL: http://www.gsegmentator.wz.cz/Retina.zip. (software)
Detail

VEĽAS, M.; ŠPANĚL, M.; MATERNA, Z.: but_velodyne; Modules for Velodyne 3D LiDAR Calibration and Data Processing.    - http://www.fit.vutbr.cz/research/prod/index.php?id=384    - https://github.com/robofit/but_velodyne. URL: https://www.fit.vut.cz/research/product/384/. (software)
Detail

HÁJEK, J.; DANAJ, D.; BRYCHTA, T.; KORČEK, P.: smarthome-protocol; Communication protocol for intelligent homes. http://www.fit.vutbr.cz/research/view_product.php.cs?id=388. URL: http://www.fit.vutbr.cz/research/view_product.php.cs?id=388. (software)
Detail

LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M.: spen; SPEN - A Solver for Separation Logic Entailments. http://www.liafa.univ-paris-diderot.fr/spen/. URL: http://www.liafa.univ-paris-diderot.fr/spen/. (software)
Detail

CHARVÁT, L.; SMRČKA, A.; VOJNAR, T.: HADES; HADES (Hazard Detection System). http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. (software)
Detail

BURGET, R.; MILIČKA, M.: FITLayout; FITLayout Web Page Segmentation Framework. http://www.fit.vutbr.cz/~burgetr/FITLayout/. URL: http://www.fit.vutbr.cz/~burgetr/FITLayout/. (software)
Detail

JURÁNEK, R.; ZEMČÍK, P.: lbpdetector; LBP Detector Toolbox. http://www.fit.vutbr.cz/~ijuranek/prods.php?id=392¬itle=1. URL: http://www.fit.vutbr.cz/~ijuranek/prods.php?id=392¬itle=1. (software)
Detail

PEČIVA, J.; STARKA, T.; MILET, T.; KOBRTEK, J.: Lexolights 22; Lexolights release 22. https://www.fit.vut.cz/research/product/394/. URL: https://www.fit.vut.cz/research/product/394/. (software)
Detail

JURÁNKOVÁ, M.; HEROUT, A.: DIAMONDSPACE; Software for Vanishing Point Detection using Parallel Coordinates. http://medusa.fit.vutbr.cz/public/data/papers/2013-BMVC-Dubska-source.zip. URL: http://medusa.fit.vutbr.cz/public/data/papers/2013-BMVC-Dubska-source.zip. (software)
Detail

MUSIL, M.; MUSIL, P.; SEEMAN, M.; ZEMČÍK, P.: AdvHDRVideoCam; Funkční vzorek zlepšené kamery pro snímání HDR videa. Místnost Q203, Fakulta informačních technologií VUT v Brně, Božetěchova 2, 612 66 Brno. URL: https://www.fit.vut.cz/research/product/403/. (funkční vzorek)
Detail

OTRUSINA, L.; SMRŽ, P.: SA; Semantic Annotator. http://www.fit.vutbr.cz/research/prod/index.php?id=406. URL: http://www.fit.vutbr.cz/research/prod/index.php?id=406. (software)
Detail

VÁŇA, J.; DRAHANSKÝ, M.: SW_ThermoFace_2014; Softwarový modul pro zpracování termosnímků obličeje. https://github.com/hadzim/BioFW.Thermo. URL: https://github.com/hadzim/BioFW.Thermo. (software)
Detail

ŠKODA, P.: HeterogeneityScheduler; Heterogeneity-Aware Scheduler for Stream Processing Frameworks. https://github.com/radkovo/webstorm. URL: https://github.com/radkovo/webstorm. (software)
Detail

MATOUŠEK, J.; KEKELY, L.; KOŘENEK, J.: filter_100G; Platforma na bázi FPGA pro filtraci provozu v sítích do rychlosti 100 Gb/s. http://www.fit.vutbr.cz/research/view_product.php?id=419. URL: http://www.fit.vutbr.cz/research/view_product.php?id=419. (funkční vzorek)
Detail

ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.: TRACER; INCLUDER (tracer): Trace Inclusion for Data Word Automata. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/includer/. URL: https://www.fit.vut.cz/research/product/422/. (software)
Detail

SVOBODA, J.; DRAHANSKÝ, M.: 3D_HandGeom_2014; Zařízení pro snímání 3D geometrie ruky. Fakulta informačních technologií, Vysoké učení technické v Brně. URL: https://www.fit.vut.cz/research/product/423/. (funkční vzorek)
Detail

FIEDOR, T.; LENGÁL, O.; HOLÍK, L.; VOJNAR, T.: dwina; dWiNA - An Implementation of Decision Procedure for WS1S. Nástroj i dokumentaci lze získat na URL:http://www.fit.vutbr.cz/research/groups/verifit/tools/dWiNA/. URL: https://www.fit.vut.cz/research/product/432/. (software)
Detail

MUSIL, P.; MUSIL, M.; BAŘINA, D.; ZEMČÍK, P.: fpga-dwt; FPGA Cores for Discrete Wavelet Transform. http://www.fit.vutbr.cz/research/prod/?id=433. URL: http://www.fit.vutbr.cz/research/prod/?id=433. (software)
Detail

KULA, M.; BAŘINA, D.; ZEMČÍK, P.: opencl-dwt; OpenCL Implementations of Discrete Wavelet Transform. http://www.fit.vutbr.cz/research/prod/?id=434. URL: http://www.fit.vutbr.cz/research/prod/?id=434. (software)
Detail

HUSÁR, A.; BURGET, R.; ČEKAN, O.; PODIVÍNSKÝ, J.; HRUŠKA, T.: MODELROVEX2015; Model procesoru roVEX a jeho překladač. Software je dostupné na Fakultě informačních technologií Vysokého učení technického v Brně, Božetěchova 2, 612 66 Brno, www.fit.vutbr.cz. URL: https://www.fit.vut.cz/research/product/435/. (software)
Detail

VRÁNA, R.; KEKELY, L.; ŽÁDNÍK, M.; KOŘENEK, J.; MATOUŠEK, J.: Proto-vysokorychlostní-LI-sonda; Prototyp vysokorychlostní sondy pro monitorování IPv6 provozu. https://wis.fit.vutbr.cz/FIT/db/vav/view_product.php?id=438. URL: https://wis.fit.vutbr.cz/FIT/db/vav/view_product.php?id=438. (prototyp)
Detail

BURGET, R.; MILIČKA, M.: EswcTools; Information Extraction Tools from CEUR Workshop Pages. https://github.com/FitLayout/ToolsEswc. URL: https://github.com/FitLayout/ToolsEswc. (software)
Detail

ORSÁG, F.; BOREK, M.: ANONYMIZER; Anonymizer. http://strade-fs.fit.vutbr.cz/repos/strade/Anonymizer. URL: http://strade-fs.fit.vutbr.cz/repos/strade/Anonymizer. (software)
Detail

ŠPANĚL, M.; ZEMČÍK, P.; KRŠEK, P.: 3DP-IT4I; Přesné tříosé polohování pro ověřování přesnosti optických systémů. Laboratoř L017.1 (1. suterén), budova FIT VUT v Brně, Božetěchova 1, 612 66 Brno, Česká republika. URL: https://www.fit.vut.cz/research/product/447/. (funkční vzorek)
Detail

BURGET, R.: PDFTools; PDF Analysis Tools. https://github.com/FitLayout/PDFAnalyzer. URL: https://github.com/FitLayout/PDFAnalyzer. (software)
Detail

Odkaz