|
|
Dokazování ve správním řízení
Holub, Štěpán ; Kopecký, Martin (vedoucí práce) ; Sharp, Vladimír (oponent)
Dokazování ve správním řízení Tématem této diplomové práce je dokazování ve správním řízení, přičemž cílem tohoto dokazování je utvořit ucelené povědomí správního orgánu, eliminovat případné rozpory zjištěných skutečnostech a v dané věci rozhodnout. Vzhledem k různorodosti správních řízení je třeba vyložit jednotlivé typy těchto řízení, potažmo jejich jednotlivé fáze, a zároveň je jednotlivými důkazními instituty. Opomenuty nesmí být ani možné odlišnosti dokazování, či dokonce úplná absence dokazování, neboť je třeba zmínit, že ačkoli lze na dokazování pohlížet jako na podstatnou část řízení, zákonodárce nestanovil jeho výlučnou obligatornost. Tato práce je rozdělena do pěti kapitol. V první kapitole jsou podrobně rozebrány jednotlivé zásady správního řízení, které jsou s kontextu dokazování, přičemž tyto pojmy nejsou zákoně explicitně vyloženy. Za použití judikatury a odborné literatury jsou pak tyto pojmy blíže popsány. Tématem třetí kapitoly je procesní řazení jednotlivých fází dokazování přesahem do opravných a dozorčích prostředků, přičemž je část této kapitoly věnována také problematice koncentrace řízení. Čtvrtá kapitola detailněji rozebírá jednotlivé demonstrativně uvedené důkazní prostředky v zákoně č. 500/2004 Sb., správní řád, v platném znění. Zvýšený důraz je zde kladen na problematiku výslechu...
|
|
|
Barvení grafu a formální gramatiky
Elichová, Sára ; Holub, Štěpán (vedoucí práce) ; Barto, Libor (oponent)
Tato práce se zabývá dvěma ekvivalentními reformulacemi problému čtyř barev. První z nich ukazuje spojitost barvení grafů s vektorovým součinem, druhá na ni navazuje a rozvíjí souvislost s formální gramatikou. Tyto reformulace a důkazy jejich ekvivalence s větou o čtyřech barvách jsou výsledky dvou prací, jejichž motivací je snaha o jednodušší důkaz slavného problému, který byl zatím dokázán jen za pomoci počítače. Přinášejí zajímavý úhel pohledu na problém barvení grafů a nabízejí možnost, jak jej uchopit novým způsobem, který by se mohl ukázat přístupnějším. Tato práce představí důkazy uvedené ve výchozí literatuře a doplní kroky, které tam nejsou podrobně zpracovány. Některé myšlenky se pokusí více formalizovat a přispět tak k lepší srozumitelnosti důkazů. 1
|
|
|
Representing Images by Weighted Finite Automata
Hurtišová, Viktória ; Holub, Štěpán (vedoucí práce) ; Žemlička, Jan (oponent)
Cieľom tejto práce je predstavenie vážených konečných automatov (WFA) ako spôsob reprezentácie rastrových obrázkov vo viacerých rozlíšeniach (multi-resolution images). Vysvetlíme základné koncepty vážených konečných automatov. Potom popíšeme algo- ritmus pre kódovanie obrázkov do WFA a algoritmus pre dekódovanie WFA späť do obrázkov. Následne poskytneme našu implementáciu kódovacieho a dekódovacieho algo- ritmu. 1
|
|
| |
|
| |
|
|
Analysis of the stream cipher QUAD
Čurilla, Marcel ; Holub, Štěpán (vedoucí práce) ; Příhoda, Pavel (oponent)
Název práce: Analýza proudové šifry QUAD Autor: Marcel Čurilla Katedra: Katedra algebry Vedoucí diplomové práce: doc. Mgr. Štěpán Holub, Ph.D. Abstrakt: Prúdová šifra QUAD bola predstavená na Eurocrypte autormi Côme Ber- bain, Henri Gilbert a Jacques Patarin [1]. Ukázali redukciu tejto šifry na problém riešenia m kvadratických rovníc n premenných nad konečným telesom známy, ako MQ problém. Pre zjednodušenie, autori uvažovali len prípad telesa GF(2). V tejto práci predstavím túto prúdovú šifru. Uvidiem dôkaz (redukciu) bezpečnosti šifry QUAD na MQ problém nad l'ubovol'ným konečným telesom GF(q). Popíšem základné metódy pre riešenie systému kvadratických rovníc nad konečným telesom, linearizáciu a reline- arizáciu. Podrobnejšie sa budem venovat' algoritmu XL, momentálne najrýchlejšiemu algoritmu na riešenie kvadratických systémov. V analýze šifry QUAD ukážem pre ktoré instancie je šifra QUAD prelomitel'ná a naopak pre ktoré instancie je bezpečnost' zaručená. Klíčová slova: prúdová šifra , QUAD, MQ problém, algoritmus XL 1
|
|
|
Pokrývací množiny ve steganografii
Vacek, Jan ; Holub, Štěpán (vedoucí práce) ; Hojsík, Michal (oponent)
Steganografie je věda zabývající se ukrýváním komunikace.Práce se zaměřuje na nejnovější metody používané v této oblasti. Jedná se zejména o maticové vkládání, které využívá teorii samoopravných kódů, a o součtové a rozdílové pokrývací množiny (SDCS). Pro dosažení lepších výsledků se využívá duhové obarvení sít'ových grafů. Pomocí této techniky můžeme snížit velikost prováděných změn a vytvořit tak stegosystémy, které jsou obtížněji detekovatelné. U každé metody jsou vyčísleny její vlastnosti a jsou porovnány s vlastnostmi jiných možných technik. 1
|
|
|
Čtverce v posloupnostech čísel
Hudcová, Barbora ; Holub, Štěpán (vedoucí práce) ; Bulín, Jakub (oponent)
V této práci vycházíme z článku, kde bylo zkonstruováno první nekonečné slovo nad konečnou abecedou, které se vyhýbá aditivním třetím mocninám. Ukazujeme konstrukce dalších slov se stejnou vlastností. Dále na jednom z těchto slov ilustrujeme hlavní myš- lenku důkazu, že se dané slovo vyhýbá aditivním třetím mocninám. 1
|
|
| |
|
|
Komprese pseudonáhodných posloupností
Vald, Denis ; Holub, Štěpán (vedoucí práce) ; Růžička, Pavel (oponent)
Generátory pseudonáhodných posloupností jsou široce využívanými objekty, mj. pro svoje použití v proudových šifrách. Jednou z cest vedoucích ke zvýšení odolnosti proti různým druhům útoků je použití komprese na generovanou posloupnost ve snaze odstranit redundatní informace, na jejichž základě je možné na generátor útočit. V této práci se snažíme na základě širších teoretických znalostí prozkoumat dosud vytvořené teoretické základy pro kompresi pseudonáhodných posloupností. Z tohoto obecného hlediska se podíváme na některé útoky a budeme sledovat, jakým způsobem je možné se těmto útokům bránit.
|
host ::
RSS.