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
1512009Kunovský JiříUITSŘešení parciálních diferenciálních rovnic s využitím aposteriorního odhadu chyby
1522009Vojnar TomášUITSPraktické metody automatizované verifikace paralelních programů
1532008Vojnar TomášUITSAnalýza a sofistikované testování paralelních programů -- společné vedení s dr. B. Křenou
1542008Vojnar 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)
1552008Vojnar 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)
1562008Zbořil František V.UITSInteligence skupiny
1572007Drahanský MartinUITSBezpečnost biometrických systémů
1582007Kunovský JiříUITSSemi-analytické výpočty a spojitá simulace
1592007Kunovský JiříUITSStabilita a konvergence numerických výpočtů
1602007Zbořil František V.UITSFyzikální modelování a simulace
1612006Hanáček PetrUITSBezpečné hardwarové prostředky
1622006Hanáček PetrUITSDistribuované důvěryhodné systémy
1632006Kunovský JiříUITSParalelní výpočetní architektury založené na numerické integraci
1642006Kunovský JiříUITSTuhé soustavy diferenciálních rovnic
1652006Vojnar TomášUITSFormální verifikace software s využitím teorie automatů
1662005Češka MilanUITSModelování heterogenních systémů
1672005Hanáček PetrUITSVzorce chování v počítačové bezpečnosti
1682005Zbořil František V.UITSDistribuovaná umělá inteligence
1692004Zbořil František V.UITSNavigace mobilních robotů
1702003Rábová ZdeňkaUITSDistribuované prostředí pro výstavbu heterogenních modelů
1712003Vojnar TomášUITSVerifikace moderních hardwarových systémů
1722003Vojnar TomášUITSVerifikace programů s dynamickými datovými strukturami s využitím jejich opakující se struktury
1732003Vojnar TomášUITSVerifikace programů se složitými datovými strukturami s využitím teorie automatů
1742002Hanáček PetrUITSPlánování a komunikace v multiagentních systémech
1752002Rábová ZdeňkaUITSMetody a nástroje pro implementaci otevřených simulačních systémů
1762002Rábová ZdeňkaUITSProstředí pro modelování heterogenních systémů
1772002Rábová ZdeňkaUITSSimulace uměle živých entit ve virtuální realitě
1782001Kunovský JiříUITSTuhé systémy diferenciálních rovnic a Moderní metoda Taylorova rozvoje
1792001Zbořil František V.UITSBiometrické systémy
1802001Zbořil František V.UITSBiometrické systémy
1812000Češka MilanUITSMetody analýzy v objektově orientovaných Petriho
1821998Zbořil František V.UITSAdaptivní neuronové sítě
1831998Zbořil František V.UITSSimulace šíření zvuku v prostoru
1841997Češka MilanUITSFormal Analysis over Object-Oriented Petri Nets
1851997Češka MilanUITSModel synchronizačních a komunikačních mechanismů
1861997Rábová ZdeňkaUITSHierarchické modelování na bázi komunikujících objektů
1871997Zbořil František V.UITSNeuronové asociativní paměti
1881996Zbořil František V.UITSRozpoznávání obrazů
1891992Češka MilanUITSPetriho sítě a objekty
1901991Rábová ZdeňkaUITSZnalostní přístupy v diskrétní simulaci
1911988Rábová ZdeňkaUITSObjektový model a jeho použití při výstavbě programového vybavení
1921985Rábová ZdeňkaUITSProstředky pro automatizovaný návrh číslicových obvodů
1932019Čadík MartinUPGMPokročilé metody syntézy obrazu
1942019Čadík MartinUPGMPokročilé metody výpočetní fotografie
1952019Černocký JanUPGMAutomatické zpracování řeči pro bezpečnostní aplikace
1962019Černocký JanUPGMAutomatické zpracování řeči pro bezpečnostní aplikace
1972019Černocký JanUPGMAutomatické zpracování řeči pro bezpečnostní aplikace
1982019Smrž PavelUPGMAnalýza velkých dat pomocí hlubokých neuronových sítí
1992019Smrž PavelUPGMAnalýza velkých dat pomocí hlubokých neuronových sítí
2002019Smrž PavelUPGMAnalýza velkých dat pomocí hlubokých neuronových sítí
PředchozíDalší

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