Ústav inteligentních systémů

Produkty, prototypy a software

Název:
Klíčová slova:
Typ:
Od roku:  Roků:  

2019Multisenzorická deska pro dron, prototyp, 2019
Autoři: Malaník Petr, Goldmann Tomáš, Drahanský Martin
 Trau: SMT řešič řetězcových omezení, software, 2019
Autoři: Abdulla Parosh A., Atig Mohamed F., Bui Phi Diep, Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Rummer Philipp
2018Lenochod - SMT solver pro řetězcová omezení, software, 2018
Autoři: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar Tomáš
 MINA: Nástroj pro verifikaci programů s neomezeným počtem vláken, software, 2018
Autoři: Holík Lukáš, Turoňová Lenka, Vojnar Tomáš
 Poloautomatické snímací zařízení 2D charakteristik ruky, funkční vzorek, 2018
Autoři: Dvořák Michal, Stehlík Petr, Drahanský Martin
 Poloautomatické zařízení na snímání sítnice oka, funkční vzorek, 2018
Autoři: Drahanský Martin, Malaník Petr, Hájek Josef, Pokorný Jaroslav
 Ranger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou, software, 2018
Autoři: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian
 Simulátor a Generátor Poškození do Syntetického Otisku Prstu - Modul Průtahového Poškození, software, 2018
Autoři: Kanich Ondřej, Drahanský Martin
 SYDAGenerator - nástroj pro generování datasetů s využitím 3D objektu, software, 2018
Autoři: Goldmann Tomáš, Drahanský Martin
2017FOS: Fast ODE Solver, software, 2017
Autoři: Kocina Filip
 Gaston - Symbolická WS1S Rozhodovací Procedura, software, 2017
Autoři: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš
 Snímací zařízení pro krátké střelné zbraně, funkční vzorek, 2017
Autoři: Goldmann Tomáš, Dvořák Michal, Spurný Martin, Drahanský Martin

Vaše IPv4 adresa: 107.23.129.77