Úvěrové riziko hraje při oceňování finančních nástrojů důležitou roli. Ve snaze pojistit se vůči možným problémům plynoucím z tohoto rizika byly vyvinuty finanční nástroje zvané úvěrové deriváty. V práci jsou popsány tři ...

V této práci je studován distributivní jakobián, distributivní hesián a relaxace Jakobiánu a Hessiánu. Jsou zde uvedeny příklady zobrazení, pro něž "absolutně spojitá část" distributivního Jakobiánu nebo Hessiánu nesplývá ...

Diplomová práce pojednává o vývoji a výskytech zlatého řezu ve starověkých matematických textech. Uvádí do problematiky zlatého řezu, popisuje v historických souvislostech jeho vznik a postupy, pomocí nichž byly objevovány ...

Diplomová práce je zaměřena na vytvoření webových stránek pro výuku kombinatoriky na středních školách. V době psaní této práce existovaly jen neúplné nebo velmi stručné webové stránky k tomuto tématu a většina z nich ...

Tato práce se zabývá numerickuo simulací jednoho dopravního modelu - kruhové objezdu. Model je popsán soustavou nelineárních ODR. Model nemusí mít jediné řešení. Kromě řešení s konstantní rychlostí mohou existova oscilatorická ...

U-statistiky jsou základem mnoha testových statistik. Táto práce se zabývá testy založenými na U-statistikách pro obecný dvouvýběrový problém. Po popisu dvouvýběrových testů založených na U-statistikách z obecného hlediska, ...

Cílem diplomové práce je vytvořit algoritmus pro určování optimálního plánu přidělení řidičů a vozidel na předem dané schéma jízd. Naším cílem při tvorbě plánu je minimalizace přímých nákladů spojených s přepravou. Zároveň ...

Seidelovo přepnutí množiny vrcholu je operace, která z grafu odebere hrany vycházející z této množiny a přidá do něj hrany tam, kde mezi množinou a zbytkem grafu nebyly. Ostatní hrany nejsou touto operací dotčeny. ...

The purpose of this diploma thesis is to offer the global review of current risks in the eld of life insurance business. In the rst part we focused on segmentation and description of these risks and possibilities of managing ...

In this thesis we study the concepts of relative topological properties and present some basic facts and relations between them. Our main focus is on various versions of relative normality, relative regularity and relative ...

Nárůst dostupné výpořetní síly umožnil v posledních letech praktické využití formální verifikace softwarových systémů. Nejpalčivějším problémem, který zabraňuje širšímu využití však zůstává velikost stavových prostorů. ...

Cílem projektu MWindows je vytvoření multiplatformního toolkitu pro vývoj gra fického uživatelského rozhraní s použitím jazyka C++, čímž je určen pro rychlostně náročné aplikace. Toolkit musí maximálně zakrývat specifi ka ...

Komponentově orientované programování, vyuřívající behavior protokoly pro specifikaci chovaní komponent, představuje efektivní přístup k vývoji softwarových aplikací. Jedním z prostředků jak ještě více usnadnit vývoj je i ...

V tejto práci skúmame možnosti rozšírenia Datalogu o možnosť aktualizácie. Zaoberáme sa tiež možnosťou optimalizácie dotazovania pomocou zexplicitňovania (materializácie) intezionálnych pravidiel. Na základe nášho výskumu ...

Práce se zabývá návrhem backendu pro kompilátor jazyka C++ s podporou generování kódu pro více cílových architektur. Backend je rozdělen na dvě části: systém popisu cílové architektury a generátor kódu. Popis cílové ...