|
|
International arbitration and the Brussels' jurisdictional regime
Macháčová, Paulína ; Pauknerová, Monika (vedoucí práce) ; Brodec, Jan (oponent)
v českém jazyce Účelem této diplomové práce je analýza styčných ploch mezi mezinárodním rozhodčím řízením a soudním řízením v rámci Bruselského režimu určování soudní příslušnosti a pravidel pro uznávání a výkon soudních rozhodnutí. Rozhodčí řízení bylo vždy vyloučeno z oblasti působnosti Bruselského jurisdikčního režimu. Přesný rozsah tohoto vyloučení (dále jen "Výjimky") byl ovšem vždy nejasný a byl předmětem dlouhotrvajících debat a sporů. Dělící čára mezi rozhodčím a soudním řízením mnohdy není vůbec tak zřejmá, jak by se mohlo zdát. Přitom určení, zda se na konkrétní případ Výjimka vztahuje, anebo jestli se uplatní pravidla Bruselského režimu, má často zásadní význam a dalekosáhlé důsledky, které mohou ohrozit vymahatelnost rozhodčí dohody, a tím i znemožnit uskutečnění rozhodčího řízení. Hlavním problémem spojeným s nejasným obsahem Výjimky je riziko paralelního rozhodčího a soudního řízení v téže věci a s tím související nebezpečí vydání vzájemně rozporného soudního rozhodnutí a rozhodčího nálezu. V úvodních kapitolách poskytuje diplomová práce obecnou charakteristiku alternativních způsobů řešení sporů se zaměřením na mezinárodní rozhodčí řízení a zdroje jeho regulace. Následuje přehled historického vývoje Výjimky. Jádro práce se pak soustředí na vlastní analýzu obsahu Výjimky, a to zejména...
|
|
| |
|
| |
|
| |
|
|
Artificial Intelligence for the Bang! Game
Daniláková, Monika ; Pilát, Martin (vedoucí práce) ; Děchtěrenko, Filip (oponent)
Tématem této práce jsou algoritmy umělé inteligence (AI) pro hru Bang!, karetní hru s tématikou Divokého západu, vytvořenou italským vývojářem her Emilianem Sciarrem. Cílem téhle práce bylo navrhnout umělou inteligence pro tuhle hru a teoreticky a experimentálně je porovnat. Nejdřív jsme zanalyzovali hru Bang! s ohledem na teorii her a prozkoumali několik algoritmů umělé inteligence použitých v podobných hrách. Pak jsme navrhli tři různé umělé inteligence a porovnali jejich výhody a nevýhody. Tyhle tři umělé inteligence byli AI používající algoritmus Monte Carlo Tree Search, genetické AI a hybridní AI používající elementy obou předchozích AI. Také jsme naimplementovali samotnou hru a umělé inteligence v jazyce C#. Způsob implementace umožňuje lehce přidávat další umělé inteligence nebo klientské aplikace v budoucnosti, a taky porovnávat a trénovat AI. Nakonec jsme experimentálně porovnali naimplementované umělé inteligence. Evoluční umělá inteligence hrála nejlíp, zatímco Monte Carlo Tree Search AI a hybridní AI byli méně vhodné pro tuto hru. Powered by TCPDF (www.tcpdf.org)
|
|
|
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í...
|
host ::
RSS.