Tato práce navrhuje zlepšení výkonu testování programů použitím technik dolování z dat a genetických algoritmů při testování paralelních programů.  Paralelní programování se v posledních letech stává velmi populárním i přesto, že toto programování je mnohem náročnějsí než jednodušší sekvenční a proto jeho zvýšené používání vede k podstatně vyššímu počtu chyb. Tyto chyby se vyskytují v důsledku chyb v synchronizaci jednotlivých procesů programu. Nalezení takových chyb tradičním způsobem je složité a navíc opakované spouštění těchto testů ve stejném prostředí typicky vede pouze k prohledávání stejných prokládání. V práci se využívá metody vstřikování šumu, která vystresuje program tak, že se mohou objevit některá nová chování. Pro účinnost této metody je nutné zvolit vhodné heuristiky a též i hodnoty jejich parametrů, což není snadné. V práci se využívá metod dolování z dat, genetických algoritmů a jejich kombinace pro nalezení těchto heuristik a hodnot parametrů. V práci je vedle výsledků výzkumu uveden stručný přehled dalších Technik testování paralelních programů.

The diploma thesis is focused on the issue of offering activation and educational activities in retirement homes during the coronavirus crisis. The main goal of this work is to analyze the offer of educational and activation programs in retirement homes and findings and definition of differences in the offer of these programs in the period before and during the coronavirus crisis. The aim of this work should be to describe the current offer of activation and educational activities in homes for the elderly, how it differs from the normal situation and whether the current state affects the participation of seniors in these activities or their preferences. The work is divided into theoretical and empirical part. The theoretical part describes the definition of basic concepts of this problematics, describes the quality of life of elderly and society's attitude towards the elderly, functions and goals of education of elderly, possible ways of motivation and barriers in education of elderly and finally the importance and staffing for educational and activation activities in retairment homes. The empirical part will focus on the already mentioned analyze of offering activation and educational activities in retirement homes during the coronavirus crisis. Questionnaire survey and interviews with activation...

Nástroj Atomer je statický analyzátor založený na myšlence, že pokud jsou některé sekvence funkcí vícevláknového programu prováděny v některých bězích pod zámky, je pravděpodobně zamýšleno, že mají být vždy provedeny atomicky. Analyzátor Atomer se tudíž snaží takové sekvence hledat a poté zjišťovat, pro které z nich může být v některých jiných bězích programu porušena atomicita. Autor této diplomové práce ve své bakalářské práci navrhl a implementoval první verzi nástroje Atomer jako zásuvný modul aplikačního rámce Facebook Infer. V této diplomové práci je navržena nová a výrazně vylepšená verze analyzátoru Atomer. Cílem vylepšení je zvýšení jak škálovatelnosti, tak přesnosti. Kromě toho byla přidána podpora pro několik původně nepodporovaných programovacích vlastností (včetně např. možnosti analyzovat programy napsané v jazycích C++ a Java nebo podpory pro reentrantní zámky nebo stráže zámků, tzv. "lock guards"). Prostřednictvím řady experimentů (včetně experimentů s reálnými programy a reálnými chybami) se ukázalo, že nová verze nástroje Atomer je skutečně mnohem obecnější, přesnější a lépe škáluje.

Title: Using the FMS method for injury prevention in older school-age athletes Objectives: The objective of this diploma thesis is to show new methods and approaches used nowadays for preventing injuries in athletics. In order to fulfil the objective, it was necessary to gather as much information as possible about the characteristics of older school-age children, the issue of injuries at this age, in general and in athletics specifically. Understanding the connections, two methods were then selected and described in detail which focus on preventing injury and which are used in athletics as well as other sports. One of these methods is the ComplexCore+ method which was invented and described by Austrian physical therapist and coach Roman Jahoda. This method is widely used in athletics and its main focus is the local and global stabilization of the body. In this thesis, however, I have more focused more on describing and analysing the principles and options for using the Functional Movement Screening (FMS) method. FMS is founded in physical therapy and was created by American physical therapist and coach Gray Cook. The purpose of the method is to identify and assess the quality of basic movement patterns through 7 mobility tests. In order to fulfil the objective of the thesis, two FMS tests were...

