|
Výroková logika a algebra
Polach, František ; Krajíček, Jan (advisor) ; Pudlák, Pavel (referee)
Algebraic proof systems of which the most important are the polynomial calculus and the Nullstellensatz proof system are proof systems that use algebraic means for proving propositional tautologies - they are based on polynomial identities over (commutative) rings. Razborov [9] have proved a non-trivial lower bound on degree for polynomia calculus proofs of the tautologies (a set of polynomials) that express the pigeonhole principle over any field. This work gathers present important results for algebraic proof systems and generalizes the Razborov's construction used in his proof of the lower bound to another set of polynomials. We explicitly describe the basis of the vector space of polynomials that are derivable by a small degree polynomial calculus proof from the tautologies that express a variant of the pigeonhole principle (that generalizes the principle for multifunctions).
|
|
Analýza dát z oblasti kontroly kvality použitím systému LISp-Miner
Štefke, Martin ; Šimůnek, Milan (advisor) ; Srogoňová, Kristína (referee)
Objective of the bachelor thesis is analysis of occurrence of non-conforming products in SEWS Slovakia. There were analyzed production defects from the period January 2013 to October 2014, the analysis was perform from the database in the academic system LISp-Miner. In the initial theoretical part is a summary of the different approaches to the issue of knowledge discovery from databases.The following practical part is described the treatment and processing of data,define the basic analytic issues. At the end there are defined relevant relationship betweendata and analytical methods.
|
|
Marketing Communication of Commercial and Non-profitable Theatres
Taberyová, Terezie ; Riedlbauch, Václav (advisor) ; Černá, Jitka (referee)
Bachelor's thesis titled "Marketing Communication of Commercial and Non-profitable Theatres" investigates the influence of theatrical production in regard to the legal form of the theatre operator and also the influence of its founder on the usage of various marketing tools and techniques. The way how theatres communicate with the public and present their current and future production significantly affects the attendance and the economic results of operators. As the conclusion implies, it is not only the legal form which influences the marketing communication. More importantly, it is the professional knowledge and personnel interest of the marketing team.
|
|
Therapeutic hypotermia after cardiac arrest
JIRCOVÁ, Danuše
The bachelor thesis deals with the influence of a mild therapeutic hypothermia as a hospital post-resuscitation care of patients after cardiopulmonary resuscitation for non-traumatic cardiac arrest. Therapeutic hypothermia is a relatively new method. It is part of the European Guidelines for resuscitation since 2005. It was reported its positive effects on the neurological status of the patients. Using the method reduces the damage to the brain and cardiac muscle. The theoretical part of the thesis deals with the effect of mild hypothermia on the human body. Specifies the indication and contraindication criteria for initiation of therapeutic hypothermia, describes cooling methods of the patient and ways to terminate the therapeutic hypothermia. Describes the monitoring of physiological functions and nursing care of patients. The practical part of bachelor thesis mapped the procedures used in the administration of therapeutic hypothermia in patients treated in two large hospitals. These were Fakultní nemocnice Kralovske Vinohrady in Prague and Nemocnice Ceske Budejovice, a.s. The applied strategy of the research was qualitative. Content analysis of 10 case reports were carried out, 5 case reports from each hospital. Case reports concerning patients after cardiopulmonary resuscitation, who were treated using the therapeutic hypothermia as a part of hospital care. The aim of this thesis was to map the procedures used in the therapeutic hypothermia administration in patients after cardiopulmonary resuscitation. It was made available by hospitals after approval by ethics committees on the basis of applications submitted. The information was subsequently created into case studies that were analysed in the categorization tables. In the discussion, the results were compared with the published knowledge provided in the theoretical part of the thesis, and were commented. Analysed were: the composition of the group of patients by age and gender, provide the basic life support by witnesses prior to arrival of crew of the emergency medical service on scene, initial ECG rhythm after emergency medical service arrival, the time elapsed since the cardiac arrest appeared to restore of spontaneous circulation, initiation of therapeutic hypothermia in pre-hospital care, time elapsed since the therapeutic hypothermia start up to reaching the target body temperature, duration of the therapeutic hypothermia, the methods used for cooling the patients, the methods used for measuring the body temperature and neurological status at the time of discharge or transfer from the hospital. The results of the research surprisingly showed that general public are well-informed. Witnesses were able to recognize cardiac arrest, early called in professional help and were willing to give heart massage. This shows also the success in implementing the method of medical dispatcher-assisted basic life support in practice, because the witnesses were in many cases instructed by the medical dispatchers to resuscitate the patient. The majority of patient's initial ECG rhythm were diagnosed as ventricular fibrillation. Time to restoration of spontaneous circulation in most cases ranged within 29 minutes. To achieve the target body temperature at the recommended time limit has managed to half of patients. Target body temperature was always kept within the recommended timeframe and core body temperature was monitored. Concerns raised by an absence of the method start up in pre-hospital emergency care. The thesis highlighted the seriousness of sudden cardiac arrest and the high incidence of patients dismissed from the department with severe neurological deficit. Therefore, it is necessary to continue in research of this method, improve it and try to incorporate it already to pre-hospital care.
|
|
Effect of snowpack on runoff generation during rain on snow event.
Juras, Roman ; Máca, Petr (advisor) ; Ladislav , Ladislav (referee)
During a winter season, when snow covers the watershed, the frequency of rain-on-snow (ROS) events is still raising. ROS can cause severe natural hazards like floods or wet avalanches. Prediction of ROS effects is linked to better understanding of snowpack runoff dynamics and its composition. Deploying rainfall simulation together with hydrological tracers was tested as a convenient tool for this purpose. Overall 18 sprinkling experiments were conducted on snow featuring different initial conditions in mountainous regions over middle and western Europe.
Dye tracer brilliant blue (FCF) was used for flow regime determination, because it enables to visualise preferential paths and layers interface. Snowpack runoff composition was assessed by hydrograph separation method, which provided appropriate results with acceptable uncertainty. It was not possible to use concurrently these two techniques because of technical reasons, however it would extend our gained knowledge. Snowmelt water amount in the snowpack runoff was estimated by energy balance (EB) equation, which is very efficient but quality inputs demanding. This was also the reason, why EB was deployed within only single experiment.
Timing of snowpack runoff onset decrease mainly with the rain intensity. Initial snowpack properties like bulk density or wetness are less important for time of runoff generation compared to the rain intensity. On the other het when same rain intensity was applied, non-ripe snowpack featuring less bulk density created runoff faster than the ripe snowpack featuring higher bulk density. Snowpack runoff magnitude mainly depends on the snowpack initial saturation. Ripe snowpack with higher saturation enabled to generate higher cumulative runoff where contributed by max 50 %. In contrary, rainwater travelled through the non-ripe snowpack relatively fast and contributed runoff by approx. 80 %.
Runoff prediction was tested by deploying Richards equation included in SNOWPACK model. The model was modified using a dual-domain approach to better simulate snowpack runoff under preferential flow conditions. Presented approach demonstrated an improvement in all simulated aspects compared to the more traditional method when only matrix flow is considered.
|
|
Upbringing and reaching of persons with autistic spectrum disorders
Vocelová, Anna ; Reichel, Jiří (referee) ; Šnýdrová, Ivana (advisor)
The diploma thesis "Upbringing and teaching of persons with Autistic Spectrum Disorders" deals not only with diagnostics of individual autistic disorders, but also with pedagogical and educational approaches, integrating of autistic persons into the normal society, possibility to use their abilities etc. The Autistic Spectrum Disorders include Autism, Atypical Autism, Asperger syndrome, Rett syndrome and childhood disintegrative disorder. All these are among pervasive developmental disorders that typically appear within the first three years of life. the early examination is very important, otherwise the child can be misdiagnosed as mentally retard. Scientific studies showed, that many individuals with autism are not retarded, but in fact, they are unable to give their answers accurately for the determination of their iq in some intelligence tests. Autistic children and adults typically have difficulties in verbal and non-verbal communication, social interactions, and leisure or play activities. Relevant behavioral or cognitive intervention can help children gain get self-care, social, and communication skills. Only few people with autism live independently after reaching adulthood, however, but some of them become successful and they are relatively highfunctioning. However, many people with this diagnosis...
|
|
Interactive methods of adult education
Krepindlová, Kateřina ; Mužík, Jaroslav (referee) ; Kocianová, Renata (advisor)
Adults can be educated using different methods. A choice of a specific method depends on what an individual needs to learn. This thesis introduces interactive methods of adult education. Compared to other methods of education such as a standard lecture, methods mentioned above are rooted in experiential education and use play and experience to imprint acquired knowledge, abilities and skills in one's memory more deeply. Interactive methods of education are attractive, highly efficient and may act as a trigger to further development of an individual. The thesis presented addresses concepts such as experiential learning, a play as an important phenomenon focused on situation in Czech Republic, and relevance of a play to a child and subsequently to an adult. The thesis focuses on specificity of adult education developing particular play and non-play interactive methods of education in detail to enable a person to develop their potential and constituent social and personal skills.
|
| |
|
Law Aspects of Corruption of Police and Courts in the Czech Republic
Štěrba, Ondřej ; Grmelová, Nicole (advisor) ; Žák, Květoslav (referee)
This bachelor thesis focuses on the law aspects of corruption of police and courts in the Czech Republic. Theoretical part describes historical development of corruption and how its perception has changed during the development of our society, definition of corruption and crimes which it comes from. Next part presents structure and function of governmental anti-corruption organisations - police, courts and prosecution and non-governmental organisations represented by Anti-Corruption Endowment Fund, which operates in Czech Republic since 2011. To the international anti-corruption organisations belong European Anti-Fraud Office (OLAF), European Partners against Corruption (EPAC) and Group of States against Corruption (GRECO). Practical part consists of analysis of data gathered from Corruption Perception Index and analysis of decisions from the Highest Court of the Czech Republic. Data from the Index show us development of corruption in the Czech Republic and other states in past 20 years, which helps us to create a good overview about the corruption situation in these states. The second half of this part analyses the corruption crime decisions of the Highest Court, especially the amount of rejected or accepted extraordinary appeals and in how many cases figure policemen and judges as the accused ones. Conclusion summarises the whole thesis and gathered knowledge.
|
|
The use of marketing in non-profit organizations with focus on Childline
Geyer, Roman ; Procházková, Markéta (advisor) ; Schinková, Andrea (referee)
The thesis discusses the use of marketing in the non-profit segment in the Czech Republic. The bachelor thesis consists of two parts. Theoretical part outlines the non-profit sector and marketing in general and in the practical part this knowledge is applied to a concrete non-profit organization in the Czech Republic -- Childline. The aim of this bachelor thesis is to analyze the marketing activities of this non-profit organization, its competition and describe the financing possibilities. Finally, the awareness about the Childline among students of University of Economics in Prague is investigated.
|
guest ::
