Přístupnostní navigace
E-application
Search Search Close
Project detail
Duration: 01.01.2011 — 31.12.2015
Funding resources
Ministerstvo školství, mládeže a tělovýchovy ČR - Operační program Výzkum a vývoj pro inovace
- whole funder (2011-01-01 - 2015-12-31)
On the project
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.
Description in CzechIT4Innovations 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.
Keywordsinformation technology, security, safety
Key words in Czechinformační technologie, superpočítač, bezpečnost
Mark
ED1.1.00/02.0070
Default language
English
People responsible
Bartík Vladimír, Ing., Ph.D. - fellow researcherBařina David, Ing., Ph.D. - fellow researcherBeran Vítězslav, doc. Ing., Ph.D. - fellow researcherBidlo Michal, doc. Ing., Ph.D. - fellow researcherBouša Zdeněk, Ing. - fellow researcherBurget Lukáš, doc. Ing., Ph.D. - fellow researcherBurget Radek, doc. Ing., Ph.D. - fellow researcherBurianová Michaela, Mgr. - fellow researcherDolíhal Luděk, Ing., Ph.D. - fellow researcherDrahošová Michaela, Ing., Ph.D. - fellow researcherDytrych Jaroslav, Ing., Ph.D. - fellow researcherHájek Josef, Ing., Ph.D. - fellow researcherHannemann Mirko, Ph.D. - fellow researcherHavel Jiří, Ing., Ph.D. - fellow researcherHolík Lukáš, doc. Mgr., Ph.D. - fellow researcherHradiš Michal, Ing., Ph.D. - fellow researcherHrubý Martin, Ing., Ph.D. - fellow researcherChalupníček Kamil, Ing. - fellow researcherChmelař Petr, Ing. - fellow researcherChudý Peter, doc. Ing., Ph.D., MBA - fellow researcherJanoušek Vladimír, doc. Ing., Ph.D. - fellow researcherJuránek Roman, Ing., Ph.D. - fellow researcherKajan Rudolf, Ing., Ph.D. - fellow researcherKaštil Jan, Ing., Ph.D. - fellow researcherKočí Radek, Ing., Ph.D. - fellow researcherKolář Dušan, doc. Dr. Ing. - fellow researcherKolář Martin, M.Sc., Ph.D. et Ph.D. - fellow researcherKouřil Jan, Ing. - fellow researcherKřivka Zbyněk, Ing., Ph.D. - fellow researcherKubíček Radek, Ing. - fellow researcherKula Michal, Ing., Ph.D. - fellow researcherKunovský Jiří, doc. Ing., CSc. - fellow researcherMartínek Tomáš, doc. Ing., Ph.D. - fellow researcherMasařík Karel, Ing., Ph.D. - fellow researcherMaterna Zdeněk, Ing., Ph.D. - fellow researcherMatoušek Jiří, Ing., Ph.D. - fellow researcherMatoušek Petr, doc. Ing., Ph.D., M.A. - fellow researcherOndráček Tomáš, Ing., Ph.D. - fellow researcherOrság Filip, Ing., Ph.D. - fellow researcherOtrusina Lubomír, Ing. - fellow researcherPáldy Alexander, Ing. - fellow researcherPavelková Alena, Ing. - fellow researcherPeringer Petr, Dr. Ing. - fellow researcherPetrlík Jiří, Ing., Ph.D. - fellow researcherPlchot Oldřich, Ing., Ph.D. - fellow researcherPolok Lukáš, Ing., Ph.D. - fellow researcherRáb Jaroslav, Ing. - fellow researcherRichta Tomáš, Ing., Ph.D. - fellow researcherRogalewicz Adam, doc. Mgr., Ph.D. - fellow researcherRozman Jaroslav, Ing., Ph.D. - fellow researcherRůžička Richard, doc. Ing., Ph.D., MBA - fellow researcherRyšavý Ondřej, doc. Ing., Ph.D. - fellow researcherŘezníček Ivo, Ing., Ph.D. - fellow researcherSamek Jan, Ing., Ph.D. - fellow researcherSochor Jakub, Ing., Ph.D. - fellow researcherSoukup Ondřej, Ing., Ph.D. - fellow researcherStarka Tomáš, Ing. - fellow researcherStrnadel Josef, Ing., Ph.D. - fellow researcherSzőke Igor, Ing., Ph.D. - fellow researcherŠimek Václav, Ing. - fellow researcherŠkoda Petr, RNDr. - fellow researcherŠpaněl Michal, doc. Ing., Ph.D. - fellow researcherVáňa Jan, Ing. - fellow researcherVašíček Zdeněk, doc. Ing., Ph.D. - fellow researcherVeľas Martin, Ing., Ph.D. - fellow researcherVeselý Karel, Ing., Ph.D. - fellow researcherVeselý Vladimír, Ing., Ph.D. - fellow researcherZachariáš Michal, Ing., Ph.D. - fellow researcherZachariášová Marcela, Ing., Ph.D. - fellow researcherZáň Drahoslav, Ing. - fellow researcherZbořil František, doc. Ing., CSc. - fellow researcherZbořil František, doc. Ing., Ph.D. - fellow researcherZemek Petr, Ing., Ph.D. - fellow researcherHruška Tomáš, prof. Ing., CSc. - principal person responsibleVondrák Ivo, prof. Ing., CSc. - principal person responsible
Units
Department of Information Systems- responsible department (2010-09-03 - 2015-12-31)Faculty of Information Technology- co-beneficiary (2010-09-03 - 2015-12-31)
Results
ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Reachability Analysis in Dynamically Routed Networks. Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011. p. 197-205. ISBN: 978-0-7695-4379-6.Detail
ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Design of an Automatically Generated Retargetable Decompiler. 2nd European Conference of COMPUTER SCIENCE (ECCS'11). Puerto De La Cruz, Tenerife: North Atlantic University Union, 2011. p. 199-204. ISBN: 978-1-61804-056-5.Detail
PEČIVA, J.; PŘIBYL, J.; NAVRÁTIL, J. Close-to-photorealistic Lighting for Simulations and CAD. 2011 International Simulation Multiconference - SCS (SCSC, SPECTS, GCMS) - SCSC Proceedings (Hard-Copy) 11. Hague: SCS Publication House, 2011. p. 1-2. ISBN: 1-56555-345-4.Detail
KORČEK, P.; KOŠAŘ, V.; ŽÁDNÍK, M.; KORANDA, K.; KAŠTOVSKÝ, P. Hacking NetCOPE to run on NetFPGA-10G. Proceedings of the 2011 Seventh ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS 2011). Brooklyn, New York: IEEE Computer Society, 2011. p. 1-2. ISBN: 978-0-7695-4521-9.Detail
BARTOŠ, V.; ŽÁDNÍK, M. Hardware precomputation of entropy for anomaly detection. Proceedings of the 7th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. New York: IEEE Computer Society, 2011. p. 219-220. ISBN: 978-0-7695-4521-9.Detail
ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Advanced Static Analysis for Decompilation Using Scattered Context Grammars. Proceedings of the Applied Computing Conference 2011 (ACC'11). Angers: World Scientific and Engineering Academy, 2011. p. 164-169. ISBN: 978-1-61804-051-0.Detail
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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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, J.; CUMANI, S.; GLEMBEK, O.; KARAFIÁT, M.; MATĚJKA, P.; PEŠÁN, J.; PLCHOT, O.; SOUFIFAR, M.; DE VILLIERS, E.; ČERNOCKÝ, J. Description and analysis of the Brno276 system for LRE2011. In Proceedings of Odyssey 2012: The Speaker and Language Recognition Workshop. Singapur: International Speech Communication Association, 2012. p. 216-223. ISBN: 978-981-07-3093-2.Detail
PLCHOT, O.; KARAFIÁT, M.; BRUMMER, J.; GLEMBEK, O.; MATĚJKA, P.; DE VILLIERS, E.; ČERNOCKÝ, J. Speaker vectors from Subspace Gaussian Mixture Model as complementary features for Language Identification. In Proceedings of Odyssey 2012, The Speaker and Language Recognition Workshop. Singapur: International Speech Communication Association, 2012. p. 330-333. ISBN: 978-981-07-3093-2.Detail
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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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ů. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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). 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. 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. 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. 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. 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. IFIP Advances in Information and Communication Technology, 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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 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. 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. 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. 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. The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN 2013). Avignon: Politecnico di Milano, 2013. p. 53-56. ISBN: 978-2-11-129175-1.Detail
MIČULKA, L.; STRAKA, M.; KOTÁSEK, Z. Methodology for Fault Tolerant System Design Based on FPGA Into Limited Redundant Area. 16th Euromicro Conference on Digital System Design: Architectures, Methods and Tools. Santander: IEEE Computer Society, 2013. p. 227-234. ISBN: 978-0-7695-5074-9.Detail
ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P. Retargetable Machine-Code Decompilation in Your Web Browser. 3rd IEEE World Congress on Information and Communication Technologies (WICT 2013). Hanoi: IEEE Computer Society, 2013. p. 57-62. ISBN: 978-1-4799-3230-6.Detail
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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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.; RZUCIDŁO, P. HW in-the-Loop Simulation of a Light Aircraft Autopilot. In Conference Proceeding Series (GNC/AFM/MST). Boston, MA: American Institute of Aeronautics and Astronautics, 2013. p. 1-11. ISBN: 978-1-62993-153-1.Detail
RZUCIDŁO, P.; CHUDÝ, P.; RYDLO, K. Simulation and Prototyping of FCS for Sport Aircraft. Aircraft Engineering and Aerospace Technology: An International Journal, 2013, vol. 2013, no. 85, p. 400-415. ISSN: 0002-2667.Detail
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. 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, J.; BURGET, L.; LAFACE, P.; PLCHOT, O.; VASILAKAKIS, V. Pairwise Discriminative Speaker Verification in the I -Vector Space. IEEE Transactions on Audio, Speech, and Language Processing, 2013, vol. 2013, no. 6, p. 1217-1227. ISSN: 1558-7916.Detail
SZURMAN, K. Fault Tolerant CAN Bus Control System Implemented into FPGA and its synchronization after failure and recovery. Počítačové architektury & diagnostika 2013. Plzeň: University of West Bohemia in Pilsen, 2013. p. 21-26. ISBN: 978-1-4673-6136-1.Detail
BRÁZDOVÁ, M.; MARTÍNEK, T.; LEXA, M. In silico search for secondary structures in p53 target genes using R/Bioconductor. ITAT 2013: Information Technologies - Applications and Theory. Donovaly: CreativeSpace Independent Publishing Platform, 2013. p. 42-46. ISBN: 978-1-4909-5208-6.Detail
KORANDA, K. Hardwarová akcelerace AES-GCM pro protokol SSH. Sborník příspěvků MKB 2013. Praha: TNS, a.s., 2013. s. 81-82. ISBN: 978-80-904257-5-0.Detail
Š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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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++. 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 Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Beijing: IEEE Computational Intelligence Society, 2014. p. 2933-2939. ISBN: 978-1-4799-1488-3.Detail
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. 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. 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. 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. 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. 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. 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. 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. 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++. 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. 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. 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. 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. 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.; ŠIMKOVÁ, H.; VOJNAR, T. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In SSBSE'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2014. p. 107-122. ISBN: 978-3-319-09939-2.Detail
ĎURFINA, L.; 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í. 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, V.; VÁŇA, J. 3D Face Recognition on Low-Cost Depth Sensors. In Proceedings of the International Conference of Biometrics Special Interest Group (BIOSIG 2014). GI-Edition Lecture Notes in Informatics (LNI). Darmstadt: GI - Group for computer science, 2014. p. 195-202. ISBN: 978-3-88579-624-4. ISSN: 1617-5468.Detail
SOCHOR, J. Fully Automated Real-Time Vehicles Detection and Tracking with Lanes Analysis. Proceedings of CESCG 2014. Smolenice: Technical University Wien, 2014. p. 59-66. ISBN: 978-3-9502533-6-8.Detail
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. 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. 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. 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. 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. 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. 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. 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++. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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 PNSE 2015 Petri Nets and Software Engineering. CEUR Workshop Proceedings. CEUR Workshop Proceedings. Bruxelles: CEUR-WS.org, 2015. p. 133-150. ISSN: 1613-0073.Detail
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. 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 - 2015 IEEE Symposium Series on Computational Intelligence, SSCI 2015. Cape Town: IEEE Computer Society, 2015. p. 1727-1734. ISBN: 978-1-4799-7560-0.Detail
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. 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. 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ů. 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. 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. 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. 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. 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. 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. 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. 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. 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
DRAHANSKÝ, M. Biometrics - Liveness Detection, Recognition of Finger Veins, 3D Hand, Eye Iris and Retina, 3D Face and Thermo-Face. Brno: 2015. p. 1-30.Detail
SEKANINA, L.; VAŠÍČEK, Z. Evolutionary Computing in Approximate Circuit Design and Optimization. 1st Workshop on Approximate Computing (WAPCO 2015). Amsterdam: 2015. p. 1-6.Detail
ČEKAN, O.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Universal Pseudo-random Generation of Assembler Codes for Processors. Proceedings of The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Grenoble: COST, European Cooperation in Science and Technology, 2015. p. 70-73.Detail
PODIVÍNSKÝ, J.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Radiation Impact on Mechanical Application Driven by FPGA-based Controller. Proceedings of The Fourth Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Grenoble: COST, European Cooperation in Science and Technology, 2015. p. 13-16.Detail
MRÁČEK, Š.; DVOŘÁK, R.; VÁŇA, J.; NOVOTNÝ, T.; DRAHANSKÝ, M. 3D Face Recognition Utilizing a Low-Cost Depth Sensor. 11th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2015). Ljubljana: 2015. p. 1 (1 s.). ISBN: 978-1-4799-6026-2.Detail
JAROŠ, J.; DOHNAL, M.; TREEBY, B. Large-scale Ultrasound Simulations with Local Fourier Basis Decomposition. The International Conference for High Performance Computing, Networking, Storage Analysis, SC15. Austin: 2015. p. 0-0.Detail
GLEMBEK, O.; MATĚJKA, P.; BURGET, L.; SCHWARZ, P.; PEŠÁN, J.; PLCHOT, O. Voice-print transformation for migration between automatic speaker identification systems. Abstract book of the 7th European Academy of Forensic Science Conference. Praha: Criminal Police Department Prague, 2015. p. 345-345. ISBN: 978-80-260-8659-8.Detail
NOVOSAD, P.; ČEŠKA, M. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Faculty of Information Technology BUT, 2015. p. 0-0.Detail
KLÍMA, O. Forensic Identification of Children Faces. Proceedings of the 17th Conference STUDENT EEICT 2011. Brno: Vysoké učení technické v Brně, 2011. s. 1-3. ISBN: 978-80-214-4273-3.Detail
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, V.; 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, V.; 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, V.; 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
JANOUŠEK, V.: SmallDEVS-REPL; Software for remote access to SmallDEVS kernel. http://perchta.fit.vutbr.cz/projekty/30. URL: http://perchta.fit.vutbr.cz/projekty/30. (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, V.; 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
Link
http://www.it4i.cz/index.php