|
Analysis of drawing contributions from the Regional Operational Programme in the Košice Region 2007 - 2013
Hupka, Peter ; Kalábová, Markéta (vedoucí práce) ; Abrhám, Josef (oponent)
Regionální politika se stává jednou ze strategických priorit Evropské unie až s jejím postupným rozšířením. Hlavním nástrojem této politiky jsou dotace pro zaostalejší regiony. Tato práce má za cíl zhodnotit Regionální operační program v Košickém kraji v rámci programového období 2007 až 2013. Teoretickou částí autor popisuje proces formování Evropské unie, obecně charakterizuje eurofondy a specifikuje Slovenskou republiku a Košický kraj. Analytická část je věnována charakteristice samotného Regionálního operačního programu. Použitím metody porovnávání jsou hodnoceny jednotlivé prioritní osy operačního programu na základě úspěšnosti čerpání alokací. Pro objektivní zhodnocení byl porovnán i Košický kraj s ostatními kraji Slovenské republiky na úrovni prioritních os. Na základě analýzy autor zhodnotil Regionální operační program v Košickém kraji jako úspěšný s prostorem na zlepšení přizpůsobení alokací.
|
| |
|
Aplikace simulací Monte Carlo v bankovnictví
Boruta, Matěj ; Teplý, Petr (vedoucí práce) ; Fučík, Vojtěch (oponent)
Bankovnictví je v současnosti vystaveno vysokým tržním rizikům. Jedním z těchto rizik je například výskyt negativní úrokové míry v EU. Je důležité používat při měření bankovních rizik sofistikované moderní metody, které nám umožní riziko změřit a následně i řídit. Jednou z těchto metod je metoda Monte Carlo. V této bakalářské práci jsem se zaměřil na analýzu a 3, 6 a 12 měsíční predikci úrokové sazby PROBOR s 3 měsíční splatností pomocí simulace Monte Carlo. Zjistil jsem, že tato metoda je vhodná pro predikci tržních veličin s nižšií volatilitou. Při aplikaci této metody je nezbytné kalkulovat s úskalími a předpoklady, které tato metoda zahrnuje, jako je adekvátní počet scénářů, aproximace správného rozdělení, nezávislost dat a v neposlední řadě, pokud je to možné, tak se zaměřit na faktory, které generují nahodilost tržní veličiny a ne na ceny, které spíše představují následky náhodného jevu než jejich příčinu. Dále jsem predikci srovnal s prognózou ČNB a zjistil jsem, že predikce Monte Carlo je přesnější na krátkodobé prognózy. Predikce Monte Carlo na 12 měsíců také odhalila možnost negativní úrokové sazby na 0,05%, kdežto prognóza ČNB negativní úrokovou sazbu nepredikovala vůbec.
|
|
Profil a reflexe tanečního oddělení Julliard school
Červinka, Marek ; JANEČEK, Václav (vedoucí práce) ; KŘENKOVÁ, Mahulena (oponent)
Tato bakalářská práce s názvem Profil a reflexe tanečního oddělení Juilliard School se nejprve stručně věnuje klíčovým událostem v dějinách klasického i moderního tance první poloviny 20. století a dále historii The Bennington School of the Dance, která je považována za předchůdce The Juilliard School. Po všeobecných informacích ohledně historie, vzdělávacích cílů a studijních programů The Juilliard School se zbytek práce detailně zaměřuje na její Taneční fakultu. Popisuje její historii, světoznámé pedagogy, studijní program a přijímací řízení. Všechny tyto informace společně s rozhovory, které poskytl český choreograf a pedagog Jarek Cemerek a současný student čtvrtého ročníku Brennan Clost, se staly podklady pro závěrečnou reflexi této fakulty. Ta obsahuje srovnání The Juilliard School s českým tanečním školstvím.
|
|
Fytochemický potenciál polyfenolů v bobulovitých plodech
KRUMPHANZLOVÁ, Iva
Tato bakalářská práce shrnuje poznatky o polyfenolech a jejich příznivém vlivu na lidské zdraví. U těchto fytochemik nelze stanovit doporučenou denní dávku, na rozdíl od mikronutrientů. Nedostatek mikronutrientů ve stravě vyvolá příznaky deficitu, při nedostatku polyfenolů deficit nevznikne. Pokud jsou však v dostatečném množství přítomny v potravinách, pak se jedná o funkční potraviny, které jsou důležité v prevenci civilizačních onemocnění. Na začátku teoretické části je znázorněno rozdělení polyfenolů jak z farmakologického, tak z chemického hlediska. Na základě tohoto rozdělení se zde popisuje důležitá úloha antioxidantů a flavonoidů. Zvláštní pozornost je věnována resveratrolu, který je populární i díky známému "francouzskému paradoxu". Další část se zabývá vlivem polyfenolů na lidské zdraví. Je zde podrobně vysvětleno, jakým způsobem polyfenoly chrání naše tělo před určitými nemocemi. Většina zdravotních přínosů je podložena studiemi na zvířatech. Tyto pokusy jsou v práci také zmíněny a popsány. V teoretické části nechybí ani vysvětlení procesu vstřebávání a bezpečnosti. Zdroje polyfenolů jsou uvedeny v poslední podkapitole. Práce se zaměřuje především na plody borůvek (Vaccinium myrtillus) a hrozny révy vinné (Vitis vinifera). Jsou zde krátce zmíněny i ostatní bobulovité plody, např. brusinky, maliny, ostružiny a rybíz. Cílem práce je sestavit jídelníček, který by zajišťoval účinnou denní dávku polyfenolů. Toto množství lze přirovnat k 120 ml nativních borůvek. Do jídelníčku jsou zařazeny pouze produkty konzumované bez potřeby tepelné úpravy. Druhým cílem je zmapovat, které potravinové výrobky jsou plnohodnotným zdrojem polyfenolů. Na základě těchto cílů byly stanoveny výzkumné otázky: Výzkumná otázka č. 1: Jaké množství polyfenolů obsahují bobulovité plody, zvláště pak borůvky? Výzkumná otázka č. 2: Jaké potraviny (bez potřeby tepelné úpravy) jsou ideální pro zařazení do jídelníčku, aby byl zajištěn ekvivalentní denní přívod polyfenolů? U borůvkových produktů byla využívána analýza obsahu polyfenolů, která byla získána v rámci programu GEOMED z Nemocnice České Budějovice a.s., pracoviště klinické farmakologie. Stanovení se prováděla metodou HPLC (vysokovýkonnostní kapalinové chromatografie) ve spolupráci s biologickým centrem AV ČR v Českých Budějovicích. Díky této analýze lze odpovědět na výzkumnou otázku č. 1. Je zde zajímavá skutečnost, že mražené borůvky mají vyšší zastoupení polyfenolů, než borůvky chlazené. Jako prioritní anthokyan byl zvolen malvidin (malvidin-3-6"-acetoyl glucoside), jelikož je v borůvce lesní nejvíce zastoupen. Ostatní informace o množství polyfenolů v určitých potravinách byly čerpány z knih od Josepha Maroona, MD, FACS (2010). Praktická část obsahuje čtrnáctidenní jídelníček, který splňuje dané požadavky. Z výsledků je patrné, že lze sestavit jídelníček bohatý na polyfenoly. Součástí je přehled borůvkových produktů, které jsou všem dostupné. Zmapovány byly borůvkové mléčné výrobky, džemy, nápoje, kompoty a přesnídávky. Z přehledu lze vyčíst, který produkt obsahuje nejvíce polyfenolů. Správnou kombinací daných výrobků lze pak dosáhnout požadovaného množství. Jako ideální se osvědčila kombinace 2 dcl červeného vína a jednoho borůvkového mléčného výrobku (s hodnotou malvidinu nad 64). Poznatky v práci slouží k rozšíření informovanosti o polyfenolech a jejich účincích. Jídelníček může být využit v domovech pro seniory, kde se uplatní jejich příznivý vliv na udržení rovnováhy. Dále také v lázních, případně v jiných zařízeních veřejného stravování.
|
|
Rozhodování o rodinném bydlení
Kačírková, Petra ; Brožová, Helena (vedoucí práce) ; Adam, Adam (oponent)
Tato diplomová práce se zabývá výběrem nejvhodnější nemovitosti a nejvýhodnějšího hypotečního úvěru pro rodinu s dětmi. Rodině měla být vybrána nemovitost v okolí svého momentálního bydliště a poté jí měl být doporučen k této nemovitosti nejvýhodnější hypoteční úvěr. Výběr nemovitosti byl ovlivněn požadavky všech členů rodiny a následný hypoteční úvěr byl vybrán z produktů nabízených na českém trhu v listopadu roku 2016. Práci lze tematicky rozčlenit do tří hlavních částí. První část obsahuje literární rešerši, která je rozdělena do dvou oblastí. Nejprve jsou popsány metody vícekriteriálního rozhodování, které budou použity v procesu rozhodování. Společně s těmito metodami obsahuje literární rešerše i teoretickou část z oblasti programu Super Decisions, který bude využit v praktické části. Dále jsou teoreticky zachyceny pojmy týkající se hypotečních úvěrů, podle nichž jsou poté stanovena kritéria pro hodnocení hypotečních úvěrů. Druhá část práce obsahuje již praktický pohled na problematiku rodiny, což zahrnuje tedy výběr nejvhodnější nemovitosti a nejvýhodnějšího hypotečního úvěru za pomoci programu Super Decisions. Třetí část práce zahrnuje shrnutí práce a interpretaci výsledků získaných díky programu Super Decisions.
|
|
Neinvazivní metody pro stanovení pohlaví a stereoidních hormonů u gibonů rodu Nomascus
Bolechová, Petra ; Bartoš, Luděk (vedoucí práce) ; Pavel, Pavel (oponent)
Giboni rodu Nomascus patří ke kriticky ohroženému druhu, o kterém zároveň chybí velké množství základních biologických informací. Vzhledem ke statutu těchto zvířat ve volné přírodě i počtu chovaných jedinců v chovu zoologických zahrad je prioritní otázkou zlepšení managmentu chovu, kam patří i znalost reprodukce. Základním cílem této práce je praktické využití neinvazivních metod (polymerázová řetězová reakce k extrakci DNA a enzymové imunotesty), využívajících k analýzám vzorky výkalů. První metoda, polymerázová řetězová reakce, byla využita pro determinaci pohlaví u mláďat, protože kvůli jejich specifickému zbarvení a vzhledové podobnosti vnějších pohlavních orgánů, není diagnostika možná bez odchycení zvířete. Další částí je zodpovězení hypotéz týkajících se ovariálního cyklu samic a faktorů ovlivňujících jejich koncentrace včetně souvislosti nástupu pohlavního cyklu u samic a jejich změny barvy srsti. Hypotézy byly ověřeny sledováním výše koncentrací metabolitů progesteronu a estrogenu ve výkalech a vyhodnocením složení chovné skupiny gibonů a vlivu ZOO. Celkem bylo analyzováno během čtyř let (2010-2014) 51 zvířat z 16 zoologických zahrad v celkovém množství 1618 vzorků výkalů. Výsledky potvrdily využití neinvazivních metod pro determinaci pohlaví a tak zajištění maximálního welfare v chovech. Endokrinologické analýzy potvrdily hypotézy o vlivu prostředí (ZOO) na koncentraci hormonů a vliv březosti samice a jejího věku na výši koncentrace hormonů, ale také vliv březosti na koncentraci hormonů u samců-otců. Prvotní informací v této studii je potvrzení nástupu ovariálního cyklu u mladých samic bez návaznosti na jejich přebarvení a významný faktor vlivu matky a její teritoriality. Tato studie předkládá první dlouhodobější monitoring ovariálního cyklu u samic a koncentrace hormonů u ostatních jedinců ve všech věkových kategoriích i pohlaví. Výsledky umožňují pochopit vliv chovatelského prostředí na reprodukční postavení těchto gibonů a přispívají k celkovému zlepšení managementu chovu.
|
|
Spolupráce středních škol s externími firmami v přípravě školních vzdělávacích programů
Tulach, David ; Lačev, Alek (vedoucí práce) ; Hochel, Matej (oponent)
Tato práce, Spolupráce středních škol s externími firmami v přípravě školních vzdělávacích programů, se zabývá otázkou, zdali je možné a přínosné, aby střední školy spolupracovaly s firmami na přípravě či úpravě svých vzdělávacích programů za cílem zlepšení kvality vzdělávání. Po prvotních příspěvcích ze strany odborníků, které na tuto otázku odpovídaly negativně, byl pohled zaměřen na kořen věci - na čem stojí historické pilíře školství a pedagogiky, co o učení se a výuce říká věda, jak pedagogika reaguje na krizi věd. Při porovnání literárních zdrojů a závěrů z rozhovorů s odborníky v kombinaci s analýzou stop a výsledků činnosti odborníků dalších byla stanovena teorie, že veřejné školství dospívá do bodu krize, ve své podstatě se od svého vzniku nezměnilo a nejlepším řešením může být vytvoření alternativních vzdělávacích institucí.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
host ::
