|
Strategie přežití během genocidy ve Rwandě 1994
Spejchal, Petr ; Horčička, Václav (oponent) ; Pullmann, Michal (vedoucí práce)
Události ve Rwandě 1994 šokovaly světové společenství a byly přelomem na cestě k prevenci a pochopení příčin masového zabíjení, čímž se znovu oživila témata a problémy s tím související - tentokrát však v nových souvislostech. Úmluva o zabránění a trestání zločinu genocidia svázaná právními zvyklostmi se ukázala být v nové situaci nevhodnou pro rychlou preventivní akci. Velká očekávání, která do ní byla vkládána, se nenaplnila, čímž se otevřel nový prostor pro používání pojmu genocidy, jež již nebyla považována za automatickou povinnost k mezinárodní intervenci. Genocida však neztratila nic ze své symbolické funkce a začala hrát důležitou roli v zápase o uznání, a to jak na mezinárodní úrovni, tak na úrovni skupin a jednotlivců. Různé motivace stojící za používáním pojmu genocida se rovněž promítají do vědeckého bádání, což je zejména patrné na studiu rwandské genocidy, která představuje základní kámen legitimizující postavení současného režimu. Silné emocionální, hodnotové a morální zatížení, které s sebou pojem genocidy nese, komplikuje jeho analytické užívání, protože se tím upřednostňují výzkumné otázky, které zastiňují aktivní úsilí, jejž vynakládali oběti na cestě k záchraně. Při historickém bádání je vhodnější používat pojem genocidy více jako sběrnou kategorii než analytický pojem, což otevírá cestu...
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
|
Podíl Jana Antonína Quitainera na plastické výzdobě Strahovského kláštera. Sonda do vztahů mezi pozdně barokním sochařem a jeho mecenášem
Hořák, Martin ; Hladík, Tomáš (oponent) ; Horyna, Martin (vedoucí práce)
Umělecké působení Jana Antonína Quitainera (1709-1765) v Královské kanonii premonstrátů v Praze na Strahově překlenuje období dvou desetiletí. Ponecháme-li stranou nikoli nepravděpodobnou možnost, že již v roce 1726 se jako sedmnáctiletý pomocník svého otce Ondřeje Filipa (1679-1729) podílel na výzdobě průčelí strahovského kostela Nanebevzetí P. Marie, lze tvorbu mladšího Quitainera na Strahově sledovat od poloviny 40. let 18. století až do posledních měsíců sochařova života. Během uvedené doby zde tento svými součastníky ceněný a žádaný umělec vytvořil početnou kolekci kamenosochařských i řezbářských prací. Přesto stačilo půl století na to, aby jeho strahovské dílo i o sám upadli v zapomnění jak v okruhu širší veřejnosti, tak mezi samotnými premonstráty. Strahovský knihovník Johann Gottfried Dlabač ve svém slovníku českých a moravských umělců z roku 1815 věnoval jedno z hesel také Ondřeji Filipovi Quitainerovi ("Guitteinerovi"), jejž označil za autora sousoší sv. Heřmana Josefa před strahovskou kaplí sv. Voršily a všech soch na průčelí klášterního kostela.1 Veškerou plastickou výzdobu interiéru klášterního kostela připsal Dlabač Ignáci Františku Platzerovi.2 Sochaře J. A. Quitainera Dlabač vůbec nezná a pouze okrajově se zmiňuje o jakémsi "Antoniovi Guitteinerovi", jenž 12. května 1751 vystupuje jako...
|
|
Kira Muratovová - narušitelka (post)sovětského vědomí
Dolotina, Kamila ; Klimeš, Ivan (oponent) ; Kopaněva, Galina (vedoucí práce)
Zabývat se dílem Kiry Muratovové, největší ruské režisérky 2. poloviny 20. století, je z několika důvodů velmi nevděčný úkol. Její mimořádně komplikovaná výpověď se vzpírá přísnému metodologickému uchopení a snaha o nalezení strukturovaného přístupu k jejímu tvůrčímu odkazu přivádí častěji k nervovému zhroucení či nedůvtipnému zevšeobecňování, než ke skutečně přesvědčivým a zajímavým interpretacím. Autorka je navíc v českém prostředí takřka neznámou postavou, z čehož vyplývá, že potenciální zájem o bližší seznámení s její tvorbou, který by tato práce ráda povzbudila, je téměř mizivý. Pro mne je však předsevzatý úkol, totiž postihnout osobitost režisérčiných filmů v estetické a narativní rovině a pokusit se nastínit hlubinný význam režisérčina universa, nezbytným krokem k tomu, abych si mohla zodpovědět otázku, co mne na její tvorbě tolik znepokojuje. V pěti krocích se pokusím přiblížit porozumění tomuto nezpochybnitelnému fenoménu a odhalit, co mne nutí se k němu - přes zjevná duševní muka, která při projekci zažívám - stále znovu vracet. Předkládaná práce nemá monografický charakter, nezbytným údajům pro snazší pochopení kontextu autorčiny tvorby je věnována první kapitola, která má za cíl nastínit chronologii vzniku jednotlivých titulů a zmínit nejpodstatnější kulturněhistorické okolnosti, které se v...
|
|
Podnikatelský plán - vinařský penzion
Kseničová, Lenka ; Strouhal, Jiří (vedoucí práce) ; Kotáb, Jiří (oponent)
Cílem práce je sestavit podrobný podnikatelský plán pro podnikání společnosti s ručením omezeným v oblasti poskytování služeb ubytování a degustací ve vinném sklepě ve Znojmě. První část se bude zabývat vymezení podnikání malých firem, jejich postavení a přínos ekonomice. Dále práce zpracovává formální úpravou a všechny náležitosti, které by podnikatelský plán měl obsahovat, aby sloužil pro interní i externí uživatele. Díky zpracování podnikatelského plánu, který obsahuje podrobnou analýzu konkurence a trhu, popis firmy, jejích klíčových osobností, nabídku služeb, marketingový a finanční plán, získá firma celistvý pohled na životaschopnost a úspěšnost podnikání. Pro odhad budoucích tržeb jsou použity tři scénáře vývoje. Všechny předchozí body shrnuje v číselném vyjádření finanční plán, který obsahuje očekávané náklady a výnosy, majetkovou strukturu, očekávané peněžní finanční toky a dobu návratnosti investice.
|
|
Vznik nadnárodných spoločností vo vybraných rozvojových krajinách a ich postavenie vo svete
Porubcová, Martina ; Neumann, Pavel (vedoucí práce) ; Sejkora, Jiří (oponent)
Táto bakalárska práca sa zameriava na posilňujúci fenomén vzniku nadnárodných spoločností na trhoch rozvojových ekonomík. Cieľom práce je na príklade čínskych nadnárodných spoločností demonštrovať internacionalizačný proces a faktory úspechu, ktoré spoločnostiam umožnili ich dynamickú expanziu. Pre tento účel bude využité porovnanie s klasickými teóriami internacionalizácie spoločností, ktoré vznikli na základe internacionalizačných procesov spoločností z vyspelých ekonomík v druhej polovici 20. storočia. Prvá kapitola práce sa zaoberá všeobecnou problematikou nadnárodných spoločností a procesom ich expanzie podľa klasických teorií internacionalizácie. Druhá kapitola je zameraná na rozvojové krajiny a ich posilujúcu rolu na globálnych investičných trhoch. Zahŕňa rovnako modifikované teórie internacionalizácie, ktoré vznikli ako dôsledok nárastu spomínaných investícií. Tretia kapitola je analýzou dynamického internacionalizačného procesu čínskych nadnárodných spoločností, objasňuje okolnosti, za ktorých spoločnosti vznikali a ich motívy expanzie. Kapitola zahŕňa prípadovú štúdiu čínskej spoločnosti Haier a je ukončená prognózami budúceho vývoja čínskych nadnárodných spoločností.
|
|
Zachycení každodenního života ve spisech Čechů cestujících v pozdním středověku a raném novověku na Blízký východ
Homolka, Vojtěch ; Zilynská, Blanka (oponent) ; Bobková, Lenka (vedoucí práce)
Daleké cesty byly ve středověku a raném novověku zcela mimořádnou událostí. Ale i daleko od domova museli lidé něco jíst, v noci načerpat nové síly či pečovat o svůj zevnějšek. V této práci jsem se zaměřil na postřehy z oblasti všedního života ve spisech Čechů, kteří v 15. a 16. století cestovali na Blízký východ. Václav Vratislav z Mitrovic pobýval v Konstantinopoli, Martin Křivoústý, Martin Kabátník, Jan Hasištejnský z Lobkovic, Oldřich Prefát z Vlkanova a Kryštof Harant z Polžic a Bezdružic putovali do Svaté země. Kabátník a Harant odtud pokračovali dále do Egypta. Jídelníček cestovatelů tvořil zejména chléb, různé druhy ovoce, masité pokrmy, žízeň zaháněli nejčastěji vodou a vínem. Na jedné straně mohli okusit cizokrajné potraviny, na straně druhé byla jejich strava poměrně jednotvárná - hlavně na lodi, ve vězení či při přechodu pouště. Bylo nutné dodržovat základní hygienické návyky, aby cestující předcházeli nemocem. Hrozila jim například úplavice nebo mořská nemoc. Choří poutníci se mohli uchýlit do některého ze sítě špitálů. Očistu těla bylo možné vykonat v orientálních lázních, které měly velmi vysokou úroveň. Spánek v dalekých zemích nebýval příliš pohodlný. Spalo se v hostincích, klášterech či pod širým nebem, lehávalo se na pletených rohožích nebo na kobercích. Člověk nikde neměl skoro žádné...
|
|
Jak zamezit množení Legionelly pneumophylis v rozvodech teplé vody v nemocnici Český Krumlov
TUREK, Jan
Diplomová práce se zabývá mikrobiologickou kvalitou teplé vody, stavem teplovodních rozvodů, ve vztahu k Legionelle pneumophylis v Nemocnici Český Krumlov a.s. a opatřeními, která jsou ve zdravotnickém zařízení podnikána, pro zlepšení kvality teplé vody. Podstatou a cíli této práce je zjištění těchto uvedených parametrů na základě vlastního pozorování, technické dokumentace a rozborů teplé vody, provedených akreditovanou laboratoří. Nemocnice Český Krumlov a.s., jejíž stavba byla zahájena v roce 1909, byla dostavěna v roce 1911 jako ,,Nemocnice Císaře Františka Josefa I.". Postupem času byly přistavovány další a další budovy. V roce 1942 byla nemocnice ustanovena jako ,,Všeobecná veřejná nemocnice". V následujících letech docházelo postupně k dalšímu rozšiřování, přístavbám a úpravám až do současné podoby. Kvalita vody a s ní spojený výskyt legionel, je celosvětovým problémem, se kterým je nutno bojovat. Práce je rozdělena na dvě hlavní části. První, teoretická část, zahrnuje všeobecné i konkrétní poznatky o Legionelle, jejích zdravotních rizicích, prostředí ve kterém se vyskytuje, možnostech jejího odstranění, o vhodnosti používaného materiálu k výstavbě teplovodního potrubí, získané z odborné literatury a také z české legislativy, zabývající se ochranou veřejného zdraví - zákon č. 258/2004 Sb. v platném znění a dále kvalitou pitné a teplé vody, která je zanesena ve vyhlášce č. 252/2004 Sb. a dalších předpisech. Ve druhé, empirické části, se podrobně zabývám situací v nemocnici Český Krumlov v období 2009 až 2015, týkající se nově vybudované kotelny a souhrnně celého rozvodného systému teplé vody ve vztahu k Legionelle. Konkrétně jsou v práci rozvedeny materiály, které byly použity jak při ekologizaci plynové kotelny, tak ty, ze kterých jsou provedeny rozvody teplé vody a stav rozvodů v jednotlivých budovách a v areálu zdravotnického zařízení. Dále jsou v diplomové práci uvedeny rozbory vzorků vody, provedené akreditovanou laboratoří, které byly i s potřebnou technickou dokumentací, týkající se rozvodné teplovodní sítě, poskytnuty zdravotnickým zařízením. Při vyhodnocování těchto dokumentů, bylo využito sekundární analýzy dat. Z výsledků, sledovaných za období let 2009 až 2015 vyplývá, že mikrobiologická kvalita teplé vody neodpovídá limitům stanoveným v příloze č. 3, vyhlášky 252/2004 Sb., v platném znění. Mezní hodnota tohoto limitu pro kolonie tvořící jednotky bakterie legionely , je stanovena na maximálně 100 KTJ. Ve většině odebraných vzorcích teplé vody došlo k překročení tohoto limitu a to od řádů jednotek až po statisíce. Výsledky z posledního analyzovaného roku 2015, vykazují zlepšení této nepříznivé situace. Za toto období byla analýza vzorků vody provedena celkem třikrát. První v únoru 2015. Výsledné hodnoty vykazovaly kolonie tvořící jednotky ,,jen" ve stovkách, s maximem 550 KTJ na oddělení následné péče. Druhá analýza byla provedena v červnu téhož roku. Výsledky byly velmi uspokojivé. Naměřená maximální hodnota Legionelly byla 64 KTJ. Poslední hodnocený odběr v tomto roce a jeho analýza, byly provedeny v prosinci. Zvýšená koncentrace Legionelly byla opět v budově chirurgie. Zde bylo stanoveno 1400 kolonií tvořících jednotky. Vzorek z LDN obsahoval 300 KTJ a sedmé patro interního oddělení dosáhlo hraniční hodnoty limitu, tedy 100 KTJ. Odpovědi na stanovené výzkumné otázky ,,Jak zamezit množení Legionelly pneumophylis v rozvodech teplé vody v nemocnici Český Krumlov" a ,,Jak zajistit dostatečné množství kvalitní teplé vody ve zdravotnickém zařízení" se nacházejí v závěru uvedených doporučeních. Velkým rizikovým faktorem, pro rozvoj Legionell v tomto zdravotnickém zařízení, jsou zastaralé rozvody teplé vody v téměř všech budovách a nízká teplota vody vystupující z ohřevu, která činí 55 °C. Všechny tyto uvedené výsledky a hodnocení jsou v této diplomové práci graficky zpracovány. Součástí této práce jsou také přiložené fotografie, které nastiňují prostředí a situaci ve zdravotnickém zařízení.
|
|
Alternativy nepodmíněného trestu odnětí svobody
Mařánková, Barbora ; Šámal, Pavel (oponent) ; Vokoun, Rudolf (vedoucí práce)
80 Závěr Zkušenosti České republiky potvrzují, že alternativní tresty a různé formy odklonů v trestním řízení mohou být účinným nástrojem ke zjednodušení a zrychlení trestního procesu. Jejich hlavní význam však spočívá hlavně v náležité diferenciaci a individualizaci ukládaných sankcí vzhledem k osobě pachatele a k závažnosti trestného činu. Naproti tomu četné poznatky naznačují, že od nepodmíněného trestu odnětí svobody nelze vždy očekávat, že naplňují účel trestu, vězení jsou přeplněna, odstrašující účinek nepodmíněného trestu odnětí svobody je nedostatečný a k nápravě a resocializaci uvězněných pachatelů nedochází K dosažení očekávaných výsledků je třeba zvolit vhodnou legislativní úpravu, precizní práci soudů a dalších orgánů činných v trestním řízení, s individuálním posouzením každého případu a překonáním určitého konzervatismu a více informovat veřejnost, která očekává, že ukládané tresty budou mít především odstrašující účinek na pachatele a na alternativní tresty pohlíží se značnou nedůvěrou. Velkou pomocí a inspirací jsou zkušenosti a právní úprava členských států EU, různá doporučení a rezoluce příslušných orgánů Rady Evropy směřující k širokému zavádění alternativních trestů a opatření.
|
|
Audit IS - teorie a praxe
Fišera, Martin ; Svatá, Vlasta (vedoucí práce) ; Kalina, Jaroslav (oponent)
Diplomová práce pokrývá problematiku auditu IS v celé jeho šíři. Protože se jedná o velmi komplexní oblast, bylo nutné práci rozdělit do několika logických na sebe vzájemně navazujících kapitol. Kvalita a audit jsou klíčovými pojmy pro tuto práci, proto jim je věnována celá první kapitola, která chronologicky popisuje vývoj těchto pojmů. Interpretace kvality je popisována velmi široce od dob starého Řecka a Říma přes přístupy Total Quality Management až po současné chápání uvedené v normativních rámcích vydávaných společností ISO. Na pojem kvalita je v kapitole plynule navázáno pojmem audit, jehož vývoj je taktéž detailně chronologicky popsán a to od veřejného čtení účtů až po současnou podobu auditu IS. Zvláště je pak věnována pozornost vývoji samotné definice auditu a vztahu mezi finančním auditem a auditem IS. Druhá -- poslední -- část první kapitoly je pak věnována podrobnému popisu důvodů pro aplikaci auditu IS v praxi. Jelikož je audit IS v mnohém specifický, je jeho charakteristickému postavení v praxi věnována druhá kapitola, která obsahuje kromě popisu charakteristických rysů také stručné nastínění problematiky outsourcingu a cloudcomputingu ve vztahu k auditu IS. Třetí kapitola se věnuje normativní základně auditu IS. Vzhledem k velkému množství normativních rámců jsou v kapitole rozebíráni pouze vybraní zástupci. Jedná se například o ISO/IEC 20000, COBIT, ITIL a jiné. Ti jsou zevrubně popsáni, zhodnoceni a případně porovnáni s dalšími relevantními rámci pro definování vzájemných vztahů a hodnocení přínosů. Poslední kapitola je věnována návrhu procesu auditu IS na konceptuální úrovni. Cílem je především volně navázat na normativní základnu rozebíranou v předchozí kapitole a vytvořit jednoduchý, univerzální, snadno aplikovatelný a přizpůsobitelný proces auditu IS s ohledem na definovaná omezení.
|
host ::
