Credit cards on a keyboard

2014 – in press

De SILVA., G.; RYŠAVÝ, O.; MATOŠEK, P.; ŠVÉDA, M. On Formal Reachability Analysis in Networks with Dynamic Behavior. In Telecommunication Systems. Volume 57, Issue 4. 2014 (in press).

2013

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z.; MIČULKA, L. Fault Tolerant System Design and SEU Injection Based Testing. In Microprocessors and Microsystems. 2013 (in press).

2012

HABERMEHL, P.; HOLÍK, L.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T. Forest Automata for Verification of Heap Manipulation. In Formal Methods in System Design, Issue 41. Berlin, DE, 2012, p. 83-106. ISSN 0925-9856.

DRAHANSKÝ, M.; DOLEŽEL, M.; URBÁNEK, J.; BŘEZINOVÁ, E.; KIM, T., H. Influence of Skin Diseases on Fingerprint Recognition. In Journal of Biomedicine and Biotechnology, Issue 4. New York, US, 2012, pp. 1-14. ISSN 1110-7243.

SALVADOR, R.; VIDAL, A.; MORENO, F.; RIESGO, T.; SEKANINA, L. Accelerating FPGA-based evolution of wavelet transform filters by optimized task scheduling. In Microprocessors and Microsystems. Volume 36, Issue 5. Amsterdam, NL, 2012, pp. 427-438.Doi: http://dx.doi.org/10.1016/j.micpro.2012.02.002.

 

Three large research infrastructures unite under the project e-INFRA CZ
Three large research infrastructures unite under the project e-INFRA CZ
Invitation to the course Fundamentals of Deep Learning for Computer Vision (03/09/2019)
When: Tuesday 3 September 2019, 8.30am – 5.00pm Where: campus VŠB-TUO in Ostrava-Poruba, IT4Innovations building, […]
Press Release: The InnoHPC project results in the Danube region are to be presented in Timisoara
The InnoHPC project results in the Danube region are to be presented in Timisoara
17th Open Access Grant Competition
Announced regularly three times a year for employees of research institutions, scientific and educational organizations. […]
IT4Innovations Review 2018
IT4Innovations Review 2018
All news