Ústav inteligentních systémů
|
| Hlavní řešitel: | Vondrák Ivo |
|---|
| Spoluřešitelé: | Č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 |
|---|
| Další řešitelé: | Kaštil Jan, Kubíček Radek |
|---|
| Agentura: | MŠMT |
| Kód: | ED1.1.00/02.0070 |
| Začátek: | 2011 |
| Konec: | 2015 |
| Klíčová slova: | informační technologie, superpočítač, bezpečnost |
|---|
| Anotace: |
|---|
| IT4Innovations je unikátní projekt, jehož cílem je vybudovat národní centrum excelentního výzkumu v oblasti informačních technologií. Toto nově vybudované centrum umožní posílit koncentraci celé řady vědních oborů vztahujících se k informačním technologiím a dosáhnout jejich rozvoje.Součástí projektu bude mj. pořízení velmi výkonného superpočítače, který by měl být uveden do provozu okolo roku 2014, přičemž by se měl v té době zařadit mezi 100 nejvýkonnějších superpočítačů na světě. Projekt společně připravuje pět subjektů: Vysoká škola báňská-Technická univerzita Ostrava, Ostravská univerzita v Ostravě, Slezská univerzita v Opavě, Vysoké učení technické v Brně a Ústav geoniky AV ČR.
![[img]](http://www.fit.vutbr.cz/images/opvavpi.png) |
| Popis projektu: |
|---|
Centrum excelence IT4Innovations by mělo skloubit funkci výzkumného centra pro akademické účely s výzkumem pro potřeby aplikační sféry. Základem plánovaného centra bude computing (počítání), který je vytknut před ostatní vědní disciplíny a formulován do čtyř vzájemně propojených klíčových oblastí:
- IT4People (Information for People) - výzkum zaměřený na zlepšení kvality života společnosti prostřednictvím moderních informačních technologiích.
- SC4Simulations (Supercomputing for Simulations) - superpočítačové výpočty pro řešení průmyslových problémů, modelování v oblasti přírodních věd a nanotechnologií (tvarové optimalizace, návrh materiálů, biomechanické simulace, ...).
- EC4Innovations (Embedded Computing for Innovations) - výzkum a vývoj vestavěných řídicích systémů aplikovaných v mechatronice a inovativní medicíně.
- Theory4IT (Theory for Information Technology) - oblast zaměřená do základního výzkumu, a to především na rozvoj nových netradičních výpočetních metod (dolování znalostí, teorie mravenišť).
|
Produkty
| 2013 | intMAN: Prioritně řízený a na monitorování a adaptaci na zatížení založený hardware pro správu přerušení ve vestavných událostmi řízených systémech reálného času, prototyp, 2013
Autoři: Strnadel Josef, Šimek Václav |
| | OMToolkit - Nástroj pro zpracování polygonálních sítí, software, 2013
Autoři: Hulík Rostislav, Španěl Michal, Smrž Pavel |
| | Random Forest Toolbox, software, 2013
Autoři: Juránek Roman, Zemčík Pavel |
| 2012 | AclCheck - nástroj pro statickou analýzu konfliktů mezi pravidly, software, 2012
Autoři: Hozza Tomáš, Ryšavý Ondřej |
| | Decipher focused crawler, software, 2012
Autoři: Mrnuštík Michal |
| | Editor anotací, software, 2012
Autoři: Cudrák Miloš, Dytrych Jaroslav, Kleban Martin, Loukota Petr, Pěnkava Pavel, Smrž Pavel |
| | Extraktor informací z vědeckých článků určený pro Cloud, software, 2012
Autoři: Šperka Svatopluk, Škoda Petr, Smrž Pavel |
| | GDEfALLL: Grafické vývojové prostředí jazyka ALLL, software, 2012
Autoři: Horáček Jan, Zbořil František, Žák Jakub |
| | HAVEN: Otevřený rámec pro akceleraci funkční verifikace hardwaru pomocí FPGA, software, 2012
Autoři: Šimková Marcela, Lengál Ondřej, Kajan Michal |
| | Klasifikační systém pro texty v oblasti vizuálního umění, software, 2012
Autoři: Kouřil Jan |
| | Lexolights, software, 2012
Autoři: Pečiva Jan, Starka Tomáš |
| | Nástroj pro dolování motivů ze SPARQL dotazů, software, 2012
Autoři: Šperka Svatopluk |
| | Nástroj pro sumarizaci textových dokumentů, software, 2012
Autoři: Pokorný Lubomír, Bartík Vladimír |
| | Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, software, 2012
Autoři: Fiedor Jan, Vojnar Tomáš |
| | Prototypes 2012, software, 2012
Autoři: Janoušek Vladimír |
| | R3-COP znalostní báze, software, 2012
Autoři: Chmelař Petr, Dalgaard Lars, Smrž Pavel, Zemčík Pavel |
| | SwingBox renderovací komponenta, software, 2012
Autoři: Burget Radek, Bielik Peter |
| | Systém pro rozpoznávání jmenných entit a extrakci informací v projektu Decipher, software, 2012
Autoři: Otrusina Lubomír, Smrž Pavel, Sznapka Jakub, Šafář Martin |
| | Systém pro sběr a analýzu dat projektu M-Eco, software, 2012
Autoři: Jeřábek Jan, Marek Tomáš, Otrusina Lubomír, Rylko Vojtěch, Smrž Pavel, Sznapka Jakub, Šafář Martin, Uherčík Maroš |
| | VATA: Knihovna pro efektivní práci s nedeterministickými stromovými automaty, software, 2012
Autoři: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš |
| | Vestavěná vývojová platforma pro gigabitové síťové aplikace založená na FPGA, prototyp, 2012
Autoři: Korček Pavol, Kořenek Jan, Šimek Václav |
| 2011 | Mikroprocesor ADOP, funkční vzorek, 2011
Autoři: Hruška Tomáš, Masařík Karel, Přikryl Zdeněk, Husár Adam, Fujcik Lukáš, Pristach Marián |
| | Nástroj propojující dynamickou analýzu a bounded model checking, software, 2011
Autoři: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš |
|
Publikace
| 2013 | Barabas Maroš, Homoliak Ivan, Drozd Michal, Hanáček Petr: Automated Malware Detection Based on Novel Network Behavioral Signatures, In: International Journal of Engineering and Technology, roč. 5, č. 2, 2013, Singapore, SG, s. 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, s. 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, s. 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, s. 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 , roč. 2013, č. 1, DE, s. 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, s. 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, s. 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, s. 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, roč. 2, č. 3, 2013, Hong Kong, CN, s. 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, s. 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, s. 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, s. 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, roč. 2013, č. 24, Amsterdam, NL, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 1-19 |
| | Křena Bohuslav, Vojnar Tomáš: Automated formal analysis and verification: an overview, In: International Journal of General Systems, roč. 2013, č. 42, Abingdon, GB, s. 335-365, ISSN 0308-1079 |
| | Křoustek Jakub, Kolář Dušan: Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis, In: Acta Informatica Pragensia, roč. 2013, č. 2, Praha, CZ, s. 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, s. 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, s. 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, s. 108-111, ISBN 978-1-4673-6133-0 |
| | Meduna Alexander, Zemek Petr: Generalized One-Sided Forbidding Grammars, In: International Journal of Computer Mathematics, roč. 90, č. 2, 2013, GB, s. 172-182, ISSN 0020-7160 |
| | Meduna Alexander, Zemek Petr: Left Random Context ET0L Grammars, In: Fundamenta Informaticae, roč. 123, č. 3, 2013, Amsterdam, NL, s. 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, roč. 477, č. 1, 2013, Paris, FR, s. 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, s. 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, roč. 1, č. 7, 2013, AE, s. 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, roč. 2013, č. 307, Zurich, CH, s. 451-454, ISSN 1660-9336 |
| | Očenášek Pavel, Švéda Miroslav: On the Effective Internet Communication Filtering, In: Applied Mechanics and Materials, roč. 2013, č. 307, Zurich, CH, s. 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, s. 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, s. 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, s. 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, s. 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, s. 143-148, ISBN 978-1-61208-254-7 |
| | Sekanina Lukáš, Vašíček Zdeněk: Approximate Circuits by Means of Evolvable Hardware, In: 2013 IEEE International Conference on Evolvable Systems (ICES), Singapur, SG, IEEE CS, 2013, s. 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, roč. 2013, č. 2, US, s. 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, s. 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, s. 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, roč. 19, č. 1, 2013, CZ, s. 44-46, ISSN 1210-9592 |
| | Strnadel Josef: Plánování úloh v systémech RT - V: zvyšování provozuschopnosti systémů, In: Automa, roč. 19, č. 2, 2013, CZ, s. 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, s. 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, roč. 2013, č. 33, CZ, s. 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, s. 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, s. 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, s. 1-10 |
| | Švéda Miroslav: Time in Cyber-Physical Systems: Specifications, Modeling and Measurements, In: Proceedings of the SCSI 2013, Rodos, GR, EUROPMENT, 2013, s. 10-17 |
| | Vrábel Lukáš: On Stateless Pushdown Automata And Limited Pushdown Alphabets, VUT v Brně, 2013, s. 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, s. 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, s. 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, s. 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, roč. 5, č. 1, 2013, Bratislava, SK, s. 6, ISSN 1338-1237 |
| 2012 | Bartoš 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, s. 162-169, ISBN 978-80-8143-049-7 |
| | Bartoš Václav: Detekce anomálií v datech o síťovém provozu, In: Trilobit, roč. 2012, č. 2, CZ, s. 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, s. 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, s. 118-125, ISBN 978-1-4503-1795-5 |
| | Bendl Jaroslav, Zendulka Jaroslav: Integration System for Functional Annotation of Single Nucleotide Polymorphism, In: ElectroScope, roč. 2012, č. 5, Plzeň, CZ, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, roč. 8, č. 7, 2012, Sandy Bay, AU, s. 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, s. 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, roč. 2012, č. 1, US, s. 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, s. 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, roč. 2012, č. 4, New York, US, s. 1-14, ISSN 1110-7243 |
| | Drahanský Martin: Latest Developments in Fingerprint Recognition Technologies, Firenze, IT, 2012, s. 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, s. 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 , roč. 2012, č. 12, DE, s. 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 (Competition Contribution), In: Lecture Notes in Computer Science, roč. 2012, č. 7214, DE, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, roč. 2012, č. 7687, DE, s. 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, s. 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, s. 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, s. 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, roč. 2012, č. 41, Berlin, DE, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, roč. 24, č. 3, 2012, Varšava, PL, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 1-9 |
| | Iosif Radu, Hojjat Hossein, Konečný Filip, Kuncak Viktor, Rummer Philipp: Accelerating Interpolants, In: Lecture Notes in Computer Science, roč. 2012, č. 7561, DE, s. 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, s. 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, s. 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, s. 381-385, ISBN 978-80-214-4462-1 |
| | Juránek Roman, Hradiš Michal, Zemčík Pavel: Real-time Algorithms of Object Detection using Classifiers, Real-Time System, Rijeka, HR, InTech, 2012, s. 1-22, ISBN 9789535105107 |
| | Juránek Roman: Acceleration of Object Detection Using Classifiers, Brno, CZ, FIT VUT, 2012, s. 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, s. 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, s. 91-96, ISBN 978-80-01-05106-1 |
| | Karas Pavel, Svoboda David, Zemčík Pavel: Optimalizace konvoluce velkých reálných 3D obrazů na GPU, In: Proceedings of ACVIS 2012, Heidelberg, DE, Springer, 2012, s. 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, s. 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, s. 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, s. 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, s. 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, roč. 851, č. 06, 2012, DE, s. 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, roč. 2012, č. 7436, DE, s. 247-251, ISSN 0302-9743 |
| | Konečný Filip, Iosif Radu, Bozga Marius: Deciding Conditional Termination, In: Lecture Notes in Computer Science, roč. 2012, č. 7214, DE, s. 252-266, ISSN 0302-9743 |
| | Korček Pavol, Sekanina Lukáš, Fučík Otto: Calibration of Traffic Simulation Models Using Vehicle Travel Times, In: Lecture Notes in Computer Science, roč. 2012, č. 7495, DE, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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 Additional Debugging Information, In: Proceedings of the Sixth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE'12), Rome, IT, IARIA, 2012, s. 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, s. 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, s. 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, s. 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, s. 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, roč. 2012, č. 7214, DE, s. 79-94, ISSN 0302-9743 |
| | Machalík Stanislav, Juránek Roman, Zemčík Pavel: Research of Image Features for Classification of Wear Debris, In: Machine Graphics and Vision, roč. 21, č. 1, 2012, CZ, s. 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, s. 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, s. 175-182, ISBN 978-80-8143-049-7 |
| | Malčík Dominik, Drahanský Martin: Anatomy of Biometric Passports, In: Advanced Science and Technology Letters, roč. 2012, č. 4, Sandy Bay, AU, s. 258-263, ISSN 2287-1233 |
| | Malčík Dominik, Drahanský Martin: Anatomy of Biometric Passports, In: Journal of Biomedicine and Biotechnology, roč. 2012, č. 1, New York, US, s. 1-8, ISSN 1110-7243 |
| | Malčík Dominik, Drahanský Martin: Microscopic Analysis of The Chips: Chips deprocessing, In: Advanced Science and Technology Letters, roč. 2012, č. 7, Sandy Bay, AU, s. 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, s. 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, s. 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, s. 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, s. 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, roč. 18, č. 14, 2012, AT, s. 2024-2040, ISSN 0948-6968 |
| | Meduna Alexander, Zemek Petr: Jumping Finite Automata, In: International Journal of Foundations of Computer Science, roč. 23, č. 7, 2012, SG, s. 1555-1578, ISSN 0129-0541 |
| | Meduna Alexander, Zemek Petr: Nonterminal Complexity of One-Sided Random Context Grammars, In: Acta Informatica, roč. 49, č. 2, 2012, DE, s. 55-68, ISSN 0001-5903 |
| | Meduna Alexander, Zemek Petr: One-Sided Forbidding Grammars and Selective Substitution Grammars, In: International Journal of Computer Mathematics, roč. 89, č. 5, 2012, GB, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, roč. 20, č. 2, 2012, Plzeň, CZ, s. 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, s. 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, roč. 5, č. 1, 2012, Karachi, PK, s. 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, roč. 2012, č. 157, Zurich, CH, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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 missing values in traffic density maps, In: Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, Anchorage, US, IEEE ITSS, 2012, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, roč. 36, č. 5, 2012, Amsterdam, NL, s. 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, s. 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, roč. 4, č. 1, 2012, Bratislava, SK, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, roč. 12, č. 4, 2012, SK, s. 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, s. 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, s. 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, roč. 18, č. 12, 2012, CZ, s. 44-47, ISSN 1210-9592 |
| | Strnadel Josef: Plánování úloh v systémech RT - II: neperiodické úlohy, In: Automa, roč. 18, č. 11, 2012, CZ, s. 44-46, ISSN 1210-9592 |
| | Strnadel Josef: Plánování úloh v systémech RT - I: závislé úlohy, In: Automa, roč. 18, č. 10, 2012, CZ, s. 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, s. 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, s. 2 |
| | Szőke Igor, Fapšo Michal, Veselý Karel: BUT2012 přístup pro Spoken Web Search úkol na MediaEval2012, In: CEUR Workshop Proceedings, roč. 2012, č. 927, DE, s. 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, s. 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, roč. 11, č. 4, 2012, SK, s. 66-71, ISSN 1335-8243 |
| | Šátek Václav: Stiff Systems Analysis, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 4, č. 3, 2012, Bratislava, SK, s. 1-11, ISSN 1338-1237 |
| | Šikulová Michaela, Sekanina Lukáš: Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP, In: Lecture Notes in Computer Science, roč. 2012, č. 7491, DE, s. 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, s. 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, s. 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, s. 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, s. 810-815, ISBN 978-0-7695-4687-2 |
| | Šperka Svatopluk, Škoda Petr, Smrž Pavel: Migrace původního systému pro extrakci informací do cloudu, In: Proceedings of the 4th Workshop on Software Services, Bled, SI, UNI-LJ, 2012, s. 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, s. 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, s. 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), roč. 2012, č. 30, New York, US, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 430-434, ISBN 978-80-214-4462-1 |
| | Zendulka Jaroslav, Pešek Martin: Mining Moving Object Data, In: Central European Journal of Computer Science, roč. 2, č. 3, 2012, DE, s. 183-193, ISSN 1896-1533 |
| | Zuzaňák Jiří, Zemčík Pavel: Script Language for Image Processing, In: Computing and Informatics, roč. 2012, č. 31, Bratislava, SK, s. 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, s. 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, s. 95-102, ISBN 978-80-8143-049-7 |
| | Žaloudek Luděk, Sekanina Lukáš: Cellular automata-based systems with fault-tolerance, In: Natural Computing, roč. 11, č. 4, 2012, Berlin, DE, s. 673-685, ISSN 1567-7818 |
| 2011 | Bartoš 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, s. 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, s. 10-15 |
| | Dreesman Johannes, Eckmanns Tim, Krieck Manuela, Linge Jens, Otrusina Lubomír, Velasco Edward: Social media and epidemiology: Tweets indicate Norovirus outbreak at a university, In: Proceedings of the International Meeting on Emerging Diseases and Surveillance (IMED 2011), Brookline, US, International Society for Infect, 2011, s. 1-9 |
| | Dreesman Johannes, Eckmanns Tim, Krieck Manuela, Linge Jens, Otrusina Lubomír, Velasco Edward: Social media and epidemiology: Tweets indicate Norovirus outbreak at a university, In: Proceedings of the European Congress of Clinical Microbiology and Infectious Diseases (ECCMID 2011), Milan, IT, ESCMID, 2011, s. 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, s. 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, s. 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, s. 111, ISBN 978-80-214-4417-1 |
| | Hrubý Martin: Designing a New Raster Sub-System for GRASS-7, In: Geoinformatics FCE CTU, roč. 6, č. 1, 2011, CZ, s. 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, s. 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, s. 1-2, ISBN 978-0-7695-4521-9 |
| | Mráček Štěpán: 3D Face Recognition, Saarbrücken, DE, LAP, 2011, s. 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, s. 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, s. 197-205, ISBN 978-0-7695-4379-6 |
|
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)