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

1-50 51-100 »101-150« 151-200 201-250 251-300 301-350 351-384
 
# Rok Školitel Ústav +Název
1012017Vašíček ZdeněkUPSYEvoluční syntéza komplexních číslicových obvodů
1022018Smrž PavelUPGMExtrakce informací z Wikipedie a jiných webových zdrojů
1032012Zemčík PavelUPGMExtrakce příznaků, klasifikace a rozpoznávání
1042009Zemčík PavelUPGMExtrakce příznaků z obrazu, obrazové transformace
1052018Chudý PeterUPGMFenomenologické modelování kyberneticko-fyzikálních systémů
1062018Kořenek JanUPSYFlexibilní mapování síťových funkcí na hardwarové architektury
1072019Drahanský MartinUITSForenzní zpracování obrazu z mobilních zařízení
1081997Češka MilanUITSFormal Analysis over Object-Oriented Petri Nets
1092014Kreslíková JitkaUIFSFormalizace podnikových pravidel
1102014Vojnar TomášUITSFormální analýza a verifikace konečnosti běhu a spotřeby zdrojů programy -- společné vedení s doc. A. Rogalewiczem
1112003Hruška TomášUIFSFormální definice objektového modelu
1122013Meduna AlexanderUIFSFormální modely distribuovaného výpočtu
1132009Meduna AlexanderUIFSFormální modely pro zpracování přirozených jazyků
1142013Meduna AlexanderUIFSFormální modely výpočetní kooperace
1151998Švéda MiroslavUIFSFormální popis a verifikace třídy vyšších protokolů s omezeními v reálném čase
1161999Kotásek ZdeněkUPSYFormální přístup k analýze testovatelnosti číslicových obvodů na úrovni RT
1172001Švéda MiroslavUIFSFormální specifikace a verifikace komunikačních protokolů
1181996Švéda MiroslavUIFSFormální specifikace systémů pracujících v reálném čase
1192008Meduna AlexanderUIFSFormální systémy automatů a gramatik
1202015Vojnar TomášUITSFormální verifikace paralelních programů s neomezeným počtem výpočetních vláken -- společné vedení s dr. L. Holíkem
1212006Vojnar TomášUITSFormální verifikace software s využitím teorie automatů
1221994Hruška TomášUIFSFunkcionální technologie pro objektově orientované modelování a databáze
1232007Zbořil František V.UITSFyzikální modelování a simulace
1242017Hruška TomášUIFSGamifikace v programovacích úkolech: použití dynamické úpravy složitosti a analýzy učení ke zlepšení vzdělávání
1252010Kolář DušanUIFSGenerický zpětný překlad za účelem rozpoznání chování
1262004Zendulka JaroslavUIFSGenomické databáze
1272014Zemčík PavelUPGMGrafika a video na výkonných počítačích
1282013Zemčík PavelUPGMGrafika a zpracování videa na výkonných počítačích
1292016Kořenek JanUPSYHardwarová akcelerace analýzy aplikačních protokolů
1302018Kořenek JanUPSYHardwarová akcelerace pro IDS systémy
1311997Rábová ZdeňkaUITSHierarchické modelování na bázi komunikujících objektů
1322017Smrž PavelUPGMHluboké neuronové sítě a možnosti jejich aplikace v průmyslu
1332010Drahanský MartinUITSHybridní rozpoznávání 3D obličeje
1342012Chudý PeterUPGMHybridní řízení letu
1352012Chudý PeterUPGMHybridní řízení letu
1362013Zbořil František V.UITSChaotické chování nelineárních dynamických systémů
1372007Černocký JanUPGMIndexování a vyhledávání v řečových dokumentech
1381998Hruška TomášUIFSInformační systémy na objektovém základě
1392018Smrž PavelUPGMInformační technologie v psychologii
1402008Zbořil František V.UITSInteligence skupiny
1412014Ryšavý OndřejUIFSInteligentní metody síťové forenzní analýzy
1422011Zbořil František V.UITSInteligentní mobilní robot
1432017Černocký JanUPGMInterakce rozpoznávání řeči a dolování informací
1442007Černocký JanUPGMJazykové modelování s systémová integrace pro rozpoznávání češtiny
1452003Meduna AlexanderUIFSJazykové operace v moderní teoretické informatice
1461994Hruška TomášUIFSKategorický rámec objektově orientovaného databázového modelu
1472016Zendulka JaroslavUIFSKlasifikace na nevyvážených datech
1482010Burget LukášUPGMKlasifikátory pro zpracování řeči a jejich implementace
1491999Drábek VladimírUPSYKomponentní přístup k vyvíjejícím se systémům
1502014Zemčík PavelUPGMKomprese ultrazvukových simulačních dat
PředchozíDalší

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