|
Cultural support in Prague's districts
Mokrá, Jolana ; KAŠPAR, David (advisor) ; PROKOP, Petr (referee)
Diploma thesis ”Cultural support in Prague's districts” focuses on a current situation in municipal strategical management and support of culture in all Prague districts. The introduction emphasises the importance of each level of government in the management and support of culture through comparing specific cultural policies. The research is divided into two parts. First one depicts how culture is being understood on the municipal level and presents an overview of existing instruments for support and planning. The second part is focused on a few municipal districts that handle their culture policy with a particular strategy and consider it to be an irreplaceable part of a local development. The second part also examines what tactics and tools these municipal districts use for a realization of their strategic goals. In conclusion, this thesis proves why the role of the local official government is so important in the developement and implementation of culture.
|
|
Interpretive principles in Verdi's operas
Beneš, Andrej ; HAJÓSSYOVÁ, Magdaléna (advisor) ; VOTAVOVÁ, Yvona (referee)
The master’s thesis deals with the theme creation of the opera production of Giuseppe Verdi with the focus on his opera Falstaff and deals with significant important interpretations of this opera. This dissertation is supposed to bring a complete picture of Verdi’s opera production pointing out some details which are not commonly known nor from the public nor in the professional music world. What appears in this work is Verdi’s correspondence (letters). I consider these letters an authentic source to understand Verdi’s creative and artistic intentions. Hereafter I portray an idea of how to perceive opera Falstaff not only from my point of view but I used the lead from the Italian reviews and musicology.
|
|
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.
|
|
Lifelong Education as a Part of the Social System
Neckařová, Jana ; Šrédl, Karel (advisor) ; Hana, Hana (referee)
The diploma thesis discusses about education of adult population, while pointing out necessity of education in any age. This thesis explain importance of education of the adult population, mention forms and possible methods which are used in this type of education the most. Besides the theoretical outcome there is practical aspect included as well in form of questionnaires. Investigation in form of research was focused directly on employees, who as well as on employers whose employees attended the program. In summary both parties consider adulthood gained knowledge as a great benefit to employee as well as employer. In any case, people with higher level of education have better chances of getting a possible job than those with no or low level of education.
|
|
Influence of meadow management on the migration behavior of selected species of butterflies
Bubová, Terezie ; Langrová, Iva (advisor) ; Farkač, Jan (referee)
Migrations are the key process and one of the basic biological features, which allow survival of endangered species in fragmented landscape. In the last decades, agriculture intensification, industry and urbanization caused that number of natural butterfly habitats has significantly decreased. The localities originally suitable for butterflies are currnetly converted to farmland or building plots. This PhD thesis aimed to find a compromise solution of meadow management, which should allow a commercial use and concurrently do not jeopardize the continued existence of endangered or threatened species. The main idea of this study was in the intentional emigration causing in the middle of flight period, which should lead into resettlement of the population to another (potentially more suitable) locality. Possibility of aimed manipulation with butterfly emigrations would be considered as a major breakthrough in their protection.
The investigated species Phengaris nausithous (Bergsträsser, 1779) and Phengaris teleius (Bergsträsser, 1779) are both considered to be flagship species for protection of European butterflies at open meadows. This study is based on research, which was carried out in 2013-2015 at 17 patch in localities Dolní Labe, Czech Republic. In above mentioned years, one selected meadow was mowed in the middle of flight season and the emigrations were then monitored using mark-release-recapture method. Results of population and migration characteristics were calculated in MARK 8.1 software. Subsequently, the effect of mowing on emigration (comparison of emigrations from the meadow before and after mowing) was evaluated using Statistica 13.
The hypotheses of this study were based on the assumption, that the loss of resources after well-timed mowing should increase the activity of adult butterflies. During the monitoring, number of emigrations was increased only in flight season 2015. Unfortunately, the statistical evaluation did not show significant effect of mowing on migrations. On the other hand, the hypothesis dealing with colonization of nearest meadows was confirmed.
Effect of intentional emigration caused by management interventions was unfortunately not proved. However, we found out, that even though the population at one mowed meadow decreased clearly, the metapopulation size at the locality remained more or less stable.
At investigated (mowed) meadow, there was observed a sharp decline of P. nausithous abundance. On the other hand, P. teleius population was only slightly reduced. It is therefore conceivable, that P. teleius are not as susceptible to innapropriate term of mowing. The results obtained in our research conclusively displayed no possible positive effect of mowing in the middle of flight season and a necessity of suitable management maintenance at localities inhabited by Phengaris butterflies.
|
|
Feasibility Study of an Interactive Medical Diagnostic Wikipedia
Grim, Jiří
Considering different application possibilities of product distribution mixtures we have proposed three formal tools in the last years, which can be used to accumulate decision-making know-how from particular diagnostic cases. First, we have developed a structural mixture model to estimate multidimensional probability distributions from incomplete and possibly weighted data vectors. Second, we have shown that the estimated product mixture can be used as a knowledge base for the Probabilistic Expert System (PES) to infer conclusions from definite or even uncertain input information. Finally we have shown that, by using product mixtures, we can exactly optimize sequential decision-making by means of the Shannon formula of conditional informativity. We combine the above statistical tools in the framework of an interactive open-access medical diagnostic system with automatic accumulation of decision-making knowledge.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (referee) ; Veith, Helmut (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve formální verifikaci: pro separační logiku a pro slabou monadickou druhořádovou logiku s následníkem. Obě tyto rozhodovací procedury jsou založeny na převodu jejich problému do automatové domény a následné manipulaci v této cílové doméně. Posledním přínosem této práce je vývoj nových algoritmů k efektivní manipulaci se stromovými automaty, s důrazem na testování inkluze jazyků těchto automatů a manipulaci s automaty s velkými abecedami, a implementace těchto algoritmů v knihovně pro obecné použití. Tyto vyvinuté algoritmy jsou použity jako klíčová technologie, která umožňuje použití výše uvedených technik v praxi.
|
|
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.
|
|
Ratings business accounts
ŠUSTROVÁ, Lucie
The diploma thesis is focused on using methods of multiple criteria decision making, in this case about business accounts. In theoretical part is described the banking systém of Czech republic, then methods of multiple criteria evaluation.The basic aim of this work was to evaluate the order of business accounts in terms of advantageousness, which are offered by banks on the banking market in the Czech republic. The sectional aim of this work is to get known with the problems of optimal choice of business accounts for a certain group of consumers, which in this case are small businesses. Before choosing a new business account it is always necessary to carefully explore banking market and its offers of business accounts. The important part of this thesis is that the certain client has to consider his preferences before we use quantitative methods. In this diploma thesis has also done a survey about the evaluation of business accounts. Then there are compared results of using methods of multiple criteria evaluation of the survey and model client. In conclusion, the results are described in the order of banking products from the best to the worst business account.
|
|
Experiences of health workers with acupressure
ROUBÍČKOVÁ, Radka
The abstract of the diploma thesis is focused on the acupressure and its influence of backache of medical staff. We chose the theme of acupressure because it is a non-invasive treatment method which can be practiced by everyone in the comfort of the home and no aid is necessary to have, just the basic knowledge and training how to perform acupressure. Acupressure is not physically or time consuming and that is why it is considered as a suitable means as an additional treatment of pain and other health disorders. It can improve nursing care. The theoretical part deals with pain and pain of medical staff who are the highest risk group of backache in the lumbar region. The backache is the most frequent cause of incapacity for work. Furthermore, in the theoretical part we deal with acupressure, one of the methods of alternative medicine. For the processing of the theoretical part, we used the available foreign and Czech literary sources. The empirical part of the diploma thesis is a quantitative method. The results obtained from the research were processed in the overview tables and case reports. For the thesis we set two research objectives. The first objective was to find out the experience of medical staff with acupressure. The second objective was to verify the influence of the techniques of acupressure for backache of medical staff. On the basis of the aim two hypotheses were created. The first hypothesis should show whether the backache will be softened by application of the acupressure techniques. The second one shows whether there is the difference in approach of nurses and doctors to perform acupressure.
|
guest ::
