| |
|
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ářů.
|
|
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 (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
Sharing Local Information for Faster Scanning-Window Object Detection
Hradiš, Michal ; Kälviäinen, Heikki (oponent) ; Matas, Jiří (oponent) ; Zemčík, Pavel (vedoucí práce)
This thesis aims to improve existing scanning-window object detectors by exploiting information shared among neighboring image windows. This goal is realized by two novel methods which are build on the ideas of Wald's Sequential Probability Ratio Test and WaldBoost. Early non-Maxima Suppression moves non-maxima suppression decisions from a post-processing step to an early classification phase in order to make the decisions as soon as possible and thus avoid normally wasted computations. Neighborhood suppression enhances existing detectors with an ability to suppress evaluation at overlapping positions. The proposed methods are applicable to a wide range of detectors. Experiments show that both methods provide significantly better speed-precision trade-off compared to state-of-the-art WaldBoost detectors which process image windows independently. Additionally, the thesis presents results of extensive experiments which evaluate commonly used image features in several detection tasks and scenarios.
|
|
Využití odpadní suroviny po zpracování sklářských písků
Zach, Jaroslav ; Přikryl, Richard (vedoucí práce) ; Vavro, Martin (oponent)
Předložená diplomová je zaměřena na možné využití odpadního výplavu z procesu úpravy sklářských a slévárenských písků ložiska Provodín. Bylo studováno mineralogické a chemické složení, mechanické a fyzikální vlastnosti, parametry pórového prostoru a velikost specifického měrného povrchu. RTG difrakční rozbor prokázal zastoupení kaolinitu, illitu, křemene a akcesoricky se vyskytujícího mikroklinu. Silikátová analýza prokázala dominantní zastoupení SiO2, které tvoří 80,52%, Al2O3 tvoří 11,36% a K2O 2,14%. Tato diplomová práce se zaměřila na tři hlavní oblasti použití zkoumaného materiálu: na použití jako jílové složky do surovinových směsí pro výrobu hydraulických vápen, jako možného kaolinitického absorbentu a možné použití výplavu v geotechnice. Experimentálně se studovaný materiál míchal s vápencem v poměru 10; 15; 20 a 25 hm% a následně vypaloval v rozmezí teplot 850-1200řC. Pomocí RTG difrakčního rozboru se identifikovaly nově vzniklé fáze. Bylo prokázáno, že vznikají fáze, které jsou charakteristické pro hydraulická vápna (C2S, C3A, C4AF). Vznik fází je závislý na teplotě, nejvíce se objevují při teplotě nad 1050řC. Na studium specifického měrného povrchu a pórového prostoru byl použit čistý materiál a vypálené vzorky čistého materiálu z teplot 500 a 900řC. Největšími hodnotami disponuje čistý...
|
|
Analýza finančních časových řad v době krize
LOPATÁŘ, Antonín
Tato práce se zabývá analýzou časových řad v době krize. Teoretická část je zaměřena na historii hospodářského cyklu, strukturální a cyklické výkyvy a jednotlivé fáze, ze kterých se hospodářský cyklus skládá. Jsou zde popsány některé teorie hospodářského cyklu. Krize, jako jedna z fází cyklu, je popsána podrobněji. Dále práce představuje metody použité v praktické části. Praktická část obsahuje analýzu vybraných časových řad, např. cenu zlata, sazbu LIBOR a PRIBOR, hrubý domácí produkt a další. Tyto časové řady jsou analyzovány pomocí exponenciálního vyrovnávání, metody klouzavých průměrů a dalších metod.
|
|
Biochemické motody jako nástroj pro studium proteinů v reprodukci
Postlerová, Pavla ; Zigo, Michal ; Pohlová, Alžběta ; Jonáková, Věra
Studium molekulárních mechanismů rerodukce je důležité pro pochopení tohoto děje. pro extrakci proteinů ze spermií využíváme různé přístupy a specializované kity, které izolují proteiny z různých částí a povrchu spermatické buňky. Proteiny z reprodukčních tekutin dělíme pomocí chromatografických metod. Charakterizaci a porovnání proteinů získaných odlišnými extrakčními metodami nebo proteinů různých savčích druhů a proteinů spermií, které jsou v rozdílných stádiích svého vývoje, provádíme pomocí SDS a 2D elektroforézy. Elektroforeticky separované proteiny přenesené na NC membránu využíváme pro detekci pomocí protilátek nebo k vazebnýcm studiím s biotinem značenými ligandy. Izolace proteinů z reprodukčních tkání a tekutin a jejich detekce pomocí protilátek je nezbytná pro určení původu proteinů reprodukčního traktu. Lokalizace proteinů na povrchu a uvnitř spermatických buněk a v sekreční tkáni reprodukčních orgánů studujeme pomocé imunofluorescenční mikroskopie. Cílená izolace určitých proteinů spermatické buňky, jejich lokalizace na spermiích nebo v tekutinách a tkáních reprodukčního traktu slouží jako nepostradatelné nástroje pro studium molekulárních mechanismů reprodukčního procesu.
|
|
Ošetřovatelské postupy v měření krevního tlaku
SEDLÁKOVÁ, Tereza
Krevním tlakem je myšlen tlak laterální neboli boční tlak krevního sloupce na stěnu cévy. Je vytvářen díky působení srdce, jako krevní pumpy. Tento tlak je rozdílný v různých částech krevního řečiště. Tlakem krve se míní tlak arteriální neboli tepenný, tedy tlak ve velkých tepnách. Ten se mění v závislosti na čase a to zejména ve velkých tepnách. Nejvyšších hodnot dosahuje v tzv. vypuzovací fázi srdeční akce, což se nazývá systola. Nejnižších hodnot dosahuje ve fázi plnění srdečních komor, při diastole. Samotný ošetřovatelský postup při měření krevního tlaku má celou řadu specifik, která jsou nutná dodržovat. Tato práce se skládá z teoretické a praktické části. Úvod teoretické části tvoří základní terminologie z oblasti fyziologie krevního tlaku. V teoretické práci dále pokračujeme rozdělením na hypotenzi a hypertenzi, jakožto nejčastější onemocnění krevního tlaku s jejich diagnostikou a doporučením pro následnou léčbu. Práce dále nabízí informace týkající se měření krevního tlaku invazivní a neinvazivní metodou. V dalších kapitolách se můžeme dočíst o standardních pomůckách nutných ke správnému měření u obou typů metod. Teoretická část práce je zaměřena na důležitost role sestry při měření krevního tlaku s důrazem na její znalosti a praktické dovednosti.
|
|
Parametrické navrhování v zahradní a krajinářské architektuře
Med, Jakub ; Vaněk, Jan (vedoucí práce) ; Jan, Jan (oponent)
Práce se zabývá použitím metody parametrického designu při projektování v oboru zahradní a krajinářské architektury. Parametrické navrhování je využito jako pracovní nástroj. Cílem práce je najít způsob a využití této metody tak, aby byl přínosem ve všech fázích návrhu. A to jak z hlediska efektivity a zjednodušení práce, tak i z hlediska tvorby nového přístupu k estetice designu.
Na základě provedených rešerší byl určen okruh možných řešení pro použití této metody. Vlastní projektová část ilustruje proces návrhu a vysvětluje použití jednotlivých parametrů. Výsledkem jsou experimentální formy návrhu i jeho zefektivnění.
|
host ::
