Témata řešených disertačních prací

1-50 51-100 »101-150« 151-200 201-250 251-300 301-350 351-385
 
# +Rok Školitel Ústav Název
1012005Hanáček PetrUITSVzorce chování v počítačové bezpečnosti
1022005Kotásek ZdeněkUPSYModel poruchy polymorfního hradla
1032005Kreslíková JitkaUIFSMetody byznys modelování
1042005Meduna AlexanderUIFSNové operace nad formálními jazyky
1052005Meduna AlexanderUIFSRozptýlený kontext ve formálních jazycích
1062005Sekanina LukášUPSYMetody návrhu polymorfních číslicových obvodů
1072005Smrž PavelUPGMMetody strojového učení pro klasifikaci a predikci na datech genových expresí
1082005Švéda MiroslavUIFSSíťová architektura a propojování vestavěných systémů
1092005Zbořil František V.UITSDistribuovaná umělá inteligence
1102005Zemčík PavelUPGMZpracování rastrového obrazu
1112005Zendulka JaroslavUIFSModerní metody vývoje informačních systémů
1122005Zendulka JaroslavUIFSModerní metody vývoje informačních systémů
1132006Hanáček PetrUITSBezpečné hardwarové prostředky
1142006Hanáček PetrUITSDistribuované důvěryhodné systémy
1152006Kotásek ZdeněkUPSYMetodologie návrhu obvodů se zvýšenou spolehlivostí
1162006Kreslíková JitkaUIFSMěření v softwarovém inženýrství
1172006Kunovský JiříUITSParalelní výpočetní architektury založené na numerické integraci
1182006Kunovský JiříUITSTuhé soustavy diferenciálních rovnic
1192006Meduna AlexanderUIFSŘízené formální modely
1202006Sekanina LukášUPSYMetody návrhu číslicových systémů s ohledem na evolvabilitu
1212006Vojnar TomášUITSFormální verifikace software s využitím teorie automatů
1222006Zemčík PavelUPGM Polohově závislé plánování přenosu dat pro aplikace procházení distribuovanou virtuální scénou
1232007Burget LukášUPGMVyhledávání v řečových dokumentech nestandardních jazyků
1242007Černocký JanUPGMIndexování a vyhledávání v řečových dokumentech
1252007Černocký JanUPGMJazykové modelování s systémová integrace pro rozpoznávání češtiny
1262007Černocký JanUPGMModelování prozodických příznaků pro ověřování mluvčího v pod-prostorech
1272007Drahanský MartinUITSBezpečnost biometrických systémů
1282007Herout AdamUPGMVyužití GPU pro algoritmy grafiky a zpracování obrazu
1292007Hruška TomášUIFSPokročilé metody simulace mikroprocesorů
1302007Hruška TomášUIFSProgramování rekonfigurovatelných systémů pomocí vyššího programovacího jazyka
1312007Kunovský JiříUITSSemi-analytické výpočty a spojitá simulace
1322007Kunovský JiříUITSStabilita a konvergence numerických výpočtů
1332007Sekanina LukášUPSYModelování a optimalizace monitorování síťových toků
1342007Zbořil František V.UITSFyzikální modelování a simulace
1352007Zemčík PavelUPGMAlgoritmy rozpoznávání v rastrovém obraze
1362007Zemčík PavelUPGMAlgoritmy rozpoznávání v rastrovém obraze
1372007Zemčík PavelUPGMZpracování videosekvencí
1382008Dvořák VáclavUPSYAlgoritmy pro klasifikaci paketů
1392008Herout AdamUPGMParametrizace přímek pro Houghovu transformaci a jiné aplikace
1402008Hruška TomášUIFSModely workflow
1412008Kotásek ZdeněkUPSYOptimalizace algoritmů a datových struktur pro vyhledávání regulárních výrazů s využitím technologie FPGA
1422008Kreslíková JitkaUIFSMetodika managementu rizik bezpečnosti informací
1432008Meduna AlexanderUIFSDvourozměrné jazyky a jejich gramatické zpracování
1442008Meduna AlexanderUIFSFormální systémy automatů a gramatik
1452008Švéda MiroslavUIFSAutomatická analýza síťové bezpečnosti
1462008Vojnar TomášUITSAnalýza a sofistikované testování paralelních programů -- společné vedení s dr. B. Křenou
1472008Vojnar TomášUITSSymbolická verifikace s využitím konečných automatů a příbuzných formalismů -- společné vedení (double degree/cotutelle) s VERIMAG, Grenoble (dr. R. Iosif)
1482008Vojnar TomášUITSSymbolická verifikace s využitím rozšířených automatů a příbuzných formalismů -- společné vedení (double degree/cotutelle) s VERIMAG, Grenoble (dr. R. Iosif)
1492008Zbořil František V.UITSInteligence skupiny
1502008Zemčík PavelUPGMAlgoritmy počítačové grafiky
PředchozíDalší

Vaše IPv4 adresa: 35.175.191.168
Přepnout na https