Národní úložiště šedé literatury Nalezeno 5,859 záznamů.  1 - 10dalšíkonec  přejít na záznam: Hledání trvalo 0.16 vteřin. 

Volný pohyb pracovníků v EU a nové členské státy
MACHATOVÁ, Nina
V bakalářské práci se zaměřuji na právní aspekty uplatňování výkonu svobody pohybu pracovníků v rámci Evropské Unie týkajících se občanů nových členských států. Cílem bylo vymezit možnosti přístupu na pracovní trh Evropské unie, seznámení se s podmínkami přístupu a usnadnění procesu odchodu českých pracovníků do jiného členského státu Evropské unie za prací.

PLOŠNÉ ZÁKAZY HAZARDU V ČESKÝCH MĚSTECH A JEJICH EKONOMICKÁ EFEKTIVNOST PO ROCE 2010
Lišková, Magdaléna ; Skopeček, Jan (vedoucí práce) ; Zeman, Martin (oponent)
Bakalářská práce se zabývá hodnocením ekonomické efektivnosti plošných zákazů hazardu ve vybraných českých městech od roku 2010. Teoretická část obsahuje vymezení základních pojmů, kapitolu o společenských nákladech a zabývá se také prohibicí a šedou ekonomikou. Praktická část obsahuje kapitoly o současné legislativní úpravě, o trhu hazardních her v České republice, dále kapitolu, ve které je vysvětlena metodika, a nakonec kapitolu s hodnocením ekonomické efektivnosti. V ní je jako základní nástroj použita cost-benefit analýza a dále vztahová analýza, přičemž vyústění analytické části je závěr, že plošné zákazy hazardu jsou ekonomiky neefektivní. Práce, na rozdíl od mnoha českých studií, pracuje s předpokladem, že společenské náklady vytváří jen patologičtí hráči a zabývá se jen společenskými náklady. Práce přináší nové vyčíslení společenských nákladů a nový pohled na problematiku ekonomické regulace hazardu.

Podnikatelský plán v oblasti rychlého občerstvení
Hýbl, Jan ; Hartman, Ladislav (vedoucí práce) ; Habrmanová, Blanka (oponent)
Cílem této diplomové práce je zpracovat podnikatelský plán pro nově vznikající podnikatelský subjekt v oblasti rychlého občerstvení. Hlavním cílem podnikatelského plánu je posoudit proveditelnost a reálnost daného záměru. Práce je rozdělena na dvě základní části. První z těchto částí je část teoretická, která nejprve seznamuje s podnikatelskou činností a podnikáním malých a středních podniků v ČR. Následně se věnuje popisu hlavních zásad, metod a přístupů pro zpracování, včetně charakteristiky jednotlivých části podnikatelského plánu. V praktické části je zhotoven kompletní podnikatelský plán pro daný projekt, který čerpá z teoretických východisek uvedených v první části práce. V závěru práce je podnikatelský záměr autorem vyhodnocen.

Podnikatelský plán společnosti SnackBag a její expanze na zahraniční trh
Ježová, Jana ; Svobodová, Ivana (vedoucí práce) ; Srpová, Jitka (oponent)
Cílem diplomové práce je sestavení podnikatelského plánu pro nově vznikající podnikatelský subjekt v oblasti zdravého a rychlého občerstvení za účelem posouzení reálnosti tohoto podnikatelského záměru. Součástí plánu je i volba vhodné formy expanze pro potenciální expanzi firmy na zahraniční trh. Za účelem vytvoření podnikatelského plánu bylo nejprve nutné sepsání uceleného teoretického celku základních aspektů podstatných pro podnikání malého a středního podniku. V návaznosti na tento obecný teoretický základ se práce blíže zaměřuje na podnikatelský plán, na zásady jeho zpracování, strukturu obsahu, jeho následnou realizaci a nejčastější chyby a problémy, se kterými se podnikatel může setkat. Teoretická část je zakončena formami expanze, které jsou vhodné pro malou firmu. Z tohoto teoretického základu vychází podnikatelský plán společnosti SnackBag, jehož součástí jsou výpočty finanční stránky celého projektu. Z výpočtů vyplynulo, že podnikatelský záměr je skutečně životaschopný. Závěrem byla provedena analýza výhod a nevýhod jednotlivých forem expanze na zahraniční trh, z čehož vyšla jako nejvhodnější forma expanze pro firmu SnackBag franšíza.

