|
Example creation system
Suzdaleva, Evgenia ; Nagy, Ivan ; Dungl, Martin
The technical report describes a system for creation of examples for fully probabilistic dynamic decision making. It represents a documentation for author who wishes to create examples for PhD students or to add their new developed algorithms to the system.
|
|
Technological Foresight: Analysis of Potentially Disruptive Future Technologies in Banking
Dunovský, Tomáš ; Jiřinová, Kateřina (advisor) ; Žďára, Tomáš (referee)
This Master's Thesis is focused on technological foresight in the banking industry in Europe. It includes consecutive two parts. The first one is theoretical and focuses on defining the terms necessary for the development of technological foresight, stated criteria, triggers and terms necessary for the development of analysis of potential technological problems and their solutions. The second part is practical and it includes the technological foresight, analysis of trends that will disrupt banking and introduce a vision of personal banking product of the future. A comparison of product vision to current trends and if those can be considered disruptive follow this part. The last part of the thesis includes diffusion criteria of innovation as according to the Rogers's Model, a set of triggers after which the defined investment fund can consider an investment into technology, and an analysis of potential technological issues with proposed solutions.
|
|
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.
|
|
Policy development and implementation: case study of social housing
Hradecká, Tereza ; Vymětal, Petr (advisor) ; Kučera, František (referee)
The diploma thesis focuses on the process of creation and implementation of public policy which is examined on the social housing policy. The aim of this thesis is to explore how is a certain policy prepared and put into use, considering the social housing policy as an example. Therefore, the key research question inquires how the process of creation and implementation of public policy looks like. The first chapter of the thesis deals with theoretical background of the public policy process, stressing the role of public policy documents. The second chapter describes the area of Czech social politics and policy as a cover for social housing policy development. The third chapter examines the history of Czech housing policies. The final chapter focuses on the development of social housing policy and examines its connections with certain public policy documents.
|
|
Using of the Care benefit by Users of Social services
ŠINÁKLOVÁ, Marie
The bachelor thesis deals with the widespread social benefit, the attendance allowance and problems associated with it, which implies the main objective of this work, to find out how or what for this allowance is used. This thesis consists of a theoretical and a practical part. In the theoretical part I focused mainly on the purpose, the principles and basic functions of the allowance. I have also described who is and who is not entitled to the allowance, and when such entitlement may extinguish. In this part, I also focused on what the allowance is intended for and what it has to be properly utilized for. Furthermore, I mentioned in my thesis the inspection in accordance with the Social Services Act and the means of protection applied by the state in order to prevent the abuse of the allowance. In the theoretical part, I also mentioned the history of this allowance when it still was an allowance for attending a close person. Due to the fact that the attendance allowance is intended for people who are disadvantaged in some way, I also put a chapter on disability into the theoretical part, where I gave a definition of disability, its types and forms or for example specific needs that result from such disability. In the second, practical part, the qualitative research method was applied. Data collection was conducted by questioning using the technique of a semi-controlled interview. Interviews were conducted with six communication partners that I have selected using the "snowball" method, so called accretion. The aim of this thesis was mainly to determine how or what for the attendance allowance is used by ist beneficiaries. Whether the amount of the attendance allowance is sufficient for its users to cover the costs of providing the social service. Whether users because of the low value of the attendance will be required to limit their individual needs and interests in some way. Whether users have identified some changes after the amendment of the Social Services Act. For the above objectives I tried to get the answers needed to solve the respective issue.
|
|
Feasibility Study of an Interactive Medical Diagnostic Wikipedia
Grim, Jiří
Considering different application possibilities of product distribution mixtures we have proposed three formal tools in the last years, which can be used to accumulate decision-making know-how from particular diagnostic cases. First, we have developed a structural mixture model to estimate multidimensional probability distributions from incomplete and possibly weighted data vectors. Second, we have shown that the estimated product mixture can be used as a knowledge base for the Probabilistic Expert System (PES) to infer conclusions from definite or even uncertain input information. Finally we have shown that, by using product mixtures, we can exactly optimize sequential decision-making by means of the Shannon formula of conditional informativity. We combine the above statistical tools in the framework of an interactive open-access medical diagnostic system with automatic accumulation of decision-making knowledge.
|
|
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.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (referee) ; Sojka, Eduard (referee) ; Zemčík, Pavel (advisor)
Detekce objektů v počítačovém vidění je složítá úloha. Velmi populární a rozšířená metoda pro detekci je využití statistických klasifikátorů a skenovacích oken. Pro učení kalsifikátorů se často používá algoritmus AdaBoost (nebo jeho modifikace), protože dosahuje vysoké úspěšnosti detekce, nízkého počtu chybných detekcí a je vhodný pro detekci v reálném čase. Implementaci detekce objektů je možné provést různými způsoby a lze využít vlastnosti konkrétní architektury, pro urychlení detekce. Pro akceleraci je možné využít grafické procesory, vícejádrové architektury, SIMD instrukce, nebo programovatelný hardware. Tato práce představuje metodu optimalizace, která vylepšuje výkon detekce objektů s ohledem na cenovou funkci zadanou uživatelem. Metoda rozděluje předem natrénovaný klasifikátor do několika různých implementací, tak aby celková cena klasifikace byla minimalizována. Metoda je verifikována na základním experimentu, kdy je klasifikátor rozdělen do předzpracovací jednotku v FPGA a do jednotky ve standardním PC.
|
|
Query-by-Example Spoken Term Detection
Fapšo, Michal ; Matoušek, Jindřich (referee) ; Metze, Florian (referee) ; Černocký, Jan (advisor)
Tato práce se zabývá vyhledáváním výrazů v řeči pomocí mluvených příkladů (QbE STD). Výrazy jsou zadávány v mluvené podobě a jsou vyhledány v množině řečových nahrávek, výstupem vyhledávání je seznam detekcí s jejich skóre a časováním. V práci popisujeme, analyzujeme a srovnáváme tři různé přístupy ke QbE STD v jazykově závislých a jazykově nezávislých podmínkách, s jedním a pěti příklady na dotaz. Pro naše experimenty jsme použili česká, maďarská, anglická a arabská (levantská) data, a pro každý z těchto jazyků jsme natrénovali 3-stavový fonémový rozpoznávač. To nám dalo 16 možných kombinací jazyka pro vyhodnocení a jazyka na kterém byl natrénovaný rozpoznávač. Čtyři kombinace byly tedy závislé na jazyce (language-dependent) a 12 bylo jazykově nezávislých (language-independent). Všechny QbE systémy byly vyhodnoceny na stejných datech a stejných fonémových posteriorních příznacích, pomocí metrik: nesdružené Figure-of-Merit (non pooled FOM) a námi navrhnuté nesdružené Figure-of-Merit se simulací normalizace přes promluvy (utterrance-normalized non-pooled Figure-of-Merit). Ty nám poskytly relevantní údaje pro porovnání těchto QbE přístupů a pro získání lepšího vhledu do jejich chování. QbE přístupy použité v této práci jsou: sekvenční statistické modelování (GMM/HMM), srovnávání vzorů v příznacích (DTW) a srovnávání grafů hypotéz (WFST). Abychom porovnali výsledky QbE přístupů s běžnými STD systémy vyhledávajícími textové výrazy, vyhodnotili jsme jazykově závislé konfigurace také s akustickým detektorem klíčových slov (AKWS) a systémem pro vyhledávání fonémových řetězců v grafech hypotéz (WFSTlat). Jádrem této práce je vývoj, analýza a zlepšení systému WFST QbE STD, který po zlepšení dosahuje podobných výsledků jako DTW systém v jazykově závislých podmínkách.
|
| |
guest ::
