|
Uzavírání kupní smlouvy podle Úmluvy OSN o smlouvách o mezinárodní koupi zboží v komparaci s českou právní úpravou
Krčálová, Kristýna ; Boháček, Martin (vedoucí práce) ; Levý, Jan (oponent)
Tato diplomová práce se zabývá Úmluvou OSN o smlouvách o mezinárodní koupi zboží, známou také jako Vídeňská úmluva. Hlavním cílem je posoudit samotné podmínky aplikace této mezinárodní smlouvy a zhodnotit proces uzavírání kupní smlouvy v režimu Úmluvy včetně jeho podobností a odlišností s českou právní úpravou. V neposlední řadě práce hledá odpověď na otázku, která z úprav je pro uzavření mezinárodní kupní smlouvy spadající pod aplikaci Vídeňské úmluvy pro českou smluvní stranu výhodnější. Práce je rozdělena do pěti částí. První z nich představuje úvod do problematiky Vídeňské úmluvy a soustřeďuje se na její postupný vznik a vztah ČR k ní. Druhá kapitola mapuje samotné podmínky aplikace Úmluvy a vymezuje tak subjekty mezinárodní kupní smlouvy a její předmět. Třetí a čtvrtá kapitola postupně odkrývají jednotlivé fáze kontraktačního procesu (nabídku a přijetí) a to včetně relevantní judikatury. Poslední kapitola svým pojednáním o vzniku smlouvy kontraktační proces završuje a mimo jiné také zkoumá, jaký vliv na vznik a obsah smlouvy mají obchodní podmínky a to včetně jejich případného konfliktu v podobě tzv. bitvy formulářů.
|
|
AND ČR - popis a analýza současného stavu
Bodoríková, Markéta ; KAŠPAR, David (vedoucí práce) ; PROKOP, Petr (oponent)
Tato práce se podrobně zabývá nově vzniklou Asociací nezávislých divadel ČR oficiálně užívající zkratku AND ČR. Popisuje vývoj vzniku, aktuální stav i budoucí plány a fungování.
V první části se věnuje termínu „nezávislé profesionální divadlo“ a stručně charakterizuje vybrané organizace působící v ČR i v Evropě, které se v budoucnu na kulturním poli s AND ČR budou potkávat. V dalších částech zkoumá potřeby nezávislé profesionální scény v hl. m. Praze a uvádí Analýzu potřeb pro oblast „nezávislého“ divadla z roku 2013. Práce dále detailně popisuje genezi vzniku AND ČR, její dosavadní činnost, organizační strukturu a krátkodobé plány. V závěrečné části definuje systém řízení organizace a nabízí varianty, jak existující systém řízení zefektivnit, aby se Asociace nezávislých divadel ČR stala časem hlavní oborovou organizací zastupující zájmy nezávislých profesionálních divadel v České republice.
|
|
Cesta polky do opery Prodaná nevěsta
Adams, Tereza ; FRIČOVÁ, Marie (vedoucí práce) ; GREMLICOVÁ, Dorota (oponent)
Tato diplomová práce obsahuje popis tance polka, její vznik a krátkou historii. Další část je věnována opeře Bedřicha Smetany „Prodaná nevěsta“ od jejího vzniku, přes další uvedení v Národním divadle v Praze až k její současné inscenaci. V závěrečné části jsou popsány tři vybrané choreografie polek z této opery a jejich analýza podle modelu Janet Adshead – Lansdale. Přílohy obsahují životopisy Bedřicha Smetany a choreografů vybraných inscenací – Otto Šandy, Pavla Šmoka a Ladislavy Košíkové.
|
|
Kvantitativní korelace texturních dat získaných metodou CIP a EBSD
Slunská, Petra ; Lexa, Ondrej (vedoucí práce) ; Machek, Matěj (oponent)
Od roku 2011 je na Ústavu petrologie a strukturní geologie Univerzity Karlovy zprovozněn polarizační mikroskop s počítačovým výstupem (Computer Integrated Polarization microscopy, CIP) pro rychlé, levné měření orientace c-os jednoosých minerálů, nejčastěji křemene, ve vysokém rozlišení. Metoda CIP je vyvíjena od začátku devadesátých let ve Švýcarsku (Heilbronner & Pauli 1993) a později na mnoha dalších pracovištích. Záměrem práce bylo testování a kalibrace optického a kamerového vybavení za účelem ověření přesnosti a spolehlivosti získaných dat. Jako nezávislé měření sloužila EBSD (Electron Backscatter Diffraction) data získaná ze stejných částí studovaných výbrusů. Získaná data byla analyzována kvantitativní analýzou mikrostruktur (PolyLX - MATLABTM toolbox; Lexa 2003). Vzorky použité pro testování zmíněné metodiky byly odebrány na profilu potoků Hvězdná a Zdobnice u Rokytnice v Orlických horách na kontaktu orlicko-sněžnické klenby a jejího pláště. Terénní studium prokázalo existenci výrazné západo-vergentní poklesové střižné zóny podél zmíněného kontaktu a deformované ortoruly vykazují makroskopickou superpozici více deformačních událostí. Výsledné histogramy četnosti shody a rozdílů úhlů c-os a úhlů misorientace zrn vykazují vysokou shodou v azimutálním kritériu, sklony os a misorientace zrn ukazují...
|
|
Dmitrij Šostakovič: Klavírní trio č. 2 e-moll, op. 67
Škodová, Judita ; PETRÁŠ, Miroslav (vedoucí práce) ; ERICSSON, Mikael (oponent)
Diplomová práce se zabývá Triem pro housle, violoncello a klavír č. 2 e-moll ruského skladatele Dmitrije Šostakoviče. Kromě stručného životopisu samotného skladatele se věnuje také představení Ivana Ivanoviče Sollertinského, výjimečné osobnosti sovětského kulturního života a také Šostakovičova blízkého přítele, jemuž byla skladba věnována. Poté práce nastiňuje okolnosti vzniku i prvního uvedení skladby a dobové reálie, jež měly s největší pravděpodobností vliv na tehdejší Šostakovičovu hudební řeč a tím pádem i na výslednou podobu díla, uvádí také jeho nejvýznamnější interprety. Následuje podrobný rozbor všech čtyř vět tria a to jak z hlediska harmonického a funkčně-tektonického, tak i z čistě instrumentálního pohledu a výrazového působení skladby a jejích celků na posluchače.
|
|
Frekvenčně stabilizovaný polovodičový laserový zdroj pro interferometrii s vysokým rozlišením
Řeřucha, Šimon ; Hucl, Václav ; Holá, Miroslava ; Čížek, Martin ; Pham, Minh Tuan ; Pravdová, Lenka ; Lazar, Josef ; Číp, Ondřej
Sestavili jsme experimentální laserový systém, založený na laserové diodě typu DBR (Distributed Bragg Reflector), frekvenčně stabilizovaný na absorpční čáry v parách molekulárního jodu. Laserový systém operuje na vlnové délce ležící v blízkosti vlnové délky stabilizovaných helium-neonových (HeNe) laserů (tj. 633 nm), které představují de-facto standardní laserový zdroj v oblasti metrologie délek. Cílem bylo ověřit, že parametry takového systému umožní jej využít jako náhradu právě He-Ne laserů, která navíc umožní větší rozsah a větší šířku pásma přeladění optické frekvence a vyšší výkon. Experimentálně jsme ověřili základní charakteristiky laserového zdroje, které jsme dále porovnali s charakteristikami typického frekvenčně stabilizovaného He-Ne laseru. K tomu jsme využili experimentální uspořádání blízké typickým využitím laserové interferometrie v metrologii délky. Výsledky prokazují, že laserový systém, založený na laserové diodě DBR představuje vhodný zdroj pro aplikace v (nano) metrologii délky tím, že zachovává fundamentální požadavky na laserový zdroj jako frekvenční stabilita a koherenční délka a zároveň umožňuje přeladění optické frekvence o více než 0.5 nm s šířkou pásma modulace až několik MHz, vyšší výkon v řádu několika mW a díky stabilizaci i fundamentální metrologickou návaznost.
|
|
Kavárna - architektonický topos prvorepublikové společnosti
PFEFEROVÁ, Dita
Bakalářská práce se zabývá obnovenými prvorepublikovými kavárnami v Brně a v Praze. V případě brněnských kaváren především okolnostmi jejich vzniku, dobovým kontextem, historií kavárenství a také okolnostmi, za kterých se původním kavárnám měla vrátit jejich podoba a funkce. V samostatných kapitolách se autorka věnuje analýze kavárenských budov, důvodům i cílům jejich obnovy a rekonstrukce. Pozornost je zaměřena na Zemanovu kavárnu v Brně na Kolišti architekta Bohuslava Fuchse a na její repliku z roku 1995, dále na kavárnu ERA, jejíž budovu navrhl Josef Kranz. Patřičná pozornost je věnována noblesní kavárně Savoy, navržené Jindřichem Kumpoštem pro kavárníka Jana Nekvapila, i kavárně a cukrárně Kolbaba, jejímž autorem je architekt Jan Víšek. Pro srovnání s vývojem, který se odehrával v Brně, potom autorka zvolila unikátní kubistickou kavárnu Grand Café Orient v Praze, nacházející se v Domě U Černé Matky Boží od Josefa Gočára. Práce shrnuje okolnosti, za jakých kavárny za doby První republiky vznikaly ve dvou největších českých městech, ve kterých byly pro rozvoj kaváren různé podmínky. Podobně potom sleduje, za jakých podmínek se dařilo znehodnocená místa původních kaváren opětovně vracet do života a na základě podrobného rozboru literatury hodnotí úspěšnost těchto rekonstrukcí.
|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (oponent) ; Yamamura,, Akihito (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies synchronous formal systems based on grammars and transducers, investigating both theoretical properties and practical application perspectives. It introduces new concepts and definitions building upon the well-known principles of regulated rewriting and synchronization. An alternate approach to synchronization of context-free grammars is proposed, based on linked rules. This principle is extended to regulated grammars such as scattered context grammars and matrix grammars. Moreover, based on a similar principle, a new type of transducer called the rule-restricted transducer is introduced as a system consisting of a finite automaton and context-free grammar. New theoretical results regarding the generative and accepting power are presented. The last part of the thesis studies linguistically-oriented application perspectives, focusing on natural language translation. The main advantages of the new models are discussed and compared, using select case studies from Czech, English, and Japanese to illustrate.
|
|
Extensions to Probabilistic Linear Discriminant Analysis for Speaker Recognition
Plchot, Oldřich ; Fousek, Petr (oponent) ; McCree,, Alan (oponent) ; Burget, Lukáš (vedoucí práce)
This thesis deals with probabilistic models for automatic speaker verification. In particular, the Probabilistic Linear Discriminant Analysis (PLDA) model, which models i--vector representation of speech utterances, is analyzed in detail. The thesis proposes extensions to the standard state-of-the-art PLDA model. The newly proposed Full Posterior Distribution PLDA models the uncertainty associated with the i--vector generation process. A new discriminative approach to training the speaker verification system based on the~PLDA model is also proposed. When comparing the original PLDA with the model extended by considering the i--vector uncertainty, results obtained with the extended model show up to 20% relative improvement on tests with short segments of speech. As the test segments get longer (more than one minute), the performance gain of the extended model is lower, but it is never worse than the baseline. Training data are, however, usually available in the form of segments which are sufficiently long and therefore, in such cases, there is no gain from using the extended model for training. Instead, the training can be performed with the original PLDA model and the extended model can be used if the task is to test on the short segments. The discriminative classifier is based on classifying pairs of i--vectors into two classes representing target and non-target trials. The functional form for obtaining the score for every i--vector pair is derived from the PLDA model and training is based on the logistic regression minimizing the cross-entropy error function between the correct labeling of all trials and the probabilistic labeling proposed by the system. The results obtained with discriminatively trained system are similar to those obtained with generative baseline, but the discriminative approach shows the ability to output better calibrated scores. This property leads to a better actual verification performance on an unseen evaluation set, which is an important feature for real use scenarios.
|
|
Generic Reverse Compilation to Recognize Specific Behavior
Ďurfina, Lukáš ; Šaloun, Petr (oponent) ; Zahradnický,, Tomáš (oponent) ; Kolář, Dušan (vedoucí práce)
Thesis is aimed on recognition of specific behavior by generic reverse compilation. The generic reverse compilation is a process that transforms executables from different architectures and object file formats to same high level language. This process is covered by a tool Lissom Decompiler. For purpose of behavior recognition the thesis introduces Language for Decompilation -- LfD. LfD represents a simple imperative language, which is suitable for a comparison. The specific behavior is given by the known executable (e.g. malware) and the recognition is performed as finding the ratio of similarity with other unknown executable. This ratio of similarity is calculated by a tool LfDComparator, which processes two sources in LfD to decide their similarity.
|
host ::
