|
The legal status of Palestine
Bernasová, Tereza ; Grmelová, Nicole (advisor) ; Kříž, Radim (referee)
The theme of this diploma thesis is the analysis of the legal status of Palestine. The theoretical part of this thesis examines the history of Palestine, the relations between Palestine and Israel, the rejection of United Nations General Assembly Resolution 181 by Arab states, Palestinian membership in international organisations, the Oslo I Accord and the Montevideo criteria for statehood.The thesis also evaluates the final status negotiations between Israel and Palestine and various Palestinian government programs. The second part of the thesis analyses the constraints posed by divided Palestinian territories and the dynamics and interactions between Palestinian populations living in and outside the territory. Furthermore this diploma thesis focuses on the Palestinian public sector; especially on the areas of justice, education, health system and defense. Individual chapters also deal with the economic instability of Palestine and its financial dependence on the other, mostly European, countries. In conclusion, this diploma thesis will give not only a comprehensive legal view of the status of Palestine, but also views on Palestinian governance.
|
|
Preliminary evaluation of sites for long-term safety - a detailed factual and timetable of work
Havlová, V. ; Pertoldová, J. ; Mixa, P. ; Uhlík, J. ; Vavro, Martin ; Maryška, J. ; Černík, M. ; Vašíček, R.
Tato zpráva obsahuje Podrobný věcný a časový harmonogram prací ZL Předběžné hodnocení lokalit z hlediska dlouhodobé bezpečnosti, zaměřeného na hodnocení vhodnosti lokalit pro umístění hlubinného úložiště VJP a RAO na základě archivních informací, , také na základě průběžných výsledků ze probíhajících projektů a geologického průzkumu prováděného pomocí metod prováděných z povrchu. \nLokality budou hodnoceny podle následujících charakteristik, důležitých pro dlouhodobou bezpečnost:\n1) Popsatelnost a predikovatelnost lokality\n2) Hydrogeologické vlastnosti horninového prostředí\n3) Stabilita lokality (seismické, klimatické, vertikální pohyby, postvulkanické jevy)\n4) Pravděpodobnost intruze/invaze člověka do úložiště\n5) Transportní vlastnosti horninového prostředí\n6) Slučitelnost horninového prostředí s navrženým systémem inženýrských bariér\nŘešení bude probíhat v 5 etapách\n1) Podrobný věcný a časový plán řešení projektu \n2) Hodnocení lokality Čihadlo (první fáze)\n3) Hodnocení ostatních lokalit (první fáze)\n4) Hierarchie kritérií či indikátorů vhodnosti lokalit a způsob hodnocení lokalit \n5) Hodnocení lokalit (druhá fáze)\nŘešení projektu je zajištěno účastí širokého týmu řešitelů, kteří buď participují na řešení probíhajícího projektu Výzkumná podpora hodnocení lokality, nebo splňují vysokou kvalitu odborné erudice.\n
|
|
Bank fees in Czech Republic
Burešová, Adéla ; Steininger, Michal (advisor) ; Eva, Eva (referee)
This thesis deals with bank fees in the Czech Republic, which has been a topical issue in recent years. The objective of this thesis is to analyse and compare bank fees in the Czech Republic. It also aims to evaluate selected bank fees in terms of their importance for generating profit for the banks as well as from the clients perspective. The introduction to the theoretical part describes the basic characteristics of the banking system. The thesis then presents bank products and services, bank fees and the bank fee policy. The work includes a survey and analysis of the banking market in term of banking institutions in the years 2007 to 2014. It also includes a financial analysis for the years 2007 to 2015 and an analysis of the banking market from the perspective of the client, which compares selected banking institutions on the basis of charges and selected banking products based on fees. It defines three sample groups for which the most suitable banking products and banking institutions are recommended. In conclusion, the results are formulated together with recommendations for banks and clients. For the client Student came out best a current account UniCredit Bank, U Konto for youngsters. The Active client is also recommended by UniCredit Bank with banking product of U Konto. For target group Pensioner is the most suitable banking institution mBank where the monthly cost is CZK 70. The client can save thousands of CZK per year by making the right choice.
|
|
Subsidy Support of the Sustainable Waste Management
BEDNÁŘOVÁ, Renata
The subject of the dissertation is the issue of the waste management with special emphasis on the recycling of the construction and demolition waste. The recourse is an analysis of the key instruments regulating the activities and behaviour of market operators in this field toward fulfilling all-society priorities and principles of the sustainable development, where special accent is put on the area of subsidy policies and programmes. The aim of the dissertation is to analyse and evaluate the setting of the selected subsidy programme in terms of economic and ecological efficiency with the emphasis on the assessment of the impact on the recipient. The subject of the research will be a priority axis 4 "Improvement of Waste Management and Removal of Old Environmental Burdens" within the Operational Programme Environment 2007 - 2013. In the literature review basic concepts and important definitions are defined, followed by the comprehensive and complex searches of the problematics from different angles of view. First of all, the global aspect of environmental protection is discussed, broader historical, legal, economic and political contexts, that are essential fundament for understanding the current and future challenges both globally regionally, are summarized. Hereafter, a more detailed description of the situation of the European Union is followed, then the overview is completed by a detailed view at the state of the problematics in the Czech Republic. Subsequent chapters are devoted to a detailed analysis of the waste management sector, again in terms of global, European and national standpoint, in the end the view is focused on the key issue of the dissertation problematics of construction and demolition waste. In the application part the fulfilling of the stated objective of the dissertation through four defined hypothesis is solved. Hypotheses verify the efficiency and appropriateness of the setting of the system of subsidies in the frame of the monitored programme. The emphasis is imposed on the assessment of the impact of the allocated subsidies to the private entities on their economic and environmental efficiency.
|
|
Assessing the benefits of reconversion on the value of church building
Strnková, Markéta ; Klika, Pavel (referee) ; Hlavinková, Vítězslava (advisor)
The thesis focus on the reconversion church building in the selected location. At the beginning of the work described church buildings and their influence on the surrounding, the structure of the Roman Catholic Church and the development of church property during the history. This is complemented by theoretical terms and possible methods of valuing cultural monument. The practical part deals with the reconversion church building, specifically the Dominican monastery in Znojmo. Based on an analysis of Znojmo and monastery was suggesting possible use of the monastery. Of these, two variants were selected and were compared. Of these two options, one was chosen as the most suitable option for future use.
|
|
Optimization of Gaussian Mixture Subspace Models and Related Scoring Algorithms in Speaker Verification
Glembek, Ondřej ; Brummer, Niko (referee) ; Campbell,, William (referee) ; Burget, Lukáš (advisor)
Tato práce pojednává o modelování v podprostoru parametrů směsí gaussovských rozložení pro rozpoznávání mluvčího. Práce se skládá ze tří částí. První část je věnována skórovacím metodám při použití sdružené faktorové analýzy k modelování mluvčího. Studované metody se liší převážně v tom, jak se vypořádávají s variabilitou kanálu testovacích nahrávek. Metody jsou prezentovány v souvislosti s obecnou formou funkce pravděpodobnosti pro sdruženou faktorovou analýzu a porovnány jak z hlediska přesnosti, tak i z hlediska rychlosti. Je zde prokázáno, že použití lineární aproximace pravděpodobnostní funkce dává výsledky srovnatelné se standardním vyhodnocením pravděpodobnosti při dramatickém zjednodušení matematického zápisu a tím i zvýšení rychlosti vyhodnocování. Druhá část pojednává o extrakci tzv. i-vektorů, tedy nízkodimenzionálních reprezentací nahrávek. Práce prezentuje dva přístupy ke zjednodušení extrakce. Motivací pro tuto část bylo jednak urychlení extrakce i-vektorů, jednak nasazení této úspěšné techniky na jednoduchá zařízení typu mobilní telefon, a také matematické zjednodušení umožněňující využití numerických optimalizačních metod pro diskriminativní trénování. Výsledky ukazují, že na dlouhých nahrávkách je zrychlení vykoupeno poklesem úspěšnosti rozpoznávání, avšak na krátkých nahrávkách, kde je úspěšnost rozpoznávání nízká, se rozdíly úspěšnosti stírají. Třetí část se zabývá diskriminativním trénováním v oblasti rozpoznávání mluvčího. Jsou zde shrnuty poznatky z předchozích prací zabývajících se touto problematikou. Kapitola navazuje na poznatky z předchozích dvou částí a pojednává o diskriminativním trénování parametrů extraktoru i-vektorů. Výsledky ukazují, že při klasickém trénování extraktoru a následném diskriminatviním přetrénování tyto metody zvyšují úspěšnost.
|
|
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.
|
|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (referee) ; Vojnar, Tomáš (referee) ; Meduna, Alexandr (advisor)
V této disertační práci jsou studovány teoretické vlastnosti gramatik s omezenými derivačními stromy. Po uvedení současného stavu poznání v této oblasti je výzkum zaměřen na tři základní typy omezení derivačních stromů. Nejprve je představeno zcela nové téma, které je založeno na omezení řezů a je zkoumána vyjadřovací síla takto omezené gramatiky. Poté je zkoumáno několik nových vlastností omezení kladeného na cestu derivačních stromů. Zejména je studován vliv vymazávacích pravidel na vyjadřovací sílu gramatik s omezenou cestou a pro tyto gramatiky jsou zavedeny dvě normální formy. Následně je popsána nová souvislost mezi gramatikami s omezenou cestou a některými pseudouzly. Dále je prezentován protiargument k vyjadřovací síle tohoto modelu, která byla dosud považována za dobře známou vlastnost. Nakonec je zavedeno zobecnění modelu s omezenou cestou na ne jednu, ale několik cest. Tento model je následně studován zejména z hlediska vlastností vkládání, uzávěrových vlastností a vlastností syntaktické analýzy.
|
|
Image analysis in tribodiagnostics
Machalík, Stanislav ; Stodola,, Jiří (referee) ; Tillová,, Eva (referee) ; Zemčík, Pavel (advisor)
Image analysis of wear particles is a suitable support tool for detail analysis of engine, gear, hydraulic and industrial oils. It allows to obtain information not only of basic parameters of abrasion particles but also data that would be very difficult to obtain using classical ways of evaluation. Based on the analysis of morphological or image characteristics of particles, the progress of wearing the machine parts out can be followed and, as a result, possible breakdown of the engine can be prevented or the optimum period for changing the oil can be determined. The aim of this paper is to explore the possibilities of using the image analysis combined with the method of analytical ferrography and suggest a tool for automated particle classification. Current methods of wear particle analysis are derived from the evaluation that does not offer an exact idea of processes that take place between the friction surfaces in the engine system. The work is based upon the method of analytical ferrography which allows to evaluate the state of the machine. The benefit of use of classifiers defined in this wirk is the possibility of automated evaluation of analytical ferrography outputs; the use of them eliminates the crucial disadvantage of ferrographical analysis which is its dependence on the subjective evaluation done by the expert who performs the analysis. Classifiers are defined as a result of using the methods of machine learning. Based on an extensive database of particles that was created in the first part of the work, the classifiers were trained as a result, they make the evaluation of ferrographically separated abrasion particles from oils taken from lubricated systems possible. In the next stage, experiments were carried out and optimum classifier settings were determined based on the results of the experiments.
|
|
Optimization of network flow monitoring
Žádník, Martin ; Lhotka,, Ladislav (referee) ; Matoušek, Radomil (referee) ; Sekanina, Lukáš (advisor)
The thesis deals with optimization of network flow monitoring. Flow-based network traffic processing, that is, processing packets based on some state information associated to the flows which the packets belong to, is a key enabler for a variety of network services and applications. The number of simultaneous flows increases with the growing number of new services and applications. It has become a challenge to keep a state per each flow in a network device processing high speed traffic. A flow table, a structure with flow states, must be stored in a memory hierarchy. The memory closest to the processing is known as a flow cache. Flow cache management plays an important role in terms of its effective utilization, which affects the performance of the whole system. This thesis focuses on an automated design of cache replacement policy optimized to a deployment on particular networks. A genetic algorithm is proposed to automate this process. The genetic algorithm generates and evaluates evolved replacement policies by a simulation on obtained traffic traces. The proposed algorithm is evaluated by designing replacement policies for two variations of the cache management problem. The first variation is an evolution of the replacement policy with an overall low number of state evictions from the flow cache. The second variation represents an evolution of the replacement policy with a low number of evictions belonging to large flows only. Optimized replacement policies for both variations are found while experimenting with various encoding of the replacement policy and genetic operators. The newly evolved replacement policies achieve better results than other tested policies. The evolved replacement policy lowers the overall amount of evictions by ten percent in comparison with the best compared policy. The evolved replacement policy focusing on large flows lowers the amount of their evictions two times. Moreover, no eviction occurs for most of the large flows (over 90%). The evolved replacement policy offers better resilience against flooding the flow cache with large amount of short flows which are typical side effects of scanning or distributed denial of service activities. An extension of the replacement policy is also proposed. The extension complements the replacement policy with an additional information extracted from packet headers. The results show further decrease in the number of evictions when the extension is used.
|
guest ::
