| |
|
Fiskální pravidla ve vybraných zemích EU v letech 2004-2015: rozumná metoda pro konsolidaci veřejných rozpočtů nebo módní výstřelek politiků?
Veselý, Lukáš ; Strejček, Ivo (vedoucí práce) ; Chmelová, Pavla (oponent)
Téma fiskálních pravidel je velmi aktuální. Vzhledem k rostoucímu zadlužení některých vyspělých zemí se hovoří o tzv. "dluhové krizi". Dluh těch zemí, který přesahuje roční hrubý domácí produkt, je považován některými ekonomy za nesplatitelný. Hlavním cílem této bakalářské práce proto bylo na základě analýzy fiskálních pravidel fungujících ve vybraných zemích EU mezi lety 2004 a 2015 potvrdit či vyvrátit hypotézu, že zkoumaná fiskální pravidla jsou efektivním řešením konsolidace veřejných rozpočtů a ze zjištěných výsledků vyvodit doporučení pro návrh české finanční ústavy. Výsledky zkoumání hypotézu potvrdily. Vhodně zvolená fiskální pravidla jsou cestou k fiskální konsolidaci, avšak jen za předpokladu, že jsou dodržována. Při tvorbě fiskálních pravidel je proto třeba klást důraz na dobře formulované výstupní klauzule a případné sankce. Současný návrh české finanční ústavy je založen na správně zvoleném druhu fiskálního pravidla, stanovená referenční hodnota však postrádá ekonomický smysl a k fiskální konsolidaci s vysokou pravděpodobností nepovede.
|
|
Zjednodušení kvantových obvodů pro modulární umocňování
Fišer, Petr ; Ivánek, Jiří (vedoucí práce) ; Nentvich, Libor (oponent)
Tato práce navazuje na práci "Security of modern encryption protocols", ve které bylo představeno nové paradigma návrhu obvodů pro kvantový počítač. Zde byly představeny obvody pro modulární aritmetiku (sčítání, násobení a umocňování) na kvantovém počítači, jejichž cílem bylo, ve výsledku, rozbít El-Gamalův asymetrický kryptosystém. Aktuální práce reviduje všechny navržené obvody a stavební bloky s cílem snížit počet kvantových bitů, které potřebují ke svému fungování, a diskutuje možnosti jejich optimalizace. Dále ukazuje, že původní odhad použitých qbitů O(log(m)log^2(N)) (m zpracovávané číslo, N modulus), nelze zlepšit, což je způsobeno vlastností paradigmatu - přítomností tzv. COPY hradel. Tato hradla nelze odstranit bez nutnosti velkých zásahů do stávajícího paradigmatu. Práce navíc podává návrh na optimalizaci obvodu modulární násobičky který, za předpokladu že se povede vyřešit potíže s COPY hradly, umožní na některých fyzických implementacích kvantového počítače snížit počet použitých qbitů řádově o O(log(m)) za cenu zvýšení počtu výpočetních kroků.
|
|
Uzavírání kupní smlouvy podle Úmluvy OSN o smlouvách o mezinárodní koupi zboží v komparaci s českou právní úpravou
Krčálová, Kristýna ; Boháček, Martin (vedoucí práce) ; Levý, Jan (oponent)
Tato diplomová práce se zabývá Úmluvou OSN o smlouvách o mezinárodní koupi zboží, známou také jako Vídeňská úmluva. Hlavním cílem je posoudit samotné podmínky aplikace této mezinárodní smlouvy a zhodnotit proces uzavírání kupní smlouvy v režimu Úmluvy včetně jeho podobností a odlišností s českou právní úpravou. V neposlední řadě práce hledá odpověď na otázku, která z úprav je pro uzavření mezinárodní kupní smlouvy spadající pod aplikaci Vídeňské úmluvy pro českou smluvní stranu výhodnější. Práce je rozdělena do pěti částí. První z nich představuje úvod do problematiky Vídeňské úmluvy a soustřeďuje se na její postupný vznik a vztah ČR k ní. Druhá kapitola mapuje samotné podmínky aplikace Úmluvy a vymezuje tak subjekty mezinárodní kupní smlouvy a její předmět. Třetí a čtvrtá kapitola postupně odkrývají jednotlivé fáze kontraktačního procesu (nabídku a přijetí) a to včetně relevantní judikatury. Poslední kapitola svým pojednáním o vzniku smlouvy kontraktační proces završuje a mimo jiné také zkoumá, jaký vliv na vznik a obsah smlouvy mají obchodní podmínky a to včetně jejich případného konfliktu v podobě tzv. bitvy formulářů.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
|
STATISTICAL LANGUAGE MODELS BASED ON NEURAL NETWORKS
Mikolov, Tomáš ; Zweig, Geoffrey (oponent) ; Hajič,, Jan (oponent) ; Černocký, Jan (vedoucí práce)
Statistical language models are crucial part of many successful applications, such as automatic speech recognition and statistical machine translation (for example well-known Google Translate). Traditional techniques for estimating these models are based on Ngram counts. Despite known weaknesses of N-grams and huge efforts of research communities across many fields (speech recognition, machine translation, neuroscience, artificial intelligence, natural language processing, data compression, psychology etc.), N-grams remained basically the state-of-the-art. The goal of this thesis is to present various architectures of language models that are based on artificial neural networks. Although these models are computationally more expensive than N-gram models, with the presented techniques it is possible to apply them to state-of-the-art systems efficiently. Achieved reductions of word error rate of speech recognition systems are up to 20%, against stateof-the-art N-gram model. The presented recurrent neural network based model achieves the best published performance on well-known Penn Treebank setup.
|
|
Optimization of Gaussian Mixture Subspace Models and Related Scoring Algorithms in Speaker Verification
Glembek, Ondřej ; Brummer, Niko (oponent) ; Campbell,, William (oponent) ; Burget, Lukáš (vedoucí práce)
This thesis deals with Gaussian Mixture Subspace Modeling in automatic speaker recognition. The thesis consists of three parts. In the first part, Joint Factor Analysis (JFA) scoring methods are studied. The methods differ mainly in how they deal with the channel of the tested utterance. The general JFA likelihood function is investigated and the methods are compared both in terms of accuracy and speed. It was found that linear approximation of the log-likelihood function gives comparable results to the full log-likelihood evaluation while simplyfing the formula and dramatically reducing the computation speed. In the second part, i-vector extraction is studied and two simplification methods are proposed. The motivation for this part was to allow for using the state-of-the-art technique on small scale devices and to setup a simple discriminative-training system. It is shown that, for long utterances, while sacrificing the accuracy, we can get very fast and compact i-vector systems. On a short-utterance(5-second) task, the results of the simplified systems are comparable to the full i-vector extraction. The third part deals with discriminative training in automatic speaker recognition. Previous work in the field is summarized and---based on the knowledge from the earlier chapters of this work---discriminative training of the i-vector extractor parameters is proposed. It is shown that discriminative re-training of the i-vector extractor can improve the system if the initial estimation is computed using the generative approach.
|
|
Stability and convergence of numerical computations
Sehnalová, Pavla ; Dalík, Josef (oponent) ; Horová, Ivana (oponent) ; Kunovský, Jiří (vedoucí práce)
The aim of this thesis is to analyze the stability and convergence of fundamental numerical methods for solving ordinary differential equations. These include one-step methods such as the classical Euler method, Runge-Kutta methods and the less well known but fast and accurate Taylor series method. We also consider the generalization to multistep methods such as Adams methods and their implementation as predictor-corrector pairs. Furthermore we consider the generalization to multiderivative methods such as Obreshkov method. There is always a choice in predictor-corrector pairs of the so-called mode of the method and in this thesis both PEC and PECE modes are considered. The main goal and the new contribution of the thesis is the use of a special fourth order method consisting of a two-step predictor followed by an one-step corrector, each using second derivative formulae. The mathematical background of historical developments of Nordsieck representation, the algorithm of choosing a variable stepsize or an error estimation are discussed. The current approach adapts well to the multiderivative situation in variable stepsize formulations. Experiments for linear and non-linear problems and the comparison with classical methods are presented.
|
|
Do Consumers Really Follow a Rule of Thumb? Three Thousand Estimates from 130 Studies Say “Probably Not”
Havránek, Tomáš ; Sokolova, Anna
V tomto článku ukazujeme, že nadbytečnou citlivost spotřeby domácností reportovanou ve studiích používajících Eulerovu rovnici lze vysvětlit třemi faktory: používáním agregovaných dat, publikační selektivitou a likviditními omezeními. Jsou-li použita disagregovaná data, publikační selektivita je ošetřena a analyzované domácnosti netrpí likviditními omezeními, literatura jako celek nenaznačuje žádnou evidenci pro nadbytečnou citlivost spotřeby. Naše výsledky tedy implikují jen omezenou roli konceptu tzv. „rule-of-thumb“ spotřebitelů. Tato zjištění platí, i když bereme v úvahu 45 dodatečných proměnných, které reflektují použité metody, a aplikujeme Bayesovské modelové průměrování jako nástroj k adresování modelové nejistoty. Odhady nadbytečné citlivosti jsou též systematicky ovlivněné stupněm zjednodušení Eulerovy rovnice, předpoklady ohledně oddělitelnosti spotřeby od volného času a definicí spotřeby.
Plný text:  PDF
|
|
Lze u pacientů s AML indikovaných k nepříbuzenské transplantaci provádět v klinické praxi výběr nepříbuzných dárců na základě KIR genotypů?
FRYČOVÁ, Michaela
Akutní myeloidní leukémie (AML) je agresivní maligní onemocnění, kdy pro většinu pacientů je jedinou kurativní léčbou alogenní transplantace krvetvorných buněk (aloTKB). Kromě reakce štěpu proti hostiteli je základním limitujícím faktorem úspěšnosti transplantace relaps onemocnění. Podle několika nedávno publikovaných studií mohou být výsledky transplantací u pacientů s AML kromě HLA genů ovlivněny i dalšími, tzv. non-HLA geny. Obzvláště roste počet důkazů vlivu genů KIR (Killer-cell Immunoglobulin-like Receptors) dárce na ochranu před relapsem po transplantaci. HLA a KIR geny jsou kódovány na různých chromozomech (HLA-6. chromozom a KIR 19. chromozom), tudíž se segregují nezávisle a HLA shodní dárci s příjemce mají obvykle různé složení KIR genů. Cooley et al. (2010) doložil, že specifické složení motivů centromerních a telomerních B haplotypů KIR genů přispívá k ochraně před relapsem a zvyšuje šanci na úplné vyléčení AML. V případech kdy existuje více HLA shodných nepříbuzných dárců (UD) by pak logicky kompozice KIR genů u jednotlivých dárců mohla být kritériem výběru toho nejvhodnějšího, tedy toho s největším potenciálem protekce před relapsem. Na základě této studie a dalších dat byla zahájena genetická typizaci KIR u potenciálních dárců, pokud bylo možné volit z několika 10/10 nebo 9/10 HLA shodných UD u daného pacienta. Genotypizace byla prováděna metodikou PCR-SSP pomocí komerčně dostupných kitů. Byla provedena genová typizace 160 nejlépe shodných HLA dárců pro 55 vybraných pacientů s AML. Přítomnost KIR haplotypů A a B stejně jako jejich kombinací byla určena z druhu a počtu genů KIR. Všechny genotypy byly zadány do kalkulátoru, který umožňuje zadání až pěti potenciálních dárců a získání jejich přiřazení do jedné z 3 skupin dle obsahu KIR B. Skupiny, "neutrální", "lepší", "nejlepší", odkazují na příslušnou ochranu proti relapsu. Genová typizace KIR při hledání dárců odhalila 43 dárců s AA haplotypy, 90 dárců s AB haplotypy a 27 dárců s BB haplotypy. Po přiřazení stavů přítomnosti KIR B bylo objeveno 107 "neutrálních" dárců, 35 "lepších" dárců a 18 "nejlepších" dárců. U 40 (~73%) pacientů byli k dispozici dárci s různými stavy přítomnosti KIR B. Tito pacienti představují skupinu pacientů, kde by mohlo být použito výběrové kritérium přítomnosti KIR B genu u dárce. Potvrdila jsem, že dodatečný výběr HLA shodného nepříbuzného dárce na základě obsahu KIR B genů je proveditelný. Výběr takového dárce může zlepšit transplantační výsledky u pacientů s AML.
|
host ::