Míry podobnosti pro nominální data v hierarchickém shlukování
Šulc, Zdeněk ; Řezanková, Hana (vedoucí práce) ; Šimůnek, Milan (oponent) ; Žambochová, Marta (oponent)
Tato disertační práce se zabývá mírami podobnosti pro nominální data v hierarchickém shlukování, které umožňují zacházet s proměnnými s více než dvěma kategoriemi a které si kladou za cíl nahradit postupy založené na koeficientu prosté shody, které se v této oblasti běžně používají. Tyto míry podobnosti uvažují dodatečné informace ohledně datového souboru, jako je rozdělení četností kategorií u dané proměnné nebo počet jejích kategorií. Tato práce se věnuje třem hlavním cílům. Prvním cílem je prozkoumání a ohodnocení kvality shlukování vybraných měr podobnosti pro hierarchické shlukování objektů a proměnných. K dosažení tohoto cíle bylo provedeno několik experimentů, které se zabývají jak shlukováním objektů, tak proměnných. Tyto experimenty zkoumají kvalitu shluků vytvořených za pomocí zkoumaných měr podobnosti pro nominální data ve srovnání běžně používanými mírami podobnostmi využívajícími binární transformaci a dále s několika alternativními metodami pro shlukování nominálních dat. Toto porovnání je provedeno na reálných i generovaných souborech. Výstupy těchto experimentů vedou ke zjištění, které míry podobnosti jsou vhodné k obecnému použití, které podávají dobré výsledky v konktrétních situacích a které nejsou doporučeny pro shlukování objektů nebo proměnných. Druhým cílem práce je navržení míry podobnosti vycházející z teoretických předpokladů a její následné porovnání s ostatními zkoumanými mírami podobnosti. Na základě tohoto cíle byly představeny dvě nové míry podobnosti, Variable Entropy a Variable Mutability. Obzvláště prvně zmíněná míra podává velmi dobré výsledky u souborů s nižším počtem proměnných. Třetím cílem této práce je poskytnout komfortní sofwarové řešení založené na zkoumaných mírách podobnosti pro nominální data, které pokrývá celý proces shlukování od výpočtu matice vzdálenosti po hodnocení výsledných shluků. Tento cíl byl dosažen vytvořením balíčku nomclust pro program R, který řeší tuto problematiku a který je volně dostupný.

Úvod do bio artu
Šperanda, Nina ; SILVERIO, Robert (vedoucí práce) ; JANOŠČÍK, Václav (oponent)
Bio art je současný umělecký směr, který pracuje s živými organismy (kromě lidí), nebo je vytvářen ve spolupráci s živými organismy. Je to relativně nové umělecké hnutí, které má své kořeny hluboko v historii evoluce. Vychází z domestikace zvířat a rostlin, technologických objevů, vývoje a vědy. V minulosti nebylo umění, které by zpochybňovalo svou estetiku a etiku v tak hluboké míře způsobem molekulárním a submolekulárním, jak je tomu u bio umění. V této práci se budu zabývat historickými vlivy a podmínkami, které vedly k současnému vývoji této oblasti. Pokusím se také vysvětlit problematiku toho, co je bio umění a současně vysvětlit terminologii s ním spojenou. Ve své práci zmíním průlomové objevy a díla současných umělců zabývajících se oborem bio artu. V teorii bývá estetika bio artu často zastíněna diskuzí o etice, nicméně je velmi důležitou a nedílnou součástí tohoto uměleckého směru. Ve své práci se budu zabývat hlavně estetikou bio umění s odkazem na filosofii. Nastíním stručný přehled názorů současných autorů.

