• Analýza bezpečnostních rizik aplikací z logů v reálném čase 

      Autor: Krákora Vojtěch; Vedoucí práce: Pivoňka Pavel; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-09)
      Diplomová práce se zaměřuje na detekci bezpečnostních rizik v reálném čase. Využívám nástroj MS Azure Machine Learning, kam jsou odesílána Javou předzpracovaná data. Jsou použity algoritmy pro shlukování a detekci anomálie. ...
    • Analýza optimalizací provedených GCC při kompilaci Linuxového jádra 

      Autor: Horák Jakub; Vedoucí práce: Polách Radomír; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
      Úkolem je vystihnout optimalizace překladače, které mohou přispět k zavedení bezpečnostních zranitelností do programu. Práce dále pojednává o implementaci úprav GCC za účelem oznámení míst vzniku těchto zranitelností uživateli.
    • Efektivní implementace nově vyvinutých variant kompresní metody ACB pro knihovnu ExCom 

      Autor: Léhar Adam; Vedoucí práce: Polách Radomír; Oponent práce: Baier Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-09)
      Tato práce se zabývá analýzou algoritmu ACB a návrhem nových struktur pro indexování contextu a contentu s ohledem na vylepšení kompresního poměru. V této práci jsou navržena tři vylepšení, která jsou implementována a ...
    • GCC a LLVM - Porovnání implementací zadních částí překladačů 

      Autor: Löbl Pavel; Vedoucí práce: Polách Radomír; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-02-17)
      Tato diplomová práce se zabývá problematikou překladu programovacích jazyků do strojového kódu. Zaměřuje se na zadní část překladače a vysvětluje základní pojmy a principy fungování generátoru strojového kódu. Dále podrobněji ...
    • Komprese souborů FASTQ 

      Autor: Jakub Novák; Vedoucí práce: Polách Radomír; Oponent práce: Trávníček Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-27)
      Tato práce se zabývá analýzou struktury FASTQ souborů, výběrem vhodného kompresniho algoritmu a jeho implementaci. Velká část práce se zabývá popisem algoritmu mixováni kontextů a jeho implementaci. Dále v práci popisuji ...
    • Konstrukce zásobníkového automatu přijímajícího jazyk daný regulárním stromovým výrazem 

      Autor: Pecka Tomáš; Vedoucí práce: Trávníček Jan; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-09)
      Tato práce studuje regulárni stromové výrazy, formalismus pro popis regulárnich stromových jazyků. Hlavnim přinosem práce je nový algoritmus pro převod regulárniho stromového výrazu na ekvivalentni zásobnikový automat, ...
    • Kontrola kompatibility datových typů v Oracle SQL 

      Autor: Pelech Ondřej; Vedoucí práce: Janoušek Jan; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
      Programy v Oracle SQL mohou selhat, když obsahují chyby. V této práci představíme metodu pro odhalování chyb specifického druhu -- nekompatibilita datových typů. Analyzujeme datové typy a vestavěné funkce v dialektu Oracle ...
    • Minifikace a obfuskace JavaScriptu 

      Autor: Jakub Holub; Vedoucí práce: Polách Radomír; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-06)
      Tato práce se zabývá minifikací a obfuskací jazyka JavaScript. Je provedena analýza stávajících prací a volně dostupných knihoven zabývajících se obfuskací tohoto jazyka. Výstupem práce je modulární obfuskátor postavený ...
    • Minimalizace stromových a zásobníkových automatů 

      Autor: Plachý Štěpán; Vedoucí práce: Trávníček Jan; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-09)
      Práce se zabývá vztahem mezi konečnými stromovými automaty a zásobníkovými automaty, a jejich minimalizací. Konečné Stromové automaty jsou rozšířením konečných automatů a zpracovávají regulární stromové jazyky. V práci ...
    • Plánovač setkání 

      Autor: Koc Lukáš; Vedoucí práce: Baier Jan; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-02-19)
      Tato diplomová práce se zabývá vytvořením a následném měřením aplikace Plánovač setkání. Cílem aplikace je nalezení optimálního místa setkání pro skupinu lidí tak, aby pro každého z účastníků byla vzdálenost k výstupnímu ...
    • Přední část LLVM pro jazyk Scheme 

      Autor: Noha Jan; Vedoucí práce: Polách Radomír; Oponent práce: Trávníček Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-09)
      Tato práce se zabývá problémem překladu programovacího jazyka Scheme do nativního kódu a zkoumá možnost vytvoření nové přední části překladače pro jazyk Scheme s využitím LLVM. Dále předkládá návrh tohoto překladače a jeho ...
    • Regulární stromový výraz a jeho derivace 

      Autor: Košař Jan; Vedoucí práce: Polách Radomír; Oponent práce: Trávníček Jan
      Práce představuje novou metodu pro rozpoznávání stromových (nebo i bezkontextových) jazyků za použití derivací regulárních stromových výrazů. Tato metoda je zobecněním převodu regulárních výrazů na konečný automat pomocí ...
    • Studie možností využití nezáporného rozkladu matice pro ztrátovou kompresi zvuku 

      Autor: Tomáš Drbota; Vedoucí práce: Šimeček Ivan; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-06)
      Algoritmus nezáporného rozkladu matic byl úspěsně použit pro mnoho různých problémů, které souvisí s analýzou velkého množství dat a z nich plynoucích souvislostí. Využívá se např. pro rozpoznávání obličejů, separaci signálů ...
    • Vyhodnocení kvality komprese obrazu pomocí schématu využívajícího faktorizace nezáporných matic 

      Autor: Marek Pikna; Vedoucí práce: Šimeček Ivan; Oponent práce: Polách Radomír
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-06)
      Tato magisterská práce analyzuje potenciál komprese obrazu pomocí faktorizace nezáporných matic, matematické metody, která faktorizuje matici obsahující nezáporné elementy do dvou faktorů. Jelikož tato technika pouze ...