Ústav inteligentních systémů

Projekty a granty

Řešitel:
Název:
Klíčová slova:
Od roku: Roků:  Stav: 
Agentura:
  
2019AUFOVER - Automatizace Formální Verifikace (TACR), TAČR - Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, 2019-2021, řešení
Řešitel: Kratochvíla Tomáš
Spoluřešitelé: Smrčka Aleš
 AUTODEV - Automaty v rozhodovacích procedurách a verifikaci, GAČR - Standardní projekty, GA19-24397S, 2019-2021, řešení
Řešitel: Holík Lukáš
Spoluřešitelé: Strejček Jan
 Pokročilé metody hluboké inspekce v aplikační vrstvě pro obranu proti dnešním hrozbám, VUT v Brně - Vnitřní projekty VUT, FEKT/FIT-J-19-5906, 2019-2020, řešení
Řešitel: Janků Petr
Spoluřešitelé: Holík Lukáš, Mlýnek Petr, Sláčik Ján, Vargovčík Pavol, Vojnar Tomáš
 Průzkum a edukace občanů České republiky v oblasti biometrie, TAČR - Program na podporu aplikovaného společenskovědního a humanitního výzkumu, experimentálního vývoje a inovací ÉTA., TL02000134, 2019-2021, řešení
Řešitel: Drahanský Martin
2018Intemac - Analýza připravenosti firmy Alba Metal pro prediktivní údržbu a Průmysl 4.0, Intemac, 2018, ukončen
Řešitel: Sadovský Petr
Spoluřešitelé: Veigend Petr
 Kunst - Nástroj pro tvorbu schémat technologických procesů v oblasti čistíren odpadních vod, Kunst, 2018-2019, řešení
Řešitel: Kočí Radek
 MUSIC - Mnohoúrovňová bezpečnost v kritických aplikacích počítačových systémů, MŠMT ČR - INTER-EXCELLENCE - Podprogram INTER-EUREKA LTE217, LTE118019, 2018-2020, řešení
Řešitel: Zemčík Pavel
 Mezinárodní mobilita výzkumníků Vysokého učení technického v Brně, MŠMT ČR - OPVVV PO2 Mezinárodní mobilita výzkumných pracovníků, EF16_027/0008371, 2018-2022, řešení
Řešitel: Štěpánek Petr
Spoluřešitelé: Zemčík Pavel
 Možnosti tvorby komunitní genealogické databáze se sémantickou informací a zahrnutou neurčitostí, TAČR - Program na podporu aplikovaného společenskovědního a humanitního výzkumu, experimentálního vývoje a inovací ÉTA., TL01000130, 2018-2021, řešení
Řešitel: Rozman Jaroslav
Spoluřešitelé: Zbořil František
 TEchnology TRAnsfer via Multinational Application eXperiments (TETRAMAX), EK EU - Horizon 2020, 2018-2021, řešení
Řešitel: Leupers Rainer
Spoluřešitelé: Palkovič Martin
 Zavedení atraktivního a efektivního studia v anglickém jazyce na FIT, JMK - Ostatní veřejné zdroje financování nepatřící do institucionálních zdrojů ČR, 2018-2019, řešení
Řešitel: Růžička Richard
 Zařízení pro automatické snímání očního pozadí (EYRINA4), TAČR - Program aplikovaného výzkumu, experimentálního vývoje a inovací GAMA (2014-2019), TG01010054, 2018-2019, řešení
Řešitel: Drahanský Martin
2017AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 8A17001, 737475, 2017-2020, řešení
Řešitel: Robinson Charles
Spoluřešitelé: Vojnar Tomáš
 Bezpečné a spolehlivé počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, řešení
Řešitel: Vojnar Tomáš
 Detekce vlny P v patologických záznamech EKG, VUT v Brně - Vnitřní projekty VUT, FEKT/FIT-J-17-4479, 2017-2018, ukončen
Řešitel: Maršánová Lucie
Spoluřešitelé: Drahanský Martin, Goldmann Tomáš, Kolářová Jana, Němcová Andrea, Smíšek Radovan, Vítek Martin
 Digimat, CEA - Horizon 2020, 2017, ukončen
Řešitel: Sadovský Petr
Spoluřešitelé: Zemčík Pavel
 IotCloud - Inteligence pro systémy IoT, TAČR - Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH02010845, 2017-2019, řešení
Řešitel: Kořenek Jan
 MONET - Bezpečnostní audit systému Smart Payment Centrum, MONET+, 2017, ukončen
