Department of Intelligent Systems

Events, Seminars

30.6.2013Seminář UITS - plán na léto 2011/2012 a pokyny pro vystupující doktorandy
9.5.2013Martina Drozdová: Simulace kombinovaných soustav
9.5.2013Petr Novosad: Stavový prostor neomezených hybridních Petriho sítí reprezentovaný metodou rozvinutí
2.5.2013Ivan Homoliak: Detekcia útokov v sieťovej prevádzke: Zvýšenie kvality detekcie sieťových útokov s využitím behaviorálnej analýzy protokolov transportnej vrstvy modelu ISO/OSI.
2.5.2013Lukáš Antal: Analýza útoků na bezdrátové lokální sítě
25.4.2013Aleš Marvan: Inteligentní inspekce a měření dutin válcového průřezu
25.4.2013Arkadius Bukowiec: Petri Net Decomposition for FPGA Implementation
25.4.2013Ibrahim Nahhas: Library for intelligent processing of a video signal and in this presentation
25.4.2013Ondřej Klubal: Invazivní metody útoků na čipy
18.4.2013Jan Kopřiva: Semi-analytické výpočty
18.4.2013Martin Kunštátský: Analýza přístupu ke zdrojům Petriho sítí založená na Pí-kalkulu
18.4.2013Michal Drozd: Automatizované zpracování útoků
18.4.2013Tomáš Richta: Operační systém pro Petriho sítěmi specifikované rekonfigurovatelné vestavné systémy
11.4.2013Filip Kocina: Moderní metody modelování a simulace elektronických obvodů
11.4.2013Radim Dvořák: Fyzikální modelování a simulace: Metoda ELLAM pro řešení atmosférické advekčně-difúzní rovnice
11.4.2013Václav Valenta: Moderní metody řešení parciálních diferenciálních rovnic
4.4.2013Róbert Kalmár: Bezpečnosť mobilných kódov v bezdrôtových senzorových sieťach
4.4.2013Zdenka Winklerová: Inteligence skupiny: Modelování kolektivní inteligence roje částic.
28.3.2013Maroš Barabas: Detekcia sieťových útokov pomocou behaviorálnych techník
28.3.2013Matej Kačic: Analýza útokov na bezdrôtové siete
28.3.2013Pavel Zůna: Ochrana citlivých informací pomocí analýzy datových toků
21.3.2013Boris Procházka: Analýza útoků na operační systém Linux a návrh jeho zabezpečení
21.3.2013Michal Doležel: Vliv kožních onemocnění na otisky prstů v biometrii
21.3.2013Štěpán Mráček: Hybridní rozpoznávání 3D obličeje
21.3.2013Tomáš Novotný: Automatizované vyhledávání osob v lavinách a závalech pomocí senzorických systémů
14.3.2013Jan Fiedor: Praktické metody automatizované verifikace paralelních programů
14.3.2013Kamil Dudka: Automatizovaná formální verifikace v operačních systémech
14.3.2013Petr Polášek: Modelovani a simulace heterogennich modelu
14.3.2013Vendula Hrubá: Testování vícevláknových aplikací pomocí genetických algoritmů
28.2.2013Jan Váňa: Hybridní rozpoznávání termosnímků obličeje
28.2.2013Martin Henzl: Bezpečnostní protokoly bezdrátových sítí
28.2.2013Peter Jurnečka: Návrhové vzory v paralelních a distribuovaných systémech
21.2.2013Jakub Žák: Autonomní agenti v bezdrátových senzorových sítích 2
21.2.2013Jan Horáček: Autonomní agenti v bezdrátových senzorových sítích
21.2.2013Ondřej Lengál: Efficient Algorithms for Using Automata in Infinite-State Verification
21.2.2013Petr Muller: Configurable Program Analysis Using Symbolic Memory Graphs
14.2.2013David Kubát: Systém pro teleprezenční řízení záchranářského robota s inteligentní asistencí
14.2.2013Josef Hajek: Identifikaci osob v přístupových systémech
13.12.2012Jiří Král: Umělí agenti pro bezdrátové senzorové sítě
13.12.2012Tomáš Richta: Dynamické softwarové architektury
6.12.2012Martin Tomec: Analýza útoků na sítě VoIP
6.12.2012Michal Drozd: Automatizované zpracování útoků
6.12.2012Pavel Zůna: Protecting sensitive information using dynamic data-flow analysis
29.11.2012Lukáš Charvát: Automatická verifikace při souběžném vývoji HW/SW
29.11.2012Radim Luža: Inteligentní robotické rameno
22.11.2012Dominik Malčík: Analýza útoků na (mikro)čipy a návrh zvýšení jejich odolnosti/bezpečnosti.
22.11.2012Ibrahim Nahhas: Search algorithms in block matching
15.11.2012Alexandr Szöllös: Organizace výpočtu ve specializovaném paralelním prostředí
15.11.2012Jan Kopřiva: Semi-analytické výpočty a spojitá simulace
15.11.2012Václav Vopěnka: Automatická transformace obyčejných diferenciálních rovnic
25.10.2012Martina Drozdová: Simulace kombinovaných soustav
25.10.2012Michal Kraus: Paralelní výpočetní architektury založené na numerické integraci
18.10.2012Radim Dvořák: Fyzikální modelování a simulace: Metoda ELLAM pro řešení atmosférické advekčně-difúzní rovnice
11.10.2012Představení doktorandů 1 ročníku 2012/2013 a jejich témat
3.5.2012Pavel Zůna: Automatic Detection and Analysis of Malware (ADAM) , Ibrahim Nahhas: Library for intelligent processing of a videosignal, Václav Vopěnka: Automatická transformace obyčejných diferenciálních rovnic
26.4.2012Jiří Král: Umělí agenti pro bezdrátové senzorové sítě, Radim Luža: Inteligentní robotické rameno, Lukáš Charvát: Automatická verifikace při souběžném vývoji HW/SW, Dominik Malčík: Mikroskopická analýza čipů, Jan Kněžík: Biometrické sledování mozkových aktivit
19.4.2012Tomáš Richta: Dynamické softwarové architektury v bezdrátových senzorových, David Herman: Navigační architektura autonomně řízeného vozidla, Dana Lodrová: Bezpečnost biometrických systémů
12.4.2012Jan Fajkus: Systémy pro zvýšení bezpečnosti provozu na pozemních komunikacích, Zdeněk Letko: Search-based Testing of Concurrent Programs, David Martinek: Dynamické softwarové architektury
5.4.2012Michal Drozd: Automatizované zpracování útoků, Martin Zadina: Správa bezpečnosti v bezdrátových sítích, Jan Nagy: Sprava zabezpeceni v rozsahlych sitich, Jakub Žák: Autonomní agenti v bezdrátových senzorových sítích 2
22.3.2012Václav Valenta: Moderní metody řešení parciálních diferenciálních rovnic, Jan Kopřiva: Semi-analytické výpočty, Michal Kraus: Paralelní výpočetní architektury založené na numerické integraci, Jan Váňa: Hybridní rozpoznávání termosnímků obličeje
8.3.2012Jiří Šimáček: Verifikace programu s ukazateli pomoci stromovych automatu , Filip Konečný: Přesná relační verifikace celočíselných programů, Radim Dvořák: Fyzikální modelování a simulace: Metoda ELLAM pro řešení atmosférické advekčně-difúzní rovnice
1.3.2012Maroš Barabas: Detekce malware pouzitim shadow honeypotu, Martin Henzl: Bezpečnostní protokoly bezdrátových sítí, Jan Horáček: Autonomní agenti v bezdrátových senzorových sítích, Peter Jurnečka: Návrhové vzory v paralelních a distribuovaných systémech
23.2.2012Kamil Dudka: Automatizovaná formální verifikace v operačních systémech, Ondřej Dluhoš: Rozpoznání člověka podle 3D geometrie ruky, Josef Hájek: Biometrický systém pro rozpoznání sítnice oka
16.2.2012Jan Fiedor: Praktické metody automatizované verifikace paralelních programů, Vendula Hrubá: Analýza dynamických systémů a chaos, Ondřej Malačka: Použití reputace pro podporu rozhodování v MAS
15.12.2011Boris Procházka, Jaroslav Stružka, David Herman a Jan Kněžík
8.12.2011Jan Fajkus, Matej Kačic a Martin Tomec
1.12.2011Michal Doležel, Ondřej Lengál a Petr Müller
24.11.2011David Kubát, Štěpán Mráček a Tomáš Novotný
10.11.2011Alexandr Szöllös, Zdenka Winklerová a Václav Šátek
3.11.2011Ivars Karpičs, Jan Samek a Jiří Schäfer
20.10.2011Představení doktorandů 1 ročníku a jejich témat (část 2)
13.10.2011Představení doktorandů 1 ročníku a jejich témat
5.5.2011David Kubát, Štěpán Mráček, Tomáš Novotný, Boris Procházka a Jaroslav Stružka
28.4.2011Ondřej Dluhoš, Michal Doležel a David Herman
21.4.2011Martin Tomec, Zbyněk Michlovský, David Martinek a Petr Müller
14.4.2011Jan Fajkus, Matej Kačic, Alexandr Szöllös a Pavla Sehnalová
7.4.2011Jan Kněžík a Michal Kadák
31.3.2011Filip Konečný, Jiří Šimáček, Zdeněk Letko a Ondřej Lengál
24.3.2011Dana Hejtmánková a Zdenka Winklerová
17.3.2011Jan Kopřiva, Martin Zadina a Radim Dvořák
3.3.2011Michal Drozd, Jan Nagy a Lukáš Grulich
24.2.2011Jiří Schäfer, Pavel Jurka a Petr Novosad
17.2.2011Michal Kraus a Václav Šátek
10.2.2011Jaroslav Rozman a Jan Samek

Your IPv4 address: 23.22.76.170
Switch to IPv6 connection

DNSSEC [dnssec]