| |
|
The Effects of the New Deal on the social status of Afro-Americans in selected sectors of the US economy
Schwammenhöfer, Tomáš ; Tajovský, Ladislav (advisor) ; Johnson, Zdenka (referee)
This bachelor thesis deals with the effects of the New Deal legislation on Afro-Americans in the 1930s. Specifically, the thesis analytically focuses on the influence of various politician of this program on their social environment within the US economy. For the ease of understanding of whole issue is needed to know the situation of Afro-Americans in the previous decade as well as in the Great Depression. That is the content of the first two chapters. Subsequently there is the outline of the situation leading to the election of F. D. Roosevelt, US President. The last and as well the most important chapter of the whole thesis is devoted to analysis of individual programs and their impact on Afro-Americans. It concludes that the New Deal had both positive and negative influence on this minority, depending on the economic sector and the relevant administration. New Deal generally meant a huge progress in their economic and political affairs.
|
|
Serverless single page application in JavaScript
Zikmund, Marian ; Pecinovský, Rudolf (advisor) ; Suchan, Vladimír (referee)
The goal of this thesis is to design and develop a framework for building modern single- page application in the JavaScript programming language and describe this approach to development. The work also contains the documentation for a more comfortable use and customization. The content is divided into eight chapters. The introduction is followed by the retrieval of information resources, including the specifics of the JavaScript programming language and explanation of the formation of single-page application. The description of the basic principles of their functioning, motivation and justification, when and why this approach is appropriate is also included. The work is primarily focused on the issue of single-page application, for which the use of the JavaScript programming language is crucial. For this reason, this work provides a whole chapter about this programming language, also including a description of its history and role in the context of others. Below are the common characteristics of single-page applications frameworks, built on top of the library ReactJS, whose formation is engaged in the following chapter. The developed framework also contains the user guide. The practical outcome of this work is an open source framework for creating serverless single-page applications, which is due to its architecture and documentation appropriately adaptable.
|
|
Multicriteria games
Tichá, Michaela ; Dlouhý, Martin (advisor) ; Lachout, Petr (referee) ; Čičková, Zuzana (referee)
Theory of multicriteria games is a special field of game theory, when one or more players have at least two payoff functions and want to maximize simultaneously. The work introduces a number of new findings. It examined the concept of finding equilibria in pure strategies in noncooperative multicriteria game. It is possible to find all the equilibria in pure strategies by full search and solving two linear programs for each point. Furthermore, two linear programs are formulated for verifying that a selected point is the equilibrium of the game or not. In the noncooperative games is also introduced the concept that with knowledge of the equilibrium of bimatrix game determines preferences of the players. Although finding the equilibrium point of the bimatrix game is nonlinear problem, finding the preferences is linear problem. The latest findings in the noncooperative games is a generalization of the concept that solves multicriteria game by assigning weights to each criterion of each player. The work demonstrates that it may not be necessarily linear weights, but it can be more general function that describes the player's preference. The remaining part is devoted to knowledge in cooperative games. There is considered that the players know their preferences and are able to express them by weights. The game with known preferences is defined and solved with the use of bargaining theory. Then it is generalized to a case where players have more payoff functions, from which they can choose. Finally, the multicriteria case of voting game is defined. It is designed completely new concept, which selects the winning coalition in the voting game. This concept is then applied to the real situation after the elections to the Chamber of Deputies in 2013.
|
|
The analysis of an impact of realised projects of the OP Prague - the competitiveness of program period 2007-2013
Kellnerová, Markéta ; Wokoun, René (advisor) ; Krejčová, Nikola (referee)
The purpose of this dissertation is to evaluate an impact of realized projects of Prague operating program The competitiveness on a development of the Prague region. Theoretical part is dedicated to formation and development of regional politics, consequent establishment of the EU and its dividing into the program periods including given aims. Subsequently, the dissertation examines the possibilities of using the funds of the EU, after, these possibilities are discussed, specifically for the CZ. Due to the fact, that it is the OP which is referred only to the capital city Prague, one chapter is given to this issue. The last section of the theoretical part is an implementation of the OP. The practical part is concerned about quantitative and financial analysis of the OP, which is divided into the program years. In the end of the practical part, an effect of the OP is totally evaluated, mainly its impact on the development of Prague through horizontal subjects and achieving of set indicators. Finally, the effect on the region of Prague is evaluated, in terms of applicants for funds.
|
|
Analysis of drawing contributions from the Regional Operational Programme in the Košice Region 2007 - 2013
Hupka, Peter ; Kalábová, Markéta (advisor) ; Abrhám, Josef (referee)
Regional policy is becoming one of the strategic priorities of the European Union after its extension. The main tools of the policy are subsidies for less advanced regions in EU. This work aims to evaluate the Regional operational programme in the Košice region during the programming period 2007 to 2013. In the theoretical part author describes the process of forming the European Union, the overall characteristics specified by EU funds and gives basic information on Slovak Republic and Košice Region. The analytical section is dedicated to the characteristics of the Regional operational program. This work compares the individual priority axes of the operational program and the successful utilization of the allocation. For an objective assessment Košice region is compared with other regions of the Slovak Republic at the level of priority axis. Based on the analysis the author reviewed the regional operational programme in the Košice region as successful with space for improvement in the fulfilment of allocations
|
|
Family housing decision-making
Kačírková, Petra ; Brožová, Helena (advisor) ; Adam, Adam (referee)
This thesis is concerned with choosing the best and most real estate mortgage loans for family with children. The family should be chosen property near his residence momentary, then it should be recommended for this property the best mortgage loan. Selecting the property was affected by the demands of all family members and subsequent mortgage loans was selected from the products offered on the Czech market in November 2016. The thesis can be thematically divided into three main parts. The first part includes a literature search, which is divided into two areas. First described methods of multi-criteria decision making, which will be used in the decision making process. Along with these methods includes a literature review and theoretical part of the program area Super Decisions, which will be used in the practical part. Furthermore, theoretically they recognized concepts related to mortgage loans, according to which are then laid down criteria for assessing mortgage loans. The second part contains already a practical perspective on family issues, which therefore includes the selection of the best and most real estate mortgage loan program with the help of Super Decisions. The third part includes a summary of the work and the interpretation of results obtained through the program Super Decisions.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (referee) ; Veith, Helmut (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve formální verifikaci: pro separační logiku a pro slabou monadickou druhořádovou logiku s následníkem. Obě tyto rozhodovací procedury jsou založeny na převodu jejich problému do automatové domény a následné manipulaci v této cílové doméně. Posledním přínosem této práce je vývoj nových algoritmů k efektivní manipulaci se stromovými automaty, s důrazem na testování inkluze jazyků těchto automatů a manipulaci s automaty s velkými abecedami, a implementace těchto algoritmů v knihovně pro obecné použití. Tyto vyvinuté algoritmy jsou použity jako klíčová technologie, která umožňuje použití výše uvedených technik v praxi.
|
|
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.
|
guest ::
