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

1-50 51-100 101-150 151-200 201-250 »251-300« 301-350 351-361
 
# -Rok Školitel Ústav Název
2512005Češka MilanUITSModelování heterogenních systémů
2522005Hanáček PetrUITSVzorce chování v počítačové bezpečnosti
2532005Kotásek ZdeněkUPSYModel poruchy polymorfního hradla
2542005Kreslíková JitkaUIFSMetody byznys modelování
2552005Meduna AlexanderUIFSNové operace nad formálními jazyky
2562005Meduna AlexanderUIFSRozptýlený kontext ve formálních jazycích
2572005Sekanina LukášUPSYMetody návrhu polymorfních číslicových obvodů
2582005Smrž PavelUPGMMetody strojového učení pro klasifikaci a predikci na datech genových expresí
2592005Švéda MiroslavUIFSSíťová architektura a propojování vestavěných systémů
2602005Zbořil František V.UITSDistribuovaná umělá inteligence
2612005Zemčík PavelUPGMZpracování rastrového obrazu
2622005Zendulka JaroslavUIFSModerní metody vývoje informačních systémů
2632005Zendulka JaroslavUIFSModerní metody vývoje informačních systémů
2642004Hruška TomášUIFSSystémy pro souběžný návrh technického a programového vybavení počítačů
2652004Kotásek ZdeněkUPSYMetodika aplikace testu obvodu založená na identifikaci testovatelných jader
2662004Kotásek ZdeněkUPSYOptimalizace aplikace testu číslicových systémů pro nízký příkon
2672004Meduna AlexanderUIFSModifikované modely syntaktické analýzy
2682004Meduna AlexanderUIFSParalelní sytémy formálních modelů
2692004Meduna AlexanderUIFSSyntaktická analýza založená na gramatických systémech
2702004Sekanina LukášUPSYEvoluční návrh složitých systémů
2712004Zbořil František V.UITSNavigace mobilních robotů
2722004Zemčík PavelUPGMObraz pohyblivého objektu
2732004Zendulka JaroslavUIFSGenomické databáze
2742003Černocký JanUPGMDetekce klíčových slov v řečových datech
2752003Dvořák VáclavUPSYArchitektura hardware a software aplikačně specifických paralelních systémů
2762003Dvořák VáclavUPSYArchitektura hardware a software aplikačně specifických paralelních systémů
2772003Honzík Jan M.UIFSNávrh technologie a nástrojů vzdáleného učení a práce (e-learning a teleworking)
2782003Hruška TomášUIFSFormální definice objektového modelu
2792003Kotásek ZdeněkUPSYProstředky a metody pro automatické generování testovacích obvodů
2802003Kršek PřemyslUPGMZpracování a analýza medicínských obrazových dat
2812003Meduna AlexanderUIFSJazykové operace v moderní teoretické informatice
2822003Meduna AlexanderUIFSSpecifikace a překlad jazyků pomocí systémů formálních modelů
2832003Meduna AlexanderUIFSZjednodušení formálních modelů
2842003Rábová ZdeňkaUITSDistribuované prostředí pro výstavbu heterogenních modelů
2852003Schwarz JosefUPSYParalelizace evolučních algoritmů
2862003Schwarz JosefUPSYParalelizace evolučních algoritmů
2872003Švéda MiroslavUIFSKomunikační a bezpečnostní síťové protokoly a jejich verifikace
2882003Vojnar TomášUITSVerifikace moderních hardwarových systémů
2892003Vojnar TomášUITSVerifikace programů s dynamickými datovými strukturami s využitím jejich opakující se struktury
2902003Vojnar TomášUITSVerifikace programů se složitými datovými strukturami s využitím teorie automatů
2912003Zemčík PavelUPGMArchitektury prostorového uživatelského rozhraní
2922003Zemčík PavelUPGMArchitektury prostorového uživatelského rozhraní
2932002Drábek VladimírUPSYNové metody komprese dat
2942002Hanáček PetrUITSPlánování a komunikace v multiagentních systémech
2952002Honzík Jan M.UIFSMetody návrhu vývojového prostředí pro vizualizační a řídicí aplikace
2962002Meduna AlexanderUIFSParalelní gramatiky
2972002Meduna AlexanderUIFSPřekladové systémy
2982002Rábová ZdeňkaUITSMetody a nástroje pro implementaci otevřených simulačních systémů
2992002Rábová ZdeňkaUITSProstředí pro modelování heterogenních systémů
3002002Rábová ZdeňkaUITSSimulace uměle živých entit ve virtuální realitě
PředchozíDalší

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