Project detail

Centrum excelence IT4Innovations

Duration: 1.1.2011 — 31.12.2015

Funding resources

Ministerstvo školství, mládeže a tělovýchovy ČR - Operační program Výzkum a vývoj pro inovace

On the project

Information technologies play a key role in industry in the Moravian-Silesian Region and in the development of the Czech Republic as a whole. The requirements of the application sphere and foreign investors are connected with the rapid growth of IT technologies, yet science and research have not responded adequately to this newly emerging situation.

Description in Czech
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.  

Keywords
information technology, security, safety

Key words in Czech
informační technologie, superpočítač, bezpečnost

Mark

ED1.1.00/02.0070

Default language

English

People responsible

Hruška Tomáš, prof. Ing., CSc. - principal person responsible
Vondrák Ivo, prof. Ing., CSc. - principal person responsible
Bartík Vladimír, Ing., Ph.D. - fellow researcher
Bařina David, Ing., Ph.D. - fellow researcher
Beran Vítězslav, doc. Ing., Ph.D. - fellow researcher
Bidlo Michal, doc. Ing., Ph.D. - fellow researcher
Bouša Zdeněk, Ing. - fellow researcher
Burget Lukáš, doc. Ing., Ph.D. - fellow researcher
Burget Radek, doc. Ing., Ph.D. - fellow researcher
Burianová Michaela, Mgr. - fellow researcher
Dolíhal Luděk, Ing., Ph.D. - fellow researcher
Drahošová Michaela, Ing., Ph.D. - fellow researcher
Dytrych Jaroslav, Ing., Ph.D. - fellow researcher
Hájek Josef, Ing., Ph.D. - fellow researcher
Hannemann Mirko, Ph.D. - fellow researcher
Havel Jiří, Ing., Ph.D. - fellow researcher
Holík Lukáš, doc. Mgr., Ph.D. - fellow researcher
Hradiš Michal, Ing., Ph.D. - fellow researcher
Hrubý Martin, Ing., Ph.D. - fellow researcher
Chalupníček Kamil, Ing. - fellow researcher

Units

Department of Information Systems
- responsible department (3.9.2010 - not assigned)
Evolvable Hardware Research Group
- internal (3.9.2010 - 31.12.2015)
Secure and reliable network architectures
- internal (3.9.2010 - 31.12.2015)
Faculty of Information Technology
- co-beneficiary (3.9.2010 - 31.12.2015)

Results

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

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

VOLF, T. Porovnání výkonnosti databází pohybujících se objektů. Proceedings of the Student Research Conference. Ostrava: Přírodovědecká fakulta Ostravské univerzity v Ostravě, 2012. s. 1-4. ISBN: 978-80-7368-966-7.
Detail

Link