(in English) The thesis deals with integration of children with special needs into libraries. It is precisely meant visually disabled, hearing impaired, physically and mentally handicapped children and children with specific learning disability as well. Integration of disabled people from general point of view is paid attention into the first part. The exact types of disability as well as their classification and specialties or chosen communication principles are presented here. Next, this thesis outlines some possibilities how to integrate those children into libraries and which types of services and programs should be designed and offered by libraries but the main target is to introduce the working methods with disabled children. There is a detail presentation of the integration project "Ruku v ruce" (Hand in Hand) in the thesis, which is realized in Jiří Mahen Library in Brno. The current state of librarian work with children with specific needs is outlined based on the realized survey. The questionnaires were sent to the selected libraries in South-Moravian Region. One chapter is quite deeply focused on games for disabled children and it significantly includes as the relaxing as group games which developing every single abilities, like memory, mind, speech, attention [Author's abstract].

The thesis deals with the specific characteristics of drop-in addictology services in a small town. In the introduction, the author describes the drop-in addictology services existing and their activities. The thesis provides a brief insight into the basic principles of such services and their application in the Czech Republic. The core of the thesis consists of the research carried out among the employees of the civic association o. s. Prevent who work in drop-in addictology services in small towns. Within such research, the method of semi-structured narrative interview was applied. The objective of such research was to identify the specifics of their work in small towns as perceived by the employees proper. The intention was to compare the work carried out in small towns to the work as conducted in larger ones. The results identified are meant to point out the issues and challenges of working in small towns, to illustrate the setup of services in these locations, and to outline other possibilities for the future through the employees' eyes. The author's conclusions may support the employees in similar services to gain better orientation in the situation that they experience. The thesis may also constitute the basis for the founders of drop-in addictology facilities to change the setup of their...

This work focuses on changes in teaching foreign languages and on new requirements for education and training of foreign language teachers after 1989, including a brief survey of the history of foreign language teaching and the development of teacher training. It observes changes in the area of learning objectives, changes in the teacher - pupil relationship, changes in work methods. It deals with a new approach to the selection and use of teaching materials and the inclusion of new technologies in teaching. It discusses the implementation of both the Common European Framework of Reference for Languages and the European Language Portfolio. The work presents in the form of interviews also personal experience with teaching foreign languages and possible ways to achieve the required qualification.

This diploma thesis interprets the anonymous Inventory of Chamber Compositions, which is held in the Archives and Library of Prague Conservatory. It informs about the conditions of performing the repertory from this source between 1843 and 1864. In comparison with other sources the author of this manuscript was identified. His biography is contained in the second chapter. The content of the manuscript is analyzed and compared with the repertory performed in other bourgeios houses and Prague public concerts. Apart from the relevant literature the period critical concert reviews and further archive sources are taken into consideration. The discovered Inventory of the compositions performed in JUDr. František Švestka's house is one of the few sources which prove reception of similarly demanding repertory among non-professional instrumentalists in the 19th century. Key words: 19th century, Prague, chamber music, music societies, non-professional musicians, František Švestka, Moritz Mildner, music in salons, concert programmes, the Bohemia journal

Reproductive health and induced abortion in Latin America and the Caribbean Abstract The objective of this study is to give a comprehensive overview of the reproductive health of the population living in Latin America and the Caribbean, and to evaluate the level of induced abortion in the region at the same time. In the theoretical part of the study the term reproductive health is defined and indicators evaluating its level are described. As well the difference between safe and unsafe abortion is explained and the state of abortion law is expounded in this part. Next part is devoted to the promotion of family planning programs. In the analytical part Latin American and Caribbean countries are divided into four groups by using cluster analysis. Within each group one selected country is characterized in more detail. Indicators entering into the analysis show the level of reproductive health, the level of fertility and the economic performance of countries in the early 21st century. In the part related to the induced abortion rate in the region is discovered that despite the fact that in Latin America and the Caribbean there is one of the highest levels of contraceptive prevalence, there is also the highest level of induced abortion in the world. In the last part of the study the relationship between level of...

The aim of this diploma thesis is to present one of the aspekts of teaching of early reading and writing in primary schools in England. By this aspekt we mean methods that are used during teaching early reading and writing. The theoretical part of the diploma thesis familiarize the reader with the education system in England as whole, describes the National Curriculum and closely familiarize the reader with the pre-school curriculum and primary school curriculum. From both curriculums are pointed out especially those aspects which relate to teaching English language. In addition, there will be presented programs of teaching early reading and writing and closely described methods of teaching early reading and writing. The practical part of diploma thesis is based on research which was performed in community primary school "Dale Community Primary School". The research was conducted by several methods: questionnaire survey, observation and controlled observation. The questionnaires and observation aimed at finding methods of teaching early reading and writing which are used at the specific primary school. In addition, two modelled lessons were prepared and later reflected. During both modelled lessons were used methods of teaching early reading and writing. The knowledge and information gained from...