|
The current state and prospects for sustainable development of tourism in Slovakia.
Libantová, Silvia ; Indrová, Jarmila (vedoucí práce) ; Chaloupka, Radek (oponent)
Cestovní ruch přispívá k rozmachu destinací, kam přináší finanční prostředky, nová pracovní místa, vyšší úroveň služeb, či rozvoj infrastruktury. Ovšem pokud se cestovní ruch nerozvíjí udržitelně, doprovázejí ho i negativní faktory. Jde hlavně o negativní dopady na životní prostředí, jako například: znečištění vody, půdy, zvýšená hlučnost a přelidnění destinace během sezóny. Jako reakce na zhoršující se stav životního prostředí a možné neodvratitelné změny způsobené nezodpovědným lidským jednáním, nabývá na významu myšlenka udržitelného rozvoje. Teoretická část popisuje cestovní ruch na Slovensku a poukazuje na plány udržitelného rozvoje cestovního ruchu. V praktické části jsou zhodnoceny výsledky dotazníku, který se týká povědomí o udržitelném cestovním ruchu na Slovensku. Hlavním cílem diplomové práce je zhodnocení současného stavu v oblasti udržitelného cestovního ruchu a návrh možností jeho rozvoje do budoucna.
|
| |
| |
| |
| |
|
Etienne Decroux a jeho metoda Le Mime Corporel
Šimon, Lukáš ; VIZVÁRY, Radim (vedoucí práce) ; SOPROVÁ, Jana (oponent)
Tato práce pojednává o životě a díle Etienna Decrouxe, jednoho z nejvýznamnějších francouzských reformátorů divadla a jeho metodě Le Mime Corporel, která dodnes tvoří základ moderní pantomimy. Decroux je známý ve světě jako vynikající mim, režisér, pedagog, teoretik a reformátor divadla. Jeho přínos pro vývoj evropského divadla v minulém století je velmi významný, zejména pro mimické divadelní žánry. Práce přibližuje čtenáři Decrouxovu osobnost a jeho přínos pro pantomimu vytvořením nové metody mimického divadla - Le Mime Corporel. Další náplní práce je zmapovat významné vlivy různých osobností na umělecký vývoj Etienna Decrouxe, popsat základní prvky formující metodu Le Mime Corporel a porovnání s jinými žánry pohybového divadla.
|
| |
|
Marketingový plán podniku
Nosálová, Lucie ; Štůsek, Jaromír (vedoucí práce) ; Ladislav , Ladislav (oponent)
Obsahem práce je odhalení chyb v řízení malé rodinné firmy, která v podstatě nevyužívá marketing. V návaznosti na toto zjištění, by mělo dojít k sestavení efektivního marketingového plánu. Práce je rozdělena na teoretickou část, která tvoří podklady pro analytickou část. V analytické části dochází k popisu firmy a následně snaze o poodhalení chyb v řízení, které jsou způsobené špatným nastavením marketingu. K výsledku je třeba dojít pomocí různých druhů analýz, na jejichž základě je třeba stanovit nové marketingové cíle, strategie, změny a projekty, na základě nich má dojít ke změně. Snahou je poskytnout podniku podklady a přesvědčit ho, že využívání dobré marketingové komunikace by mělo vést k vyšší efektivnosti hospodaření a v konečném důsledku i zvýšení ziskovosti firmy, a to bez nutnosti odpoutat se od podnikového cíle, jímž je maximální snaha o vybudování pro-zákaznicky orientovaného servisu.
|
|
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.
|
host ::
