This thesis deals with reducing automata, their normalization, and their application for a (robust) reduction analysis and localization of syntactic errors for deterministic context-free languages (DCFL). A reducing automaton is similar to a restarting automaton with two subtle differences: an explicit marking of reduced symbols (which makes it possible to determine a position of an error accurately), and moving a lookahead window inside a control unit (which brings reducing automata closer to devices of classical automata and formal language theory). In case of reducing automata, it is easier to adopt and reuse notions and approaches developed within classical theory, e.g., prefix correctness or automata minimization. For any nonempty deterministic context-free language specified by a monotone reducing automaton, both prefix correct and minimal, we propose a method of robust analysis by reduction which ensures localization of formally defined types of (real) errors, correct subwords, and subwords causing reduction conflicts (i.e., subwords with ambiguous syntactic structure that can be reduced in different words in different ways). We implement the proposed method by a new type of device (called postprefix robust analyzer) and we briefly show how to implement this method by a deterministic pushdown...

Nowadays, ITIL represents intensely extended methodology for managing ICT services in the corporate services. This whole methodology contains 26 processes in a total of 5 books covering the life cycle of ICT services. One of the processes is also a problem management which is arranged in the book of Service operation. The goal of this dissertation is to design a complex model for the problem management at Vodafone Czech Republic a.s. In the opening of this thesis, the context of the ICT services in the corporate environment is defined. The following part presents basic information which provides the methodology in general. However, it is obvious that this information is insufficient for the real usage in the corporate environment. By combinig the knowledge gained from the methodology with knowledge about other ICT corporate services and business environment, the model itself has been established. Firstly, the chosen corporation was briefly introduced and the key aspects of ICT services were defined. Secondly, the weaknesses of the current state were identified. These inputs were applied in the design of the model. The first element of the model contains a vision and strategy of problem management. Subsequently, an analysis of the interested parties from the perspective of a problem manager was presented. The tools to support the work of a problem manager were briefly outlined and also the responsibilities of each roles -- what is a problem and what is not -- were determined. This model prevents possible misunderstandings and reduces friction surfaces. The main part of the entire model is the proces itself in which were identified 4 basic phases. For the purpose of information transmission in and out of the process was designed a method of communication and escalation matrix. Draft of the model is enclosed by showing key performance indicators. The last part of this thesis contains a design of database of known errors and a discussion of current challenges in the area of the problem management. The author of this thesis is a problem manager in previously described company and therefore he was able to insert his own recommendation from practise in every model supported by casual explanation.

This thesis contains evaluation of crucial operational indicators of a waste-to-energy plant. Above all, it is lower heating value of municipal solid waste and boiler efficiency. An approach for evaluation improvement by mathematical methods is proposed. The approach is implemented in a computational tool developed in Microsoft Excel. The approach is tested and subsequently used for operational data from a real waste-to-energy plant.

This project deals with testing of web services. The result of this work will be a tool for load testing of web services using fault injection in their communication. The first part of the project discusses the basic aspects of testing web services. The second part of the work is more focused on testing high loads in combination with fault injection. The tool will allow automated run of the tests. The distributed model of the tool was designed to simulate real loads. In the last chapter are summarized achieved results.

The aim of the thesis is to propose a tagging system for a learner corpus of spoken English which would, apart from tagging errors, focus also on the features specific for spoken language. Theoretical part, therefore, introduces basic concepts including learner language, the development of learner corpora in the last 20 years and both classical and computer-aided error analysis. Features typical of spoken language are described in the theoretical part as well since these are the focus of the research part of the thesis. The Louvain tagging system used for error-tagging of a leaner corpus of written language is used as the basis for the tagging system proposed in this thesis. Based on the analysis of 20 transcriptions taken from the Czech part of spoken learner corpus LINDSEI, modifications of the categories taken from the Louvain error-tagging system are proposed and new categories necessary for a better description of spoken language are introduced. The tagging system proposed in this thesis should make further analysis of the tagged corpus easier.

Satellite instruments currently provide the largest source of infor- mation to today's data assimilation (DA) systems for numerical weather predic- tion (NWP). With the development of high-resolution models, the efficient use of observations at high density is essential to improve small-scale information in the weather forecast. However, a large amount of satellite radiances has to be removed from DA by horizontal data thinning due to uncorrelated observation error assumptions. Moreover, satellite radiances include systematic errors (biases) that may be even larger than the observation signal itself, and must be properly removed prior to DA. Although the Variational Bias Correction (VarBC) scheme is widely used by global NWP centers, there are still open questions regarding its use in Limited-Area Models (LAMs). This thesis aims to tackle the obser- vation error difficulties in assimilating polar satellite radiances in the meso-scale ALADIN system. Firstly, we evaluate spatial- and inter-channel error correla- tions to enhance the positive effect of data thinning. Secondly, we study satellite radiance bias characteristics with the key aspects of the VarBC in LAMs, and we compare the different VarBC configurations with regards to forecast performance. This work is a step towards improving the...

Kristýna Komárková ABSTRACT The diploma thesis deals with dealing with errors while teaching French as a foreign language with regard to speaking. The first part of the thesis contains the definition of the term error, its conception within modern teaching methods, classification of errors and most common causes of their occurrence. Corrective strategies analysis and particularities of dealing with errors within spoken language can also be found within the theoretical part of the thesis. Those theoretical findings are then applied in the practical part of the thesis which contains two case studies that are subject of the analysis of the corrective strategies used in French language classes at primary school. The practical part continues with a survey conducted between both teachers and pupils. The questionnaire is designed in order that it is possible to compare the views of pupils and teachers on the issue of error correction in the process of teaching and learning foreign languages. In particular, teachers are asked about the procedure and techniques they apply while they are dealing with pupils' errors, while questions for pupils focus more on their feelings that the error and error correction arise in themselves. The aim of the thesis was to compare teachers' and pupils' opinions on dealing with...

Abstract: Alibrahim, Jalaa. Monetary policy of the Visegrad Group countries in comparison with the Euro area. Master thesis, Mendel University in Brno, Brno 2018. The aim of this diploma thesis is to compare monetary policy of Visegrad Group countries and the Euro area (European central bank’s monetary policy within Slovakia) during the observed period from 2001 to 2017 and the focus will be on the inflation in these countries. Research was focused on the long- run relationship between variables under study during the period, application of granger causality and the impulse responses. The empirical results will demonstrate how the variables were moving and related to each other during the period. This will show how the monetary policy in the Visegrad Group countries affected the inflation rate and in comparison, with the ECB policy within Slovakia after 2009.

Thesis is focused on the issue of compiling an inventory of works, supplies and services of the construction, which is part of the tender documentation for public contracts. The work deals with the issue of prices, budgets and the tender documentation itself. It also lists the most common errors in compiling a list of works, supplies and services in accordance to Decree No. 169/2016 Coll. Individual errors are written and subsequently analyzed according to selected parameters. Based on this analysis, a methodology for checking inventories of works, supplies and services is compiled.

This work investigates mainly panel data models in which cross-sections can be considered independent. In the first part, we summarize results in the field of pool models and one-way error component models with fixed and random effects. We focus especially on the ways of estimating unknown parameters and on effects significance tests. We also briefly describe two-way error component model issues. In the second part, estimators of first order autoregressive panel data model parameters are derived, for both fixed and random parameters case. The work proves unbiasedness, consistency and asymptotic normality of selected estimators. Using these features, hypothesis tests about corresponding parameters are derived. Application of models is illustrated using real data and simulated data examples. Powered by TCPDF (www.tcpdf.org)