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
3012003Hruška TomášUIFSFormální definice objektového modelu
3022003Kotásek ZdeněkUPSYProstředky a metody pro automatické generování testovacích obvodů
3032003Kršek PřemyslUPGMZpracování a analýza medicínských obrazových dat
3042003Meduna AlexanderUIFSJazykové operace v moderní teoretické informatice
3052003Meduna AlexanderUIFSSpecifikace a překlad jazyků pomocí systémů formálních modelů
3062003Meduna AlexanderUIFSZjednodušení formálních modelů
3072003Rábová ZdeňkaUITSDistribuované prostředí pro výstavbu heterogenních modelů
3082003Schwarz JosefUPSYParalelizace evolučních algoritmů
3092003Schwarz JosefUPSYParalelizace evolučních algoritmů
3102003Švéda MiroslavUIFSKomunikační a bezpečnostní síťové protokoly a jejich verifikace
3112003Vojnar TomášUITSVerifikace moderních hardwarových systémů
3122003Vojnar TomášUITSVerifikace programů s dynamickými datovými strukturami s využitím jejich opakující se struktury
3132003Vojnar TomášUITSVerifikace programů se složitými datovými strukturami s využitím teorie automatů
3142003Zemčík PavelUPGMArchitektury prostorového uživatelského rozhraní
3152003Zemčík PavelUPGMArchitektury prostorového uživatelského rozhraní
3162002Drábek VladimírUPSYNové metody komprese dat
3172002Hanáček PetrUITSPlánování a komunikace v multiagentních systémech
3182002Honzík Jan M.UIFSMetody návrhu vývojového prostředí pro vizualizační a řídicí aplikace
3192002Meduna AlexanderUIFSParalelní gramatiky
3202002Meduna AlexanderUIFSPřekladové systémy
3212002Rábová ZdeňkaUITSMetody a nástroje pro implementaci otevřených simulačních systémů
3222002Rábová ZdeňkaUITSProstředí pro modelování heterogenních systémů
3232002Rábová ZdeňkaUITSSimulace uměle živých entit ve virtuální realitě
3242002Zemčík PavelUPGMAlgoritmy počítačové grafiky s akcelerací
3252002Zemčík PavelUPGMAnimace a videosekvence
3262002Zemčík PavelUPGMAnimace kloubních struktur
3272002Zemčík PavelUPGMČásticové systémy
3282002Zemčík PavelUPGMPočítačová animace měkkých tkání
3292002Zemčík PavelUPGMRozpoznávání gest
3302002Zemčík PavelUPGMSdílení obsahu grafické scény
3312001Černocký JanUPGMAplikace lineárních transformací pro trénování systémů rozpoznávání spojité řeči s velkým slovníkem adaptovaný napříč doménami
3322001Černocký JanUPGMRozpoznávání fonémů z dlouhého časového kontextu
3332001Dvořák VáclavUPSYModelování a predikce výkonnosti aplikačně-specifických a konfigurovatelných multiprocesorových systémů
3342001Hruška TomášUIFSDefinice a řízení procesů v objektově orientovaných informačních systémech
3352001Kotásek ZdeněkUPSYUplatnění formálních postupů při návrhu řadiče testu číslicového obvodu
3362001Kunovský JiříUITSTuhé systémy diferenciálních rovnic a Moderní metoda Taylorova rozvoje
3372001Meduna AlexanderUIFSL systémy
3382001Švéda MiroslavUIFSFormální specifikace a verifikace komunikačních protokolů
3392001Švéda MiroslavUIFSNástroje pro zkoumání vlastností komunikačních protokolů
3402001Zbořil František V.UITSBiometrické systémy
3412001Zbořil František V.UITSBiometrické systémy
3422001Zendulka JaroslavUIFSAnalýza obrazu pro potřeby získávání znalostí z obrazových dat
3432001Zendulka JaroslavUIFSMetody získávání znalostí z multimediálních dat
3442001Zendulka JaroslavUIFSMetody získávání znalostí z WWW
3452000Černocký JanUPGMAkustické modelování v rozpoznávání řeči
3462000Češka MilanUITSMetody analýzy v objektově orientovaných Petriho
3472000Dvořák VáclavUPSYModelování a predikce výkonnosti paralelních výpočtů
3482000Kotásek ZdeněkUPSYAnalýza a zlepšení testovatelnosti čislicového obvodu na úrovni RT
3492000Schwarz JosefUPSYNávrh meta-evolučního algoritmu pro řešení optimalizačních úloh
3502000Zendulka JaroslavUIFSPodobnostní vyhledávání v multimediálních datech
PředchozíDalší

Vaše IPv4 adresa: 35.175.191.168