National Repository of Grey Literature 15,264 records found  1 - 10nextend  jump to record: Search took 1.03 seconds. 


Integration of Apple Mac computers into corporate environment
Světlík, Martin ; Bruckner, Tomáš (advisor) ; Rathouský, Tomáš (referee)
Corporate informatics has undergone a number of changes in past few years. Used devices are becoming more independent from the OS, they rely more on provided services and the level of security. Cloud technologies are increasingly growing in significance and a large number of companies offer their employees BYOD (Bring Your Own Device). This thesis focuses on integration of Apple Mac computers into corporate environments, based on analysis of contemporary approaches and possibilities of dealing with integration. An important part of this thesis is research of chosen implemented solutions in the Czech republic. From both parts of this thesis it then offers recommendations, which are based on practical experience of companies that widely use and deal with integration of Mac computers.

Use of Interest Rate Models for Interest Rate Risk Management in the Czech Financial Market Environment
Cíchová Králová, Dana ; Arlt, Josef (advisor) ; Cipra, Tomáš (referee) ; Witzany, Jiří (referee)
The main goal of this thesis is to suggest an appropriate approach to interest rate risk modeling in the Czech financial market environment in various situations. Three distinct periods are analyzed. These periods, which are the period before the global financial crisis, period during the financial crisis and in the aftermath of the global financial crisis and calming subsequent debt crisis in the eurozone, are characterized by different evaluation of liquidity and credit risk, different relationship between financial variables and market participants and different degree of market regulations. Within this goal, an application of the BGM model in the Czech financial market environment is crucial. Use of the BGM model for the purpose of predicting a dynamics of a yield curve is not very common. This is firstly due to the fact that primary use of this model is a valuation of interest rate derivatives while ensuring the absence of arbitrage and secondly its application is relatively difficult. Nevertheless, I apply the BGM model to obtain predictions of the probability distributions of interest rates in the Czech and eurozone market environment, because its complexity, direct modeling of a yield curve based on market rates and especially a possibility of parameter estimation based on current swaptions volatilities quotations may lead to a significant improvement of predictions. This improvement was also confirmed in this thesis. Use of swaptions volatilities market quotations is especially useful in the period of unprecedented mone- tary easing and increased number of central banks and other regulators interventions into financial markets that occur after the financial crisis, because it reflects current market expectations which also include future interventions. As a consequence of underdevelopment of the Czech financial market there are no market quotations of Czech koruna denominated swaptions volatilities. I suggest their approximations based on quotations of euro denominated swaptions volatilities and also using volatilities of koruna and euro forward rates. Use of this approach ensures that predictions of the Czech yield curve dynamics contain current market expectations. To my knowledge, any other author has not presented similar application of the BGM model in the Czech financial market environment. In this thesis I further predict a Czech and Euro area money market yield curve dynamics using the CIR and the GP models as representatives of various types of interest rates models to compare these predictions with BGM predictions. I suggest a comprehensive system of three criteria, based on comparison of predicti- ons with reality, to describe a predictive power of selected models and an appropria- teness of their use in the Czech market environment during different situations in the market. This analysis shows that predictions of the Czech money market yield curve dynamics based on the BGM model demonstrate high predictive power and the best 8 quality in comparison with other models. GP model also produces relatively good qua- lity predictions. Conversely, predictions based on the CIR model as a representative of short rate model family completely failed when describing reality. In a situation when the economy allows negative rates and there is simultaneously a significant likelihood of their implementation, I recommend to obtain predictions of Czech money market yield curve dynamics using GP model which allows existence of negative interest rates. This analysis also contains a statistical test for validating the predictive power of each model and information on other tests. Berkowitz test rejects a hypothesis of accurate predictions for each model. However, this fact is common in real data testing even when using relatively good model. This fact is especially caused by difficult fulfilment of test conditions in real world. To my knowledge, such an analysis of the predictive power of selected interest rate models moreover in the Czech financial market environment has not been published yet. The last goal of this thesis is to suggest an appropriate approach to obtaining pre- dictions of Czech government bonds risk premium dynamics. I define this risk premium as a difference between government bond yields and fixed rate of CZK IRS with the same length. I apply the GP model to describe the dynamics of this indicator of the Czech Republic credit risk. In order to obtain a time series of the risk premium which are necessary for estimation of GP model parameters I firstly estimate yield curves of Czech government bonds using Svensson model for each trading day since 2005. Resulting si- mulations of risk premium show that the GP model predicts the real development of risk premiums of all maturities relatively well. Hence, the proposed approach is suitable for modeling of Czech Republic credit risk based on the use of information extracted from financial markets. I have not registered proposed approach to risk premium modeling moreover in the Czech financial market environment in other publications.

Prototyping of mobile apps and their testing in real environment
Ornst, Zdeněk ; Sigmund, Tomáš (advisor) ; Michaličová, Alexandra (referee)
This thesis describes process of designing mobile user interface with regard to the context of use. In this context the discipline of prototyping and its utilization for designing is further examined. Next focus is on the principles of user testing of usability in mobile applications. Building on theoretical knowledge the solution for usability testing of prototypes in real environment is proposed. It aims to more effective process of designing mobile applications. The solution is presented on real case with evaluation of its success.

