|
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ů.
|
|
Trust and Reputation in Distributed Systems
Samek, Jan ; Návrat,, Pavol (referee) ; Šafařík,, Jiří (referee) ; Hanáček, Petr (advisor)
This Ph.D. thesis deals with trust modelling for distributed systems especially to multi-context trust modelling for multi-agent distributed systems. There exists many trust and reputation models but most of them do not dealt with the multi-context property of trust or reputation. Therefore, the main focus of this thesis is on analysis of multi-context trust based models and provides main assumptions for new fully multi-contextual trust model on the bases of them. The main part of this thesis is in providing new formal multi-context trust model which are able to build, update and maintain trust value for different aspects (contexts) of the single entity in the multi-agent system. In our proposal, trust value can be built on the bases of direct interactions or on the bases on recommendations and reputation. Moreover we assume that some context of one agent is not fully independent and on the bases of trust about one of them we are able to infer trust to another's. Main contribution of this new model is increasing the efficiency in agent decision making in terms of optimal partner selection for interactions. Proposed model was verified by implementing prototype of multi-agent system when trust was used for agents' decision making and acting.
|
|
Methods for class prediction with high-dimensional gene expression data
Šilhavá, Jana ; Matula, Petr (referee) ; Železný, Filip (referee) ; Smrž, Pavel (advisor)
Dizertační práce se zabývá predikcí vysokodimenzionálních dat genových expresí. Množství dostupných genomických dat významně vzrostlo v průběhu posledního desetiletí. Kombinování dat genových expresí s dalšími daty nachází uplatnění v mnoha oblastech. Například v klinickém řízení rakoviny (clinical cancer management) může přispět k přesnějšímu určení prognózy nemocí. Hlavní část této dizertační práce je zaměřena na kombinování dat genových expresí a klinických dat. Používáme logistické regresní modely vytvořené prostřednictvím různých regularizačních technik. Generalizované lineární modely umožňují kombinování modelů s různou strukturou dat. V dizertační práci je ukázáno, že kombinování modelu dat genových expresí a klinických dat může vést ke zpřesnění výsledku predikce oproti vytvoření modelu pouze z dat genových expresí nebo klinických dat. Navrhované postupy přitom nejsou výpočetně náročné. Testování je provedeno nejprve se simulovanými datovými sadami v různých nastaveních a následně s~reálnými srovnávacími daty. Také se zde zabýváme určením přídavné hodnoty microarray dat. Dizertační práce obsahuje porovnání příznaků vybraných pomocí klasifikátoru genových expresí na pěti různých sadách dat týkajících se rakoviny prsu. Navrhujeme také postup výběru příznaků, který kombinuje data genových expresí a znalosti z genových ontologií.
|
|
The contributions of the sections (NACE-CZ) to the creation of gross value added
BEDNÁŘOVÁ, Monika
The aim of this thesis was to evaluate the contributions of the sections (NACE-CZ) to the creation of gross value added. The first part of this thesis described the theoretical concepts relating to national economic gross value added. Analytical processes were used for the calculations, which may be used only if we are dealing with an additive link between individual factors. The sections' contributions to the creation of national eco-nomic gross value added were evaluated in the practical part, on the basis of the proc-esses set forth in the methodology. In the given time horizon, contributions by institu-tional sectors and groups of sections classified according to the level of technology showed a certain dependency on the actual economic cycle. Although the strongest in-stitutional sector is non-financial enterprises, they were the ones most affected during the crisis period, together with government institutions. On the contrary, the financial institution sector showed a strong position during the crisis period. In terms of the grouping of the sections according to the level of technology, the greatest contribution to national economic gross value added is by groups B1 and B2. The influence of the economic cycle was noted in all the groups but, according to the results, group C did not react quite as sensitively as the other groups.
|
|
Liability for value added tax
LACINOVÁ, Anita
In my diploma thesis I dealt with the institute of liability for value added tax. It is a relatively new device in a fight against the tax evasion, which has been added to Czech legislation due to European directive on VAT. One of the biggest problems in the fight against tax evasion are carousel frauds
|
|
Surface acoustic waves in the layered systems
Tarasenko, Alexander ; Boháč, Petr ; Jastrabík, Lubomír
The laser acoustic method was used for analysis of two layered systems: thin titanium and diamond like carbon films both deposited on silicon. The film and substrate parameters are determined by fitting the theoretical curve to the measured dispersion curve. The fit software seeks that set of the system parameters whose theoretical curve coincides the best with the experimental data. For the titanium film the best root-mean square deviation was 2.04 m/s with the relative error < O.I % and for the DLC system the corresponding value was 0.30 m/s (the relative error < O.O1 % ).
|
|
Intraday trades
BOHINSKÝ, Petr
This thesis is focused on comparison of intraday and short term trades profitability using technical analyses by application the method of crossing moving averages between January 1st 2014 and August 1st 2016. Trading takes place on the basis of buying and selling signals of a generated technical indicator in the investment program Alapri and XTB. The traded indexes are DAX 30, S§P 100 and commodities gold and oil. The theoretical part of this work is devoted to the financial market, commodity market, describes intraday and positional trader and advantages as well as disadvantages of these markets. It also deals with technical analyses and explains basic investment terms. Practical part of the work is devoted to a description of the results modeled on real historical data. It is possible to determine on the base of back-tested results that the method of crossing moving average with the value of the instrument is better for short-term trades; in modeled example in daily graph than for intraday trades modeled in four-hour graph. Furthermore when modeling there was found that it is more profitable to buy instruments and let them be valorized by the financial market under given conditions. It means to buy them at the beginning of the investment period and sell at the end of this period without any buying and selling operations.
|
|
Evaluation of success of restructuring a company
DUDOVÁ, Radka
The topic of this thesis is evaluation of the success restructuring company. The main idea of this Diploma Thesis is to determine whether the merger and sales of the company was beneficial for company, owners, and employees or not. This idea of Thesis examined evaluating method by means of economic value added. As an additional method there are bankruptcy models, financials analysis and analysis of the company's turnover.
|
|
Karl Davidov - Founder of Russian Cello School
Boiprav, Hanna ; ERICSSON, Mikael (advisor) ; BERNÁŠEK, Václav (referee)
This bachelor´s thesis is focused on the assessment of personality of Karl Julievich Davydov, respected cellist and teacher, but it is not the comprehensive portrait. This work tries to catch the principal points of his career in solo and chamber music playing as well as in teaching.
This thesis is divided into two chapters. The first one of the five subchapters and three smaller subchapters is focused on the artistic development of Karl Julievich Davydov from his childhood through his cello studies, work as professor in Russia and abroad and performing in chamber ensembles. Second chapter is dedicated to pedagogical principles and values and especially to his "Cello School".
|
|
: Time Requirement for Basic Nursing Care Procedures
SOUMAROVÁ, Iveta
A large number of nursing procedures are carried out in each ward in every hospital every day. In its theoretical part, this Bachelor thesis presents twenty basic procedures. The goal of the thesis was to find out what the most used nursing procedures are and to map the time consumption for individual nursing procedures. The quantitative research method was applied in the Bachelor thesis. Data were collected by measurement of time consumption of ten individual nursing procedures. These ten procedures were selected from a list of most used nursing procedures. Performance of the procedures was observed at the internal and surgical wards of the Hospital in České Budějovice. Both wards were observed over a 3-day span. Ten most often used nursing procedures were selected from the total number of procedures identical for both wards. Correctness of inclusion of the procedures was evaluated by the chi quadrat test in a contingency table. In addition, each of the ten most used procedures was measured ten times at each ward, from the preparation to the clean-up of instruments. The individual time values were averaged and presented along with conclusive deviations. A conformity with or difference in the time consumed was tested statistically by using the F or T test, where the applied significance level equals 5%. The research group was composed of the nurses and ancillary nursing personnel. Results are presented in graphs and tables. The following procedures differed in the individual wards: administration of medicines per os, serving of meals, venous blood sampling and blood pressure measurement. The bachelor thesis is focused on the time consumption for individual nursing procedures. The time consumption and the frequency of the individual procedures can serve as a base of explanation of the number of employees to the nursing management.
|
guest ::
