Detail projektu

The IT4Innovations Centre of Excellence

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

- plně financující (1. 1. 2011 - 31. 12. 2015)

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é

Útvary

Ústav informačních systémů
- odpovědné pracoviště (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