|
Comparison of Selected Impacts of New Frontier and Great Society Programs in 1960s
Kojan, Christian ; Johnson, Zdenka (advisor) ; Fabianková, Klára (referee)
This thesis deals with New Frontier and Great Society programs and their impact on social policy of the United States in the 1960s. The main goal of the thesis is to compare impact of both programs on selected indicators of standard of living with primary focus on the poverty rate. Thesis describes antipoverty measures of both programs and analyzes their impact on the standard of living. Hypothesis stating that the Great Society was more successful than New Frontier at reducing the poverty rate could not be proven true because of the immense influence of strong economic growth in the 1960s. Thesis suggests that the biggest success of both programs was the positive impact of the Great Society on education.
|
|
Comparison of accounting programs from the point of view of the use of information for management companies
Loušová, Petra ; Stejskalová, Irena (advisor) ; Pevná, Jana (referee)
The aim of the thesis is to compare accounting programs from the point of view of the use of information that are important for management companies. The theoretical part deals with the general approach to processing business information in the accounting. Next there is explained an overview of what information in the field of accounting are important and necessary for the job of financial manager. The practical part contains an analysis of at least three accounting programs, with the main focus on what information from the selected accounting program managers need in their work and what information is actually gaining from the program. In practical part, there are also compared results of individual organizations; information is gathered through in-depth interview with financial managers selected companies.
|
| |
|
Profile and reflections of dance department of the Juilliard school
Červinka, Marek ; JANEČEK, Václav (advisor) ; KŘENKOVÁ, Mahulena (referee)
This bachelor thesis, called Profile and Reflection of Juilliard School’s Dance Division, first of all briefly touches the key events in history of both classical and modern dance in the first half of the twentieth century and then approaches the history of The Bennington School of the Dance which is considered to be the Juilliard’s predecessor. After a general historical overview, descriptions of the educational goals and study programs, is the rest of the work focussing on Juilliard’s Dance Division in detail. Its past accomplishments, famous teachers, study programs and the admission procedures are discussed. All these information, including the interviews with Jarek Cemerek, a Czech choreographer and dance teacher, and with Brennan Clost, a current student of the fourth year at The Juilliard School, were used as a final reflection of Juilliard’s Dance Division. The comparison of Czech dance schools with The Juilliard School is comprised in this section.
|
|
Fytochemical potencial of polyfenols contain in berries
KRUMPHANZLOVÁ, Iva
This thesis sums up findings on polyphenols and their positive influence on human health. In these fytochemicals, unlike in micronutrients, recommended daily amount cannot be estimated. Micronutrient deficiency in food can cause deficiency symptoms, while in polyphenol deficiency, the deficiency does not occur. When they are present in sufficient amount in food, it is considered functional food, which is important for civilization illnesses prevention. At the beginning of the theoretical part, the polyphenol classification from pharmacological and chemical point of view is represented. On the basis of this classification important role of antioxidants and flavonoids is described. Special attention is being paid to resveratrol, which is populardue to its well known "French paradox". The following part considers the polyphenol influence on human health. The way in which polyphenols protect our body from certain diseases is explained in detail. Most of the health benefits are supported by studies conducted on animals. These studies are also mentioned and described in this paper. In the theoretical part the process of absorption and the polyphenols safety for human body is also explained. Polyphenol sources are listed in the last subchapter. The work is mainly aimed at blueberry fruits (Vaccinium myrtillus) and vine grapes (Vitis vinifera). Other berries are briefly mentioned as well, such as cranberries, raspberries, blackberries and currant. The goal of this work is to create a diet that would provide a functional daily amount of polyphenols. This amount can be compared to 120 ml of native blueberries. Only products, consumable without cooking, are used in this diet. The second goal is to chart, which food products are adequate source of polyphenols. On the basis of these goals, research inquiries were defined. Research inquiry No. 1: What amount of polyphenols is contained in berries, especially blueberries. Research inquiry No. 2: Which food products (without cooking) are ideal to be included in diet, to provide adequate daily amount of polyphenols. To asses polyphenol content in blueberries, analysis of polyphenol content acquired through GEOMED program from Nemocnice České Budějovice a.s., department of clinical pharmacology, was used. Assessments were made using the HPLC method (high performance liquid chromatography) in cooperation with the biological centre AV ČR in České Budějovice. Thanks to this analysis, the first inquiry can be answered. An interesting phenomenon is discovered, that frozen blueberries have higher polyphenol content then cooled ones. Malvidin (malvidin-3-6"-acetoyl glycoside) was chosen as priority anthocyan since it is most represented in the blueberry. Remaining information about polyphenol content in certain food products were drawn on Joseph Maroon´s book, MD, FACS (2010). The practical part involves a diet for 14 days, which meets the given requirements. The results clearly show that it is possible to create a diet rich in polyphenols. A list of blueberry products accessible to everyone is included. Blueberry dairy products, jams, beverages, fruit salads and fruit pyre have been analysed. The list shows which product contains the most polyphenols. The required amount can be achieved by the proper combination of given products. The ideal one proved to be 200 ml of red wine and one blueberry dairy product (with the malvidin value higher than 64). Findings in this paper will serve to promote polyphenol awareness and itseffects. This diet can be used in nursing homes, where their positive influence on equilibrium can be applied. It can also be used in spas and other alimentation related facilities.
|
|
Cooperation of high schools with external contractors in preparing school educational programs
Tulach, David ; Lačev, Alek (advisor) ; Hochel, Matej (referee)
This thesis, Cooperation of high schools with external contractors in preparing school educational programs, deals with the question whether it would be possible and beneficial for high schools to cooperate with companies on the preparation or modification of their educational programs, with the goal of improving the quality of education. After initial contributions from experts who provided negative replies to this question, the view was focused on the root of the issue - what are the historical pillars of public schools and pedagogy, what does science say about learning and teaching, how pedagogy reacts to the crisis of science. After comparing literal sources and results from interview with the experts, in combination with a trace and activity analysis, a theory was established that public education is reaching a point of crisis, has not changed in its essence since its beginning and that the best solution might be the establishment of alternative educational institutions.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (referee) ; Návrat,, Pavol (referee) ; Kolář, Dušan (advisor)
Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se zaměříme na analýzu strojového kódu, na zjištění nedostatků existujících metod a na návrh metod nových, které umožní rychlou a přesnou rekonfigurovatelnou analýzu kódu (tj. budou nezávislé na konkrétní cílové platformě). Zkoumány budou dva typy analýz - dynamická (tj. analýza za běhu aplikace) a statická (tj. analýza aplikace bez jejího spuštění). Přínos této práce v rámci dynamické analýzy je realizován jako rekonfigurovatelný ladicí nástroj a dále jako dva typy tzv. rekonfigurovatelného translátovaného simulátoru. Přínos v rámci statické analýzy spočívá v navržení a implementování rekonfigurovatelného zpětného překladače, který slouží pro transformaci strojového kódu zpět do vysokoúrovňové reprezentace. Všechny tyto nástroje jsou založeny na nových metodách navržených autorem této práce. Na základě experimentálních výsledků a ohlasů od uživatelů je možné usuzovat, že tyto nástroje jsou plně srovnatelné s existujícími (komerčními) nástroji a nezřídka dosahují i lepších výsledků.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (referee) ; Křetínský, Mojmír (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, avšak žádný z nich doposud nebyl natolik robustní, aby fungoval ve všech případech, se kterými se lze v praxi setkat. Ve snaze poskytnout vyšší úroveň automatizace a současně umožnit verifikaci programů se složitějšími datovými strukturami v této práci navrhujeme nový přístup, který je založen zejména na použití stromových automatů, ale je také částečně inspirován některými myšlenkami, které jsou převzaty z metod založených na separační logice. Mimo to také představujeme několik vylepšení v oblasti implementace operací nad stromovými automaty, které jsou klíčové pro praktickou využitelnost navrhované verifikační metody. Konkrétně uvádíme optimalizovaný algoritmus pro výpočet simulací pro přechodový systém s návěštími, pomocí kterého lze efektivněji počítat simulace pro stromové automaty. Dále uvádíme nový algoritmus pro testování inkluze stromových automatů společně s experimenty, které ukazují, že tento algoritmus překonává jiné existující přístupy.
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (referee) ; Sekanina, Lukáš (referee) ; Vojnar, Tomáš (advisor)
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
|
guest ::
