Ústav inteligentních systémů
2025
- Optická soustava pro boční snímání laserového svazku v otevřeném prostoru se zesilovačem jasu obrazu, funkční vzorek, 2025
Autoři: RYDLO, Š.; NOVÁČKOVÁ, K.; PEMČÁK, I.; MALANÍK, P.
2024
- Device for biometric identification with the aid of fingerprints and/or hand characteristics, and method of biometric identification with the aid of these characteristics, patent, 2024
Autoři: DVOŘÁK, M.; GOLDMANN, T.; DRAHANSKÝ, M.; SAKIN, M.; DVOŘÁK, R.; NEZHYBA, O.; MEISTER, T.; ZARRABI, A. - Fingerprint Processing Web Application, software, 2024
Autoři: VAŇO, M.; SVOBODA, J.; SAKIN, M. - Mata: A Finite Automata Library, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M. - Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software, 2024
Autoři: MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M. - Z3-Noodler: A String Solver, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.