|
Svoboda vyjadřování a cenzura na internetu a sociálních sítích
Reindl, Jan ; Čermák, Radim (vedoucí práce) ; Sova, Martin (oponent)
Tato práce se zaměřuje na svobodu vyjadřování a cenzuru na internetu a sociálních sítích. Jejím úkolem je zhodnotit současnou situaci cenzury, vysvětlit nejpoužívanější způsoby cenzury a omezování svobody vyjadřování, stejně jako možnosti jejího obcházení. Práce se zaměřuje na vývoj cenzury z hlediska posunu ze sféry nástroje státní kontroly nad tokem informací v rámci domácí sítě do podoby nástroje, jehož použití závisí z velké části na spolupráci soukromých společností. Dalšími body je pak zdůraznění anonymity na internetu jakožto nástroje pro svobodné vyjadřování, analýza současné situace a nastínění možného budoucího vývoje. Práce je strukturována do pěti kapitol, první slouží jako úvod do problematiky. Druhá potom popisuje metody cenzury internetu, třetí potom metody jejího obcházení. Čtvrtá kapitola se zabývá současnou situací v rámci role sociálních sítí a podobných služeb a zamýšlí se nad důsledky cenzury a možným budoucím vývojem. Pátá a poslední kapitola se věnuje výzkumu anonymních uživatelů internetu, kteří by jinak čelili cenzuře.
|
|
Perspektivy rozvoje cestovního ruchu na Kanárských ostrovech (se zaměřením na ostrov Gran Canaria)
Pazderová, Monika ; Abrhám, Josef (vedoucí práce) ; Havlíčková, Blanka (oponent)
Bakalářská práce se zabývá cestovním ruchem a jeho perspektivami rozvoje na Kanárských ostrovech, konkrétně na ostrově Gran Canaria. Cílem této práce je zhodnocení současné situace cestovního ruchu v destinaci, posouzení perspektiv jeho dalšího rozvoje a vyhodnocení strategických plánů s návrhy konkrétních řešení směřujících ke zvýšení konkurenceschopnosti destinace. Teoretická část se zaměřuje na vymezení pojmů cestovního ruchu, destinace cestovního ruchu a dále je zde popsán vznik a vývoj cestovního ruchu Kanárských ostrovů až po současnost. Praktická část je cílena na ostrov Gran Canaria, je na něj aplikován model životního cyklu destinace, jsou tu vyhodnocené atraktivity a infrastruktura destinace. Stěžejní metodou praktické části je SWOT analýza, v níž jsou rozebrány silné a slabé stránky, příležitosti a hrozby ostrova Gran Canaria v oblasti cestovního ruchu. V závěrečné kapitole jsou navržena a doporučena konkrétní řešení na základě strategických plánů, které byly zhotoveny kanárskými institucemi cestovního ruchu.
|
|
Use of Google applications and tools in the enterprise
Fiala, Dávid ; Lorenc, Miroslav (vedoucí práce) ; Koliš, Karel (oponent)
Cílem této práce je zaměření na použití Google online kancelářských aplikací a nastroje Google Analytics ve společnosti TLV s.r.o. Analyzovat jejich efektivitu v každodenním použití a schopnost zlepšovat vnitropodnikové procesy. Tyto aplikace a nástroje budu nejdřív popisovat z pohledu jejich funkcí, které nabízejí. V další fázi práce se zaměrím na alternativní cloudové řešení kancelářských aplikací, zhodnocení nákladů spojených s nasazením těchto aplikací a jejich výhody v porovnání s Google aplikacemi. V případě Google Analytics se zaměřím na přínosnost tohoto řešení pro spolešnost TLV s.r.o. a to konkrétně srovnáním nákladů na internetovou reklamu (Google AdWords) a výnosy z ní plynoucí.
|
|
Aplikace simulací Monte Carlo v bankovnictví
Boruta, Matěj ; Teplý, Petr (vedoucí práce) ; Fučík, Vojtěch (oponent)
Bankovnictví je v současnosti vystaveno vysokým tržním rizikům. Jedním z těchto rizik je například výskyt negativní úrokové míry v EU. Je důležité používat při měření bankovních rizik sofistikované moderní metody, které nám umožní riziko změřit a následně i řídit. Jednou z těchto metod je metoda Monte Carlo. V této bakalářské práci jsem se zaměřil na analýzu a 3, 6 a 12 měsíční predikci úrokové sazby PROBOR s 3 měsíční splatností pomocí simulace Monte Carlo. Zjistil jsem, že tato metoda je vhodná pro predikci tržních veličin s nižšií volatilitou. Při aplikaci této metody je nezbytné kalkulovat s úskalími a předpoklady, které tato metoda zahrnuje, jako je adekvátní počet scénářů, aproximace správného rozdělení, nezávislost dat a v neposlední řadě, pokud je to možné, tak se zaměřit na faktory, které generují nahodilost tržní veličiny a ne na ceny, které spíše představují následky náhodného jevu než jejich příčinu. Dále jsem predikci srovnal s prognózou ČNB a zjistil jsem, že predikce Monte Carlo je přesnější na krátkodobé prognózy. Predikce Monte Carlo na 12 měsíců také odhalila možnost negativní úrokové sazby na 0,05%, kdežto prognóza ČNB negativní úrokovou sazbu nepredikovala vůbec.
|
|
Analýza čerpání finančních prostředků ze strukturálních fondů Evropské unie v ČR se zaměřením na OP PIK
Procházka, David ; Svobodová, Ivana (vedoucí práce) ; Schön, Kateřina (oponent)
Jelikož probíhá třetí a možná i poslední programové období pro Českou republiku v rámci čerpání finančních prostředků ze strukturálních fondů Evropské unie, předpokládá se, že podnikatelské subjekty úspěšně a efektivně čerpají finanční prostředky z alokovaných zdrojů. K efektivnímu čerpání by měly pomoci i zprostředkovatelské agentury, jejichž činnosti dostatečně nereflektují požadavky trhu a především svých klientů, kteří tak leckdy zbytečně přicházejí o finanční prostředky. Česká republika patřila v předchozích letech k nejhorším státům z hlediska efektivity čerpání finančních prostředků ze strukturáních fondů EU, které bylo způsobeno nesprávně vytvořeným dotačním prostředím řídícími orgány a dalšími implementačními složekami, pochybením na straně žadatelů a potenciálních příjemců podpory a chybnou filosofií zprostředkovatelských agentur, které stojí na straně žadatelů. Úkolem autora bylo analyzovat příčiny neefektivnosti čerpání s detailnějším zaměřením na Operační programy Podnikání a inovace a Podnikání a Inovace pro konkurenceschopnost sloužící především pro podnikatele. Diplomová práce nejenom analyzuje současnou dotační situaci, v nichž podnikatelé mohou podávat své projektové žádosti, ale především navrhuje možná řešení, jak malý a středním podnikům v jejich čerpání pomoci a upozornit na přetrvávající nedostatky, které způsobují neefektivní čerpání.
|
|
Výkřik a ticho
Štefaňák, Ondřej ; NEBESKÝ, Jan (vedoucí práce) ; KORČÁK, Jakub (oponent)
Práce se zabývá expresionistickou uměleckou tendencí, která se projevila v expresionistickém dramatu i divadelní praxi. V první části práce se autor zaměřuje na vznik směru a jeho obecné projevy ve výtvarném umění a historickým kontextem. Dále se autor snaží vystihnout základní rysy expresionismu v dramatu a zabývá se postupy a metodami expresionistických autorů v divadle. V druhé části autor reflektuje vlastní zkušenosti s uvedením raně expresionistického textu Probouzení jara. Rozebírá textový potenciál a vytváří dramaturgická východiska pro samotnou inscenaci. Dále se snaží vystihnout vznik inscenace, jak audiovizuální, tak scénické řešení, kde ho zajímá zvláště práce na herecké stylizaci. V neposlední řadě se autor snaží vystihnout podstatu expresionismu v širším slova smyslu, jako osobitého způsobu vyjádření umělce.
|
|
Zhodnocení vlivu evropské politiky soudržnosti ve Středočeském kraji
Lálová, Gabriela ; Tomšík, Karel (vedoucí práce) ; Miroslava, Miroslava (oponent)
Tato diplomová práce se zabývá zhodnocením vlivu evropské politiky soudržnosti ve Středočeském kraji se zaměřením na region Podlipanska. Práce je zaměřena především na činnost Místní akční skupiny Podlipansko v programovém období 2007 - 2013.
V teoretické části se práce věnuje regionální politice Evropské unie včetně finančních nástrojů a principů regionální politiky. Následně se zaměřuje na vývoj regionální politiky v České republice a regionům soudržnosti.
Na začátku praktické části je v práci popsána oblast Středočeského kraje a činnost místních akčních skupin. Dále se práce věnuje aktivitám Místní akční skupiny Podlipansko v regionu Podlipanska. Její činnost je zhodnocena pomocí analýzy monitorovacích indikátorů výstupu. A rovněž jsou uvedeny výsledky dotazníkového šetření mezi obyvateli regionu.
Závěrem je posouzení, zda činnost místních akčních skupin je přínosná pro rozvoj venkovských oblastí.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
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.
|
|
Exploitation of GPU in graphics and image processing algorithms
Jošth, Radovan ; Svoboda, David (oponent) ; Trajtel,, Ľudovít (oponent) ; Herout, Adam (vedoucí práce)
This thesis introduces several selected algorithms, which were primarily developed for CPUs, but based on high demand for improvements; we have decided to utilize it on behalf of GPGPU. This modification was at the same time goal of our research. The research itself was performed on CUDA enabled devices. The thesis is divided in accordance with three algorithm’s groups that have been researched: a real-time object detection, spectral image analysis and real-time line detection. The research on real-time object detection was performed by using LRD and LRP features. Research on spectral image analysis was performed by using PCA and NTF algorithms and for the needs of real-time line detection, we have modified accumulation scheme for the Hough transform in two different ways. Prior to explaining particular algorithms and performed research, GPU architecture together with GPGPU overview are provided in second chapter, right after an introduction. Chapter dedicated to research achievements focus on methodology used for the different algorithm modifications and authors’ assess to the research, as well as several products that have been developed during the research. The final part of the thesis concludes our research and provides more information about the research impact.
|
host ::
