|
Komparace vybraných dopadů programů New Frontier a Great Society v 60. letech 20. století
Kojan, Christian ; Johnson, Zdenka (vedoucí práce) ; Fabianková, Klára (oponent)
Bakalářská práce se zabývá programy New Frontier a Great Society a jejich dopady na sociální politiku Spojených států amerických v 60. letech. Cílem práce je komparovat dopady obou programů na vybrané ukazatele životní úrovně obyvatel s primárním zaměřením na míru chudoby. Práce představuje jednotlivá legislativní opatření obou programů zaměřená na boj s chudobou a následně analyzuje jejich dopady na životní úroveň obyvatelstva. Hypotéza, že program Great Society byl při redukci míry chudoby úspěšnější než program New Frontier, nebyla prokázána kvůli silnému vlivu vysokého hospodářského růstu v 60. letech. Práce naznačuje, že největším úspěchem obou programů byl pozitivní dopad opatření Great Society v oblasti vzdělávání.
|
|
Porovnání účetních programů z hlediska využití informací pro řízení firmy
Loušová, Petra ; Stejskalová, Irena (vedoucí práce) ; Pevná, Jana (oponent)
Cílem diplomové práce je porovnat účetní programy z hlediska využití informací, které jsou důležité pro vedení podniku. Teoretická část se věnuje obecnému přístupu ke zpracování podnikových informací v rámci účetnictví. Jako další je zde představen přehled toho, jaké informace z oblasti účetnictví jsou důležité a potřebné pro práci finančního manažera. Praktická část obsahuje analýzu nejméně třech účetních programů, s hlavním zaměřením na to, jaké informace z vybraných účetních programů potřebují manažeři při své práci či jaké informace skutečně z programu získávají. V práci je též provedena komparace výsledků jednotlivých organizací, informace jsou získány prostřednictvím hloubkového rozhovoru s finančním manažerem vybrané firmy.
|
| |
|
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í.
|
|
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í.
|
|
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.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (oponent) ; Křetínský, Mojmír (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work addresses verification of infinite-state systems, more specifically, verification of programs manipulating complex dynamic linked data structures. Many different approaches emerged to date, but none of them provides a~sufficiently robust solution which would succeed in all possible scenarios appearing in practice. Therefore, in this work, we propose a new approach which aims at improving the current state of the art in several dimensions. Our approach is based on using tree automata, but it is also partially inspired by some ideas taken from the methods based on separation logic. Apart from that, we also present multiple advancements within the implementation of various tree automata operations, crucial for our verification method to succeed in practice. Namely, we provide an optimised algorithm for computing simulations over labelled transition systems which then translates into more efficient computation of simulations over tree automata. We also give a new algorithm for checking inclusion over tree automata, and we provide experimental evaluation demonstrating
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (oponent) ; Sekanina, Lukáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
host ::
