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
1011992Hruška TomášUIFSModelování sémantiky programů užitím grafů
1022019Drahanský MartinUITSAnalýza retinálních snímků za účelem zpřesnění diagnózy a predikce vývoje onemocnění
1032019Drahanský MartinUITSForenzní zpracování obrazu z mobilních zařízení
1042019Drahanský MartinUITSUmělá inteligence pro MindSphere
1052019Vojnar TomášUITSEfektivní práce s automaty a logikami (nejen) ve formální analýze a verifikaci
1062018Drahanský MartinUITSDetekce a lokalizace (živých) osob za překážkami
1072018Drahanský MartinUITSMultispektrální analýza lidských tkání pro lékařské účely
1082018Drahanský MartinUITSNávrh algoritmů pro odstranění vlivu onemocnění kůže na proces rozpoznávání otisků prstů
1092018Vojnar TomášUITSStatická formální analýza programů s pokročilými datovými a řídicími strukturami
1102018Vojnar TomášUITSSyntéza stochastických modelů
1112017Hanáček PetrUITSAnalýza útoků na bezdrátové sítě
1122017Hanáček PetrUITSDetekce útoků na počítačové systémy a automatické zpracování škodlivých programů
1132017Vojnar TomášUITSEfektivní techniky pro práci s automaty a logikami a jejich aplikace -- společné vedení s dr. O. Lengálem
1142017Vojnar TomášUITSStatická analýza a vyhledávání chyb v programech
1152017Vojnar TomášUITSVyužití formálních metod v přibližném počítání -- společné vedení s dr. M. Češkou
1162017Zbořil FrantišekUITSPokročilé přístupy k praktickému rozhodování u BDI systémů
1172017Zbořil František V.UITSNové přístupy v teorii neuronových sítí
1182016Drahanský MartinUITSNávrh algoritmů pro odstranění vlivu onemocnění kůže na proces rozpoznávání otisků prstů
1192016Hanáček PetrUITSAnalýza bezpečnosti anonymizačních sítí
1202016Hanáček PetrUITSZabezpečení bezdrátové komunikace u zařízení IoT
1212016Vojnar TomášUITSStatická analýza programů se složitými řídicími či datovými strukturami
1222016Zbořil FrantišekUITSKooperace mezi více roboty
1232015Drahanský MartinUITSNová technologie rozpoznávání 2D a 3D geometrie ruky
1242015Drahanský MartinUITSVýzkum v oblasti biometrického rozpoznávání a sledování osob za využití dat obličeje
1252015Vojnar TomášUITSAutomaty v rozhodovacích procedurách a formální verifikaci -- společné vedení s dr. L. Holíkem
1262015Vojnar 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
1272015Vojnar TomášUITSStatická analýza programů s dynamickými datovými strukturami -- společné vedení s dr. L. Holíkem
1282015Zbořil František V.UITSBiologií inspirované řízeni kráčivého robota
1292014Drahanský MartinUITSTeoretické a experimentální stanovení množství informací v biometrických vlastnostech oka
1302014Drahanský MartinUITSVýzkum v oblasti simulací poškození otisku prstu
1312014Šátek VáclavUITSModelování a řízení v reálném čase
1322014Šátek VáclavUITSParalelní numerické řešení diferenciálních rovnic
1332014Vojnar TomášUITSFormální analýza a verifikace konečnosti běhu a spotřeby zdrojů programy -- společné vedení s doc. A. Rogalewiczem
1342014Zbořil František V.UITSRozpoznávání 3D objektů
1352013Hanáček PetrUITSOchrana citlivých informací na mobilních zařízeních
1362013Vojnar TomášUITSDynamická analýza a inteligentní testování paralelních programů -- společné vedení s dr. Z. Letkem
1372013Zbořil František V.UITSChaotické chování nelineárních dynamických systémů
1382012Hanáček PetrUITSDetekce útoků v síťovém provozu
1392012Kunovský JiříUITSModerní metody modelování a simulace elektronických obvodů
1402011Drahanský MartinUITSAnalýza útoků na (mikro)čipy a návrh zvýšení jejich odolnosti/bezpečnosti
1412011Janoušek VladimírUITSDynamické softwarové architektury
1422011Vojnar TomášUITSAutomatická verifikace v procesu návrhu hardware a souběžného návrhu hardware/software -- společné vedení s dr. A. Smrčkou
1432011Zbořil František V.UITSInteligentní mobilní robot
1442010Drahanský MartinUITSHybridní rozpoznávání 3D obličeje
1452010Hanáček PetrUITSAnalýza útoků na bezdrátové sítě
1462010Vojnar TomášUITSEfektivní algoritmy pro práci s automaty ve formální verifikaci nekonečně stavových systémů -- společné vedení s dr. L. Holíkem
1472009Drahanský MartinUITSZařízení pro snímání sítnice a duhovky oka
1482009Hanáček PetrUITSBezpečnostní analýza síťového provozu pomocí behaviorálních signatur
1492009Hanáček PetrUITSBezpečnostní protokoly bezdrátových sítí2
1502009Hanáček PetrUITSNávrhové vzory v paralelních a distribuovaných systémech
PředchozíDalší

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