Ústav inteligentních systémů

Akce, semináře

2.6-7.9.2017Život kolem nás - výstava fotografií U3V
6.-7.4.2017Seminář doktorandů ÚITS,
30.3.2017Seminář HPC - PART 1: Modelling of dynamical systems, application examples; PART 2: Realtime emulation of complex, high-order system dynamics in a test rig
17.2.2017Seminář VeriFIT - Jens Katalaan: Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic
13.5.2016Seminář doktorandů ÚITS, 3. část - Lukáš Maruniak
21.4.2016Seminář HPC - Modelling of dynamical systems, application examples
29.3.2016Seminář doktorandů ÚITS, 2. část - Abdulrahman Wassem, Žák Marek, Luža Radim, Chlápek Tomáš, Ovšonka Daniel, Jurnečka Peter, Kačic Matej, Pluháčková Hana, Janků Petr, Fiedor Jan, Košík Michal, Malčík Dominik, Novosad Petr a Dudka Vendula
15.3.2016Seminář doktorandů ÚITS, 1. část - Kocina Filip, Šebek Petr, Kačic Matej, Breitenbacher Dominik, Aron Lukáš, Smetka Tomáš, Turoňová Lenka, Hruška Martin, Chaloupka Jan, Charvát Lukáš, Dvořák Michal, Goldmann Tomáš, Hájek Josef a Žák Jakub
15.2.2016Seminář STRADE - Mohammad Derawi: Biometric Wireless Electrocardiography
21.5.2015Filip Kocina: Moderní metody modelování a simulace elektronických obvodů
21.5.2015Petra Snášelová: Chaotické chování nelineárních dynamických systémů
21.5.2015Štěpán Dalecký: Hybridní techniky soft computingu
21.5.2015Wassem Abdulrahman: Rozpoznávání 3D objektů
7.5.2015Gabriela Nečasová: Paralelní numerické řešení diferenciálních rovnic
7.5.2015Peter Jurnečka: Návrhové vzory v paralelních a distribuovaných systémech
7.5.2015Petr Veigend: Modelování a řízení v reálném čase
23.4.2015Adam Brunai: Decentralizovaný publikační systém se zvýšenou mírou zabezpečení
23.4.2015Karel Koranda: Analýza kryptografických protokolů
23.4.2015Martin Henzl: Bezpečnostní protokoly bezdrátových sítí
23.4.2015Matej Kačic: Analýza útokov na bezdrôtové siete
9.4.2015Lukáš Semerád: Teoretické a experimentální stanovení množství informací v biometrických vlastnostech oka
9.4.2015Ondřej Kanich: Výzkum v oblasti simulací poškození otisku prstu
9.4.2015Tomáš Richta: Dynamic Software Architecture for Distrubuted Control Systems
9.4.2015Václav Valenta: Moderní metody řešení parciálních diferenciálních rovnic
2.4.2015Jan Fiedor: Praktické metody automatizované verifikace paralelních programů
2.4.2015Lukáš Charvát: Automatická verifikace při souběžném vývoji HW/SW
2.4.2015Tomáš Fiedor: Formální analýza a verifikace konečnosti běhu a spotřeby zdrojů programy
2.4.2015Vendula Dudka: Testování vícevláknových aplikací pomocí genetických algoritmů
26.3.2015Jan Váňa: Hybridní rozpoznávání termosnímků obličeje
26.3.2015Radim Luža: Inteligentní robotické rameno - podtitul: Detekce a kvantifikace mechanické vůle
26.3.2015Tomáš Novotný: Automatizované vyhledávání osob v lavinách a závalech pomocí senzorických systémů
12.3.2015Ivan Homoliak: Detekcia útokov v sieťovej prevádzke: Zvýšenie kvality detekcie sieťových útokov s využitím obfuskácie behaviorálnej analýzy
12.3.2015Petr Novosad: Hybrid Petri nets state space representation using coverability graphs and unfoldings
5.3.2015Jakub Žák: Bezdrátové senzorové sítě
5.3.2015Jiří Král: Pokročilé přístupy k praktickému rozhodování v BDI agentních systémech
26.2.2015Dominik Malčík: Analýza útoků na (mikro)čipy a návrh zvýšení jejich odolnosti/bezpečnosti
26.2.2015Josef Hajek: Zařízení pro rozpoznávání podle duhovky a sítnice oka
26.2.2015Karolína Kupková: Biometrické snímání mozkových aktivit (EEG)

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

DNSSEC [dnssec]