|
|
Post-quantum alternative to secure sockets
Behún, Marek ; Kratochvíl, Miroslav (vedoucí práce) ; Kofroň, Jan (oponent)
Cílem této práce je implementovat softwarovou knihovnu, která umožní šifrovat interaktivní síťovou komunikaci pomocí kryptografického protokolu podobného SSL nebo TLS, jehož bezpečnost není ohrožena útočníkem vlastnícím kvantový počítač. Pro dosážení dané úrovně bezpečnosti výsledný software používá algoritmus na výměnu klíčů zvaný Supersingular Isogeny Diffie Hellman (SIDH). Software je poměrně jednoduchý, přenosný a nezávislý na specifikách konkrétního operačního systému. Práce také podává zhuštěný úvod do teorie, na které je algoritmus SIDH postaven, psaný pro cílovou skupinu studentů bakalářských a magisterských kurzů informatiky. Powered by TCPDF (www.tcpdf.org)
|
|
|
Využití celulárních automatů pro šifrování dat
Dvořák, Martin ; Trunda, Otakar (vedoucí práce) ; Mráz, František (oponent)
Celulární automaty jsou diskrétní systémy s velmi jednoduchými pravidly, ale velmi rozmanitým chováním. Některé celulární automaty dokáží generovat kvalitní pseudonáhodné sekvence bitů. To nás vede k otázce, zda by celulární automaty mohly být využity v kryptografii, například jako náhražka proudových šifer. Budeme tvořit a porovnávat různé metody pro generování dlouhých one-time-padů z krátkých šifrovacích klíčů, kde naše metody budou využívat celulární automaty. Kromě přímého vymýšlení algoritmů naprogramujeme také evoluční algoritmus, který sám bude vymýšlet co nejlepší zapojení našich stavebních bloků. Výstupem bude desktopová aplikace na šifrování souborů pro Windows. Powered by TCPDF (www.tcpdf.org)
|
|
|
Automatické úpravy kontextu v textových polích
Dřínek, Vratislav ; Bojar, Ondřej (vedoucí práce) ; Horký, Vojtěch (oponent)
Název práce: Automatické úpravy kontextu v textových polích Autor: Vratislav Dřínek Ústav: Ústav formální a aplikované lingvistiky Vedoucí bakalářské práce: RNDr. Ondřej Bojar Ph.D., Ústav formální a aplikované Lingvistiky Abstrakt: Tématem této bakalářské práce je pomocník při úpravě textu. Program se snaží předvídat uživatelovy záměry a usnadnit mu jejich dokončení. Úloha, kterou se zabývá tato práce je zcela nová a funkcionalita není nejen v běžných textových editorech k dispozici. Téma práce bylo inspirováno uživatelským rozhraním programovacího prostředí Visual Studio, které občas samo navrhuje programový kód, který programátor s nejvyšší pravděpodobností hodlá napsat. Pro svou práci pomocník používá morfologickou analýzu vět pomocí již existujícího nástroje Morphodita. Klíčová slova: větný rozbor, český slovník, morphodita tagger, autocomplete
|
|
|
Okolnosti vylučující protiprávnost v českém a irském trestním právu
Kubíčková, Tereza ; Vokoun, Rudolf (vedoucí práce) ; Bohuslav, Lukáš (oponent)
Okolnosti vylučující protiprávnost v českém a irském trestním právu Tato práce je zaměřena na rozbor jednotlivých předpokladů okolností vylučujících protiprávnost podle českých a irských právních předpisů a závěrů teorie a praxe. Cílem práce není poskytnout vyčerpávající výklad o všech v úvahu přicházejících institutech, které mají za následek vyloučení protiprávnosti u činu jinak trestného, ale naopak poskytnout přehled, jak jednotlivé právní řády tyto okolnosti pojímají, jaký význam v daném právním řádu mají a kde se alespoň mírně přibližují. Jelikož český a irský právní řád řadíme pod zcela odlišné právní systémy, tak ani jednotlivé instituty okolností vylučujících protiprávnost nemohou vycházet ze stejných pravidel, principů a teoretických základů. Zatímco základem české právní úpravy je trestní zákoník, tak stěžejním pramenem irského práva jsou dřívější soudní rozhodnutí a jednotlivé dílčí zákony, komplexní právní úprava zcela chybí. Při zpracování tématu je vycházeno ze současného stavu právní úpravy, přičemž jednotlivé instituty jsou děleny dle struktury českého trestního zákoníku. Otázky vzniku a vývoje těchto institutů jsou vědomě ponechány stranou. Práce je pro přehlednost rozčleněna do osmi hlavních kapitol. Úvodní část je věnována právě odlišným typům právních kultur a jejich pramenům....
|
|
|
Dříve evoluční zatracenci, nyní tvůrci reprodukční strategie: původ a reprodukce samčí linie vodních skokanů Pelophylax esculentus
Doležálková, Marie ; Choleva, Lukáš (vedoucí práce) ; Mikulíček, Peter (oponent) ; Kratochvíl, Lukáš (oponent)
Asexuální způsoby reprodukce jsou obvykle založeny na principu kopírování (klonování) samičí DNA do potomstva. U většiny asexuálně se množících obratlovců se potomstvo vyvíjí z neredukovaného a často neoplozeného vajíčka. Umožňuje to mechanismus partenogenetické a gynogenetické reprodukce. Zatímco v prvním případě se klonální pohlavní buňka vyvíjí spontánně a samostatně, v druhém případě je zapotřebí pohlavní partner, který aktivuje rýhování vajíčka. Ani v jednom případě však nedochází k oplodnění (splynutí spermie s vajíčkem). Klonální potomstvo proto tvoří výhradně dcery a dosavadní výzkum probíhal jen na asexuálních liniích samičího pohlaví. Vzácně mohou vznikat při pravém oplodnění klonálního vajíčka asexuální samci, ti však bývají často neplodní. Na světě jsou známí diploidní zástupci pouze tří rodů obratlovců hybridního původu, kteří disponují plodnými asexuálními samci. Jedním z nich jsou evropští zelení vodní skokani rodu Pelophylax, žijící také na území České republiky. V oblastech kolem horního toku řeky Odry byly nedávno objeveny populace hybridních samců, kteří po vzoru asexuálních samic vytváří stabilní vše-samčí linie. Výsledky této studie ukázaly, že samci tvoří klonální spermie procesem hybridogeneze, během níž je z pohlavních buněk vymazán genom matky. Pravou fertilizací dochází k oplodnění...
|
|
|
Molecular cytogenetics of selected actinopterygian fishes: insight from repetitive sequences to whole genome analyses
Majtánová, Zuzana ; Symonová, Radka (vedoucí práce) ; Marec, František (oponent) ; Šťáhlavský, František (oponent)
Paprskoploutvé ryby, Actinopterygii, skupina s nejvyšší taxonomickou diverzitou mezi všemi obratlovci, představují v posledním období atraktivní objekt evolučních studií. S pokrokem v oblasti molekulární cytogenetiky a cytogenomiky roste i význam těchto metod ve studiu uspořádání a evoluce rybích genomů jako základu této diverzity. Má dizertační práce se zabývá studiem evoluce genomu vybraných skupin ryb, a to jak bazálních linií parskoploutvých (Lepisosteidae a Amiidae) a kostnatých (Pantodontidae), tak i "vyšších" kostnatých ryb z čeledí Cobitidae a Coregonidae. Využila jsem metody konvenční a molekulární cytogenetiky společně s fylogenetickými a statistickými přístupy. V rámci své dizertační práce popisuji cytogenetickou variabilitu blízce příbuzných druhů síhů (Coregonus), a roli repetitivních úseků genomu v ekologické speciaci. V kontrastu s recentní cytotaxonomickou diverzitou síhů, jsme odhalili relativně dlouhodobou karyotypovou stabilitu ve spojení s asexuálním rozmnožováním u sekavců rodu Cobitis. V další publikaci detailně popisujeme překvapivé uspořádání AT/GC bazí na chromozomech a v genomu kostlínů (Atractosteus a Lepisosteus) a bioinformaticky analyzujeme jejich uspořádání v genomu těchto bazálních paprskoploutvých ryb v kontextu hlavních linií obratlovců. V návaznosti na práci o...
|
|
|
Sporné otázky nutné obrany v judikatuře
Houzar, Petr ; Vokoun, Rudolf (vedoucí práce) ; Bohuslav, Lukáš (oponent)
Práce je zaměřena na sporné otázky vyvstávající ve spojení s institutem nutné obrany, a jak se s těmito otázkami vypořádávaly soudy v rámci své rozhodovací praxe. První kapitola práce slouží jako úvod do celého tématu. V její druhé kapitole se práce věnuje pojmu nutná obrana samotnému a předpokladům nutným proto, aby dané jednání mohlo být posouzeno jako jednání v nutné obraně. Dále byla nutná obrana zařazena do systému okolností vylučujících protiprávnost, o kterých bylo krátce pojednáno. Úkolem třetí kapitoly bylo vymezit a blíže přiblížit podmínky, které musí nastat, aby se užilo institutu nutné obrany. Hlavními částmi této kapitoly byly jednak útok a jednak obrana. V souvislosti s útokem bylo pojednáváno o tom, proti čemu musí útok směřovat a co se vlastně zákon snaží bránit. V první zmíněné části jsou rozebrány samotný pojem útoku, společně s jeho aspektem protiprávnosti, dále osoba útočníka a požadavek společenské škodlivosti. Druhá část zmíněné kapitoly byla věnována obrannému jednání, co je jeho obsahem apod. a posléze obrannému jednání zcela zjevně nepřiměřenému jakožto pojmu. V souvislosti s čímž bylo rozlišeno mezi pojmy proporcionalita a přiměřenost. Čtvrtá kapitola uvádí úlohu soudních rozhodnutí v právním systému ČR a to z několika pohledů. Za prvé vztah soudního rozhodnutí vůči jeho...
|
|
|
Trestněprávní aspekty domácí výroby lihovin a pěstitelského pálení
Kutěj, Vladislav ; Gřivna, Tomáš (vedoucí práce) ; Bohuslav, Lukáš (oponent)
Trestněprávní aspekty domácí výroby lihovin a pěstitelského pálení Resumé v českém jazyce Autor se v práci zabývá analýzou trestných činů, které lze spáchat při domácí výrobě lihovin a pěstitelském pálení. V této práci předně definuje klíčové pojmy, uvádí prameny důležité pro oblast výroby lihovin, seznamuje s historií výroby destilátů a představuje pěstitelské pálení. Součástí práce je také autorova vlastní definice dosud nedefinované domácí výroby lihovin. V části věnované zkoumání jednotlivých trestných činů se autor nejprve věnuje trestnému činu nedovolené výroby lihu, který byl z katalogu trestných činů vyřazen. Autor se také v průběhu práce zabývá vztahem domácí výroby lihovin a pěstitelského pálení k tzv. metanolové aféře, zkoumá příčiny a především následky. Podrobnému zkoumání ve vztahu k domácí výrobě lihovin a pěstitelskému pálení jsou poté podrobeny trestné činy proti životu a zdraví, hospodářské trestné činy a trestné činy obecně nebezpečné. V rámci domácí výroby lihovin a pěstitelského pálení lze podle autora spáchat především nedbalostní formy trestných činů. Mezi ty nejfrekventovanější řadí autor trestné činy ublížení na zdraví z nedbalosti, ohrožování zdraví závadnými potravinami a jinými předměty z nedbalosti, zkrácení daně, neoprávněné podnikání a obecné ohrožení z nedbalosti. Závěrem...
|
|
|
Aplikovatelnost rozhodčí smlouvy na třetí osoby v (mezinárodní) obchodní arbitráži - vybrané otázky ve srovnání mezinárodní arbitrážní praxe a české právní úpravy
Cienciala, René ; Pauknerová, Monika (vedoucí práce) ; Brodec, Jan (oponent)
CIENCIALA, R.: Aplikovatelnost rozhodčí smlouvy na třetí osoby v (mezinárodní) obchodní arbitráži - vybrané otázky ve srovnání mezinárodní arbitrážní praxe a české právní úpravy; rigorózní práce ABSTRAKT Smyslem předkládané rigorózní práce je posoudit v rámci (mezinárodní) obchodní arbitráže zda vůbec, případně za jakých podmínek mohou být rozhodčí smlouvou vázány třetí osoby coby její nesignatáři (non-signatories), tj. osoby, které danou smlouvu fakticky nepodepsaly. Práce kriticky zkoumá danou problematiku v kontextu vybrané a relevantní judikatury a rozhodčích nálezů i klíčových doktrinálních závěrů, a to vždy ve srovnání mezinárodní arbitrážní praxe a české právní úpravy. Práce se skládá z devíti hlavních kapitol. Po obecném úvodu (kapitola první) věnuji pozornost základnímu východisku celé problematiky, kterým je princip oddělitelnosti rozhodčí smlouvy od smlouvy hlavní (kapitola druhá), poté již následuje důkladná analýza vybraných teoretických konceptů aplikovatelnosti rozhodčí smlouvy na třetí osoby (kapitola třetí až sedmá). V souvislosti s tím se tak postupně zabývám otázkou právního nástupnictví (sukcese) v kapitole třetí, postavením ručitelů v kapitole čtvrté, oprávněných třetí osob v kapitole páté, tzv. koncernovou teorií (group of companies doctrine) v kapitole šesté a teorií alter ega v...
|
|
|
Multivariate GARCH
Maďar, Milan ; Hurt, Jan (vedoucí práce) ; Branda, Martin (oponent) ; Mazurová, Lucie (oponent)
3 Názov práce: Viacrozmerný GARCH Autor: Mgr. Milan Mad'ar Katedra: Katedra pravděpodobnosti a matematické statistiky Abstrakt: Predložená práca pojednáva o regionálnych a globálnych väzbách, ako dôkaz integrácie akciových trhov vo Frankfurte, Amsterdame, Prahe a USA. Využívaný je prístup viacrozmerných GARCH modelov zároveň k zachyteniu dy- namiky prenosu volatility medzi súvisiacimi devízovými kurzami. Definujeme tri základné typy modelov. U každého typu sú uvedené definície, vlastnosti a postup odhadu parametrov s príslušnými dôkazmi. Praktická čast' práce ilustruje použitie jednotlivých modelov na reálnych dátach. Práca sleduje dva rôzne ciele, jednak charakteristiku a popis existencie regionálnych a globálnych väzieb medzi ak- ciových trhmi, ale aj vzájomné porovnanie jednotlivých viacrozmerných GARCH modelov na vzorke dát. Hlavný prínos práce je, že s dátami pracuje v kontexte reálneho vývoja na finančných trhoch a zohladnuje situáciu v priebehu a po fi- nančnej kríze od roku 2008. Výsledkom je, že odhady podmienených korelácii závislých na čase naznačujú obmedzenú integráciu medzi trhmi z čoho vyplýva, že investori môžu využit' diverzifikáciu portfólia medzi rôzne akciové trhy a znížit' tým rizikovost' investície...
|
host ::
RSS.