|
Tax and legal issues of real-estate business in Austria
Banctel, Kristýna ; Filipová, Vladimíra (advisor) ; Drozen, František (referee)
The purpose of this study is to compare tax and civil-law issues concerning property business in Austria and in Czech Republic in 2016 and to investigate the efficiency of the current legislation against the real estate bubble. The theoretical part of this study contains selected demographic and price statistics concerning real estate in both countries and focuses on the description of the existing law currently in effect in both compared countries. The practical part analyses tax and transactions costs that concern property trading and a comparison of possibilities of amortisations and rentability of a rented flat in both countries.
|
|
Introduction to bio art
Šperanda, Nina ; SILVERIO, Robert (advisor) ; JANOŠČÍK, Václav (referee)
Bio art is a contemporary art practice that works with living organisms (except humans) or is created in cooperation with living organisms. It is relatively new art movement that is rooted deeply inside the history of evolution, domestication of animals and plants, technological discoveries, their development and science. Never before was art questioning its ethics and aesthetics in such profound, molecular and sub-molecular way.
In this work I will consider the historical influences and conditions that led to current developments in the field. I will also try to explain the problematics of defining what bio art is and try to clarify the associated terminology. Most relevant and ground breaking works in the field will be mentioned as some new recent developments.
Aesthetics of bio art is also an important subject often set aside by the ado around ethics of it. It is an extremely important subject to be considered when talking about bio art and I will try to sketch out a brief outline of it with references to philosophy and contemporary bio art theory.
|
|
Evaluation of the effectiveness of teaching vocational subjects depending on physical activity before schooling.
Janošíková, Martina ; Hanušová, Marie (advisor)
The period of transition to secondary school brings substantial changes in the requirements for study obligations, autonomy, communication, expression, or separated from their families in the form of staying at the dormitory. Students enrolled in sport centers, in addition to these changes, still struggling with the responsibilities associated with sport. Because they are students first through fourth grades of secondary schools and secondary vocational schools, an age when image self-I am, what I believe in, arises in interactions with the outside world and their own experience, plays a very important role to influence the environment, educators, teachers and trainers, with which students spend most of their time in practice. This study looks at students comprehensively in terms of personal development as a multifactorial biopsychosocial unit, in terms of cognitive and motivational processes, states and properties from the perspective of social psychology dealing with the interactions, relationships and communication, psychology of individuals within the social group and its importance for the development of the individual . It monitors conditions and educational outcomes in terms of educational psychology, dealing with forming properties, opinions, attitudes and value orientation from the perspective of educational psychology.
|
|
Influence of meadow management on the migration behavior of selected species of butterflies
Bubová, Terezie ; Langrová, Iva (advisor) ; Farkač, Jan (referee)
Migrations are the key process and one of the basic biological features, which allow survival of endangered species in fragmented landscape. In the last decades, agriculture intensification, industry and urbanization caused that number of natural butterfly habitats has significantly decreased. The localities originally suitable for butterflies are currnetly converted to farmland or building plots. This PhD thesis aimed to find a compromise solution of meadow management, which should allow a commercial use and concurrently do not jeopardize the continued existence of endangered or threatened species. The main idea of this study was in the intentional emigration causing in the middle of flight period, which should lead into resettlement of the population to another (potentially more suitable) locality. Possibility of aimed manipulation with butterfly emigrations would be considered as a major breakthrough in their protection.
The investigated species Phengaris nausithous (Bergsträsser, 1779) and Phengaris teleius (Bergsträsser, 1779) are both considered to be flagship species for protection of European butterflies at open meadows. This study is based on research, which was carried out in 2013-2015 at 17 patch in localities Dolní Labe, Czech Republic. In above mentioned years, one selected meadow was mowed in the middle of flight season and the emigrations were then monitored using mark-release-recapture method. Results of population and migration characteristics were calculated in MARK 8.1 software. Subsequently, the effect of mowing on emigration (comparison of emigrations from the meadow before and after mowing) was evaluated using Statistica 13.
The hypotheses of this study were based on the assumption, that the loss of resources after well-timed mowing should increase the activity of adult butterflies. During the monitoring, number of emigrations was increased only in flight season 2015. Unfortunately, the statistical evaluation did not show significant effect of mowing on migrations. On the other hand, the hypothesis dealing with colonization of nearest meadows was confirmed.
Effect of intentional emigration caused by management interventions was unfortunately not proved. However, we found out, that even though the population at one mowed meadow decreased clearly, the metapopulation size at the locality remained more or less stable.
At investigated (mowed) meadow, there was observed a sharp decline of P. nausithous abundance. On the other hand, P. teleius population was only slightly reduced. It is therefore conceivable, that P. teleius are not as susceptible to innapropriate term of mowing. The results obtained in our research conclusively displayed no possible positive effect of mowing in the middle of flight season and a necessity of suitable management maintenance at localities inhabited by Phengaris butterflies.
|
|
Noise, Transport and Structural Properties of High Energy Radiation Detectors Based on CdTe
Šik, Ondřej ; Lazar, Josef (referee) ; Navrátil, Vladislav (referee) ; Grmela, Lubomír (advisor)
Poptávka ze strany vesmírného výzkumu, zdravotnictví a bezpečnostního průmyslu způsobila v posledních letech zvýšený zájem o vývoj materiálů pro detekci a zobrazování vysokoenergetického záření. CdTe a jeho slitina CdZnTe. jsou polovodiče umožnují detekci záření o energiích v rozsahu 10 keV až 500 keV. Šířka zakázaného pásma u CdTe / CdZnTe je 1.46 -1.6 eV, což umožňuje produkci krystalů o vysoké rezistivitě (10^10-10^11 cm), která je dostačující pro použití CdTe / CdZnTe při pokojové teplotě. V mé práci byly zkoumány detektory CdTe/CdZnTe v různých stádiích jejich poruchovosti. Byly použity velmi kvalitní spektroskopické detektory, materiál s nižší rezistivitou a výraznou polarizací, detektory s asymetrií elektrických parametrů kontaktů a teplotně degenerované vzorky. Z výsledků analýzy nízkofrekvenčního šumu je patrný obecný závěr, že zvýšená koncentrace defektů způsobí změnu povahy původně monotónního spektra typu 1/f na spektrum s výrazným vlivem generačně-rekombinačních procesů. Další výrazná vlastnost degenerovaných detektorů a detektorů nižší kvality je nárůst spektrální hustoty šumu typu 1/f se vzrůstajícím napájecím napětí se směrnicí výrazně vyšší než 2. Strukturální a chemické analýzy poukázaly, že teplotní generace detektorů způsobuje difuzi kovu použitého při kontaktování a stopových prvků hlouběji do objemu krystalu. Část mé práce je věnována modifikaci povrchu svazkem argonových iontů a jejímu vlivu na chemické složení a morfologii povrchu.
|
|
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.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (referee) ; Sojka, Eduard (referee) ; Zemčík, Pavel (advisor)
Detekce objektů v počítačovém vidění je složítá úloha. Velmi populární a rozšířená metoda pro detekci je využití statistických klasifikátorů a skenovacích oken. Pro učení kalsifikátorů se často používá algoritmus AdaBoost (nebo jeho modifikace), protože dosahuje vysoké úspěšnosti detekce, nízkého počtu chybných detekcí a je vhodný pro detekci v reálném čase. Implementaci detekce objektů je možné provést různými způsoby a lze využít vlastnosti konkrétní architektury, pro urychlení detekce. Pro akceleraci je možné využít grafické procesory, vícejádrové architektury, SIMD instrukce, nebo programovatelný hardware. Tato práce představuje metodu optimalizace, která vylepšuje výkon detekce objektů s ohledem na cenovou funkci zadanou uživatelem. Metoda rozděluje předem natrénovaný klasifikátor do několika různých implementací, tak aby celková cena klasifikace byla minimalizována. Metoda je verifikována na základním experimentu, kdy je klasifikátor rozdělen do předzpracovací jednotku v FPGA a do jednotky ve standardním PC.
|
|
STATISTICAL LANGUAGE MODELS BASED ON NEURAL NETWORKS
Mikolov, Tomáš ; Zweig, Geoffrey (referee) ; Hajič,, Jan (referee) ; Černocký, Jan (advisor)
Statistické jazykové modely jsou důležitou součástí mnoha úspěšných aplikací, mezi něž patří například automatické rozpoznávání řeči a strojový překlad (příkladem je známá aplikace Google Translate). Tradiční techniky pro odhad těchto modelů jsou založeny na tzv. N-gramech. Navzdory známým nedostatkům těchto technik a obrovskému úsilí výzkumných skupin napříč mnoha oblastmi (rozpoznávání řeči, automatický překlad, neuroscience, umělá inteligence, zpracování přirozeného jazyka, komprese dat, psychologie atd.), N-gramy v podstatě zůstaly nejúspěšnější technikou. Cílem této práce je prezentace několika architektur jazykových modelůzaložených na neuronových sítích. Ačkoliv jsou tyto modely výpočetně náročnější než N-gramové modely, s technikami vyvinutými v této práci je možné jejich efektivní použití v reálných aplikacích. Dosažené snížení počtu chyb při rozpoznávání řeči oproti nejlepším N-gramovým modelům dosahuje 20%. Model založený na rekurentní neurovové síti dosahuje nejlepších publikovaných výsledků na velmi známé datové sadě (Penn Treebank).
|
|
Point and Line Parameterizations Using Parallel Coordinates for Hough Transform
Juránková, Markéta ; Kälviäinen, Heikki (referee) ; Kittler, Josef (referee) ; Herout, Adam (advisor)
Tato dizertační práce se zaměřuje na použití paralelních souřadnic pro parametrizaci čar a bodů. Paralelní souřadný systém má souřadnicové osy vzájemně rovnoběžné. Bod ve dvourozměrném prostoru je v paralelních souřadnicích zobrazen jako přímka a přímka jako bod. Toho je možné využít pro Houghovu transformaci - metodu, při které body zájmu hlasují v prostoru parametrů pro danou hypotézu. Parametrizace pomocí paralelních souřadnic vyžaduje pouze rasterizaci úseček, a proto je velmi rychlá a přesná. V práci je tato parameterizace demonstrována na detekci maticových kódů a úběžníků.
|
|
Optimization of network flow monitoring
Žádník, Martin ; Lhotka,, Ladislav (referee) ; Matoušek, Radomil (referee) ; Sekanina, Lukáš (advisor)
The thesis deals with optimization of network flow monitoring. Flow-based network traffic processing, that is, processing packets based on some state information associated to the flows which the packets belong to, is a key enabler for a variety of network services and applications. The number of simultaneous flows increases with the growing number of new services and applications. It has become a challenge to keep a state per each flow in a network device processing high speed traffic. A flow table, a structure with flow states, must be stored in a memory hierarchy. The memory closest to the processing is known as a flow cache. Flow cache management plays an important role in terms of its effective utilization, which affects the performance of the whole system. This thesis focuses on an automated design of cache replacement policy optimized to a deployment on particular networks. A genetic algorithm is proposed to automate this process. The genetic algorithm generates and evaluates evolved replacement policies by a simulation on obtained traffic traces. The proposed algorithm is evaluated by designing replacement policies for two variations of the cache management problem. The first variation is an evolution of the replacement policy with an overall low number of state evictions from the flow cache. The second variation represents an evolution of the replacement policy with a low number of evictions belonging to large flows only. Optimized replacement policies for both variations are found while experimenting with various encoding of the replacement policy and genetic operators. The newly evolved replacement policies achieve better results than other tested policies. The evolved replacement policy lowers the overall amount of evictions by ten percent in comparison with the best compared policy. The evolved replacement policy focusing on large flows lowers the amount of their evictions two times. Moreover, no eviction occurs for most of the large flows (over 90%). The evolved replacement policy offers better resilience against flooding the flow cache with large amount of short flows which are typical side effects of scanning or distributed denial of service activities. An extension of the replacement policy is also proposed. The extension complements the replacement policy with an additional information extracted from packet headers. The results show further decrease in the number of evictions when the extension is used.
|
guest ::
