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
2012009Meduna AlexanderUIFSFormální modely pro zpracování přirozených jazyků
2022009Sekanina LukášUPSYAkcelerace simulace dopravy pomocí FPGA
2032009Smrž PavelUPGMAkcelerace operací nad řídkými maticemi v nelineární metodě nejmenších čtverců
2042009Smrž PavelUPGMSémantická anotace textu
2052009Švéda MiroslavUIFSBezpečnost v sítích IPv6
2062009Švéda MiroslavUIFSMulticast v IPv6
2072009Vojnar TomášUITSPraktické metody automatizované verifikace paralelních programů
2082009Zemčík PavelUPGMAutomatická rekonstrukce 3D scény ze snímků
2092009Zemčík PavelUPGMExtrakce příznaků z obrazu, obrazové transformace
2102009Zemčík PavelUPGMVelmi náročné výpočty v grafice a zpracování obrazu
2112009Zendulka JaroslavUIFSDolování víceúrovňových sekvenčních vzorů
2122008Dvořák VáclavUPSYAlgoritmy pro klasifikaci paketů
2132008Herout AdamUPGMParametrizace přímek pro Houghovu transformaci a jiné aplikace
2142008Hruška TomášUIFSModely workflow
2152008Kotásek ZdeněkUPSYOptimalizace algoritmů a datových struktur pro vyhledávání regulárních výrazů s využitím technologie FPGA
2162008Kreslíková JitkaUIFSMetodika managementu rizik bezpečnosti informací
2172008Meduna AlexanderUIFSDvourozměrné jazyky a jejich gramatické zpracování
2182008Meduna AlexanderUIFSFormální systémy automatů a gramatik
2192008Švéda MiroslavUIFSAutomatická analýza síťové bezpečnosti
2202008Vojnar TomášUITSAnalýza a sofistikované testování paralelních programů -- společné vedení s dr. B. Křenou
2212008Vojnar 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)
2222008Vojnar 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)
2232008Zbořil František V.UITSInteligence skupiny
2242008Zemčík PavelUPGMAlgoritmy počítačové grafiky
2252007Burget LukášUPGMVyhledávání v řečových dokumentech nestandardních jazyků
2262007Černocký JanUPGMIndexování a vyhledávání v řečových dokumentech
2272007Černocký JanUPGMJazykové modelování s systémová integrace pro rozpoznávání češtiny
2282007Černocký JanUPGMModelování prozodických příznaků pro ověřování mluvčího v pod-prostorech
2292007Drahanský MartinUITSBezpečnost biometrických systémů
2302007Herout AdamUPGMVyužití GPU pro algoritmy grafiky a zpracování obrazu
2312007Hruška TomášUIFSPokročilé metody simulace mikroprocesorů
2322007Hruška TomášUIFSProgramování rekonfigurovatelných systémů pomocí vyššího programovacího jazyka
2332007Kunovský JiříUITSSemi-analytické výpočty a spojitá simulace
2342007Kunovský JiříUITSStabilita a konvergence numerických výpočtů
2352007Sekanina LukášUPSYModelování a optimalizace monitorování síťových toků
2362007Zbořil František V.UITSFyzikální modelování a simulace
2372007Zemčík PavelUPGMAlgoritmy rozpoznávání v rastrovém obraze
2382007Zemčík PavelUPGMAlgoritmy rozpoznávání v rastrovém obraze
2392007Zemčík PavelUPGMZpracování videosekvencí
2402006Hanáček PetrUITSBezpečné hardwarové prostředky
2412006Hanáček PetrUITSDistribuované důvěryhodné systémy
2422006Kotásek ZdeněkUPSYMetodologie návrhu obvodů se zvýšenou spolehlivostí
2432006Kreslíková JitkaUIFSMěření v softwarovém inženýrství
2442006Kunovský JiříUITSParalelní výpočetní architektury založené na numerické integraci
2452006Kunovský JiříUITSTuhé soustavy diferenciálních rovnic
2462006Meduna AlexanderUIFSŘízené formální modely
2472006Sekanina LukášUPSYMetody návrhu číslicových systémů s ohledem na evolvabilitu
2482006Vojnar TomášUITSFormální verifikace software s využitím teorie automatů
2492006Zemčík PavelUPGM Polohově závislé plánování přenosu dat pro aplikace procházení distribuovanou virtuální scénou
2502005Burget LukášUPGMSemanticky podporované vyhledávání klíčových slov v řeči
PředchozíDalší

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