National Repository of Grey Literature 26,533 records found  1 - 10nextend  jump to record: Search took 1.44 seconds. 


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.

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.

Company's Requirements for Graduates - Software Developers
Trnková, Michaela ; Pecinovský, Rudolf (advisor) ; Pavlíčková, Jarmila (referee)
This thesis maps requirements that are imposed on software developer graduates. This goal is achieved by interviews with specialists from technological companies. A key part of the document is an evaluation of different methodologies of education of programming with a closer focus on a methodology Architecture-first. Approaches are evaluated from the company representatives' point of view, university programming teachers' point of view, and students' of informatics fields point of view. The main benefit of the thesis is a set of recommendations for teaching students as a result of developers' opinions and opinions of students who went through these programming subjects. The thesis includes recommendation for students, who are going to work as developers.

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

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ů.

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.