Department of Computer Graphics and Multimedia

The IT4Innovations Centre of Excellence
Reseach leader:Vondrák Ivo
Team leaders:Černocký Jan, Češka Milan, Drahanský Martin, Fučík Otto, Hanáček Petr, Herout Adam, Hruška Tomáš, Kotásek Zdeněk, Meduna Alexander, Sekanina Lukáš, Smrž Pavel, Švéda Miroslav, Vojnar Tomáš, Zemčík Pavel, Zendulka Jaroslav
Team members:Kaštil Jan, Kubíček Radek
Agency:MŠMT
Code:ED1.1.00/02.0070
Start:2011
End:2015
Keywords:information technology, security, safety
Annotation:
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.
Project description:
The IT4Innovations Centre of Excellence will solve this problem and respond to these needs, representing a tool for the integration and development of IT research. The infrastructure, created by IT4Innovations, will thus not only function as a high-quality partner for the application sphere, but will also motivate industry to develop new and innovative products and solutions based on the effective use of these modern technologies.

The overall aim is to create a mutually interlinked, closely cooperating workplace focusing on the following 4 key areas of activity:

  1. IT4People (Information for People) - focusing on improving quality of life in society via the development and provision of new services based on modern information technologies.
  2. SC4Simulations (Supercomputing for Simulations) - focusing on supercomputing and research into the development of new methods and algorithms of computational mathematics with subsequent application in multidisciplinary simulation tasks (stress and deformation analysis of complex systems, shape optimization, fluid flow problems, materials design, biomechanical simulations, etc.).
  3. EC4Innovations (Embedded Computing for Innovations) - focusing on the research and development of sophisticated embedded systems applied in mechatronics and innovative medicine.
  4. Theory4IT (Theory for Information Technology) - focusing on basic research into the development of new and non-traditional computing methods, based on disciplines such as soft computing, formal methods, knowledge-oriented and biologically motivated algorithms.

Products

2013intMAN: Priority-Driven Load-Adaptive Monitoring-Based Hardware for Managing Interrupts in Embedded Event-Triggered Real-Time Systems, prototype, 2013
Authors: Strnadel Josef, Šimek Václav
 OMToolkit - The polygonal mesh processing toolkit, software, 2013
Authors: Hulík Rostislav, Španěl Michal, Smrž Pavel
 Random Forest Toolbox, software, 2013
Authors: Juránek Roman, Zemčík Pavel
2012A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, software, 2012
Authors: Fiedor Jan, Vojnar Tomáš
 AclCheck - a tool for static analysis of ACL inter-rule conflicts, software, 2012
Authors: Hozza Tomáš, Ryšavý Ondřej
 Annotation editor, software, 2012
Authors: Cudrák Miloš, Dytrych Jaroslav, Kleban Martin, Loukota Petr, Pěnkava Pavel, Smrž Pavel
 Classification Framework for Texts on Visual Arts, software, 2012
Authors: Kouřil Jan
 Cloud Information Extractor from Scientific Papers, software, 2012
Authors: Šperka Svatopluk, Škoda Petr, Smrž Pavel
 Content collector and document analysis for the M-Eco project, software, 2012
Authors: Jeřábek Jan, Marek Tomáš, Otrusina Lubomír, Rylko Vojtěch, Smrž Pavel, Sznapka Jakub, Šafář Martin, Uherčík Maroš
 Decipher focused crawler, software, 2012
Authors: Mrnuštík Michal
 Decipher NER a Decipher IE, software, 2012
Authors: Otrusina Lubomír, Smrž Pavel, Sznapka Jakub, Šafář Martin
 Embedded development platform for gigabit network applications based on FPGA, prototype, 2012
Authors: Korček Pavol, Kořenek Jan, Šimek Václav
 GDEfALLL: Graphical development environment for ALLL language, software, 2012
Authors: Horáček Jan, Zbořil František, Žák Jakub
 HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, software, 2012
Authors: Šimková Marcela, Lengál Ondřej, Kajan Michal
 Lexolights, software, 2012
Authors: Pečiva Jan, Starka Tomáš
 Prototypes-2012, software, 2012
Authors: Janoušek Vladimír
 R3-COP Knowledge Base, software, 2012
Authors: Chmelař Petr, Dalgaard Lars, Smrž Pavel, Zemčík Pavel
 SPARQL Queries Motifs Miner, software, 2012
Authors: Šperka Svatopluk
 SwingBox Rendering Component, software, 2012
Authors: Burget Radek, Bielik Peter
 Text Summarization Tool, software, 2012
Authors: Pokorný Lubomír, Bartík Vladimír
 VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, software, 2012
Authors: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš
2011A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software, 2011
Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš
 Microprocessor ADOP, specimen, 2011
Authors: Hruška Tomáš, Masařík Karel, Přikryl Zdeněk, Husár Adam, Fujcik Lukáš, Pristach Marián

Publications

