| |
|
The Conclusion of a Contract under the United Nations Convention on Contracts for the International Sale of Goods in Comparison with Czech National Legislation
Krčálová, Kristýna ; Boháček, Martin (advisor) ; Levý, Jan (referee)
This Master's thesis focuses on the United Nations Convention on Contracts for the International Sale of Goods (CISG), better known as the Vienna Convention. The main purpose of this thesis is to evaluate conditions for application of this international treaty and to assess the contracting process under the CISG including the similarities and differences with the Czech national legislation. Finally, it seeks an answer to the question, which of these rules (international or national) are more advantageous for a Czech contractual party with respect to concluding a contract. The thesis is divided into five parts. The first one represents an introduction to the CISG, its origin and the Czech Republic's attitude to it. The second part identifies the conditions for application of the CISG and therefore defines a subject and an object of an international contract of sale under the CISG. Both third and fourth parts gradually introduce two phases of the contracting process (offer and acceptance) including the relevant case-law. The last chapter strives to complete the contracting process with an analysis of the exact moment, when a contract is concluded, as well as with an analysis of a potential battle of the forms and its impact on a contract conclusion.
|
|
Micro-electromembrane extraction across multiple aqueous and organic phases for selective pretreatment of raw biological samples
Kubáň, Pavel ; Boček, Petr ; Seip, K. F. ; Gjelstad, A. ; Pedersen-Bjergaard, S.
Micro-electromembrane extraction (μ-EME) across multiple aqueous and organic\nsolutions was developed for selective extractions of various analytes from untreated\nbiological samples. The novel approach requires μL volumes of samples and organic\nsolvents, which form consecutive immiscible plugs in a transparent polymeric capillary\nand the extraction process is accelerated by application of d.c. voltage. Number of the\nplugs, their composition, volume and sequence in the extraction capillary can be chosen\nspecifically for each particular application and high variability and selectivity of the\nextraction process can be achieved. In this contribution, we demonstrate suitability of\na five-phase μ-EME system for simultaneous extractions of cations and anions from\nurine and for selective extractions of basic analytes based on their acid-base strength\nfrom plasma.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Sharing Local Information for Faster Scanning-Window Object Detection
Hradiš, Michal ; Kälviäinen, Heikki (referee) ; Matas, Jiří (referee) ; Zemčík, Pavel (advisor)
Cílem této dizertační prace je vylepšit existující detektory objektů pomocí sdílení informace a výpočtů mezi blízkými pozicemi v obraze. Navrhuje dvě metody, které jsou založené na Waldově sekvenčním testu poměrem pravděpodobností a algoritmu WaldBoost. První z nich, Early non-Maxima Suppression , přesunuje rozhodování o potlačení nemaximálních pozic ze závěrečné fáze do fáze vyhodnocování detektoru, čímž zamezuje zbytečným výpočtům detektoru v nemaximálních pozicích. Metoda neighborhood suppression doplňuje existující detektory o schopnost zavrhnout okolní pozice v obraze. Navržené metody je možné aplikovat na širokou škálu detektorů. Vyhodnocení obou metod dokazují jejich výrazně vyšší efektivitu v porovnání s detektory, které vyhodnocují jednotlivé pozice obrazu zvlášť. Dizertace navíc prezentuje výsledky rozsáhlých experimentů, jejichž cílem bylo vyhodnotit vlastnosti běžných obrazových příznaků v několika detekčních úlohách a situacích.
|
|
Utilization of waste material from the glass-sand production
Zach, Jaroslav ; Přikryl, Richard (advisor) ; Vavro, Martin (referee)
The presented diploma thesis is focused on possible use of waste from glass and foundry sands deposits of Provodín. The mineralogical and chemical composition, mechanical and physical properties, the specific surface area and parameters of pore area were studied. X-ray analysis proved the presence of kaolinite, illite, quartz and accessory microclin. Silicate analysis shows dominant presence of SiO2 80.52%, then Al2O3 11.36% and K2O 2.14%. This diploma thesis is focused on a possible use of studied material at three main areas: the potential use as a clay component in a raw material mixture for making of hydraulic lime, the use as a kaolinite absorbent and the potential use as a geotechnical material. The studied material was experimentally mixed with limestone in a ratio of 10; 15; 20 a 25 wt %. This mixture was subsequently burnt in the temperature range from 850 to 1,200řC. New phases were identified by an X-ray diffraction analysis. The results prove the presence of characteristic phases for hydraulic limes (C2S, C3A, C4AF). The formation of new phases depend on the temperature. The most of them are formed at a temperature of 1050řC and higher. For the characterization of a specific surface area and parameters of pore areas there were used simple studied material and thermally modified samples...
|
|
Analysis of Financial Time Series in Crisis
LOPATÁŘ, Antonín
This bachelor thesis is focused on the methods of analysing an additive model of time series. The theoretical part is aimed on history of business cycle, structural and cyclic deflection and individual phases of business cycle. There are described individual theories of business cycle. Crisis as one of the phases is described closer. Further it introduces the methods used in practical part. The practical part contains analysis of individual time series. For example price of gold, LIBOR, PRIBOR, Gross domestic product and other. This time series are analysed by exponential smoothing, moving averages and other methods.
|
|
Biochemical methods as tool for study of reproductive proteins
Postlerová, Pavla ; Zigo, Michal ; Pohlová, Alžběta ; Jonáková, Věra
Study of molecular mechanisms in reproduction is essential for the understanding of this outstanding process. Our lab studies proteins secreted by reproductive organs and sperm using various biochemical methods for a long time. We have expertise in protein extraction from spermatic cells using different approaches, and by kits for proteins from the sperm surface and distinct subcellular compartments. The proteins of reproductive organ fluids are separated by chromatographic methods, such as size exclusion chromatography, high-performance liquid chromatography with reverse phase (RP-HPLC) and affinity chromatography on matrices with various ligands. Proteins are subjected to SDS- or 2D-electrophoresis for their characterization and comparison of various extraction methods, different mammalian species, and sperm in different functional development. Electrophoretically separated proteins may be transferred onto nitrocellulose membrane (Western blot) for antibody detection or binding studies with lectin-labelled ligands (lectins, polysaccharides, zona pellucida glycoproteins). We use immunoprecipitation method with specific antibody for protein determination followed by the MALDI identification. Proteins are localized by immunofluorescent techniques on/in spermatic cells and tissue sections of reproductive organs. Isolation of proteins from reproductive tissues and fluids, and the antibody detection is crucial for the studying of reproductive protein origin.
|
|
Nursing procedures in taking blood pressure
SEDLÁKOVÁ, Tereza
By blood pressure is meant lateral pressure or the side pressure of a blood column on the side of a vessel. The pressure is created thanks to the action of heart as a blood pump. This pressure is not the same in different parts of the bloodstream. By the blood pressure is meant the arterial pressure or pressure in the artery, so the pressure in big blood vessels. The highest values are reached in the expulsion phase of the heart action, which is called systole. The lowest values are reached in the phase of filling heart chambers, which is called diastole. The sole nursing procedures required in the process of taking a blood pressure reading are many and all must be followed. This thesis is composed of a theoretical part and practical part. Introduction to the theoretical part is composed of the main terminology from the physiology of blood pressure. In the theoretical part we follow with division on hypotension and hypertension, which are the most common diseases related to blood pressure, with diagnosis and recommendation for treatment. This thesis also offers information about measuring blood pressure by the invasive and the non-invasive method. The theoretical part is focused on the importance of the nurse in the process of measuring blood pressure with emphasis on her knowledge and practical skills.
|
|
Parametric design in a Garden and Landscape architecture
Med, Jakub ; Vaněk, Jan (advisor) ; Jan, Jan (referee)
Diploma thesis explores use of parametric design method in the field of landscape and garden architecture. Parametric design is used as a tool. The aim is to find a method to use it in each phase of the design process, to reach effectivity and a new aesthetical approach.
Research of projects already published is the basis for further use. Design process is presented in the project part of the diploma thesis. Use of each parameter input is explained. Experimental forms and efficacy of design is the output result.
|
guest ::
