Ústav inteligentních systémů

Produkty, prototypy a software

Název:
Typ:
Od roku:  Roků:  

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
 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
 SYDAGenerator - nástroj pro generování datasetů s využitím 3D objektů, 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
2016Aplikace pro biometrickou detekci živosti prstu, software, 2016
Autoři: Mézl Martin, Smital Lukáš, Provazník Ivo, Drahanský Martin
 Detekce oblasti otisku prstu, software, 2016
Autoři: Doležel Michal, Kanich Ondřej, Drahanský Martin
 HeadViewer - simulační nástroj pro určení pozice hlavy z pohledu CCTV kamery, software, 2016
Autoři: Goldmann Tomáš, Drahanský Martin
 Rádiový komunikační modul pro senzory, prototyp, 2016
Autoři: Korček Pavol, Hájek Josef
 Rozpoznávání obličeje z kvadrokoptéry, software, 2016
Autoři: Mikundová Lea, Drahanský Martin

Vaše IPv4 adresa: 54.224.85.115
Přepnout na IPv6 spojení

DNSSEC [dnssec]