2013Barabas Maroš, Homoliak Ivan, Drozd Michal, Hanáček Petr: Automated Malware Detection Based on Novel Network Behavioral Signatures, In: International Journal of Engineering and Technology, Vol. 5, No. 2, 2013, Singapore, SG, p. 249-253, ISSN 1793-8236
 Bartoš Václav: Towards Real-Time Intrusion Detection for NetFlow/IPFIX, In: Proceedingf of the 9th International Conference on Network and Service Management, Zürich, CH, 2013, p. 1-6
 Dobai Roland, Sekanina Lukáš: Towards Evolvable Systems Based on the Xilinx Zynq Platform, In: 2013 IEEE International Conference on Evolvable Systems (ICES), Singapur, SG, IEEE CIS, 2013, p. 89-95, ISBN 978-1-4673-5869-9
 Drahanský Martin: Biometrics - Liveness Detection on Fingers, Finger Veins Recognition, 3D Hand Recognition and Thermo-Faces, Brno, CZ, 2013, p. 50
 Dubská Markéta, Herout Adam, Havel Jiří: Real-Time Precise Detection of Regular Grids and Matrix Codes, In: Journal of Real-Time Image Processing , Vol. 2013, No. 1, DE, p. 15, ISSN 1861-8200
 Dudka Kamil, Müller Petr, Peringer Petr, Vojnar Tomáš: Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution), In: Tools and Algorithms for the Construction and Analysis of Systems, Berlin, DE, Springer, 2013, p. 627-629, ISBN 978-3-642-36742-7, ISSN 0302-9743
 Dudka Kamil, Peringer Petr, Vojnar Tomáš: Byte-Precise Verification of Low-Level List Manipulation, In: 20th Static Analysis Symposium, Berlin, DE, Springer, 2013, p. 215-237, ISBN 978-3-642-33124-4, ISSN 0302-9743
 Dudka Kamil, Peringer Petr, Vojnar Tomáš: Byte-Precise Verification of Low-Level List Manipulation, FIT-TR-2012-04, Brno, CZ, FIT VUT, 2013, p. 48
 Hájek Josef, Drahanský Martin, Drozd Radek: Extraction of Retina Features Based on Position of the Blood Vessel Bifurcation, In: Journal of Medical Research and Development, Vol. 2, No. 3, 2013, Hong Kong, CN, p. 1-4, ISSN 2303-9345
 Herman David, Orság Filip: Exploring k-PSO Algorithm for Clustering, In: Proceedings of the IASTED International Conference Artificial Intelligence and Applications (AIA 2013), Innsbruck, AT, ACTA Press, 2013, p. 161-168, ISBN 978-0-88986-943-1
 Herout Adam, Szentandrási István, Zachariáš Michal, Dubská Markéta, Kajan Rudolf: Five Shades of Grey for Fast and Reliable Camera Pose Estimation, In: Proceedings of, Portland, Oregon, US, 2013, p. 1-8
 Holík Lukáš, Lengál Ondřej, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš: Fully Automated Shape Analysis Based on Forest Automata, In: Proceedings of CAV'13, Heidelberg, DE, Springer, 2013, p. 1-16
 Hulík Rostislav, Španěl Michal, Smrž Pavel: Continuous Plane Detection in Point-cloud Data Based on 3D Hough Transform, In: Journal of Visual Communication and Image Representation, Vol. 2013, No. 24, Amsterdam, NL, p. 1-10, ISSN 1047-3203
 Charvát Lukáš, Smrčka Aleš, Vojnar Tomáš: An Abstraction of Multi-Port Memories with Arbitrary Addressable Units, In: Proceedings of the 14th Computer Aided Systems Theory??, Las Palmas de Grand Canaria, ES, 2013, p. 1-9
 Ila Viorela S., Polok Lukáš, Smrž Pavel, Šolony Marek, Zemčík Pavel: Incremental Block Cholesky Factorization for Nonlinear Least Squares in Robotics, In: In proceedings of The Robotics: Science and Systems 2013 Conference, Berlín, DE, MIT, 2013, p. 1-8, ISBN 978-0-00-000000-2
 Ila Viorela S., Polok Lukáš, Smrž Pavel, Šolony Marek, Zemčík Pavel: Incremental Cholesky Factorization for Least Squares Problems in Robotics, In: Proceedings of The 2013 IFAC Intelligent Autonomous Vehicles Symposium, Gold Coast, AU, IEEE CS, 2013, p. 1-8, ISBN 978-1-00-000000-9
 Janda Miloš: Automatic Generation Of Pronunciation Dictionaries Based On Diarization, In: Proceedings of the 19th Conference Student EEICT 2013, Brno, CZ, VUT v Brně, 2013, p. 228-232, ISBN 978-80-214-4695-3
 Kadlček Filip, Fučík Otto: Automatic synthesis of small AdaBoost Classifier in FPGA, In: IEEE Design and Diagnostics of Electronic Circuits and Systems DDECS'2013, Brno, CZ, IEEE CS, 2013, p. 1-6
 Kajan Rudolf, Szentandrási István, Herout Adam, Zachariáš Michal: On-Screen Marker Fields for Reliable Screen-To-Screen Task Migration, In: Proceedings of the 2013 International Conference on Human Factors in Computing & Informatics, Maribor, SI, 2013, p. 1-19
 Křena Bohuslav, Vojnar Tomáš: Automated formal analysis and verification: an overview, In: International Journal of General Systems, Vol. 2013, No. 42, Abingdon, GB, p. 335-365, ISSN 0308-1079
 Křoustek Jakub, Kolář Dušan: Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis, In: Acta Informatica Pragensia, Vol. 2013, No. 2, Praha, CZ, p. 1-12, ISSN 1805-4951
 Křoustek Jakub, Kolář Dušan: Preprocessing of Binary Executable Files Towards Retargetable Decompilation, In: 8th International Multi-Conference on Computing in the Global Information Technology (ICCGI'13), Nice, FR, IARIA, 2013, p. 1-6, ISBN 978-1-61208-283-7
 Matoušek Jiří, Skačan Martin, Kořenek Jan: Memory Efficient IP Lookup in 100 Gbps Networks, In: 23rd International Conference on Field Programmable Logic and Applications (FPL 2013), Porto, PT, 2013, p. 1-7
 Matoušek Jiří, Skačan Martin, Kořenek Jan: Towards Hardware Architecture for Memory Efficient IPv4/IPv6 Lookup in 100 Gbps Networks, In: 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), Brno, CZ, IEEE CS, 2013, p. 108-111, ISBN 978-1-4673-6133-0
 Meduna Alexander, Zemek Petr: Generalized One-Sided Forbidding Grammars, In: International Journal of Computer Mathematics, Vol. 90, No. 2, 2013, GB, p. 172-182, ISSN 0020-7160
 Meduna Alexander, Zemek Petr: Left Random Context ET0L Grammars, In: Fundamenta Informaticae, Vol. 123, No. 3, 2013, Amsterdam, NL, p. 289-304, ISSN 0169-2968
 Meduna Alexander, Zemek Petr: On the Generation of Sentences with Their Parses by Propagating Regular-Controlled Grammars, In: Theoretical Computer Science, Vol. 477, No. 1, 2013, Paris, FR, p. 67-75, ISSN 0304-3975
 Novosad Petr, Češka Milan: Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets, In: Proc. of Computer Aided System Theory 2013, Universidad de Las Palmas de Gran Canaria, ES, IUCTC, 2013, p. 244-245, ISBN 84-695-6971-6
 Očenášek Pavel, Švéda Miroslav: Communication in Business Information Systems - New Perspectives, In: International Academic Research Journal of Business and Management, Vol. 1, No. 7, 2013, AE, p. 87-92, ISSN 2227-1287
 Očenášek Pavel, Švéda Miroslav: Effective Design and Implementation of Distributed Business Information Systems, In: Applied Mechanics and Materials, Vol. 2013, No. 307, Zurich, CH, p. 451-454, ISSN 1660-9336
 Očenášek Pavel, Švéda Miroslav: On the Effective Internet Communication Filtering, In: Applied Mechanics and Materials, Vol. 2013, No. 307, Zurich, CH, p. 478-481, ISSN 1660-9336
 Petrlík Jiří, Sekanina Lukáš: Multiobjective evolution of approximate multiple constant multipliers, In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 2013, Brno, CZ, IEEE CS, 2013, p. 116-119, ISBN 978-1-4673-6133-0
 Polok Lukáš, Ila Viorela S., Smrž Pavel: Cache Efficient Implementation for Block Matrix Operations, In: Proceedings of the 21st High Performance Computing Symposia (HPC'13), San Diego, US, ACM, 2013, p. 698-706, ISBN 1-56555-350-0
 Polok Lukáš, Ila Viorela S., Šolony Marek, Zemčík Pavel, Smrž Pavel: Efficient Implementation for Block Matrix Operations Nonlinear Least Squares Problems for Robotic Applications, In: Proceedings of 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, DE, IEEE CS, 2013, p. 123-131, ISBN 0-7645-2641-3
 Pospíšil Milan, Mates Vojtěch, Hruška Tomáš: Analysing Resource Performance and its Application in Company, In: The Fifth International Conference on Information, Process, and Knowledge Management, Nice, FR, IARIA, 2013, p. 149-154, ISBN 978-1-61208-254-7
 Pospíšil Milan, Mates Vojtěch, Hruška Tomáš: Process Mining in Manufacturing Company, In: The Fifth International Conference on Information, Process, and Knowledge Managemen, Nice, FR, IARIA, 2013, p. 143-148, ISBN 978-1-61208-254-7
 Sekanina Lukáš, Vašíček Zdeněk: Approximate Circuit Design by Means of Evolvable Hardware, In: 2013 IEEE International Conference on Evolvable Systems (ICES), Singapur, SG, IEEE CS, 2013, p. 21-28, ISBN 978-1-4673-5847-7
 Sekanina Lukáš: Ubiquity symposium: Evolutionary computation and the processes of life: evolutionary computation in physical world, In: Ubiquity, Vol. 2013, No. 2, US, p. 1-7, ISSN 1530-2180
 Strnadel Josef: Load-Adaptive Monitor-Driven Hardware for Preventing Embedded Real-Time Systems from Overloads Caused by Excessive Interrupt Rates, In: Architecture of Computing Systems - ARCS 2013, Berlin, DE, Springer, 2013, p. 98-109, ISBN 978-3-642-36423-5
 Strnadel Josef: On Design of Priority-Driven Load-Adaptive Monitoring-Based Hardware for Managing Interrupts in Embedded Event-Triggered Real-Time Systems, In: Proceedings of the IEEE 16th International Symposium on Design and Diagnostics of Electrical Circuits and Systems, Brno, CZ, IEEE CS, 2013, p. 24-29, ISBN 978-1-4673-6136-1
 Strnadel Josef: Plánování úloh v systémech RT - IV: víceprocesorové prostředí, In: Automa, Vol. 19, No. 1, 2013, CZ, p. 44-46, ISSN 1210-9592
 Strnadel Josef: Plánování úloh v systémech RT - V: zvyšování provozuschopnosti systémů, In: Automa, Vol. 19, No. 2, 2013, CZ, p. 46-49, ISSN 1210-9592
 Szurman Karel, Kaštil Jan, Straka Martin, Kotásek Zdeněk: Fault Tolerant CAN Bus Control System Implemented into FPGA, In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 2013, Karlovy Vary, CZ, IEEE CS, 2013, p. 289-292, ISBN 978-1-4673-1185-4
 Šátek Václav, Vopěnka Václav, Kunovský Jiří: Application of the Modern Taylor Series Method to a multi-torsion chain, In: Simulation Modelling Practice and Theory, Vol. 2013, No. 33, CZ, p. 89-101, ISSN 1569-190X
 Šimek Václav, Růžička Richard: More Complex Polymorphic Circuits and Their Physical Implementation, In: Proceedings of the 20th Electronic Devices and Systems IMAPS CS International Conference, Brno, CZ, 2013, p. 1-6
 Šimková Marcela, Bolchini Cristiana, Kotásek Zdeněk: Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability, In: IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Karlovy Vary, CZ, IEEE CS, 2013, p. 275-278, ISBN 978-1-4673-6133-0
 Šimková Marcela, Přikryl Zdeněk, Hruška Tomáš, Kotásek Zdeněk: Automated Functional Verification of Application Specific Instruction-set Processors, In: The IESS 2013 Proceedings, Heidelberg, DE, Springer, 2013, p. 1-10
 Švéda Miroslav: Time in Cyber-Physical Systems: Specifications, Modeling and Measurements, In: Proceedings of the SCSI 2013, Rodos, GR, EUROPMENT, 2013, p. 10-17
 Vrábel Lukáš: On Stateless Pushdown Automata And Limited Pushdown Alphabets, VUT v Brně, 2013, p. 5
 Zelený Jan, Burget Radek: 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, ES, 2013, p. 11
 Zelený Jan, Burget Radek: Isomorphic mapping of DOM trees for re-using results of web page segmentation, In: The Twelfth Workshop on Web Semantics and Web Intelligence, Praha, CZ, 2013, p. 1-5
 Zemek Petr: One-Sided Random Context Grammars: Established Results and Open Problems, In: Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 3, Brno, CZ, VUT v Brně, 2013, p. 222-226, ISBN 978-80-214-4695-3
 Žádník Martin: Optimization of network flow monitoring, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 5, No. 1, 2013, Bratislava, SK, p. 6, ISSN 1338-1237
2012Bartoš Pavel, Kotásek Zdeněk: Reduction of Test Vectors Number based on Parasitic Capacity Extraction of Scan Chain Wires, In: Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering, Košice, SK, FEI TU v Košiciach, 2012, p. 162-169, ISBN 978-80-8143-049-7
 Bartoš Václav: Detekce anomálií v datech o síťovém provozu, In: Trilobit, Vol. 2012, No. 2, CZ, p. 1-6, ISSN 1804-1795
 Bartoš Václav: Detekce anomálií v síťovém provozu, In: Počítačové architektury a diagnostika 2012, Milovy, CZ, FIT ČVUT, 2012, p. 29-34, ISBN 978-80-01-05106-1
 Bednařík Roman, Herout Adam: What Students Want: A Study on the Role of Supervisor of Final Works in Computing Education, In: Proceedings of the 12th Koli Calling International Conference on Computing Education Research, New York, US, ACM, 2012, p. 118-125, ISBN 978-1-4503-1795-5
 Bendl Jaroslav, Zendulka Jaroslav: Integration System for Functional Annotation of Single Nucleotide Polymorphism, In: ElectroScope, Vol. 2012, No. 5, Plzeň, CZ, p. 5, ISSN 1802-4564
 Bendl Jaroslav: Integration System for Functional Annotation of Single Nucleotide Polymorphism, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, FIT VUT, 2012, p. 340-344, ISBN 978-80-214-4462-1
 Bidlo Michal, Vašíček Zdeněk: Evolution of Cellular Automata Using Instruction-Based Approach, In: 2012 IEEE World Congress on Computational Intelligence, CA, US, IEEE, 2012, p. 1060-1067, ISBN 978-1-4673-1508-1
 Brummer Niko, Cumani Sandro, Glembek Ondřej, Karafiát Martin, Matějka Pavel, Pešán Jan, Plchot Oldřich, Soufifar Mehdi, de Villiers Edward, Černocký Jan: Description and analysis of the Brno276 system for LRE2011, In: Proceedings of Odyssey 2012: The Speaker and Language Recognition Workshop, Singapur, SG, ISCA, 2012, p. 216-223, ISBN 978-981-07-3093-2
 Čermák Martin: Restrictions on Derivations in n-Generating Grammar Systems, In: Proceedings of the 18th Conference and Competition STUDENT EEICT 2012 Volume 5, Brno, CZ, FIT VUT, 2012, p. 371-375, ISBN 978-80-214-4462-1
 Dittrich Petr: Identification of Flight Parameters of Light Sport Aircraft, In: Proceedings of the 18th Conference STUDENT EEICT 2012, Brno, CZ, VUT v Brně, 2012, p. 464-468, ISBN 978-80-214-4462-1
 Dluhoš Ondřej, Dvořák Radim, Váňa Jan, Drahanský Martin: Hand Surface as Biometric Identifier, In: Advanced Science and Technology Letters, Vol. 8, No. 7, 2012, Sandy Bay, AU, p. 351-356, ISSN 2287-1233
 Doležel Michal, Drahanský Martin, Urbánek Jaroslav, Březinová Eva, Kim Tae hoon: Influence of Skin Diseases on Fingerprint Quality and Recognition, New Trends and Developments in Biometrics, Rijeka, HR, InTech, 2012, p. 275-303, ISBN 9789535108597
 Dolíhal Luděk, Hruška Tomáš, Masařík Karel: Testing of an automatically generated compiler, Review of retargetable testing system, In: International Journal on Advances in Software, Vol. 2012, No. 1, US, p. 15-26, ISSN 1942-2628
 Dolíhal Luděk, Hruška Tomáš, Masařík Karel: Usage of simulators in testing system, In: Industrial Simulation Conference, Brno, CZ, EUROSIS, 2012, p. 74-78, ISBN 978-90-77381-71-7
 Drahanský Martin, Doležel Michal, Urbánek Jaroslav, Březinová Eva, Kim Tae hoon: Influence of Skin Diseases on Fingerprint Recognition, In: Journal of Biomedicine and Biotechnology, Vol. 2012, No. 4, New York, US, p. 1-14, ISSN 1110-7243
 Drahanský Martin: Latest Developments in Fingerprint Recognition Technologies, Firenze, IT, 2012, p. 1-42
 Drozd Radek, Hájek Josef, Drahanský Martin: An algorithm for retina features extraction based on position of the blood vessel bifurcations, In: Biometric Recognition, Guangzhou, CN, Springer, 2012, p. 308-315, ISBN 978-3-642-35135-8, ISSN 0302-9743
 Dubská Markéta, Havel Jiří, Herout Adam, Jošth Radovan: Real-Time Detection of Lines using Parallel Coordinates and CUDA, In: Journal of Real-Time Image Processing , Vol. 2012, No. 12, DE, p. 1-12, ISSN 1861-8200
 Dudka Kamil, Müller Petr, Peringer Petr, Vojnar Tomáš: Predator: A Verification Tool for Programs with Dynamic Linked Data Structures, In: Lecture Notes in Computer Science, Vol. 2012, No. 7214, DE, p. 544-547, ISSN 0302-9743
 Ďurfina Lukáš, Křoustek Jakub, Zemek Petr, Kábele Břetislav, Kolář Dušan: On Complex Reconstruction of Functions from Binary Executable Files, In: 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2012, p. 100-101, ISBN 978-80-87342-15-2
 Ďurfina Lukáš, Křoustek Jakub, Zemek Petr, Kábele Břetislav: Accurate Recovery of Functions in a Retargetable Decompiler, In: The 15th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2012), Amsterdam, NL, Springer, 2012, p. 390-392, ISBN 978-3-642-33337-8
 Ďurfina Lukáš, Křoustek Jakub, Zemek Petr, Kábele Břetislav: Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler, In: 19th Working Conference on Reverse Engineering (WCRE 2012), Kingston, Ontario, CA, IEEE CS, 2012, p. 51-60, ISBN 978-0-7695-4891-3
 Ďurfina Lukáš, Křoustek Jakub, Zemek Petr: Generic Source Code Migration Using Decompilation, In: 10th Annual Industrial Simulation Conference (ISC'2012), Brno, CZ, EUROSIS, 2012, p. 38-42, ISBN 978-90-77381-71-7
 D'Haro Luis Fernando, Glembek Ondřej, Plchot Oldřich, Matějka Pavel, Soufifar Mehdi, Cordoba Ricardo, Černocký Jan: Phonotactic Language Recognition using i-vectors and Phoneme Posteriogram Counts, In: Proceedings of Interspeech 2012, Portland, Oregon, US, ISCA, 2012, p. 1-4, ISBN 978-1-62276-759-5, ISSN 1990-9772
 Fiedor Jan, Vojnar Tomáš: ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, In: Lecture Notes in Computer Science, Vol. 2012, No. 7687, DE, p. 35-41, ISSN 0302-9743
 Fiedor Jan, Vojnar Tomáš: Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level, In: PADTAD '12, New York, US, ACM, 2012, p. 36-46, ISBN 978-1-4503-1456-5
 Grégr Matěj, Podermański Tomáš, Švéda Miroslav: Deploying IPv6 - practical problems from the campus perspective, Reykjavik, IS, 2012, p. 8
 Grégr Matěj, Podermański Tomáš, Švéda Miroslav: User identification in IPV6 network, IP Networking 1 -- Theory and Practice, Žilina, SK, EDIS ŽU, 2012, p. 5-8, ISBN 978-80-554-0494-3
 Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš: Forest Automata for Verification of Heap Manipulation, In: Formal Methods in System Design, Vol. 2012, No. 41, Berlin, DE, p. 83-106, ISSN 0925-9856
 Halfar Patrik, Ráb Jaroslav, Ryšavý Ondřej, Švéda Miroslav: A Formal Authorization Framework for Networked SCADA Systems, In: Proceedings IEEE ECBS 2012, Novy Sad, RS, IEEE CS, 2012, p. 298-302, ISBN 978-0-7695-4664-3
 Halfar Patrik, Švéda Miroslav: Networking in Cyber Physical Systems - A Concept Study, In: Proceedings of the International Workshop of Cyber Physical Systems, Bucharest, RO, Romanian Academy, 2012, p. 50-53
 Henzl Martin, Hanáček Petr, Jurnečka Peter, Kačic Matej: A Concept of Automated Vulnerability Search in Contactless Communication Applications, In: Proceedings 46th Annual IEEE International Carnahan Conference on Security Technology, Boston, US, IEEE, 2012, p. 180-186, ISBN 978-1-4673-4807-2
 Herman David, Orság Filip, Drahanský Martin: Object Tracking in Monochromatic Video Sequences Using Particle Filter, In: 7th Scientific International Conference - Enviromental Protection of Population, Brno, CZ, 2012, p. 120-128, ISBN 978-80-86710-57-0
 Herout Adam, Dubská Markéta, Havel Jiří: Real-Time Detection of Lines and Grids: By PClines and Other Approaches, London, GB, Springer, 2012, p. 88, ISBN 978-1-4471-4413-7
 Herout Adam, Zachariáš Michal, Dubská Markéta, Havel Jiří: Fractal Marker Fields: No More Scale Limitations for Fiduciary Markers, In: Proceedings of the 2012 11th IEEE International Symposium on Mixed and Augmented Reality, Atlatnta, Georgia, US, IEEE, 2012, p. 1-2, ISBN 978-1-4673-4660-3
 Horáček Jan, Zbořil František, Hanáček Petr: Agent Aided Routing in Wireless Sensor Networks, In: Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering, Košice, SK, TU v Košiciach, 2012, p. 119-126, ISBN 978-80-8143-049-7
 Horáček Jan, Zbořil František: Mobile code placement in wireless sensor networks, In: Proceedings of the 2012 12th International Conference on Intelligent Systems Design and Applications (ISDA), Kočín (Cochin), IN, IEEE, 2012, p. 172-177, ISBN 978-1-4673-5118-8
 Horáček Petr, Meduna Alexander: Synchronous Versions of Regulated Grammars: Generative Power and Linguistic Applications, In: Theoretical and Applied Informatics, Vol. 24, No. 3, 2012, Varšava, PL, p. 175-190, ISSN 1896-5334
 Horáček Petr: On Generative Power of Synchronous Grammars with Linked Rules, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 376-380, ISBN 978-80-214-4462-1
 Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš: Testing of Concurrent Programs Using Genetic Algorithms, FIT-TR-2012-01, Brno, CZ, 2012, p. 31
 Hulík Rostislav, Beran Vítězslav, Španěl Michal, Kršek Přemysl, Smrž Pavel: Fast and Accurate Plane Segmentation in Depth Maps for Indoor Scenes, In: IEEE/RSJ International Conference on Intelligent Robots and Systems, Vilamoura, Algarve, PT, UPGM FIT VUT, 2012, p. 1-6, ISBN 978-1-4673-1737-5
 Hulík Rostislav: 3D Polygonal Model Curvature Approximation Based on Local Projections Method, In: Sborník prací konference a soutěže Student EEICT 2012, Brno, CZ, UPGM FIT VUT, 2012, p. 436-440, ISBN 978-80-214-4462-1
 Charvát Lukáš, Smrčka Aleš, Vojnar Tomáš: Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description, In: Proceedings of the 13th International Workshop on Microprocessor Test and Verification (MTV 2012), Austin, TX, US, 2012, p. 42-47
 Chmelař Petr, Mlích Jozef, Pešek Martin, Volf Tomáš, Zemčík Pavel, Zendulka Jaroslav: Brno University of Technology at TRECVid 2012: Interactive Surveillance Event Detection Pilot, In: 2012 TREC Video Retrieval Evaluation Notebook Papers and Slides, Gaithersburg, US, NIST, 2012, p. 1-9
 Iosif Radu, Hojjat Hossein, Konečný Filip, Kuncak Viktor, Rummer Philipp: Accelerating Interpolants, In: Lecture Notes in Computer Science, Vol. 2012, No. 7561, DE, p. 187-202, ISSN 0302-9743
 Janda Miloš, Karafiát Martin, Černocký Jan: Dealing with Numbers in Grapheme-Based Speech Recognition, In: Proceedings of 15th International Conference on Text, Speech and Dialogue, Springer-Verlag Berlin Heidelberg 2012, DE, Springer, 2012, p. 438-445, ISBN 978-3-642-32789-6, ISSN 0302-9743
 Janda Miloš: Grapheme Based Speech Recognition, In: Proceedings of the 18th Conference STUDENT EEICT 2012, Brno, CZ, VUT v Brně, 2012, p. 441-445, ISBN 978-80-214-4460-7
 Jirák Ota: Memory Consumption of Classical and Lazy Scattered Context Grammar Parser, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 381-385, ISBN 978-80-214-4462-1
 Juránek Roman, Hradiš Michal, Zemčík Pavel: Real-time Algorithms of Object Detection with Classifiers, Real-Time System, Rijeka, HR, InTech, 2012, p. 1-22, ISBN 9789535105107
 Juránek Roman: Acceleration of Object Detection Using Classifiers, Brno, CZ, FIT VUT, 2012, p. 1-77
 Kadlček Filip, Fučík Otto: Evolutionary Design of Local Binary Pattern Feature Shapes for Object Detection, In: 2012 NASA/ESA Adaptive Hardware and Systems (AHS-2012) Conference, Nuremberg, DE, IEEE CS, 2012, p. 1-8, ISBN 978-1-4673-1914-0
 Kadlček Filip: Návrh a optimalizace obrazových klasifikátorů, In: Počítačové architektury & diagnostika 2012, Milovy, CZ, VCVUT, 2012, p. 91-96, ISBN 978-80-01-05106-1
 Karas Pavel, Svoboda David, Zemčík Pavel: GPU Optimization of Convolution for Large 3-D Real Images, In: Proceedings of ACVIS 2012, Heidelberg, DE, Springer, 2012, p. 59-71, ISBN 978-3-642-33139-8
 Kaštil Jan, Straka Martin, Kotásek Zdeněk: Methodology for Increasing Reliability of FPGA Design via Partial Reconfiguration, In: The First Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN'12), Annecy, FR, Polimi, 2012, p. 1-4
 Kaštil Jan, Straka Martin, Mičulka Lukáš, Kotásek Zdeněk: Dependability Analysis of Fault Tolerant Systems Based on Partial Dynamic Reconfiguration Implemented into FPGA, In: 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, Cesme-Izmir, TR, IEEE CS, 2012, p. 250-257, ISBN 978-0-7695-4798-5
 Kazzaz M. Mohanned: SEMANTIC SERVICES MIGRATION, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 386-390, ISBN 978-80-214-4462-1
 Kekely Lukáš, Puš Viktor, Kořenek Jan: Low-Latency Modular Packet Header Parser for FPGA, In: ACM/IEEE Symposium on Architectures for Networking and Communications Systems, Austin, US, ACM, 2012, p. 77-78, ISBN 978-1-4503-1685-9
 Kočí Radek, Janoušek Vladimír: Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study, In: CEUR Workshop Proceedings, Vol. 851, No. 06, 2012, DE, p. 253-266, ISSN 1613-0073
 Konečný Filip, Hojjat Hossein, Iosif Radu, Kuncak Viktor, Rummer Philipp, Garnier Florent: A Verification Toolkit for Numerical Transition Systems, In: Lecture Notes in Computer Science, Vol. 2012, No. 7436, DE, p. 247-251, ISSN 0302-9743
 Konečný Filip, Iosif Radu, Bozga Marius: Deciding Conditional Termination, In: Lecture Notes in Computer Science, Vol. 2012, No. 7214, DE, p. 252-266, ISSN 0302-9743
 Korček Pavol, Sekanina Lukáš, Fučík Otto: Calibrating Traffic Simulation Model using Vehicle Travel Times, In: Lecture Notes in Computer Science, Vol. 2012, No. 7495, DE, p. 807-816, ISSN 0302-9743
 Korček Pavol, Sekanina Lukáš, Fučík Otto: Evolutionary approach to calibration of cellular automaton based traffic simulation model, In: Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, Anchorage, US, IEEE ITSS, 2012, p. 122-129, ISBN 978-1-4673-3062-6
 Korček Pavol, Žádník Martin: Lightweight benchmarking of platforms for network traffic processing, In: Proceedings of the 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Tallin, EE, IEEE CS, 2012, p. 278-283, ISBN 978-1-4673-1185-4
 Kořenek Jan, Korček Pavol, Košař Vlastimil, Žádník Martin, Viktorin Jan: A New Embedded Platform for Rapid Development of Networking Applications, In: Proceedings of the 2012 Seventh ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS 2012), Austin, US, IEEE CS, 2012, p. 81-82, ISBN 978-1-4503-1684-2
 Koutný Jiří: On Path-Controlled Grammars and Pseudoknots, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 391-395, ISBN 978-80-214-4462-1
 Křoustek Jakub, Kolář Dušan: Object-File-Format Description Language and Its Usage in Retargetable Decompilation, In: AIP Conference Proceedings, Kos, GR, AIP, 2012, p. 466-469, ISBN 978-0-7354-1091-6, ISSN 1551-7616
 Křoustek Jakub, Matula Peter, Končický Jaromír, Kolář Dušan: Accurate Retargetable Decompilation Using Debug Information, In: Proceedings of the Sixth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE'12), Rome, IT, IARIA, 2012, p. 79-84, ISBN 978-1-61208-209-7
 Kunovský Jiří, Kraus Michal, Šátek Václav, Szöllös Alexandr: Parallel Computations Based on Numerical Integration Methods, In: Proceedings of the 10th International Conference of Numerical Analysis and Applied Mathematics, Kos, GR, AIP, 2012, p. 4, ISBN 978-0-7354-1091-6, ISSN 1551-7616
 Kunovský Jiří, Šátek Václav, Topolánek David, Vopěnka Václav: Telegraph Equation and its Application in Medium Voltage Line, In: Proceeding of the 13th International Scientific Conference Electric Power Engineering 2012, Brno, CZ, FEKT VUT, 2012, p. 175-180, ISBN 978-80-214-4514-7
 Kunovský Jiří, Šátek Václav, Vopěnka Václav: Stiffness in Technical Initial Problems, In: Proceedings of the 10th International Conference of Numerical Analysis and Applied Mathematics, Kos, GR, AIP, 2012, p. 4, ISBN 978-0-7354-1091-6, ISSN 1551-7616
 Kupčík Jan, Hruška Tomáš: Towards Online Data Mining System for Enterprises, In: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), Wrocław, PL, SciTePress, 2012, p. 187-192, ISBN 978-989-8565-13-6
 Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš: VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, In: Lecture Notes in Computer Science, Vol. 2012, No. 7214, DE, p. 79-94, ISSN 0302-9743
 Machalík Stanislav, Juránek Roman, Zemčík Pavel: Research of Imgae Features for Classification of Wear Debris, In: Machine Graphics and Vision, Vol. 21, No. 1, 2012, CZ, p. 1-15, ISSN 1230-0535
 Malačka Ondřej, Samek Jan, Zbořil František, Zbořil František V.: 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, IN, IEEE, 2012, p. 285-290, ISBN 978-1-4673-5118-8
 Malačka Ondřej, Samek Jan, Zbořil František, Zbořil František V.: Interval Trust Representation, In: Proceedings of CSE 2012 International Conference on Computer Science and Engineering, Košice, SK, FEI TU v Košiciach, 2012, p. 175-182, ISBN 978-80-8143-049-7
 Malčík Dominik, Drahanský Martin: Anatomy of Biometric Passports, In: Advanced Science and Technology Letters, Vol. 2012, No. 4, Sandy Bay, AU, p. 258-263, ISSN 2287-1233
 Malčík Dominik, Drahanský Martin: Anatomy of Biometric Passports, In: Journal of Biomedicine and Biotechnology, Vol. 2012, No. 1, New York, US, p. 1-8, ISSN 1110-7243
 Malčík Dominik, Drahanský Martin: Microscopic Analysis of The Chips: Chips deprocessing, In: Advanced Science and Technology Letters, Vol. 2012, No. 7, Sandy Bay, AU, p. 80-85, ISSN 2287-1233
 Matějka Pavel, Plchot Oldřich, Soufifar Mehdi, Glembek Ondřej, D'Haro Luis Fernando, Veselý Karel, Grézl František, Ma Jeff, Matsoukas Spyros, Dehak Najim: Patrol Team Language Identification System for DARPA RATS P1 Evaluation, In: Proceedings of Interspeech 2012, Portland, Oregon, US, ISCA, 2012, p. 1-4, ISBN 978-1-62276-759-5, ISSN 1990-9772
 Mates Vojtěch, Hruška Tomáš: Context-Based Adaptation of Process Definition, In: BUSTECH 2012 : The Second International Conference on Business Intelligence and Technology, Nice, FR, IARIA, 2012, p. 25-31, ISBN 978-1-61208-223-3
 Matoušek Jiří: Optimalizace vyhledání nejdelšího prefixu síťové adresy s využitím částečné dynamické rekonfigurace FPGA, In: Počítačové architektury a diagnostika, Milovy, CZ, FIT ČVUT, 2012, p. 67-72, ISBN 978-80-01-05106-1
 Meduna Alexander, Vrábel Lukáš, Zemek Petr: An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets, In: DCFS'12: 14th International Workshop on Descriptional Complexity of Formal Systems, Braga, PT, Springer, 2012, p. 236-243, ISBN 978-3-642-31622-7, ISSN 0302-9743
 Meduna Alexander, Zemek Petr: Controlled Pure Grammar Systems, In: Journal of Universal Computer Science, Vol. 18, No. 14, 2012, AT, p. 2024-2040, ISSN 0948-6968
 Meduna Alexander, Zemek Petr: Jumping Finite Automata, In: International Journal of Foundations of Computer Science, Vol. 23, No. 7, 2012, SG, p. 1555-1578, ISSN 0129-0541
 Meduna Alexander, Zemek Petr: Nonterminal Complexity of One-Sided Random Context Grammars, In: Acta Informatica, Vol. 49, No. 2, 2012, DE, p. 55-68, ISSN 0001-5903
 Meduna Alexander, Zemek Petr: One-Sided Forbidding Grammars and Selective Substitution Grammars, In: International Journal of Computer Mathematics, Vol. 89, No. 5, 2012, GB, p. 586-596, ISSN 0020-7160
 Meduna Alexander, Zemek Petr: One-Sided Random Context Grammars with Leftmost Derivations, LNCS Festschrift Series: Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday, Berlin-Heidelberg, DE, Springer, 2012, p. 160-173, ISBN 978-3-642-31643-2
 Mičulka Lukáš, Kotásek Zdeněk: Design Sychronization after Partial Dynamic Reconfiguration of Fault Tolerant System, In: 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, Cesme-Izmir, TR, IEEE CS, 2012, p. 20-21, ISBN 978-3-902457-33-2
 Milička Martin, Burget Radek: Využití ontologií k popisu vizuálních rysů dokumentu, In: Proceedings of 7th Workshop on Intelligent and Knowledge Oriented Technologies (WIKT 2012), Smolenice, SK, Vyd. STU, 2012, p. 85-88, ISBN 978-80-227-3812-5
 Milička Martin: Document Comparison Based on the Page Layout, In: Proceedings of the 18th Conference STUDENT EEICT 2012, Brno, CZ, VUT v Brně, 2012, p. 405-409, ISBN 978-80-214-4462-1
 Mráček Štěpán, Váňa Jan, Dvořák Radim, Drahanský Martin, Yanushkevich Svetlana: 3D and Thermo-face Recognition, New Trends and Developments in Biometrics, Rijeka, HR, InTech, 2012, p. 31-58, ISBN 9789535108597
 Mráček Štěpán, Váňa Jan, Yanushkevich Svetlana, Drahanský Martin, Dvořák Radim: Thermal Face Recognition - Fusion of common used methods, In: Proceedings of the Emerging Security Technologies (EST 2012), Lisabon, PT, IEEE CS, 2012, p. 1-4, ISBN 978-0-7695-4791-6
 Nahhas Ibrahim, Drahanský Martin: Comparison of Fast Block Matching Algorithms for Motion Estimation, In: Proceedings of IMC2012, Hradec Králové, CZ, MPO ČR, 2012, p. 3139-3145, ISBN 978-80-905243-3-0
 Navrátil Jan, Kobrtek Jozef, Zemčík Pavel: A Survey on Methods for Omnidirectional Shadow Rendering, In: Journal of WSCG, Vol. 20, No. 2, 2012, Plzeň, CZ, p. 89-96, ISSN 1213-6972
 Navrátil Jan, Zemčík Pavel, Juránek Roman, Pečiva Jan: A Skewed Paraboloid Cut for Better Shadow Rendering, In: Proceedings of Computer Graphics International 2012, Berlin, DE, Springer, 2012, p. 4, ISBN 978-1-85899-283-9
 Očenášek Pavel, Hranáč Jakub: Design of Authentication and Key Distribution Protocols with Routing Functionality, In: Journal of Information & Communication Technology, Vol. 5, No. 1, 2012, Karachi, PK, p. 1-11, ISSN 1816-613X
 Očenášek Pavel, Míchal Luboš: Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae, In: Applied Mechanics and Materials, Vol. 2012, No. 157, Zurich, CH, p. 870-873, ISSN 1660-9336
 Očenášek Pavel, Švéda Miroslav: Analysis and Filtering of Network Communication in ISP Firewalls, In: Proceedings of the Third International Conference on Theoretical and Mathematical Foundations of Computer Science, Denpasar, ID, IERI, 2012, p. 1-4
 Očenášek Pavel, Švéda Miroslav: Communication in Business Information Systems - New Perspectives, In: Proceedings of ARC 2012 International Conference on Business and Management, Bangalore, IN, Siemens-R&D, 2012, p. 257-262, ISBN 978-0-615-73960-1
 Očenášek Pavel, Švéda Miroslav: On the Effective Internet Communication Filtering, In: Proceedings of the 2012 ICMCM Conference, Dubaj, AE, Trans Tech, 2012, p. 478-481, ISBN 978-3-03785-659-8
 Očenášek Pavel: Effective Design and Implementation of Distributed Business Information Systems, In: Proceedings of 2012 International Conference on Mechatronics and Applied Mechanics, Hong Kong, HK, NTO, 2012, p. 1-5, ISBN 978-3-03785-659-8
 Pešek Martin: Methods for Trajectory Outlier Detection in Surveillance Video, In: Proceedings of the 18th Conference STUDENT EEICT 2012, Brno, CZ, VUT v Brně, 2012, p. 474-478, ISBN 978-80-214-4462-1
 Petrlík Jiří, Korček Pavol, Fučík Otto, Beszédeš Marián, Sekanina Lukáš: Estimation of traffic density map using evolutionary algorithm, In: Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, Anchorage, US, IEEE ITSS, 2012, p. 632-637, ISBN 978-1-4673-3062-6
 Petrlík Jiří, Sekanina Lukáš: Multiobjective Evolution of Multiple-Constant Multipliers, In: Proceedings of the 18th International Conference on Soft Computing (MENDEL2012), Brno, CZ, FSI VUT, 2012, p. 64-69, ISBN 978-80-214-4540-6
 Plchot Oldřich, Karafiát Martin, Brummer Niko, Glembek Ondřej, Matějka Pavel, de Villiers Edward, Černocký Jan: 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, SG, ISCA, 2012, p. 330-333, ISBN 978-981-07-3093-2
 Procházka Boris, Drahanský Martin, Hanáček Petr: Únos výpočetního toku v obsluze systémových volání na operačním systému Linux, In: IMEA 2012 Sborník příspěvků 12.ročníku doktorandské konference, Hradec Králové, CZ, UHK, 2012, p. 6, ISBN 978-80-7435-185-3
 Puš Viktor, Kořenek Jan: Reducing memory in high-speed packet classification, In: Proceedings of the 8th International Wireless Communications and Mobile Computing Conference, Limassol, CY, FU, 2012, p. 437-442, ISBN 978-1-4577-1377-4
 Rath Shakti P., Karafiát Martin, Glembek Ondřej, Černocký Jan: A factorized representation of FMLLR transform based on QR-decomposition, In: Proceedings of Interspeech 2012, Portland, Oregon, US, ISCA, 2012, p. 1-4, ISBN 978-1-62276-759-5, ISSN 1990-9772
 Růžička Richard, Šimek Václav: NAND/NOR Gate Polymorphism in Low Temperature Environment, In: Proceedings of the 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, Tallinn, EE, IEEE, 2012, p. 34-37, ISBN 978-1-4673-1185-4
 Růžička Richard, Šimek Václav: Polymeric Polymorphic Electronics: Towards Multifunctional Logic Elements Based on Organic Semiconductor Materials, In: Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineerig, Košice, SK, FEI TU v Košiciach, 2012, p. 154-161, ISBN 978-80-8143-049-7
 Ryšavý Ondřej, Švéda Miroslav, Vrba Radimír: A Framework for Cyber-Physical Systems Design - A Concept Study, In: Proceedings ICONS 2012, Saint Gilles, Reunion Island, US, IARIA, 2012, p. 79-82, ISBN 978-1-61208-184-7
 Salvador Ruben, Otero Andres, Mora Javier, De la Torre Eduardo, Riesgo Teresa, Sekanina Lukáš: Implementation Techniques for Evolvable HW Systems: Virtual vs. Dynamic Reconfiguration, In: Proc. of the 22nd International Conference on Field Programmable Logic and Applications (FPL), Oslo, NO, IEEE CS, 2012, p. 547-550, ISBN 978-1-4673-2257-7
 Salvador Ruben, Vidal Alberto, Moreno Felix, Riesgo Teresa, Sekanina Lukáš: Accelerating FPGA-based evolution of wavelet transform filters by optimized task scheduling, In: Microprocessors and Microsystems, Vol. 36, No. 5, 2012, Amsterdam, NL, p. 427-438, ISSN 0141-9331
 Samek Jan, Malačka Ondřej, Král Jiří, Zbořil František, Zbořil František V.: HMTCsim: A simulation tool for multi-agent systems with using decision making based on trust, In: Proceedings of Third International Conference on Computer Modelling and Simulation, Brno, CZ, FIT VUT, 2012, p. 80-85, ISBN 978-80-214-4576-5
 Samek Jan: Multi-contextual Trust Model for Multi-Agent Systems, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 4, No. 1, 2012, Bratislava, SK, p. 44-54, ISSN 1338-1237
 Sekanina Lukáš, Salajka Vojtěch, Vašíček Zdeněk: Two-Step Evolution of Polymorphic Circuits for Image Multi-Filtering, In: 2012 IEEE World Congress on Computational Intelligence, CA, US, IEEE, 2012, p. 432-439, ISBN 978-1-4673-1508-1
 Sekanina Lukáš, Salajka Vojtěch: Towards New Applications of Multi-Function Logic: Image Multi-Filtering, In: Proc. of the 2012 Design, Automation and Test in Europe, Dresden, DE, EDAA, 2012, p. 824-827, ISBN 978-1-4577-2145-8
 Sekanina Lukáš, Vašíček Zdeněk: A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits, In: Proc. of the 2012 Design, Automation and Test in Europe, Dresden, DE, EDAA, 2012, p. 715-720, ISBN 978-1-4577-2145-8
 Smolka Tobiáš, Švenda Petr, Sekanina Lukáš, Matyáš Václav: Evolutionary Design of Message Efficient Secrecy Amplification Protocols, In: Proc. of the 15th European Conference on Genetic Programming, Heidelberg, DE, Springer, 2012, p. 194-205, ISBN 978-3-642-29138-8
 Straka Martin, Kaštil Jan, Kotásek Zdeněk: FPGA-based Fault Tolerant Architectures and Their Dependability Analysis, In: MEMICS'12 -- 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, FI MUNI, 2012, p. 1-1
 Straka Martin, Kaštil Jan, Kotásek Zdeněk: Methodology for Reliability Analysis of FPGA-based Fault Tolerant Systems, In: CSE'2012 International Scientific Conference on Computer Science and Engineering, Košice, SK, TU v Košiciach, 2012, p. 146-153, ISBN 978-80-8143-049-7
 Straka Martin, Mičulka Lukáš, Kaštil Jan, Kotásek Zdeněk: Test Platform for Fault Tolerant Systems Design Qualities Verification, In: 15th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Tallin, EE, IEEE CS, 2012, p. 336-341, ISBN 978-1-4673-1185-4
 Strnadel Josef, Rajnoha Peter: Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study, In: Acta Electrotechnica et Informatica, Vol. 12, No. 4, 2012, SK, p. 17-29, ISSN 1335-8243
 Strnadel Josef, Slimařík František: On Distribution and Impact of Fault Effects at Real-Time Kernel and Application Levels, In: Proceedings of the 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, Pistacaway, US, IEEE CS, 2012, p. 272-279, ISBN 978-0-7695-4798-5
 Strnadel Josef: 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, EE, IEEE CS, 2012, p. 121-126, ISBN 978-1-4673-1188-5
 Strnadel Josef: Plánování úloh v systémech RT - III: přetížení systému, In: Automa, Vol. 18, No. 12, 2012, CZ, p. 44-47, ISSN 1210-9592
 Strnadel Josef: Plánování úloh v systémech RT - II: neperiodické úlohy, In: Automa, Vol. 18, No. 11, 2012, CZ, p. 44-46, ISSN 1210-9592
 Strnadel Josef: Plánování úloh v systémech RT - I: závislé úlohy, In: Automa, Vol. 18, No. 10, 2012, CZ, p. 42-45, ISSN 1210-9592
 Szentandrási István, Herout Adam, Dubská Markéta: Fast Detection and Recognition of QR codes in High-Resolution Images, In: Proceedings of 28th Spring conference on Computer Graphics, Bratislava, SK, UNIBA, 2012, p. 1-8, ISBN 978-1-4503-1977-5
 Szentandrási István, Zachariáš Michal, Havel Jiří, Herout Adam, Dubská Markéta, Kajan Rudolf: Uniform Marker Fields: Camera Localization By Orientable De Bruijn Tori, In: Proceedings of the 2012 11th IEEE International Symposium on Mixed and Augmented Reality, Atlatnta, Georgia, US, IEEE, 2012, p. 2
 Szőke Igor, Fapšo Michal, Veselý Karel: BUT2012 Approaches for Spoken Web Search - MediaEval 2012, In: CEUR Workshop Proceedings, Vol. 2012, No. 927, DE, p. 1-2, ISSN 1613-0073
 Szőke Igor, Fapšo Michal, Žižka Josef, Beran Vítězslav, Černocký Jan: Efektivní přístup ke znalostem v audio-vizuálních záznamech, In: Proceedings of the Annual Database Conference, Praha, CZ, TU v Košiciach, 2012, p. 57-74, ISBN 978-80-553-1049-7
 Šátek Václav, Kunovský Jiří, Kopřiva Jan: Advanced Stiff Systems Detection, In: Acta Electrotechnica et Informatica, Vol. 11, No. 4, 2012, SK, p. 66-71, ISSN 1335-8243
 Šátek Václav: Stiff Systems Analysis, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 4, No. 3, 2012, Bratislava, SK, p. 1-11, ISSN 1338-1237
 Šikulová Michaela, Sekanina Lukáš: Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP, 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2012, p. 1, ISBN 978-80-87342-15-2
 Šikulová Michaela, Sekanina Lukáš: Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP, In: Lecture Notes in Computer Science, Vol. 2012, No. 7491, DE, p. 163-172, ISBN 978-3-642-32936-4, ISSN 0302-9743
 Šikulová Michaela, Sekanina Lukáš: Coevolution in Cartesian Genetic Programming, In: Proc. of the 15th European Conference on Genetic Programming, Heidelberg, DE, Springer, 2012, p. 182-193, ISBN 978-3-642-29138-8
 Šimková Marcela, Kaštil Jan, Kotásek Zdeněk: Verification of Fault-tolerant methodologies for FPGA Systems, In: The First Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN'12), Annecy, FR, Polimi, 2012, p. 55-58
 Škoda Petr, Šperka Svatopluk, Smrž Pavel: Extracting Information from Scientific Papers in the Cloud, In: Proceedings of Sixth International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2012), Palermo, IT, IEEE CS, 2012, p. 775-780, ISBN 978-0-7695-4687-2
 Šperka Svatopluk, Smrž Pavel: Towards Adaptive and Semantic Database Model for RDF Data Stores, In: Proceedings of Sixth International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2012), Palermo, IT, IEEE CS, 2012, p. 810-815, ISBN 978-0-7695-4687-2
 Šperka Svatopluk, Škoda Petr, Smrž Pavel: Cloudification of Legacy Information Extraction System, In: Proceedings of the 4th Workshop on Software Services, Bled, SI, UNI-LJ, 2012, p. 9-14
 Švéda Miroslav, Ryšavý Ondřej, De Silva Gayan, Matoušek Petr, Ráb Jaroslav: Static Analysis of Routing and Firewall Policy Configurations, e-Business and Telecommunications, Heidelberg, DE, Springer Science+Business Media, 2012, p. 39-53, ISBN 978-3-642-25205-1
 Švéda Miroslav, Sekletár Michal, Fidler Tomáš, Ryšavý Ondřej: A High-level Network-wide Router Configuration Language, In: Proceedings ICN 2012, Saint Gilles, Reunion Island, US, IARIA, 2012, p. 18-21, ISBN 978-1-61208-183-0
 Tejedor Javier, Fapšo Michal, Szőke Igor, Černocký Jan, Grézl František: Comparison of methods for language-dependent and language-independent query-by-example spoken term detection, In: ACM Transactions on Information Systems (TOIS), Vol. 2012, No. 30, New York, US, p. 1-34, ISSN 1046-8188
 Trchalík Roman, Švéda Miroslav: Unified Sensor Gateway Interconnection of Sensor Networks, In: Proceedings 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Sy, Brno, CZ, FEKT VUT, 2012, p. 348-353, ISBN 978-3-902823-21-2, ISSN 1474-6670
 Váňa Jan, Mráček Štěpán, Yanushkevich Svetlana, Drahanský Martin: Applying Fusion in Thermal Face Recognition, In: BIOSIG 2012, Darmstadt, DE, FhG-IGD, 2012, p. 233-244, ISBN 978-3-88579-290-1, ISSN 1617-5468
 Vašíček Zdeněk, Sekanina Lukáš: On Area Minimization of Complex Combinational Circuits Using Cartesian Genetic Programming, In: 2012 IEEE World Congress on Computational Intelligence, CA, US, IEEE, 2012, p. 2379-2386, ISBN 978-1-4673-1508-1
 Vašíček Zdeněk, Slaný Karel: Efficient Phenotype Evaluation in Cartesian Genetic Programming, In: Proc. of the 15th European Conference on Genetic Programming, Heidelberg, DE, Springer, 2012, p. 266-278, ISBN 978-3-642-29138-8
 Veselý Karel, Karafiát Martin, Grézl František, Janda Miloš, Egorova Ekaterina: The Language-Independent Bottleneck Features, In: Proceedings of IEEE 2012 Workshop on Spoken Language Technology, Miami, US, IEEESP, 2012, p. 336-341, ISBN 978-1-4673-5124-9
 Veselý Vladimír, Švéda Miroslav: L2 protocols in OMNeT++, IP Networking 1 -- Theory and Practice, Žilina, SK, EDIS ŽU, 2012, p. 37-40, ISBN 978-80-554-0494-3
 Volf Tomáš: Porovnání výkonnosti databází pohybujících se objektů, In: Proceedings of the Student Research Conference, Ostrava, CZ, PřF OU, 2012, p. 4, ISBN 978-80-7368-966-7
 Volf Tomáš: The Application Interface for Video Databases, In: Proceedings of the 18th Conference STUDENT EEICT 2012, Brno, CZ, VUT v Brně, 2012, p. 415-419, ISBN 978-80-214-4462-1
 Vrábel Lukáš: A New Normal Form for Programmed Grammars with Appearance Checking, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 420-425, ISBN 978-80-214-4462-1
 Zemek Petr: Normal Forms of One-Sided Random Context Grammars, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 430-434, ISBN 978-80-214-4462-1
 Zendulka Jaroslav, Pešek Martin: Mining Moving Object Data, In: Central European Journal of Computer Science, Vol. 2, No. 3, 2012, DE, p. 183-193, ISSN 1896-1533
 Zuzaňák Jiří, Zemčík Pavel: Script Language for Image Processing, In: Computing and Informatics, Vol. 2012, No. 31, Bratislava, SK, p. 1279-1293, ISSN 1335-9150
 Žák Jakub, Horáček Jan, Zbořil František, Kočí Radek, Král Jiří: JADE Agents Used for Wireless Sensors Control: System Based on Services, In: Proceedings of the 2012 12th International Conference on Intelligent Systems Design and Applications (ISDA), Kochi (Cochin), IN, 2012, p. 252-257, ISBN 978-1-4673-5118-8
 Žák Jakub, Zbořil František, Hanáček Petr: Jade Agents to Wireless Sensors: Case study, In: Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineering, Košice, SK, TU v Košiciach, 2012, p. 95-102, ISBN 978-80-8143-049-7
 Žaloudek Luděk, Sekanina Lukáš: Cellular automata-based systems with fault-tolerance, In: Natural Computing, Vol. 11, No. 4, 2012, Berlin, DE, p. 673-685, ISSN 1567-7818
