|
Aplikace MCTS na hru Quoridor
Tomek, Jakub ; Hric, Jan (vedoucí práce) ; Majerech, Vladan (oponent)
Monte Carlo Tree Search je relativně novou technikou prohledávání stromu navrženou pro počítačového hráče v hrách, které mají příliš velký stavový prostor na to, aby šel efektivně prohledávat deterministickým algoritmem. MCTS v základní verzi poskytuje jednoduchý způsob ohodnocování pozic bez jakýchkoliv doménově specificikých znalostí. MCTS byl již aplikován v mnoha variantách pro počítačové Go, jeho použití na ostatní hry však dosud není zdaleka tak hluboce prozkoumáno. Tato práce se zabývá možností použití MCTS na jednu konkrétní hru, a to Quridor.
|
|
Institut trustu v českém právu
Skuhravý, Jan ; Plíva, Stanislav (oponent) ; Oehm, Jaroslav (oponent)
V rámci legislativních prací na návrhu nového českého občanského zákoníku bylo navrženo uvést do českého práva institut trustu, což by se mělo stát do značné míry skrze transplantaci institutu fiducie zakotveného v québeckém Code Civil. Disertační práce po představení základních pojetí trustu známých ve světě popisuje klíčové možnosti jeho komerční aplikace, využívané ve státech, jež trust zakotvily, a analyzuje možnosti, kterými by současné české právo mohlo nahradit funkce trustu bez jeho současného zakotvení. Disertační práce dále prokazuje, že klasické námitky proti možnosti implantovat trust do kontinentálního právního systému, vznášené z pozice kontinentálního práva, jsou ve vztahu k českému právnímu řádu z velké míry neopodstatněné. Práce dále podrobuje návrh českého občanského zákoníku podrobné komparativní analýze. Prokazuje, že právní konstrukce zakotvená v návrhu občanského zákoníku není skutečným trustem, ale pouze kvazi-trustem (trust-like arrangement), neboť postrádá jeden ze základních znaků tohoto institutu, a to převod majetku zakladatelem trustu na jeho správce. Nakonec disertace podrobuje analýze a kritice konkrétní ustanovení návrhu a na základě této analýzy uvádí řadu návrhů de lege ferenda směřujících k možnému vylepšení navrhovaných ustanovení.
|
|
Softwarová architektura otevřené veřejné správy
Kroupa, Tomáš ; Nečaský, Martin (vedoucí práce) ; Chlapek, Dušan (oponent)
Veřejná správa disponuje významným množstvím informací, jejíž hodnota je dosud nevyužita. Aplikace principů OpenData a LinkedData umožní tyto informace nejenom efektivně publikovat ale především využít jejich hodnotu. Cílem této práce je analyzovat současný stav, zhodnotit a diskutovat překážky a navrhnout řešení k aplikaci principů OpenData a LinkedData na veřejnou správu ČR.
|
|
Důkazy silného zákona velkých čísel
Odintsov, Kirill ; Štěpán, Josef (vedoucí práce) ; Staněk, Jakub (oponent)
Tato práce obsahuje dva různé důkazy Silného zákona velkých čísel i se všemi potřebnými pomocnými větami a lemmaty. První Borelův důkaz je méně obecný, avšak podstatně jednodušší. Druhý důkaz je proveden za použití Kroneckerova lemmatu a Kolmogorov-Khinchinovy věty, která je dokázana přes Kolmogorovu nerovnost. Důkazy jsou dělány velmi podrobně a u čtenáře předpokládají pouze základní znalosti z pravděpodobnosti a teorie míry. Text je provázen četnými příklady a to, jak matematickými tak i příklady z bežného života. Nakonec jsou popsány čtyři důležité matematické aplikace Silného zákonu velkých čísel.
|
|
Monitoring DNS serverů domén druhé úrovně
Šťastný, Petr ; Peterka, Jiří (vedoucí práce) ; Lukeš, Dan (oponent)
Tato práce přímo navazuje na bakalářskou práci. Nejprve uvádí veškerou potřebnou teorii o protokolech HTTP, SMTP a dalších, která je následně využita k sestavení metodiky rozšiřujících testů, které ověřují dostupnost a funkčnost základních internetových služeb domén. Metodika je následně implementována jako aplikace, která s využitím distribuovaného zpracování umožňuje automatizovaně analyzovat velké množství domén. Ze získaných výsledků jsou následně sestaveny statistické výstupy. Jedna kapitola je též věnována přehledu útoků na DNS a možnostmi zabezpečení DNS serverů a záznamů domén.
|
|
Výpočet determinantu rozměrné matice Sylvesterova typu
Kujan, Petr ; Hromčík, M. ; Šebek, Michael
Tato práce je věnována různým metodám výpočtu determinantu velké n-D polynomiální matice se speciální strukturou. Aplikace řešení této úlohy se vyskytují v teorii n-D systémů (např. test soudělnosti dvou n-D polynomů) nebo v teorii algebraických rovnic. Konkrétně se řešení této úlohy věnuje profesor Chiasson v praktické úloze výpočtu optimálních spínacích úhlů vícehladinového konvertoru. Zde se pomocí výpočtu determinantů speciálních matic řeší soustava polynomiálních rovnic.
|
|
Large deviations and their applications in insurance mathematics
Fuchsová, Lucia ; Pawlas, Zbyněk (vedoucí práce) ; Klebanov, Lev (oponent)
Název práce: Velké odchylky a jejich aplikace v pojistné matematice Autor: Lucia Fuchsová Katedra (ústav): Katedra pravděpodobnosti a matematické statistiky Vedoucí diplomové práce: RNDr. Zbyněk Pawlas, Ph.D. e-mail vedoucího: Zbynek.Pawlas@mff.cuni.cz Abstrakt: V predloženej práci študujeme teóriu vel'kých odchýlok. Zaoberá- me sa rozdeleniami s t'ažkými chvostami, ktoré v poistnej matematike popi- sujú pravdepodobnost' vzniku vysokej škody. Venujeme sa použitiu teórie vel'kých odchýlok v poist'ovníctve. Simulujeme výšky a časy vzniku škôd pre Cramérov-Lundbergov model a skúmame pravdepodobnost', že dôjde k ruinovaniu v závislosti na parametroch nášho modelu najprv pre Paretovo rozdelenie výšky škody. Potom porovnávame pravdepodobnost' ruinovania pre rôzne rozdelenia výšky škody. Pre reálne dáta modelujeme pravdepodob- nost' vzniku vysokej škody pomocou zovšeobecneného Paretovho rozdelenia. 1
|
|
Jak spávně křtít malé děti?
Lamser, Jan ; Macek, Petr (oponent) ; Štefan, Jan (vedoucí práce)
Práce má za cíl vymezit se z pohledu dogmatiky k otázce křtu dětí. Obsahuje historický a konfesní přehled látky, artikuluje okruhy otevřených otázek a dovozuje, že na ně doposud není k dispozici skutečně vyvážená dogmatická reflexe, normativní výpovědi proto trpí značnou jednostranností. Té je třeba se vyvarovat již na úrovni metodiky práce s látkou. Práce následně konstatuje absenci robustnější sakramentologické metodiky, snaží se následně formulovat požadavky, jaké by takový metodický přístup měla splňovat, a to s přihlédnutím k přístupům, v jejichž rámci byla látka doposud rozebírána. Tyto přístupy jsou popsány ve struktuře metanarativu, vědní perspektivy, diskurzu, argumentativní logiky. V závěru práce je navržen postup práce s dostupnou látkou, jehož aplikace by mohla přinést celistvější pohled na otázku křtu dětí. Powered by TCPDF (www.tcpdf.org)
|
|
Algoritmy nad rozšířeným sufixovým polem
Šedek, Jindřich ; Senft, Martin (oponent) ; Dvořák, Tomáš (vedoucí práce)
Su fixový strom je v oblasti efektivních řešení vyhledávacích problémů jednou z nejdůležitějších datových struktur. Hlavní nevýhodou sufixového stromu je jeho prostorová složitost. Sufixové pole je naproti tomu prostorově úsporná datová struktura, která však nemá tak široké aplikace. Aby bylo možné využít sufi xové pole v pokročilejších aplikacích, je nutné jej rozšířit dalšími pomocnými informacemi. Tato práce je zaměřna na experimentální srovnání rozšířeného sufi xového pole se sufi xovým stromem ve vybraných aplikacích z hlediska časové a prostorové složitosti.
|
|
Nástroj na generování polymorfních síťových útoků
Buchta, David ; Malinka, Kamil (oponent) ; Ovšonka, Daniel (vedoucí práce)
Tato bakalářská práce se zabývá návrhem a tvorbou desktopové GUI aplikace pro generování polymorfních síťových útoků. Vytvořená aplikace implementuje několik technik pro vyhýbání se detekci. Dále umožňuje uživatelovi definovat vlastní techniky. Aplikace pak ve velkém množství zasílá útoky na cíle a zkoumá jejich funkčnost a vyhnutí se detekci pomocí některého NIDS.
|
host ::