Řešitel: Barabas Maroš
 Moderní a otevřené studium techniky (MOST), EU - OP VVV PO2 ESF výzva pro vysoké školy, 2017-2022, řešení
Řešitel: Růžička Richard
 Nástroje a metody zpracování videa a obrazu pro zvýšení efektivity operací bezpečnostních a záchranných složek, MV ČR - Bezpečnostní výzkum České republiky 2015-2020, VI20172020068, 2017-2020, řešení
Řešitel: Zemčík Pavel
Spoluřešitelé: Beran Vítězslav, Drahanský Martin, Smrž Pavel, Zendulka Jaroslav
 ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, řešení
Řešitel: Vojnar Tomáš
Spoluřešitelé: Kofroň Jan
 Využití volné výukové kapacity FIT VUT, JMK - Ostatní projekty, které nespadají pod žádnou jinou výzvu, 2017-2018, ukončen
Řešitel: Křena Bohuslav
 Zpracování, zobrazování a analýza multimediálních a 3D dat, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-3984, 2017-2019, řešení
Řešitel: Zemčík Pavel
Spoluřešitelé: Černocký Jan, Herout Adam, Chudý Peter, Smrž Pavel
 Škoda auto -Webová aplikace - Slovník Průmyslu 4.0, ŠKODA AUTO a.s., 2017, ukončen
Řešitel: Hruška Tomáš
Spoluřešitelé: Žák Marek
2016Efficient Automata Techniques for Formal Reasoning, GAČR - Juniorské granty, GJ16-24707Y, 2016-2018, ukončen
Řešitel: Holík Lukáš
 Exploring new Applications for Modern Taylor Series Methods to Solve Stiff and High-Order Systems, MŠMT ČR - AKTION Česká republika - Rakousko, Aktion-76p11, 2016-2017, ukončen
Řešitel: Kunovský Jiří
 Extrakce příznaků ze sítnice oka a jejich vyhodnocení, JCMM - Ostatní projekty, 2016-2017, ukončen
Řešitel: Drahanský Martin
 IT4Innovations excellence in science, MŠMT ČR - Národní program udržitelnosti II, LQ1602, 2016-2020, řešení
Řešitel: Hruška Tomáš
 Mikroskopická analýza botanických vzorků a jejich příprava pro e-learning, JCMM - Ostatní projekty, 2016-2017, ukončen
Řešitel: Drahanský Martin
 Monitorování bezdrátových síti Internetu věcí pro zvýšení bezpečnosti, CESNET, 2016-2017, ukončen
Řešitel: Korček Pavol
Spoluřešitelé: Novotný Tomáš
 Přibližná ekvivalence pro aproximativní počítání, GAČR - Standardní projekty, GA16-17538S, 2016-2018, ukončen
Řešitel: Vojnar Tomáš
2015Sondy pro analýzu a filtraci provozu na úrovni aplikačních protokolů, MV ČR - Bezpečnostní výzkum České republiky 2015-2020, VI20152019001, 2015-2019, řešení
Řešitel: Kořenek Jan
Spoluřešitelé: Korček Pavol, Žádník Martin
 Výzkum a vývoj pro soomz AG, soomz, 2015-2017, ukončen
Řešitel: Drahanský Martin
2014Algorithms, Design Methods, and Many-Core Execution Platform for Low-Power Massive Data-Rate Video and Image Processing, Artemis JU - Společné technologické iniciativy, 7H14002, 621439, 2014-2017, ukončen
Řešitel: Zemčík Pavel
Spoluřešitelé: Smrž Pavel
 Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, ukončen
Řešitel: Kofroň Jan
Spoluřešitelé: Vojnar Tomáš
 Software Quality Improvement, RedHatCZ, 2014-2020, řešení
Řešitel: Vojnar Tomáš
2010Vývoj softwaru pro elektronické zařízení, Honeywell, HTSCZ000318, 2010-2018, ukončen
Řešitel: Kořenek Jan
Spoluřešitelé: Martínek Tomáš, Zemčík Pavel, Žádník Martin
2005Brno University Security Laboratory, FIT VUT - Institucionální podpora na rozvoj výzkumné organizace, BUSLab, 2005-2020, řešení
Řešitel: Hanáček Petr, Matyáš Václav, Říha Zdeněk, Staudek Jan
1991SIMLIB - simulační knihovna pro C++, FIT VUT - Institucionální podpora na rozvoj výzkumné organizace, FIT-SIMLIB, 1991-2020, řešení
Řešitel: Peringer Petr
Spoluřešitelé: Martinek David

Vaše IPv4 adresa: 52.23.234.7