2011Bartoš Václav, Žádník Martin: Hardware precomputation of entropy for anomaly detection, In: Proceedings of the 7th ACM/IEEE Symposium on Architectures for Networking and Communications Systems, New York, US, IEEE CS, 2011, p. 219-220, ISBN 978-0-7695-4521-9
 Denecke Kerstin, Dreesman Johannes, Krieck Manuela, Otrusina Lubomír: A New Age of Public Health: Identifying Disease Outbreaks by Analyzing Tweets, In: Proceedings of Health WebScience Workshop, ACM Web Science Conference, Koblenz, DE, ACM, 2011, p. 10-15
 Dreesman Johannes, Eckmanns Tim, Krieck Manuela, Linge Jens, Otrusina Lubomír, Velasco Edward: Norovirus outbreak at an university in Lower Saxony, In: Proceedings of the International Meeting on Emerging Diseases and Surveillance (IMED 2011), Brookline, US, International Society for Infect, 2011, p. 1-9
 Dreesman Johannes, Eckmanns Tim, Krieck Manuela, Linge Jens, Otrusina Lubomír, Velasco Edward: Norovirus outbreak at an university in Lower Saxony, In: Proceedings of the European Congress of Clinical Microbiology and Infectious Diseases (ECCMID 2011), Milan, IT, ESCMID, 2011, p. 1-9
 Ďurfina Lukáš, Křoustek Jakub, Zemek Petr, Kolář Dušan, Hruška Tomáš, Masařík Karel, Meduna Alexander: Advanced Static Analysis for Decompilation Using Scattered Context Grammars, In: Proceedings of the Applied Computing Conference 2011 (ACC'11), Angers, FR, WSEAS, 2011, p. 164-169, ISBN 978-1-61804-051-0
 Ďurfina Lukáš, Křoustek Jakub, Zemek Petr, Kolář Dušan, Hruška Tomáš, Masařík Karel, Meduna Alexander: Design of an Automatically Generated Retargetable Decompiler, In: 2nd European Conference of COMPUTER SCIENCE (ECCS'11), Puerto De La Cruz, Tenerife, ES, NAUN, 2011, p. 199-204, ISBN 978-1-61804-056-5
 Gajda Zbyšek, Sekanina Lukáš: Recent Advances in Evolutionary Synthesis and Optimization of Ordinary and Polymorphic Circuits, Brno, CZ, FIT VUT, 2011, p. 111, ISBN 978-80-214-4417-1
 Hrubý Martin: Designing a New Raster Sub-System for GRASS-7, In: Geoinformatics FCE CTU, Vol. 6, No. 1, 2011, CZ, p. 11-30, ISSN 1802-2669
 Janoušek Vladimír: Simulace a návrh vyvíjejících se systémů, Brno, CZ, FIT VUT, 2011, p. 123, ISBN 978-80-214-4414-0
 Korček Pavol, Košař Vlastimil, Žádník Martin, Koranda Karel, Kaštovský Petr: Hacking NetCOPE to run on NetFPGA-10G, In: Proceedings of the 2011 Seventh ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS 2011), Brooklyn, New York, US, IEEE CS, 2011, p. 1-2, ISBN 978-0-7695-4521-9
 Mráček Štěpán: 3D Face Recognition, Saarbrücken, DE, LAP, 2011, p. 81, ISBN 978-3-8465-4450-1
 Pečiva Jan, Přibyl Jaroslav, Navrátil Jan: Close-to-photorealistic Lighting for Simulations and CAD, In: 2011 International Simulation Multiconference - SCS (SCSC, SPECTS, GCMS) - SCSC Proceedings (Hard-Copy) 11, Hague, NL, SCS, 2011, p. 1-2, ISBN 1-56555-345-4
 Švéda Miroslav, Ryšavý Ondřej, De Silva Gayan, Matoušek Petr, Ráb Jaroslav: Reachability Analysis in Dynamically Routed Networks, In: Proceedings of the IEEE ECBS 2011, Piscataway, NJ, US, IEEE CS, 2011, p. 197-205, ISBN 978-0-7695-4379-6

Your IPv4 address: 54.234.42.16
Switch to IPv6 connection

DNSSEC [dnssec]