Činnost a fungování Nové sítě, z.s.
Tyl, Jan ; PROKOP, Petr (vedoucí práce) ; SULŽENKO, Jiří (oponent)
Abstrakt Bakalářská práce s názvem Činnost a fungování Nové sítě, z. s. si klade za cíl detailní rozbor této kulturní sítě. Jaké cesty volí, jak naplňuje své vize, atd. Popsat vznik organizace, motivace a dílčí kroky, které Nová síť ke svému současnému fungování podnikla. Jak jednotlivé části organismu přemýšlejí a jak spolu kooperují. Věnuje se organizační struktuře, v jakých podmínkách existuje. Chce souhrnně vypsat přehled činností, kterým se věnuje. Rozkrýt zdroje financování. To vše v návaznosti na představení jiných evropských kulturních networků. Konkrétně IETM, Trans Europe Halles a IN SITU. V závěru práce nastínit další směřování Nové sítě.

Dílčí zpráva IV/2016 - Hodnocení monitoringu napěťodeformačního stavu horninového masivu při dobývání sloje 30 (634) v rámci zkušebního provozu dobývací metody chodba - pilíř v OPJ Dolu ČSM - SEVER
Waclawik, Petr ; Ptáček, Jiří ; Kukutsch, Radovan ; Kajzar, Vlastimil ; Koníček, Petr ; Souček, Kamil ; Staš, Lubomír
Monitoring napěťodeformačního stavu horninového masivu je nezbytným předpokladem pro ověření nové neschválené dobývací metody chodba-pilíř a jejího dalšího použití v podmínkách české části hornoslezské uhelné pánve. Tato dobývací metoda je projektována pouze na základě zkušeností a postupů, které jsou ověřeny v odlišných přírodních podmínkách a hloubkách pod povrchem a proto je nezbytná její verifikace pro podmínky české části hornoslezské pánve na základě geotechnického monitoringu. Předkládaná zpráva je zpracována na základě smlouvy o dílo č. 942/50/10, kde se Ústav Geoniky AV ČR, v.v zavazuje provádět pravidelné vyhodnocování dat monitoringu napěťodeformačního stavu horninového masivu. V souladu s výše uvedenou smlouvou, je zpráva zpracována v 6-ti měsíčním intervalu a navazuje tak na dílčí zprávu III/2015 (Waclawik et al. 2015) předanou odběrateli v dubnu tohoto roku. Průběžné výsledky geotechnického monitoringu, tak jak zkušenosti získané v době dobývání první dobývky V, ukazují na specifika přírodních podmínek v lokalitě zkušebního provozu nové neschválené dobývací metody chodba-pilíř.
Plný tet: UGN_0464907 - Stáhnout plný textPDF
Plný text: content.csg - Stáhnout plný textPDF

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.

Subspace Modeling of Prosodic Features for Speaker Verification
Kockmann, Marcel ; Kenny, Patrick (oponent) ; Nöth, Elmar (oponent) ; Černocký, Jan (vedoucí práce)
 The thesis investigates into speaker verification by means of prosodic features. This includes an appropriate representation of speech by measurements of pitch, energy and duration of speech sounds. Two diverse parameterization methods are investigated: the first leads to a low-dimensional well-defined set, the second to a large-scale set of heterogeneous prosodic features. The first part of this work concentrates on the development of so called prosodic contour features. Different modeling techniques are developed and investigated, with a special focus on subspace modeling. The second part focuses on a novel subspace modeling technique for the heterogeneous large-scale prosodic features. The model is theoretically derived and experimentally evaluated on official NIST Speaker Recognition Evaluation tasks. Huge improvements over the current state-of-the-art in prosodic speaker verification were obtained. Eventually, a novel fusion method is presented to elegantly combine the two diverse prosodic systems. This technique can also be used to fuse the higher-level systems with a high-performing cepstral system, leading to further significant improvements.