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
Responsibility: Hruška Tomáš, prof. Ing., CSc.