E-learning support for lifelong training
Žažo, David ; Husa, Jiří (advisor) ; Marek, Marek (referee)
The bachelor thesis deals with the process of creating an e-learning course for the personnel operating with the camera system of the municipal police in Chomutov. This course is created on the base of need to introduce the controlling software IndigoVison Control Center to the current employees and also to the new employees. During the course, the participants get familiar with the features, options, and operating principles of the software. At the end of the course, the knowledge gained by completing the course is validated by the final test. The entire course is evaluated, based on test results and interviews with the participants. The theoretical part deals with e-learning, it mentions the advantages and disadvantages as well as the specifics associated with adult education. The practical part is a detailed presentation of the course, which is fully implemented in an environment of MoodleCloud and it is practical result of the thesis.

History of the North Czech philharmonic Teplice
Kolařík, Tomáš ; PANOCHA, Jiří (advisor) ; TOMÁŠEK, Jiří (referee)
In his master thesis the author provides a look into the history of The North Czech philharmonic Teplice, the only professional symphonic ensemble in the region of Ústí nad Labem, since 1948 until now. The work is divided into four main chapters. The first one gives an overview about the most significant conductors, which held a position of either a chief-conductor or a deputy. The second, crucial chapter brings an insight to the historical development of the orchestra, its changes and events, from the time of the re-establishment (1948) to the year 2016. In the third chapter, the author mentions the most important information about Ludwig van Beethoven music festival, of which The North Czech philharmonic Teplice is an organizer, and then gives a brief and incomplete list of the festival's seasons. The final chapter marginally sums up the work with the information about a new feature called "orchestra academy", inspired by the main czech orchestras. The thesis is attached with pictures showing the rehearsals and concerts environment in the time course and recent images of the orchestra, which enhance the possible plain and fact-like character of the whole work.

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.

Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (referee) ; Šlapal, Josef (referee) ; Švéda, Miroslav (advisor)
Práce představuje model a metody analýzy vlasností komunikace v počítačových sítích. Model dosažitelnosti koncových prvků v IP sítích je vytvořen na základě konfigurace a síťové topologie a umožňuje ukázat, že vabraný koncový uzel je dosažitelný v dané síťové konfiguraci a stavu.   Prezentovaná práce se skládá ze dvou částí. První část se věnuje modelování sítí, chování směrovaích protokolů a síťové konfiguraci. V rámci modelu sítě byla vytvořena modifikovaná topologická tabulka (MTT), která slouží pro agregaci síťových stavů určených pro následnou analýzu. Pro analýzu byl použit přístup založený na logickém programování, kdy model sítě je převeden do Datalog popisu a vlastnosti jsou ověřovány kladením dotazů nad logickou databází. Přínosy práce spočívají v definici grafu síťových filtrů, modifikované topologické tabulce, redukce stavového prostoru agrgací síťových stavů, modelů aktivního síťového prvku jako filter-transformace komponenty a metoda pro analýzu dosažitelnosti založena na logickém programování a databázích.   

Navigation of mobile robots
Rozman, Jaroslav ; Matoušek,, Václav (referee) ; Šolc, František (referee) ; Zbořil, František (advisor)
Mobile robotics has been very discussed and wide spread topic recently.   This due to the development in the computer technology that allows us to create   better and more sophisticated robots. The goal of this effort is to create robots   that will be able to autonomously move in the chosen environment. To achieve this goal,   it is necessary for the robot to create the map of its environment, where   the motion planning will occur. Nowadays, the probabilistic algorithms based   on the SLAM algorithm are considered standard in the mapping in these times.   This Phd. thesis deals with the proposal of the motion planning of the robot with   stereocamera placed on the pan-and-tilt unit. The motion planning is designed with   regard to the use of algorithms, which will look for the significant features   in the pair of the images. With the use of the triangulation the map, or a model will be created.     The benefits of this work can be divided into three parts. In the first one the way   of marking the free area, where the robot will plan its motion, is described. The second part   describes the motion planning of the robot in this free area. It takes into account   the properties of the SLAM algorithm and it tries to plan the exploration in order to create   the most precise map. The motion of the pan-and-tilt unit is described in the third part.   It takes advantage of the fact that the robot can observe places that are in the different   directions than the robot moves. This allows us to observe much bigger space without   losing the information about the precision of the movements.

Multimedia Data Processing in Heterogeneous Distributed Environment
Kajan, Rudolf ; Ferko,, Andrej (referee) ; Míkovec, Zdeněk (referee) ; Herout, Adam (advisor)
Pervasive computing sa zameriava odstránenie zložitostí pri interakcii s výpočtovou technikou a zvýšenie efektivity pri jej každodennom používaní. Ale i po viac ako 15 rokoch od sformulovania hlavných cieľov Pervasive computingu existujú aspekty interakcie ktoré stále nie sú súčasťou užívateľskej skúsenosti s dnešnou technológiou. Bezproblémová integrácia s prostredím vedúca k technologickej neviditeľnosti, alebo interakcia naprieč rôznymi zariadeniami predstavujú stále veľkú výzvu. Hlavným cieľom tejto práce je prispieť k tomu, aby sa ciele Pervasive computingu priblížili k realizovaniu tým, že predstavíme spôsob intuitívneho zdieľania informácií medzi osobným a verejne umiestneným zariadením. Predstavili sme tri interakčné techniky, ktoré podporujú intuitívnu výmenu obsahu medzi osobným zariadením a zdieľaným displejom. Tieto techniky sú založené na prenose videa, rozšírenej realite a analýze pohľadových dát. Okrem interakčných techník sme tiež predstavili mechanizmus pre získavanie, prenos a rekonštrukciu aplikačného stavu na cieľovom zariadení.