Ústav inteligentních systémů

Produkty, prototypy a software

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

2019Mobilní kriminalistická elektronická jednotka, funkční vzorek, 2019
Autoři: Malaník Petr, Drahanský Martin, Pernický Radim
 Multisenzorická deska pro dron, prototyp, 2019
Autoři: Malaník Petr, Goldmann Tomáš, Drahanský Martin
 Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT, software, 2019
Autoři: Marcin Vladimír, Harmim Dominik, Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam
 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
 Vizualizér Kvality Otisku Prstu, software, 2019
Autoři: Kanich Ondřej, Oravec Tomáš, Dejmal David
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.226.251.81