Národní úložiště šedé literatury Nalezeno 24,393 záznamů.  předchozí11 - 20dalšíkonec  přejít na záznam: Hledání trvalo 0.60 vteřin. 

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.

Nivelační měření na nově stabilizovaných výškových bodech v KÚ Dětmarovice v roce 2016
Kajzar, Vlastimil ; Waclawik, Petr ; Staš, Lubomír
V severní oblasti dobývacích prostorů Doubrava a Karviná Doly I na hranici KÚ Dětmarovice a Doubrava se realizují dobývací práce. Z toho důvodu jsou za účelem zjišťování možných důlních vlivů na povrch a povrchové objekty pravidelně dvakrát ročně výškově zaměřovány body v této oblasti stabilizované. Od roku 2014 byl za zhotovitele těchto prací vybrán Ústav geoniky AV ČR, v.v.i., Ostrava. Výsledky měření jsou každoročně prezentovány v závěrečné zprávě - Výšková měření v severní oblasti dobývacích prostorů Doubrava a Karviná Doly I. V roce 2016 byla stávající síť výškových bodů v KÚ obce Dětmarovice rozšířena o 11 nových bodů. Nové body jsou stabilizovány formou ocelových výškových značek na objektech. Výškový bod poblíž domu č.p. 713 je stabilizován formou měřící opěry zabetonované v ocelové pažnici.\n

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.

Využití nově syntetizovaného amocharu ke stabilizaci a sorpci kovů a metaloidů.
Ouředníček, P. ; Trakal, L. ; Komárek, M. ; Pohořelý, Michael
Možnost sanace půd, která je většinou založena na principu stabilizace a imobilizace potenciálně rizikových látek, je v posledních letech intenzivně studovanou a zkoumanou problematikou. Jedním z takovýchto stabilizačních činidel je i biochar, tedy forma aktivního uhlí, která má schopnost poutat na svůj povrch celou řadu kontaminantů včetně právě kovů a metaloidů. Biochary mají obecně vysoce aktivní povrch a přítomnost různých funkčních skupin (např. COO–) zodpovědných za tvorbu chelátů a alkalických prvků (Ca2+, K+, Na+ a Mg2+) reprezentující kationtovou výměnu; v kombinaci s vysokými hodnotami pH (7,00 až 10,0) poukazují na jejich efektivní sorpční kapacitu vázat na svůj povrch kovy a metaloidy z roztoku (z půdní vody), zejména pak v kyselých půdách (tedy v oblastech postižených intenzivní důlní činností). Dále lze sorpční účinnost biocharů ještě zvýšit/vylepšit (zejména pak v případech odstraňování As (V) nebo Cr (VI)) a to pomocí různých modifikací. A právě modifikací biocharu pomocí amorfního oxidu manganu (AMO), byl vytvořen nový sorbent AMOchar. Produkt byl připraven přidáváním biocharu přímo do roztoku reaktantů při syntéze AMO. Samotný AMOchar je tak tvořen především Mn-oxaláty, které jsou přítomny ve formě povlaků na povrchu částic biocharu. Sorpční účinnost tohoto sorbentu pak byla i přes poměrně zásadité pH AMOcharu vysoká pro všechny testované rizikové prvky. Konkrétně byla sledována vysoká sorpce nejen pro Pb (téměř 99 %) a Cd (51,2 %) ale i pro As (91,4 %). Modifikace biocharu pomocí AMO též signifikantně snížila extrakci Mn, díky čemuž by nemělo, v případě reálného používání tohoto sorbentu pro sanaci půd, docházet k post-kontaminaci půdy právě manganem, který se uvolňuje z Mnoxalátů při rozpouštění jinak vysoce účinného sorbentu AMO.
Plný tet: SKMBT_22316111113040 - Stáhnout plný textPDF
Plný text: content.csg - Stáhnout plný textPDF

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.

Nájem bytu manželi a užívání družstevního bytu manželi v nové úpravě po 1.1.2014
Prantlová, Soňa ; Kadlecová, Eva (vedoucí práce) ; Pavla, Pavla (oponent)
Diplomová práce se věnovala tématu nájmu bytu manželi a jeho užívání tak, jak je to zakotveno v nové zákonné úpravě občanského zákoníku č. 89/2012 Sb. Ten nahradil do té doby fungující občanský zákoník z roku 1964. V nové právní úpravě je zakotvena řada nových institutů, jejichž cílem je především ochránit slabší stranu, v tomto případě nájemce. Diplomová práce byla rozčleněna na teoretickou a praktickou část. V teoretické části byla věnována pozornost základním pojmům, které zde byly definovány. Byla zde charakterizována práva nájemce a pronajímatele. Byla rozebrána právní úprava bydlení dle nového občanského zákoníku. Praktická část se věnovala interpretaci výsledků dotazníkového šetření. Byli osloveni nájemci několika bytových domů ve městě Kralupy nad Vltavou. Na základě dosažených zjištění byla navržena některá doporučení pro zvýšení informovanosti o právech a povinnostech nájemců, jakož i o celé problematice bydlení z právního hlediska.

Kontrast života a smrti v díle J. K. Šlejhara
Krčálová, Tereza ; Heczková, Libuše (vedoucí práce) ; Mravcová, Marie (oponent)
Práce se zaměřuje na dílo J. K. Šlejhara ze dvou hledisek. Nejprve představuje Šlejharovo dílo v dobovém literárním kontextu jako výsledek syntézy nových literárních stylů, ve druhé části se věnuje textové analýze a rekonstrukci "uměleckého světa". V první části práce jsou představeny dobové diskuse, které měly přehodnotit a znovu teoreticky ozřejmit funkci umění s ohledem na nově se vyvíjející společnost a nové potřeby člověka. Uvádíme také reflexi v té době velmi aktivního přejímání nových vlivů z cizích literatur a kritické ohlasy realismu a naturalismu. Pro srovnání uvádíme dobové a současné studie pojednávající o díle J. K. Šlejhara, čímž chceme poukázat na měnící se požadavky literatury a umění a na proměnu vnímání literárního díla v časovém odstupu. Druhá část práce se věnuje textové analýze vybraných děl J. K. Šlejhara s použitím metodiky sémiologické literární vědy a rekonstrukce tzv. uměleckého světa autora. Takový přístup nám umožňuje vést paralely s ruskou literaturou 19. století, především s tvorbou N. V. Gogola a F. M. Dostojevského a odhalit styčné body jak v tvoření specifického uměleckého světa, tak v chápání duchovnosti. Klíčová slova: naturalismus, symbolismus, realismus, umělecký svět, duchovnost, tvar, ornament, estetično, smrt

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.

Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (oponent) ; Sekanina, Lukáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.

Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (oponent) ; Vojnar, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies theoretical properties of grammars with restricted derivation trees. After presenting the state of the art concerning this investigation area, the research is focused on the three main kinds of the restrictions placed upon the derivation trees. First, it introduces completely new investigation area represented by cut-based restriction and examines the generative power of the grammars restricted in this way. Second, it investigates several new properties of path-based restriction placed upon the derivation trees. Specifically, it studies the impact of erasing productions on the generative power of grammars with restricted path and introduces two corresponding normal forms. Then, it describes a new relation between grammars with restricted path and some pseudoknots. Next, it presents a counterargument to the generative power of grammars with controlled path that has been considered as well-known so far. Finally, it introduces a generalization of path-based restriction to not just one but several paths. The model generalized in this way is studied, namely its pumping, closure, and parsing properties.