Národní úložiště šedé literatury Nalezeno 4 záznamů.  Hledání trvalo 0.00 vteřin. 
Metoda chain-ladder jako maximálně věrohodný odhad v Poissonově modelu
Wagner, Vojtěch ; Kříž, Pavel (vedoucí práce) ; Pešta, Michal (oponent)
Nejprve je představen distribution-free chain-ladder. Potom je představen Poissonův model. Je dokázáno, že celkové rezervy pro jeden škodní rok spočítané metodou ma- ximální věrohodnosti použitou v Poissonově modelu vedou k identickým rezervám jako rezervy odvozené z distribution-free chain-ladderu použitém v Poissonově modelu. Poz- ději jsou diskutovány nedostatky Poissonova modelu. Odhad maximální věrohodnosti v Poissonově modelu je poupraven. Hessovy matice logaritmické věrohodnosti v odhadech maximální věrohodnosti v Poissonově modelu jsou zanalyzovány. Otázka, zda-li inverz Fisherovy informační matice aproximuje opravdovou varianční matici odhadu maximální věrohodnosti, je prozkoumána. Porovnání rozptylů celkových rezerv odvozených z inverzu Fisherovy informační matice a z opravdové kovarianční matice vede k negativnímu závěru totiž, že inverz Fisherovy informační matice není dobrou aproximací opravdové varianční matice. 1
Komunikační složitost
Wagner, Vojtěch ; Krajíček, Jan (vedoucí práce) ; Koucký, Michal (oponent)
Název práce: Komunikační složitost Autor: Vojtěch Wagner Katedra: Katedra algebry Vedoucí bakalářské práce: prof. RNDr. Jan Krajíček, DrSc. Abstrakt: Práce se zabývá teorií komunikační složitosti, která uvažuje model dvou (popř. více) hráčů, každý z nich vlastní binární vstup (x, resp. y), o němž má informaci pouze on sám. Jejich společným cílem je spočítat hodnotu něja- ké funkce f(x, y) na daných vstupech. Komunikační složitost pak měří množství informace vyměněné mezi hráči při jejich snaze spočítat f(x, y). Práce zkoumá především dva hlavní modely - deterministický model, v němž je rozhodování hráčů vždy jednoznačné a hráči spočítají vždy správnou hodnotu a pravděpo- dobnostní přístup, ve kterém je povolena náhodnost a snahou hráčů je spočítat hodnotu f(x, y) s dostatečně velkou pravděpodobností. Jsou uvedeny základní pojmy modelů a metody spodních odhadů pro dokazování komunikační složitosti funkcí. Vše je ilustrováno na příkladech několika základních funkcí. Další část je věnována příkladům náročnějším a v praxi použitelným, u nichž je řešena otázka jejich komunikačí složitosti jak deterministické, tak pravděpodobnostní. Klíčová slova: komunikační složitost, deterministický model, pravděpodobnost- ní model, spodní odhady komunikační složitosti. 1
Logika a kryptografie
Wagner, Vojtěch ; Krajíček, Jan (vedoucí práce) ; Thapen, Neil (oponent)
Název práce: Logika a kryptografie Autor: Bc. Vojtěch Wagner Katedra: Katedra algebry Vedoucí diplomové práce: prof. RNDr. Jan Krajíček, DrSc. Abstrakt: Práce se zabývá studiem metod pro formalizaci kryptografických konstrukcí. Konkrétně metodou, která je založena na definování logické teorie T, která obsahuje řetězce, čísla a objekty třídy k - k-ární funkce. Povolíme jim určité operace a formulujeme axiomy, termy a formule. Budeme používat speciální typ termů - počítající term, který označuje počet prvků x v daném inter- valu splňujících formuli ϕ(x). Díky nim můžeme mluvit o pravděpodobnostech a používat další pojmy z teorie pravděpodobnosti. Práce nejprve popisuje detailně tuto teorii. Poté přináší formalizaci Goldreich-Levinovy věty. Cílem práce je předložit potřebné kryptografické pojmy a konstrukce v jazyce teorie T a následně dokázat větu pomocí objektů, pravidel a axiomů teorie T. Uvedené definice a principy jsou ilustrovány na příkladech. Cílem práce je ukázat, že takováto teorie je dostatečně silná, aby dokázala správnost a bezpečnost podobné kryptografické konstrukce. Klíčová slova: kryptografie, ověřování protokolů, věta o správnosti, formální logická teorie, Goldreich-Levinova věta 1
Komunikační složitost
Wagner, Vojtěch ; Krajíček, Jan (vedoucí práce) ; Koucký, Michal (oponent)
Název práce: Komunikační složitost Autor: Vojtěch Wagner Katedra: Katedra algebry Vedoucí bakalářské práce: prof. RNDr. Jan Krajíček, DrSc. Abstrakt: Práce se zabývá teorií komunikační složitosti, která uvažuje model dvou (popř. více) hráčů, každý z nich vlastní binární vstup (x, resp. y), o němž má informaci pouze on sám. Jejich společným cílem je spočítat hodnotu něja- ké funkce f(x, y) na daných vstupech. Komunikační složitost pak měří množství informace vyměněné mezi hráči při jejich snaze spočítat f(x, y). Práce zkoumá především dva hlavní modely - deterministický model, v němž je rozhodování hráčů vždy jednoznačné a hráči spočítají vždy správnou hodnotu a pravděpo- dobnostní přístup, ve kterém je povolena náhodnost a snahou hráčů je spočítat hodnotu f(x, y) s dostatečně velkou pravděpodobností. Jsou uvedeny základní pojmy modelů a metody spodních odhadů pro dokazování komunikační složitosti funkcí. Vše je ilustrováno na příkladech několika základních funkcí. Další část je věnována příkladům náročnějším a v praxi použitelným, u nichž je řešena otázka jejich komunikačí složitosti jak deterministické, tak pravděpodobnostní. Klíčová slova: komunikační složitost, deterministický model, pravděpodobnost- ní model, spodní odhady komunikační složitosti. 1

Viz též: podobná jména autorů
1 Wagner, Vladimír
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.