Ú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
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: 3.80.38.5
Přepnout na https

DNSSEC [dnssec]