|
Programs and Algorithms of Numerical Mathematics 15
Vejchodský, Tomáš ; Chleboun, J. ; Přikryl, Petr ; Segeth, Karel ; Šístek, Jakub
The book contains papers presented at the international seminar Programs and algorithms of numerical Mathematics 15 (PANM 15), held in Dolni Maxov, Czech Republic, June 6-11, 2010. It is the fifteen volume in the series of the PANM proceedings. The topics of contributions include numerical methods for fluid flow modelling, the finite element method, a posteriori error estimates, topics from numerical linear atgebra, etc.
|
|
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.
|
|
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
|
|
Importance of comprehensive rehabilitation to Multiple Sclerosis patiens
Keclíková, Lucie ; Malá, Michaela (referee) ; Hošková, Blanka (advisor)
3 Summary: Title:: Importance of comprehensive rehabilitation to Multiple Sclerosis patiens Aim of the thesis: To summarise the current knowledge of cerebrospinal multiple sclerosis. To define a comprehensive rehabilitation programme with an emphasis upon healing rehabilitation, specifically using movement and other special therapeutic processes. To describe its importance for Multiple Sclerosis patiens.. To set up a twelve week comprehensive rehabilitative programme based upon the theory and to test its effectiveness in practice. Methodology: As to research methods, experiments, questionnaire survey and comparative analysis were selected. At two equally sized groups (n = 10) of Multiple Sclerosis patients chosen from the database of the Centre for Demyelinating Diseases at the Neurological Clinic 1. LF UK and VFN (Centrum pro demyelinizační onemocnění Neurologické kliniky 1. LF UK a VFN) the importace of twelve week comprehensive rehabilitation programme have been examined using the T25-FW, EDSS, MFIS, MSQOL-54 and WHODAS II. The first, experimental group have undergone the. twelve week comprehensive rehabilitation programme The second, control group of chosen patients have not carried out any regular activity throughout the same time period. The input (before start of the programme) and output (after...
|
|
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.
|
|
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ů.
|
guest ::
