|
Společné znaky filmů integrujicích fenomén divadla do své narativní i stylistické struktury
Merková, Hana ; JAŘAB, David (vedoucí práce) ; Havas, David (oponent)
Tato bakalářská práce se zabývá společnými znaky takových filmů zahraniční i české produkce, které integrují fenomén divadla do své narativní i stylistické struktury. Pro správné upřesnění oblasti zájmu nejprve vymezuje, že se nejedná o audiovizuální záznam divadelního představení, filmovou adaptací dramatického textu ani o vložení divadelního představení nebo jeho části do obsahové složky filmu. V následujících kapitolách samostatně popisuje a analyzuje tři vybrané filmy pracující s divadelností, hledá zdůvodnění použití vzájemné komunikace dvou médií jako autorského postupu a v neposlední řadě shrnuje společné tematické i formální znaky těchto filmů.
|
|
Taneční výchova hyperaktivních dětí předškolního věku
Lacková, Ivana ; LÖSSL, Jiří (vedoucí práce) ; FRIČOVÁ, Marie (oponent)
Tématem práce je Taneční výchova hyperaktivních dětí předškolního věku. Cílem výzkumu bylo popsat zvláštnosti výuky hyperaktivních dětí s ohledem na taneční výuku.
V první části je popsán syndrom ADHD. Jsou zde popsány zvláštní potřeby dětí s tímto syndromem s ohledem na výchovu.
Druhá část je zaměřena na praktickou taneční hodinu dětí s ADHD. Je zde popsána ukázková taneční hodina, která je založena na teoretických poznatcích a zkušenostech odborníků.
Výsledek výzkumu přinesl zjištění, že nabídka speciálních hodin je velmi omezená a je to velká škoda. V diplomové práci bylo zjištěno, že výuka se speciálním programem může pomoci dětem s ADHD a může být dobrým doplňkem ke standardní lékařské terapii.
|
|
Sólový výstup
Zelinka, Marek ; PETIŠKOVÁ, Ladislava (vedoucí práce) ; HALAŠ, Adam (oponent)
Bakalářská práce se zabývá sólovým výstupem. Práce má dvě hlavní částí. První - obecná část je věnována základním pojmům, které se týkají dramatického - divadelního výstupu v okruhu děl různých divadelních druhů. Druhá část zkoumá sólové performance na příkladech vybraných interpretů a jejich sólových výstupů napříč žánry. Závěrečné shrnutí vychází z osobního zhodnocení možností a proměn sólového výstupu.
|
|
Diverzita na pracovním trhu
Gaydoshikova, Ekaterina ; Dvořák, Marek (vedoucí práce)
Cílem diplomové práce je zhodnocení problematiky diverzity pracovního trhu v České republice na příkladu konkrétních organizací, zhodnocení realizace konceptu diverzity na pracovišti na základě zvolených faktorů. Při analýze diverzity je kladen důraz na primární a sekundární znaky diverzity: věk, pohlaví, národnost, mentální a fyzické schopnosti, rodinný stav, náboženství, pracovní zkušenost. Práce se skládá ze dvou částí, teoretické a praktické. V teoretické části jsou definovány pojmy: diverzita, rovné příležitosti, primární a sekundární znaky diverzity, význam akceptace diverzity jako hodnoty. Praktická část se zabývá implementací diverzity do praxe na základě analytických metod (analýza: pracovní síly, dokumentů a výzkum postojů) a návrhu zakomponování do příslušných strategických postupů organizace.
|
|
Analýza rizika posouzení nosné ŽB konstrukce
Bohatec, Jiří ; Laníková, Ivana (oponent) ; Šimůnek, Petr (vedoucí práce)
Diplomová práce se zabývá hodnocením rizik v průběhu zesilování železobetonového sloupu. Popisuje hodnocení existujících konstrukcí dle normy ČSN ISO 13822, rozebírá nebezpečí, která mohou nastat při určení únosnosti stávající konstrukce. Dále práce popisuje jednotlivé fáze zesilování ocelovou bandáží, jejich působení a vliv na celkovou únosnost. Také ukazuje výpočetní postup zesilování železobetonového sloupu, pomocí ocelové bandáže, vycházející z normy ČSN EN 1992-1-1 a ČSN EN 1998-3. Na konkrétním příkladu zesílení je ukázán postup stanovení únosnosti a poté je navrženo její zvýšení. Na dvou příkladech je provedena analýza rizika pomocí univerzální maticové analýzy rizik, která identifikuje a kvantifikuje význam jednotlivých nebezpečí spojených s výpočtem a realizací projektu.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (oponent) ; Sojka, Eduard (oponent) ; Zemčík, Pavel (vedoucí práce)
Detection of objects in computer vision is a complex task. One of most popular and well explored approaches is the use of statistical classifiers and scanning windows. In this approach, classifiers learned by AdaBoost algorithm (or some modification) are often used as they achieve low error rates, high detection rates and they are suitable for detection in real-time applications. Object detection run-time which uses such classifiers can be implemented by various methods and properties of underlying architecture can be used for speed-up of the detection. For the purpose of acceleration, graphics hardware, multi-core architectures, SIMD or other means can be used. The detection is often implemented on programmable hardware. The contribution of this thesis is to introduce an optimization technique which enhances object detection performance with respect to an user defined cost function. The optimization balances computations of previously learned classifiers between two or more run-time implementations in order to minimize the cost function. The optimization method is verified on a basic example -- division of a classifier to a pre-processing unit implemented in FPGA, and a post-processing unit in standard PC.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
Although many examples showing the merits of evolutionary design over conventional design techniques utilized in the field of digital circuits design have been published, the evolutionary approaches are usually hardly applicable in practice due to the various so-called scalability problems. The scalability problem represents a general problem that refers to a situation in which the evolutionary algorithm is able to provide a solution to a small problem instances only. For example, the scalability of evaluation of a candidate digital circuit represents a serious issue because the time needed to evaluate a candidate solution grows exponentially with the increasing number of primary inputs. In this thesis, the scalability problem of evaluation of a candidate digital circuit is addressed. Three different approaches to overcoming this problem are proposed. Our goal is to demonstrate that the evolutionary design approach can produce interesting and human competitive solutions when the problem of scalability is reduced and thus a sufficient number of generations can be utilized. In order to increase the performance of the evolutionary design of image filters, a domain specific FPGA-based accelerator has been designed. The evolutionary design of image filters is a kind of regression problem which requires to evaluate a large number of training vectors as well as generations in order to find a satisfactory solution. By means of the proposed FPGA accelerator, very efficient nonlinear image filters have been discovered. One of the discovered implementations of an impulse noise filter consisting of four evolutionary designed filters is protected by the Czech utility model. A different approach has been introduced in the area of logic synthesis. A method combining formal verification techniques with evolutionary design that allows a significant acceleration of the fitness evaluation procedure was proposed. The proposed system can produce complex and simultaneously innovative designs, overcoming thus the major bottleneck of the evolutionary synthesis at gate level. The proposed method has been evaluated using a set of benchmark circuits and compared with conventional academia as well as commercial synthesis tools. In comparison with the conventional synthesis tools, the average improvement in terms of the number of gates provided by our system is approximately 25%. Finally, the problem of the multiple constant multiplier design, which belongs to the class of problems where a candidate solution can be perfectly evaluated in a short time, has been investigated. We have demonstrated that there exists a class of circuits that can be evaluated efficiently if a domain knowledge is utilized (in this case the linearity of components).
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis is focused on techniques for finite automata and their use in practice, with the main emphasis on nondeterministic tree automata. This concerns namely techniques for size reduction and language inclusion testing, which are two problems that are crucial for many applications of tree automata. For size reduction of tree automata, we adapt the simulation quotient technique that is well established for finite word automata. We give efficient algorithms for computing tree automata simulations and we also introduce a new type of relation that arises from a combination of tree automata downward and upward simulation and that is very well suited for quotienting. The combination principle is relevant also for word automata. We then generalise the so called antichain universality and language inclusion checking technique developed originally for finite word automata for tree automata. Subsequently, we improve the antichain technique for both word and tree automata by combining it with the simulation-based inclusion checking techniques, significantly improving efficiency of the antichain method. We then show how the developed reduction and inclusion checking methods improve the method of abstract regular tree model checking, the method that was the original motivation for starting the work on tree automata. Both the reduction and the language inclusion methods are based on relatively simple and general principles that can be further extended for other types of automata and related formalisms. An example is our adaptation of the reduction methods for alternating Büchi automata, which results in an efficient alternating automata size reduction technique.
|
|
Query-by-Example Spoken Term Detection
Fapšo, Michal ; Matoušek, Jindřich (oponent) ; Metze, Florian (oponent) ; Černocký, Jan (vedoucí práce)
This thesis investigates query-by-example (QbE) spoken term detection (STD). Queries are entered in their spoken form and searched for in a pool of recorded spoken utterances, providing a list of detections with their scores and timing. We describe, analyze and compare three different approaches to QbE STD, in various language-dependent and language-independent setups with diverse audio conditions, searching for a single example and five examples per query. For our experiments we used Czech, Hungarian, English and Levantine data and for each of the languages we trained a 3-state phone posterior estimator. This gave us 16 possible combinations of the evaluation language and the language of the posterior estimator, out of which 4 combinations were language-dependent and 12 were language-independent. All QbE systems were evaluated on the same data and the same features, using the metrics: non-pooled Figure-of-Merit and our proposed utterrance-normalized non-pooled Figure-of-Merit, which provided us with relevant data for the comparison of these QbE approaches and for gaining a better insight into their behavior. QbE approaches presented in this work are: sequential statistical modeling (GMM/HMM), template matching of features (DTW) and matching of phone lattices (WFST). To compare the performance of QbE approaches with the common query-by-text STD systems, for language-dependent setups we also evaluated an acoustic keyword spotting system (AKWS) and a system searching for phone strings in lattices (WFSTlat). The core of this thesis is the development, analysis and improvement of the WFST QbE STD system, which after the improvements, achieved similar performance to the DTW system in language-dependent setups.
|
|
Security of Contactless Smart Card Protocols
Henzl, Martin ; Rosa, Tomáš (oponent) ; Staudek, Jan (oponent) ; Hanáček, Petr (vedoucí práce)
This thesis analyses contactless smart card protocol threats and presents a method of semi-automated vulnerability finding in such protocols using model checking. Designing and implementing secure applications is difficult even when secure hardware is used. High level application specifications may lead to different implementations. It is important to use the smart card correctly, inappropriate protocol implementation may introduce a vulnerability, even if the protocol is secure by itself. The goal of this thesis is to provide a method that can be used by protocol developers to create a model of arbitrary smart card, with focus on contactless smart cards, to create a model of the protocol, and to use model checking to find attacks in this model. The attack can be then executed and if not successful, the model is refined for another model checker run. The AVANTSSAR platform was used for the formal verification, models are written in the ASLan++ language. Examples are provided to demonstrate usability of the proposed method. This method was used to find a weakness of Mifare DESFire contactless smart card. This thesis also deals with threats not possible to cover by the proposed method, such as relay attacks.
|
host ::
