Department of Intelligent Systems


Author: From year: Years:
Title: Keywords:
2017DRAHANSKÝ Martin, PERNICKÝ Radim, KANICH Ondřej and BAROTOVÁ Štěpánka. Verarbeitung von beschädigten Fingerabdrücken in der polizeilichen Praxis. DuD - Datenschutz und Datensicherheit. Wiesbaden: Springer Verlag, 2017, vol. 41, no. 7, pp. 407-414. ISSN 1614-0702.
 DRAHANSKÝ Martin, SPURNÝ Martin and GOLDMANN Tomáš. Gesichtsdetektion und -erkennung in Videos aus öffentlichen Kamerasystemen. DuD - Datenschutz und Datensicherheit. Wiesbaden: Springer Verlag, 2017, vol. 41, no. 7, pp. 415-421. ISSN 1614-0702.
 DRAHANSKÝ Martin. Bezpečnosť biometrických systémov. PC Revue. Bratislava: unknown, 2017, vol. 2017, no. 5, pp. 96-99. ISSN 1335-0226.
 ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. Formal Methods in System Design. Berlin: Springer Verlag, 2017, vol. 2017, no. 1, pp. 1-33. ISSN 0925-9856.
 HOMOLIAK Ivan, BREITENBACHER Dominik and HANÁČEK Petr. Convergence Optimization of Backpropagation Artificial Neural Network Used for Dichotomous Classification of Intrusion Detection Dataset. Journal of Computers. Chengdu, Sichuan: 2017, vol. 12, no. 2, pp. 143-155. ISSN 1796-203X.
 KANICH Ondřej and DRAHANSKÝ Martin. Simulation of Synthetic Fingerprint Generation Using Petri Nets. IET Biometrics. Kent: The Institution of Engineering and Technology, 2017, vol. 6, no. 3, pp. 1-17. ISSN 2047-4938.
 KOČÍ Radek and JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software. 2017, vol. 10, no. 12, pp. 121-131. ISSN 1942-2628.
 KUČERA Radek, ŠÁTEK Václav, HASLINGER Jaroslav, FIALOVÁ Simona and POCHYLÝ František. Modeling of hydrophobic surfaces by the Stokes problem with the stick-slip boundary conditions. Journal of Fluids Engineering. 2017, vol. 2017, no. 139, pp. 1-9. ISSN 0098-2202.
 LAI Kenneth K., KANICH Ondřej, DVOŘÁK Michal, DRAHANSKÝ Martin, YANUSHKEVICH Svetlana and SHMERKO Vlad. P. Biometric-Enabled Watchlists Technology. IET Biometrics. Kent: The Institution of Engineering and Technology, 2017, vol. 6, no. 6, pp. 1-10. ISSN 2047-4938.
 LUŽA Radim, ORSÁG Filip, DRAHANSKÝ Martin and ROZMAN Jaroslav. Robot RUDA - Introduction and Current Research. Central European Researchers Journal. Žilina: University of Žilina, 2017, vol. 3, no. 1, pp. 1-8. ISSN 2453-7314.
