|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
|
|
Marketing audit of the festival Divadelná Nitra
Surovková, Simona ; JEŽEK, Vlastimil (advisor) ; SYROVÝ, Daniel (referee)
Divadelná Nitra is an international theatre festival with over 20 years of tradition, which annually brings a selection of the best European productions of the season to Nitra. Visitors are offered a presentation of the top contemporary theatre productions, exceeding to dance, physical, visual and music theatre, new and inspirational art forms, rich accompanying and work programme, and many other art and cultural activities. The festival is an internationally recognized event and is of vital importance in the context of the current Slovak theatre. Yet, as many other non-profit organizations, it has been struggling each year to maintain a stable financial situation, and despite an enormous effort and an experienced management team, the festival cannot avoid some organizational problems. Several of them are related to marketing of the organization. The aim of this marketing audit is to analyze the current situation of the festival Divadelná Nitra, to evaluate the state of its own marketing activities, and, along with discovered results, to propose solutions that could help to improve marketing of the festival Divadelná Nitra.
|
|
Cultural Centres
Adolfová, Barbora ; PROKOP, Petr (advisor) ; KAŠPAR, David (referee)
This thesis is concentrated on cultural centres built between years 1960 and 1990 in the former socialist Czechoslovakia. Six cultural centres have been chosen and analyzed to conclude the purposes they serve as well as the programs they offer. These chosen cultural centres are run as municipal organisations financed from the town budgets. The six towns where they are located are similar to each other in terms of their history, size and the time when their cultural centres were built. All of these centres share difficulties with the lack of cultural interest of local citizens, bad technical shape of the buildings in question and low budget.
The aim of this thesis is to compare the functioning of these six cultural centres and conclude whether being directly funded and influenced by the municipal councils has a positive impact and should serve as a model for cultural centres or should be replaced by a different one. It also focuses on cooperation between the management of cultural centres and municipal officials, cooperation with other local cultural institutions and cultural centres from different towns.
|
|
Intraday trades
BOHINSKÝ, Petr
This thesis is focused on comparison of intraday and short term trades profitability using technical analyses by application the method of crossing moving averages between January 1st 2014 and August 1st 2016. Trading takes place on the basis of buying and selling signals of a generated technical indicator in the investment program Alapri and XTB. The traded indexes are DAX 30, S§P 100 and commodities gold and oil. The theoretical part of this work is devoted to the financial market, commodity market, describes intraday and positional trader and advantages as well as disadvantages of these markets. It also deals with technical analyses and explains basic investment terms. Practical part of the work is devoted to a description of the results modeled on real historical data. It is possible to determine on the base of back-tested results that the method of crossing moving average with the value of the instrument is better for short-term trades; in modeled example in daily graph than for intraday trades modeled in four-hour graph. Furthermore when modeling there was found that it is more profitable to buy instruments and let them be valorized by the financial market under given conditions. It means to buy them at the beginning of the investment period and sell at the end of this period without any buying and selling operations.
|
|
Dance as a means of integration adults with intellectual disability
KRAUMANNOVÁ, Eva
The goal of the bachelor thesis called Dance as a means of integration adults with intellectual disability was to create, implement and evaluate a dance course focused on the development of social competences in adults with intellectual disability. The thesis deals with adults with intellectual disability and with a leisure activity focused on dancing. There is some space for the development of social competences in adults´ leisure time. In response to the current situation of leisure activities proposition for adults with intellectual disability. I found it beneficial to found a dance group of adults with intellectual disability, and at the same time a group of individuals intact in places unfamiliar to them. Based on an activity which may be implemented amusingly it is possible to develop an individual´s personality as well as his or her social competences, which become a presumption of a successful integration, universally. The bachelor thesis consists of four chapters.The first chapter defines the term ´intellectual disability´. Further on the attention is paid to the characteristics of the target group, i.e. adults suffering from a slight and medium mental retardation. Further on, the disability´s impact onto the human psyche as well as social area is described. In the second chapter the term ´dance´is defined and then the description of its usefulness within the leisure, artistic and therapeutic areas is given. In the third chapter the presumptions for a successful integration are described. In the conclusion of the theoretical part there is an interconnection made between the target group and the activity for developing social competences. The theoretical part of the bachelor thesis is continued with a practical part, the fourth chapter. It is a programme of a six-month course which I have set together based on the analysis of expert literature and my experience gained during the leadership of dance lessons and working with adults with intellectual disability. The programme will include work methods and an evaluation of partial activities. The six-month course was held in the school year of 2015/2016 and 6 intellectually disabled adults took part in it. Students of the University of South Bohemia joined the course. Partial goals were set for individual dance lessons and the activities were set so that they would develop social competences in participants non-violently and in the greatest extent possible. The course was implemented in the IN Civic Association facilities. To evaluate the activity and find out the progress within the area of the participants´ social competences, several development fields have been set. Several chosen social competences were divided into evaluation scales. The participants were evaluated at the beginning of the course and then again, six months later. The evaluation method chosen was my own observation. I focused on the evaluation of my own working, on group evaluation and the evaluation of each individual. Evaluation was also done on the part of each course participant, too. Dance lessons and activities connected have proven to be a suitable means for developing social competences in intellectually disabled adults. In five participants the values have risen in 5 10 out of 17 competences observed. A recourse occured in a participant who was going through a difficult life situation during the last two months of the course. Values have risen dramatically and in all participants in the area of group cooperation. Five participants made a progress in establishing and keeping eye contact and in starting a conversation. One participant has made a progress in the area of group performance, another one has made a progress in the area of independence and another one started to call the other participants by their names, as opposed to the beginning of the course. In general, the members of the group became more self-confident.
|
|
The reflection of František Bakule's work in a relation to a current special educational practice
BALÍKOVÁ, Tereza
František Bakule was a significant Czech teacher during the first half of the 20th century. He was known as the first director of the "Jedlicka Institute in Prague" as well as the founder of so-called "Bakule´s Institute" as well as one of the few representatives of the "Czech alternative approach towards education" which is very well recognized all around the world. His legacy and teachings, however, are currently not being developed on the systematic level and neither they are being put into practise by Czech professional mainstream educational community. We also need to mention that is not used by even the stream of special education, in contrast to many foreign alternative pedagogical trends, which are gaining popularity and are generally applied with success. The aim of this thesis is therefore to analyse the work of Frantisek Bakule through the prism of contemporary school educational environment with emphasis on the education of students with disabilities. The first chapter is devoted to outlining the life journey of Frantisek Bakule, particularly focusing on the major milestones that influenced the formation of his personality, his ideas, inspiration and motivation which was reflected in his teachings and then in his very own coherent concept of education. To be specific, we are introduced to his family background and a significant part is then devoted to description of Frantisek´s experience as a teacher, including stages of operating in Jedlicka´s Institute and in his own "Bakule´s institute". The second part is then focused solely on Bakule´s specific educational concept. First, the core principles of the concept are defined. Later parts then talk about Bakule´s original curriculum and a his proposal of an ideal classroom environment. The text also contains a detailed description of how Bakule approached several subjects, which were at the core of his teaching concept, namely "Work activities", "Music education" and "Arts". Original teaching practices are analysed by using current teaching methodology and terminology. Due to the identified aim and goals of the thesis, the third chapter analyses the current concept of education of the above, according to Bakule´s core areas and principles. The text is designed specifically to be subsequently reflecting the work of Frantisek Bakule from the perspective of today's teaching methods, namely the methods of special education. The idea is to define common points and possible differences and uncover hidden inspirational potential, which is then the main content of the fourth and final chapter. Based on the analysis and all its subsequent reflections, the final chapter tells us that although Bakule´s educational goals don´t differ too significantly from the current concept embedded in the relevant framework of educational programs, to achieve such goals we are currently using very different techniques and methods in comparison to Bakule´s ways. Even though Bakule himself tested and verified all of his concepts in practice, which can be very simply described as "do not teach students about life and work, but through life and work", and these concepts also have been proven correct by various subsequent results of psychological researches, the current system still doesn´t draw from them too much. From all the above it is quite obvious that the legacy of life´s work of Frantisek Bakule is currently not utilized nor it is being appreciated by our professional pedagogical community. On the other hand, we need to note that it may also be due to the level of fragmentation in which his concept and materials were preserved to the present days.
|
|
Nutritional care of children at pediatric clinics and hospitals
METELCOVÁ, Jana
The main goal of this work called Nutritional Care in Children's Hospital and Hospital facilities is to verify whether the nutritional standards created for older child patients meet the needs and are checked and if their physiological needs are fulfilled in chosen hospitals. The next objective is to evaluate the satisfaction of the hospitalised patients with the meals given to them by hospitals. The theoretical part of this work deals with nutritional care, therapeutic care and nutritional needs of adolescents. It further deals with nutritional risks and marginally mentions technological processes regarding meal preparation. The method of qualitative research was used by using questionnaires filled in by chosen children patients who were then interviewed. Children aged 10 to 14 were supposed to be on diet number 13, half of them were boys and the other half were girls. The research was conducted in the children's ward in the hospital in Jindřichův Hradec in December 2015 and in the same type of ward in the hospital in České Budějovice in February 2016. The initial number of respondents was five patients in each ward, then using snow ball sampling method their number increased into ten in each ward. The weekly menu according to which the meals were distributed was obtained from the catering facilities of the hospitals. By using the program "Nutriservis Profi" the contents of nutrients in the meals were obtained. The results gathered from the program "Nutriservis Profi" were compared with recommended values for particular age group defined by The Czech Society for Nutrition, so meeting the physiological needs of the patients could be evaluated. From the results it was found that both hospitals have problems with supplying enough fibre content, phosphorus and calcium in meals for children's patients. There is also sodium, potassium, cholesterol and vitamin C surplus in the menus. Thanks to the internship in both hospitals in Jindřichův Hradec and České Budějovice meeting the physiological needs of the children could be evaluated. Considering the fact that the previous evaluation revealed some imperfections, therapists from both hospitals should concentrate more on checking nutritional values in meals, consequently it was recommended to focus more on the variety of the menus and their improvement. There were also inadequacies in attendance at the children's ward. There was a comparison of the results from both hospitals, based on questionnaires and interviews from the children's point of view. Based on the data, children hospitalized in Jindřichův Hradec were more satisfied with the meals. In the conclusion there is a summary of the research and suggested suitable improvements for hospitals. There is a model menu for diet number 13 in the attachment which could be used by hospitals.
|
|
Gluten-free diet - reality in school facilities
JIRÁČKOVÁ, Marie
The topic of this bachelor thesis is gluten-free diet - reality in schools facilities. The goal of this work was to determine the number of school cafeterias in the Vysocina Region which provide gluten-free meals, to evaluate awareness of the canteen staff about preparation of the gluten-free diet and to describe the cooperation between the school cafeteria and family of the pupil with gluten-free diet. School meals are important to provide optimal intake of nutrition during the time the child spends in school, to establish proper eating habits and to better integrate the child into the group of its peers. Gluten-free diet is a necessary medical precaution especially for those with coeliac disease, in which case gluten can lead to villous atrophy, and for those with gluten allergy for whom gluten intake can cause anaphylactic shock. Adherence to the gluten-free diet is recommended also to those with non-coeliac gluten sensitivity diagnosis, although gluten causes only short-term complications, usually intestinal. The method of quantitative and qualitative research was used to make this thesis. The research sample consisted of 8 school cafeterias from the Vysocina Region which provide gluten-free meal to their pupils. Awareness about gluten-free diet principles of the managers of the cafeterias or of the cooks responsible for preparation of gluten-free meal was determined by means of semi-structured interviews. The calculation of the two-day menu of each cafeteria by means of the Nutriservis Profesional program was also part of this thesis. The results were compared with the recommended daily intake of energy, proteins, fat, and saccharides for pupils of elementary and secondary schools. The results of the quantitative research show that gluten-free diet is provided by only a small percentage of school cafeterias in the Vysocina Region. The qualitative research prove sufficient awareness of the cooks about gluten-free diet, with awareness of those cooks directly responsible for preparation of gluten free meals being at much higher level. It was also determined that the cooperation with parents of pupils with gluten-free diet is a usually one time occasion limited to an arrangement of nonperishable gluten free meal packages.
|
|
Patients satisfaction with the provided services. An important indicator of the quality of health care facilities.
MALANÍKOVÁ, Jana
My master's thesis which topic is "Satisfaction of patients with the services provided. An important indicator of quality of medical equipment " is mainly focused on satisfaction of patients with the services provided in the Hospital České Budějovice, a.s. Furthermore, the mapping focused on overall satisfaction with care in the already mentioned Hospital České Budějovice and on exploring whether patients evaluate the quality of information provided by a medical doctor in this hospital affirmatively and whether they are satisfied with care of local nurses. The satisfaction of patients is an important indicator of the quality of care provided, which has an impact on their status of basic human needs. One main purpose was determined: Monitoring the satisfaction of patients with the services provided in the Hospital České Budějovice, a.s. and this purpose was fulfilled. Quantitative research was executed, to its realization the interview method was used. By means of the technique of standardized anonymous questionnaires on the basis of the above-mentioned purpose,the 3 following hypothesis were verified: 1) Patients are satisfied with the overall care in the Hospital České Budějovice, a.s. 2) Interviewed patients evaluate the quality of information provided by a medical doctor in the Hospital České Budějovice, a.s. affirmatively 3) Interviewed patients are satisfied with the care of nurses in the Hospital České Budějovice, a.s. I processed the data to confirm or refute the pre-established hypotheses. The evaluation of the data was carried out using statistical nonparametric methods, Chi-square test and the chosen level of significance of p=0.05. The results of the research have been clearly processed into the tables and graphs. The program Microsoft Office Excel 2010 was used to process the results.
|
|
The use of new technologies in teaching mathematics
BUMBÁLEK, Roman
Modern information technologies accompany all of us in our daily life. They not only use to serve to our work and for the entertainment, they even have got a great potential to be used in the education. The submitted thesis deals with the appropriate utilization of the special IT application in the pedagogic process, especially in teaching of maths, the topic of trigonometric functions. The aim of this thesis is to create structures with a high potential of the modern technology handling. To tackle this task the graphical program GeoGebra was chosen due to its qualities for creating dynamic structures and the other advantages presented further in the thesis. To the created constructions the detailed instructions how they can be constructed are added. The thesis is also accompanied by worksheets with solved tasks, focusing on the application of trigonometric functions in real situations.
|
guest ::
