Detail projektu
Centrum excelence IT4Innovations
Období řešení: 1.1.2011 — 31.12.2015
Zdroje financování
Ministerstvo školství, mládeže a tělovýchovy ČR - Operační program Výzkum a vývoj pro inovace
O projektu
Information technologies play a key role in industry in the Moravian-Silesian Region and in the development of the Czech Republic as a whole. The requirements of the application sphere and foreign investors are connected with the rapid growth of IT technologies, yet science and research have not responded adequately to this newly emerging situation.
Popis česky
IT4Innovations je unikátní projekt, jehož cílem je vybudovat národní centrum
excelentního výzkumu v oblasti informačních technologií. Toto nově vybudované
centrum umožní posílit koncentraci celé řady vědních oborů vztahujících se
k informačním technologiím a dosáhnout jejich rozvoje.Součástí projektu bude mj.
pořízení velmi výkonného superpočítače, který by měl být uveden do provozu okolo
roku 2014, přičemž by se měl v té době zařadit mezi 100 nejvýkonnějších
superpočítačů na světě. Projekt společně připravuje pět subjektů: Vysoká škola
báňská-Technická univerzita Ostrava, Ostravská univerzita v Ostravě, Slezská
univerzita v Opavě, Vysoké učení technické v Brně a Ústav geoniky AV ČR.
Klíčová slova
information technology, security, safety
Klíčová slova česky
informační technologie, superpočítač, bezpečnost
Označení
ED1.1.00/02.0070
Originální jazyk
angličtina
Řešitelé
Hruška Tomáš, prof. Ing., CSc. - hlavní řešitel
Vondrák Ivo, prof. Ing., CSc. - hlavní řešitel
Bartík Vladimír, Ing., Ph.D. - spoluřešitel
Bařina David, Ing., Ph.D. - spoluřešitel
Beran Vítězslav, doc. Ing., Ph.D. - spoluřešitel
Bidlo Michal, doc. Ing., Ph.D. - spoluřešitel
Bouša Zdeněk, Ing. - spoluřešitel
Burget Lukáš, doc. Ing., Ph.D. - spoluřešitel
Burget Radek, doc. Ing., Ph.D. - spoluřešitel
Burianová Michaela, Mgr. - spoluřešitel
Dolíhal Luděk, Ing., Ph.D. - spoluřešitel
Drahošová Michaela, Ing., Ph.D. - spoluřešitel
Dytrych Jaroslav, Ing., Ph.D. - spoluřešitel
Hájek Josef, Ing., Ph.D. - spoluřešitel
Hannemann Mirko, Ph.D. - spoluřešitel
Havel Jiří, Ing., Ph.D. - spoluřešitel
Holík Lukáš, doc. Mgr., Ph.D. - spoluřešitel
Hradiš Michal, Ing., Ph.D. - spoluřešitel
Hrubý Martin, Ing., Ph.D. - spoluřešitel
Chalupníček Kamil, Ing. - spoluřešitel
Útvary
Ústav informačních systémů
- odpovědné pracoviště (3.9.2010 - nezadáno)
Bezpečné a spolehlivé síťové architektury
- interní (3.9.2010 - 31.12.2015)
Výzkumná skupina Evolvable Hardware
- interní (3.9.2010 - 31.12.2015)
Fakulta informačních technologií
- spolupříjemce (3.9.2010 - 31.12.2015)
Slezská univerzita v Opavě
- spolupříjemce (3.9.2010 - 31.12.2015)
Vysoká škola báňská - Technická univerzita Ostrava
- příjemce (3.9.2010 - 31.12.2015)
Výsledky
HOZZA, T.; RYŠAVÝ, O.: AclCheck; AclCheck. Nástroj včetně zdrojových souborů je dostupný na http://code.google.com/p/acl-check/.. URL: https://www.fit.vut.cz/research/product/258/. (software)
Detail
KAZZAZ, M. Semantic Services Migration. Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012. p. 386-390. ISBN: 978-80-214-4462-1.
Detail
DUDKA, V.; KŘENA, B.; LETKO, Z.; ŠIMKOVÁ, H.; VOJNAR, T. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. Proceedings of MEMICS'14. Brno: 2014. p. 133-133.
Detail
DRAHANSKÝ, M. Biometrics - Liveness Detection, Recognition of Finger Veins, 3D Hand, Eye Iris, Eye Retina and Thermo-Faces. Brno: 2014. p. 1-53.
Detail
ENEA, C.; LENGÁL, O.; SIGHIREANU, M.; VOJNAR, T. Compositional Entailment Checking for a Fragment of Separation Logic. FIT-TR-2014-01, Brno: Faculty of Information Technology BUT, 2014. p. 1-19.
Detail
ZBOŘIL, F.; KRESLÍKOVÁ, J. Programovací jazyky. Brno: 1986. p. 1-161.
Detail
DRAHANSKÝ, M. Fingerprint recognition related topics. Tokyo: 2014. p. 1-44.
Detail
ZEMEK, P. One-Sided Random Context Grammars. Brno: 2014. p. 0-0.
Detail
CHMELAŘ, P.; MLÍCH, J.; PEŠEK, M.; VOLF, T.; ZEMČÍK, P.; ZENDULKA, J. Brno University of Technology at TRECVid 2013: Interactive Surveillance Event Detection. 2013 TREC Video Retrieval Evaluation Notebook Papers and Slides. Gaithersburg: 2013. p. 1-9.
Detail
HOLÍK, L.; JONSSON, B.; LENGÁL, O.; VOJNAR, T.; TRINH, Q.; ABDULLA, P. Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. FIT-TR-2013-02, Brno: Faculty of Information Technology BUT, 2013. p. 1-35.
Detail
HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T. Fully Automated Shape Analysis Based on Forest Automata. FIT-TR-2013-01, Brno: Faculty of Information Technology BUT, 2013. p. 1-25.
Detail
MILIČKA, M.; BURGET, R. RDF-based Modelling of Web Documents on Different Levels of Abstraction. Proceedings of the 12th annual conference Znalosti 2013. Ostrava: VŠB-Technical University of Ostrava, 2013. p. 127-132. ISBN: 978-80-248-3189-3.
Detail
DUDKA, K.; PERINGER, P.; VOJNAR, T. Byte-Precise Verification of Low-Level List Manipulation. FIT-TR-2012-04, Brno: Faculty of Information Technology BUT, 2013. p. 0-0.
Detail
VRÁBEL, L. On Stateless Pushdown Automata And Limited Pushdown Alphabets. Brno University of Technology, 2013. p. 0-0.
Detail
SZURMAN, K.; KAŠTIL, J.; STRAKA, M.; KOTÁSEK, Z. Fault Tolerant CAN Bus Control System Implemented into FPGA. IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 2013. Karlovy Vary: IEEE Computer Society, 2013. p. 289-292. ISBN: 978-1-4673-6136-1.
Detail
ZEMEK, P. One-Sided Random Context Grammars: Established Results and Open Problems. Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 3. Brno: Brno University of Technology, 2013. p. 222-226. ISBN: 978-80-214-4695-3.
Detail
STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z. FPGA-based Fault Tolerant Architectures and Their Dependability Analysis. MEMICS'12 -- 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2012. p. 1 (1 s.).
Detail
JURÁNEK, R. Acceleration of Object Detection Using Classifiers. Brno: Faculty of Information Technology BUT, 2012. p. 1-77.
Detail
DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T. Testing of Concurrent Programs Using Genetic Algorithms. FIT-TR-2012-01, Brno: 2012. p. 0-0.
Detail
GRÉGR, M.; PODERMAŃSKI, T.; ŠVÉDA, M. Deploying IPv6 - practical problems from the campus perspective. Reykjavik: 2012. p. 0-0.
Detail
Odkaz
Odpovědnost: Hruška Tomáš, prof. Ing., CSc.