2016ARON Lukáš and HANÁČEK Petr. Dynamic Permission Mechanism on Android. Journal of Software. Oulu: 2016, vol. 2016, no. 12, pp. 1124-1230. ISSN 1796-217X.
 BAROTOVÁ Štěpánka, DRAHANSKÝ Martin and PERNICKÝ Radim. Detection of Ridge Damages in Fingerprint Recognition Caused by Skin Diseases. International Journal of Signal Processing, Image Processing and Pattern Recognition. 2016, vol. 9, no. 11, pp. 125-146. ISSN 2005-4254.
 BREITENBACHER Dominik, HOMOLIAK Ivan, JAROŠ Jiří and HANÁČEK Petr. Impact of Optimization and Parallelism on Factorization Speed of SIQS. Journal on Systemics, Cybernetics and Informatics. 2016, vol. 14, no. 3, pp. 51-58. ISSN 1690-4524.
 BÁRTA Milan and DRAHANSKÝ Martin. Generation of Skin Diseases into Synthetic Fingerprints. International Journal of Image Processing. 2016, vol. 10, no. 5, pp. 229-248. ISSN 1985-2304.
 DRAHANSKÝ Martin, KANICH Ondřej, BŘEZINOVÁ Eva and SHINODA Koichi. Experiments with optical properties of skin on fingers. International Journal of Optics and Applications. Rosemead: Scientific & Academic Publishing, 2016, vol. 2016, no. 2, pp. 37-46. ISSN 2168-5053.
 EASTWOOD Shawn C., SHMERKO Vlad. P., YANUSHKEVICH Svetlana, DRAHANSKÝ Martin and GORODNICHY Dmitry. Biometric-Enabled Authentication Machines: A Survey of Open-Set Real-World Applications. IEEE Transactions on Human-Machine Systems. Washington: Institute of Electrical and Electronics Engineers, 2016, vol. 46, no. 2, pp. 2168-2291. ISSN 2168-2291.
 HENZL Martin and HANÁČEK Petr. A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards. Radioengineering. 2016, vol. 2016, no. 1, pp. 132-139. ISSN 1210-2512.
 KANICH Ondřej and DRAHANSKÝ Martin. Currently Used Swipe Fingerprint Sensors. International Journal of Bio-Science and Bio-Technology. Daedok: Science & Engineering Research Support Center, 2016, vol. 8, no. 1, pp. 381-386. ISSN 2233-7849.
 MALČÍK Dominik and DRAHANSKÝ Martin. Microscopic Analysis of Chips. International Journal of Security and Its Applications. Daejeon: Science & Engineering Research Support Center, 2016, vol. 2016, no. 11, pp. 47-66. ISSN 1738-9976.
 PACURA Dávid and DRAHANSKÝ Martin. CUDA Accelerated Real-time Digital Image Stabilization in a Video Stream. International Journal of Software Engineering and Its Applications. Daegu: Science & Engineering Research Support Center, 2016, vol. 10, no. 6, pp. 113-124. ISSN 1738-9984.
 VANČO Matúš and ARON Lukáš. Dynamic Security Policy Enforcement on Android. International Journal of Security and Its Applications. Daejeon: Science & Engineering Research Support Center, 2016, vol. 2016, no. 10, pp. 141-148. ISSN 1738-9976.
 YANUSHKEVICH Svetlana, EASTWOOD Shawn C., DRAHANSKÝ Martin and SHMERKO Vlad. P. Understanding and taxonomy of uncertainty in modeling, simulation, and risk profiling for border control automation. Journal of Defence Modeling and Simulation. Thousand Oak: SAGE Publications, 2016, vol. 2016, no. 7, pp. 1-15. ISSN 1548-5129.
 ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Overview of Bio-Inspired Control Mechanisms for Hexapod Robot. International Journal of Computer Information Systems and Industrial Management Applications. 2016, vol. 2016, no. 8, pp. 125-134. ISSN 2150-7988.
 ČEŠKA Milan, DANNENBERG Frits, KWIATKOWSKA Marta, PAOLETTI Nicola and BRIM Luboš. Precise parameter synthesis for stochastic biochemical systems. Acta Informatica. 2016, vol. 2016, no. 1, pp. 1-35. ISSN 0001-5903.
2015ABDULLA Parosh A., HAZIZA Frédéric and HOLÍK Lukáš. Parameterized verification through view abstraction. International Journal on Software Tools for Technology Transfer. 2015, vol. 2016, no. 5, pp. 495-516. ISSN 1433-2779.
 ABDULLA Parosh A., HOLÍK Lukáš, JONSSON Bengt, LENGÁL Ondřej, TRINH Quy Cong and VOJNAR Tomáš. Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica. 2015, vol. 53, no. 4, pp. 357-385. ISSN 0001-5903.
 DRAHANSKÝ Martin, KOLÁŘ Radim and MŇUK Tomáš. Elektronické zařízení pro snímání obrazu sítnice a duhovky oka. Česká a slovenská oftalmologie. 2015, vol. 71, no. 6, pp. 302-308. ISSN 1211-9059.
 FIEDOR Jan, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel and VOJNAR Tomáš. Advances in Noise-based Testing of Concurrent Programs. Software Testing, Verification and Reliability. 2015, vol. 25, no. 3, pp. 272-309. ISSN 1099-1689.
 SNÁŠELOVÁ Petra and ZBOŘIL František V. Genetic Algorithm using Theory of Chaos. Procedia Computer Science. 2015, vol. 2015, no. 51, pp. 316-325. ISSN 1877-0509.

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]