Department of Intelligent Systems

Publications

Author:
Title:
Keywords:
From year: Years:
Type:
   
2019FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Nested Antichains for WS1S. Acta Informatica. 2019, vol. 56, no. 3, pp. 205-228. ISSN 0001-5903.
 HASLINGER Jaroslav, KUČERA Radek and ŠÁTEK Václav. Stokes system with local Coulomb's slip boundary conditions: Analysis of discretized models and implementation. Computers and Mathematics with Applications. 2019, vol. 2019, no. 77, pp. 1655-1667. ISSN 0898-1221.
 MALČÍK Dominik and DRAHANSKÝ Martin. Improving The Physical Security Of Microchips Against Side-Channel Attacks. International Journal of Advanced Science and Technology. Sandy Bay: NADIA, 2019, vol. 2019, no. 127, pp. 13-24. ISSN 2207-6360.
 ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. International Journal on Software Tools for Technology Transfer. 2019, vol. 2019, no. 1, pp. 1-17. ISSN 1433-2779.
2018CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. Efficient Synthesis of Robust Models for Stochastic Systems. Journal of Systems and Software. New York: Elsevier Science, 2018, vol. 2018, no. 143, pp. 140-158. ISSN 0164-1212.
 DRAHANSKÝ Martin. Tajemství biometrie 2 - Rozpoznávání obličeje. ABC. Praha: Czech News Center a.s., 2018, vol. 63, no. 7, pp. 18-19. ISSN 1213-8991.
 DRAHANSKÝ Martin. Tajemství biometrie 3 - Duhovka a sítnice. ABC. Praha: Czech News Center a.s., 2018, vol. 63, no. 12, pp. 40-41. ISSN 1213-8991.
 DRAHANSKÝ Martin. Tajemství biometrie 4 - Lidská ruka. ABC. Praha: Czech News Center a.s., 2018, vol. 63, no. 18, pp. 48-49. ISSN 1213-8991.
 DRAHANSKÝ Martin. Tajemství biometrie 5 - Rozpoznávání písma. ABC. Praha: Czech News Center a.s., 2018, vol. 63, no. 22, pp. 22-23. ISSN 1213-8991.
 HASLINGER Jaroslav, KUČERA Radek, ŠÁTEK Václav and SASSI Taoufik. Stokes system with solution-dependent threshold slip boundary conditions: Analysis, approximation and implementation. Mathematics and Mechanics of Solids. 2018, vol. 2018, no. 23, pp. 294-307. ISSN 1081-2865.
 HEIDARI Mona and DRAHANSKÝ Martin. Detection of Ridge Discontinuities in Fingerprint Recognition Influenced by Skin Diseases. International Journal of Advanced Science and Technology. Sandy Bay: Science & Engineering Research Support Center, 2018, vol. 2018, no. 116, pp. 13-22. ISSN 2005-4238.
 HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp and VOJNAR Tomáš. String constraints with concatenation and transducers solved efficiently. Proceedings of the ACM on Programming Languages. New York: Association for Computing Machinery, 2018, vol. 2018, no. 2, pp. 96-127. ISSN 2475-1421.
 KUČERA Radek, HASLINGER Jaroslav, ŠÁTEK Václav and JAROŠOVÁ Marta. Efficient methods for solving the Stokes problem with slip boundary conditions. Mathematics and Computers in Simulation. 2018, vol. 2018, no. 145, pp. 114-124. ISSN 0378-4754.
 VEIGEND Petr, ŠÁTEK Václav and NEČASOVÁ Gabriela. Model of the Telegraph line and its Numerical Solution. Open Computer Science. Berlin: Walter de Gruyter, 2018, vol. 8, no. 1, pp. 10-17. ISSN 2299-1093.
 VÍDEŇSKÝ František and ZBOŘIL František. Strojové rozpoznávání rodových erbů. Genealogické a heraldické informace. Brno: THE MORAVIAN GENEALOGICAL AND HERALDIC SOCIETY, 2018, vol. 22, no. 1, pp. 73-82. ISSN 0862-8963.
2017ABDULLA Parosh A., HAZIZA Frédéric, HOLÍK Lukáš, JONSSON Bengt and REZINE Ahmed. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. International Journal on Software Tools for Technology Transfer. 2017, vol. 5, no. 19, pp. 549-563. ISSN 1433-2779.
 AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš and VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. Concurrency and Computation: Practice and Experience. New York: WILEY, 2017, vol. 29, no. 21, pp. 4268-4289. ISSN 1532-0634.
 DRAHANSKÝ 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.
 DRAHANSKÝ Martin. Tajemství biometrie 1 - Otisky prstů. ABC. Praha: Czech News Center a.s., 2017, vol. 62, no. 22, pp. 50-52. ISSN 1213-8991.
 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. 51, pp. 575-607. 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.
 ILA Viorela S., POLOK Lukáš, ŠOLONY Marek and SVOBODA Pavel. SLAM++-A Highly Efficient and Temporally Scalable Incremental SLAM Framework. The International Journal of Robotics Research. 2017, vol. 2017, no. 1, pp. 210-230. ISSN 1741-3176.
 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. 6, pp. 402-408. 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. 7, no. 2, pp. 163-172. 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.

Your IPv4 address: 35.153.135.60
Switch to https