This thesis deals with the application of bounded model checking method for self-healing assurance of concurrency related problems. The self-healing is currently interested in the Java programming language. Therefore, it concetrate mainly on the model checker Java PathFinder which is built for handling Java programs. The verification method is implemented like the Record&Replay trace strategy for navigation through a state space and performance bounded model checking from reached state through the use of Record&Replay trace strategy. Java PathFinder was extended by new moduls and interfaces in order to perform the bounded model checking for self-healing assurance. Bounded model checking is applied at the neighbourhood of self-healing.

This thesis explores teacher's feedback, its definition, types, and is specifically focused on feedback moves in context of teaching Czech as a foreign language. The aim of this thesis is to present current research on the feedback in the context of teaching a second/foreign language and describe how the feedback is used in Czech language courses for foreigners and what instruments teachers use for such purpose. The first part is focusing on the feedback as part of the educational dialogue and communication in the language classroom; introducing some concepts and hypotheses of second language acquisition in which feedback figures. We also provide a description of feedback, both positive and corrective, and we present current studies concerning feedback within language learning. The empirical part carries out conversational analysis of transcribed recordings of participant observation in Czech courses for foreigners, in which we focus on feedback moves of lecturers. The thesis includes glossary explaining relevant terms translated into Czech. Key words: Feedback, positive feedback, corrective feedback, communication in the language classroom, error correction, Czech for foreigners, conversation analysis

Fanconi anemia is an autosomal recessive disorder caused by mutation in one of Fanconi genes and it is manifested by developmental abnormalities, bone marrow failure, predisposition to cancer, cellular sensitivity to cross-linking agents and many other symptoms. Proteins encoded by Fanconi genes and some other proteins are part of Fanconi anemia pathway (FA pathway), which is responsible for DNA repair of an interstrand cross-link (ICL). The repair by this pathway requires monoubiquitination of FANCD2, which is induced and regulated by ATR dependent FANCI phosphorylation. The FANCI phosphorylation initiates the FA pathway but the molecular mechanism of this initialization is not known. Furthermore the proper function of entire pathway requires both: sequence of phosphorylation events of FANCI and monoubiquitination of FANCI:FANCD2 complex . The principle of this work was to study molecular mechanism of initiation and regulation of FA pathway by FANCI phosphorylation. Therefore phosphomimetic mutants of FANCI have been created to investigate their role in processes leading to FANCD2 monoubiquitination. The main aim was to reveal how the phosphorylation of FANCI affects DNA binding and also DNA binding of FANCI:FANCD2 complex. Since both DNA and FANCI phosphorylation are required for proper FANCD2...

DNA damage response is a complex system responsible for protection of a cell against internal and external DNA damaging agents and in maintaining genome integrity. Many of genes participating in DNA damage response pathways are polymorphic. Genetic polymorphisms in coding and regulatory regions may have impact on the function of proteins encoded by the genes. Phenotypic effect of single nucleotide polymorphisms (SNPs) is subject of investigation in connection with the ability of a cell to manage genotoxic stress and subsequently, in relation to cancer susceptibility. The aim of this thesis was to evaluate the association between SNPs in DNA repair genes (hOGG1, XRCC1, XPC) and cell cycle genes (TP53, p21CDKN1A , BCL2 and BAX) and their mRNA expression in peripheral blood lymphocytes from individuals occupationally exposed to styrene and control individuals. The aim was extended to analyses of relationships between mRNA expression levels of the above-mentioned genes and markers of exposure to styrene (concentration of styrene in blood and in air), markers of DNA damage (single strand breaks - SSBs, and endonuclease III specific sites - Endo III sites) and the base excision repair (BER) capacity, by means of γ-irradiation specific DNA repair rates and oxidative repair. Study on the group of healthy...

This dissertation deals with the topic of development of Czechoslovak press law during the First Republic, primarily through the legislative process of press law or of legislation related to press law, adopted by the National Assembly of the First Republic, and also by the impact that adopted legislation, and in particular the Act on Protection of the Republic in 1923 and amendments of press law in 1924, had on the rulings of the Supreme Court during the First Republic. It takes a comprehensive look at the development of press law during the First Republic based on the one hand on legislation carried over from Austro-Hungarian and later amended, and on the other hand on new legislation adopted during the First Republic. The study also analyses the common features of the legislative process of individual press regulations and at least in part the role of the Supreme Court in the interpreting of valid law.

The aim of the thesis is to reveal general motives of motivation used in history lessons in elementary schools. The thesis connects the theory and practice based on investigation in elementary school and deals with a resit as sufficient motivation and other impulses that affect the motivation shown in normative evaluation.

This master’s thesis deals with problems of inventory management in the International Repair Centre for Symbol Technologies Czech Republic s.r.o.. Actual inventory management is described with a focus on materials planning, storage and evidence of inventory movements using information database systems. A part of the thesis is also an analysis of inventory categories from several different aspects. The purpose of the master’s thesis is to submit suitable suggestions of how to improve existing inventory management processes.

Cieľom predkladanej diplomovej práce je skúmať a analyzovať možnosti prispôsobovania koeficientu tepelnej rozťažnosti nástrekov z kompozitných materiálov deponovaných na substráty pomocou technológie cold spray. Kompozitné materiály sú v tomto prípade reprezentované zmiešanými práškami, ktoré sú pripravené pridávaním fázy s negatívnou tepelnou rozťažnosťou do základného materiálu s kladným koeficientom tepelnej rozťažnosti. Takto pripravené nástreky môžu byť užitočné pri opravovaní a renovácii strojárenských súčiastok. V prvej časti je priblížená samotná technológia cold spray spolu s jej využitím pri opravách a renováciách v strojárenskom priemysle. Ďalej sa práca zaoberá tepelnou rozťažnosťou materiálov, kde je predstavený jav negatívnej tepelnej rozťažnosti. V experimentálnej časti práce je vyhodnotený potenciálny efekt negatívnej tepelnej rozťažnosti pri deponovaní nástrekov pomocou technológie cold spray.

The thesis Data transmission error-protection with BCH codes deals with a large class of random-error correcting cyclic codes which are able to protect binary data and can be used for example in data storages, high speed modems. Bose, Chaudhuri and Hocquenghem (BCH) codes operate over algebraic structures called Galois fields. The BCH encoding is the same as cyclic encoding and can be done with linear feedback shift register but decoding is more complex and can be done with different algorithms - in this thesis there are two algorithms for decoding Peterson and Berlekam-Massey mentioned. The aim of this thesis is to find BCH code which is able to correct t = 6 independent errors in up to data sequence n = 150 bits, then peruse possible realizations of the codecs and set criteria for the best realization, then design and test this realization. This thesis is split into three main parts. In the first part there are encoding and decoding methods of the BCH code generally described. The second part deals with selecting of the right code and realization. There was chosen BCH (63,30) code and realization with FPGA chip. In the last part is described design of BCH encoder and decoder and compilation in the Altera design software.

This thesis is focused on analysis of production facilities utilization and maintenance in the company RAMET C.H.M. a.s. located in Kunovice. In this thesis, there is performed the analysis of present property condition, machinery and equipment used within radar antenna production. Within property maintenance, there are introduced planned and unplanned processes of servicing activities and machine and equipment repair. In a part of proposal for solution, there are recommended processes for keeping up production capabilities based on extensive analysis of size property influence on production volume. The method for reliability estimation of production chain is described for the antenna production, related to limiting production capability and costs to maintain service availability of production facilities.