| |
|
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.
|
|
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.
|
|
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
|
|
The nutritional importance of polyphenols in berries
MARTANOVÁ, Anna
People's nutrition is inseparable part of our lives. We could include substances, that we know are healtful, to our food. If we don't have enough of the substances, we can see negative effects on human organism. The substances are named micronutrients and vitamins. We could enrich a diet with substances that we think are healthy, but their deficit doesn't case pathological symptoms. Food which we put to this category is possible to name as function food. Function food contains substances which have positive effect on our health. One of the substances are polyphenols. This issue is very interesting for me, because polyphenols are compounds that are among others particulary found in berries, especially in blueberries. Blueberries are berries that are widespread throughout the world. One of the best sources of blueberries is also Sumava, where I come from and where blueberries are well connected. The first part of my thesis is about the functional foods and ingredients that make these foods Functional foods. Ordering: probiotics, prebiotics, synobiotiks, micronutrients, fytochemiks and polyphenols. Farther the first part deals with berries, specializing in blueberry and its properties and composition, which can have a positive impact on human health.In the second part there were two objectives of the work. The first aim of my study was to determine the diet, which includes foods that contain the optimum intake of polyphenols, equivalent to 120 ml of fetal native blueberries. Polyphenols are that part of blueberries, which make them so special. In the diet were preferentially embedded short dishes that have undergone heat treatment. Analyses of polyphenols in foods and beverages I got with the program GEOMED hospital Ceske Budejovice, Inc., Department of Clinical Pharmacology. Results polyphenol content were performed by HPLC. The content of polyphenols in native blueberries was laid as equal to 1 and the contents examined further product was then expressed as a multiple or ratio of the native blueberries. I take into account all these factors when drawing up the model menu. Another aim I have set is to map products in which the content of polyphenol is beneficial. There is a high number of products with blueberry flavour on the market. The content of blueberries, however, is often negligible. The surprising result was the polyphenol content in lemonade Toma, whose relative value ug / ml is 2.59 when compared with the native blueberry, which is placed as equal to 1. After the development work, in which I obtained information from the literature search, the sales network and the Department of Clinical Pharmacology, Hospital Ceske Budejovice, I would like to say that blueberries are an important source of polyphenols and that a diet which will include daily equivalent of receiving polyphenols, may not in any way differ from a regular rational diet. Not even cooking the dish precludes putting together this diet because blueberries are relatively stable against temperature changes. Inclusion of such a diet in the catering equipment could bring a positive impact in the future, especially for older people by improving memory function and balance.
|
|
Porting of Prawn Library from Ruby to Python 3
Molhanec, Michal ; Pícka, Marek (advisor) ; Mikoláš, Mikoláš (referee)
This work focuses on automatic translation of code written in Ruby programming language into Python 3. First part investigates principles of computer programming languages translation as is described in the literature. Second part compares elements of these two programming languages and suggests ways how these elements can be translated.
Based on this theory I developed Ruby-to-Python translator. Its working is demonstrated on the translation of the Prawn library for generating PDF files.
|
|
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ů.
|
guest ::
