|
Profile and reflections of dance department of the Juilliard school
Červinka, Marek ; JANEČEK, Václav (advisor) ; KŘENKOVÁ, Mahulena (referee)
This bachelor thesis, called Profile and Reflection of Juilliard School’s Dance Division, first of all briefly touches the key events in history of both classical and modern dance in the first half of the twentieth century and then approaches the history of The Bennington School of the Dance which is considered to be the Juilliard’s predecessor. After a general historical overview, descriptions of the educational goals and study programs, is the rest of the work focussing on Juilliard’s Dance Division in detail. Its past accomplishments, famous teachers, study programs and the admission procedures are discussed. All these information, including the interviews with Jarek Cemerek, a Czech choreographer and dance teacher, and with Brennan Clost, a current student of the fourth year at The Juilliard School, were used as a final reflection of Juilliard’s Dance Division. The comparison of Czech dance schools with The Juilliard School is comprised in this section.
|
|
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.
|
|
Hodnocení spolehlivosti lidského činitele v procesní průmyslu
Výzkumný ústav bezpečnosti práce, v.v.i.
Today, the human factor has become a common theme in many sectors of human activities. These include the military sector and the military, because improper use of weapon systems or their conscious abuse is considered a very serious threat. In terms of civilian operations are mainly operating nuclear power plants, chemical plants, air transport, but also health, where great emphasis is placed on reliability (and accuracy) of man.
Fulltext:  PDF
|
|
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.
|
|
Arctic tundra dendrochronology
Lehejček, Jiří ; Svoboda, Miroslav (advisor) ; Monika, Monika (referee)
Historically unprecedented environmental change in the Arctic ecosystems is often given into the context of its past and possible future development. In the region where instrumental meteorological observations are scarce archives need to be investigated in order to address this issues. The comprehensive synthesis one of the archives: long-live circumpolar evergreen Juniperus communis L. shrub is presented here. 20 individuals from southwest Greenland were investigated at the cell anatomy level to understand the ecology of the species and unhide its potential for environmental and climate reconstructions. The findings are as follows:
i) Stop of exponential cross-sectional conduit-lumen widening with increasing age is in contrast with conduit-lumen nature of trees. This indicates that shrubs do not need to saturate their water and nutrient demands via traits of classical hydraulic conductivity law but rather developed different mechanisms. Extreme weather conditions result in prostrate growth form. However, different weather factors probably influence shrub growth differently: While snow and wind act mechanically (a), temperature influences the form of growth physiologically (b). a) So long as the young shrub stem has high resilience to bend back to an upright position after snow melt and so long as it can withstand the wind during the vegetation season it most likely grows upright and the conduit-lumens widen. b) Temperature, resp. freeze-thaw events are responsible for the shrubs preference of safety (finite size of conduit-lumens) over hydraulic efficiency, thus not allowing for more primary growth. All of these (and other) factors are apparently working together and the transition of vertical to more horizontal growth is gradual. As a consequence, the conduit-lumen sizes may not have to be further increased (due to ecophysiological restrictions possibly also must not) because water is no longer transported against gravity.
ii) Observed age/growth trend has to be taken into consideration for further employment of the wood anatomical parameter in paleoenvironmental studies. That is, shrub cell parameters can only be used for this purposes if correctly detrended. This allows for more accurate as well as longer reconstructions because youth trend was often neglected in reconstructions based on shrub annual-rings.
iii) The south-western Greenland Ice-Sheet (GrIS) melt rates reconstruction is presented for the whole 20th century. This part of GrIS is considered as the most active. According to the presented reconstruction current GrIS melt rates are not uncommon for the last century being comparable to first decades of 20th century. This finding is particularly important contribution to the debate on Atlantic meridional overturning circulation (AMOC). Too high fresh water inputs into the Northern Atlantic from GrIS melting may slow down or even stop the AMOC which would result in more continental climate in Europe. Presented results indicate that this threshold lies higher than observed current melt rates of GrIS.
Fascinating Juniperus comunnis species has shown to be able to address many ecological as well as environmental open questions and due to its longevity and abundant distribution has a great potential to become an important player in the Arctic research.
|
|
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.
|
|
Antioxidant, anti-proliferative and immunomodulatory effect of fruits, vegetables and mushrooms in vitro
Doskočil, Ivo ; Havlík, Jaroslav (advisor) ; Orsák, Matyáš (referee)
Recently there has been an increasing interest in discovering of new species of plants and mushrooms which have antioxidant or anti proliferative activity. The interest is caused by the fact that these species have medicinal and food utilization. These properties of plants and mushrooms can be used when dealing with many diseases which may be connected with oxidative stress (inflammatory bowel disease, cardiovascular disease, hypertension, and tumour disease, etc.).
The thesis propounds characteristics of in vitro antioxidant and anti proliferative activity of 19 types of juices and 28 methanol extracts of fruits and vegetables, which are common parts of a diet. In the thesis there are also characteristics of 13 ethanol extracts of edible mushrooms of the order of Polypore (Popyporales). Antioxidant activity was quantifie by 2, 2 diphenyl 1 picrylhydrazyl (DPPH), oxygen radical absorbance capacity (ORAC), and inhibition of nitric oxide (NO) production. Cytotoxicity was measured by MTT (3 (4,5 dimethylthiazol 2 yl) 2,5 diphenyltetrazolium bromide. Immunomodulatory activity was determined by an assay of phagocytic activity of human neutrophil granulocytes. Further a total phenolic content (TPC) and total beta glucan content were investigated; these are considered to be the potentially active constituents participating in mentioned activities.
From the obtained results it is evident that juices (TPC = 1603.2 mg GAE/L; ORAC = 438.5 umol TE/g)
and a bilberry (Vaccinium myrtillus) fruit extract (ORAC 836.6 umol TE/g; DPPH = 404.6 umol TE/g) showed
the highest antioxidant activity of all tested samples of fruits and vegetables. Capsicum (Capsicum L.)
juices (TPC = 642.1 mg GAE/L; ORAC = 127.9 umol TE/g) and a radish (Raphanus sativus L.) extract
(ORAC 724.5 umol TE/g; DPPH = 52.2 umol TE/g) also proved to have the high values of antioxidant activity. From the tested fruits and vegetables the following inhibited to produce a nitric oxide: onion (Allium cepa L) juices (lowered the NO production by 57%), tangerine juices (Citrus reticulata Blanco)(by 52%), broccoli (Brassica oleracea var. botrytis italic) extract (by 21%), and orange (Citrus sinensis Pers.) extract (by 10%). Concerning edible
mushrooms, Lentinus tigrinus (Bull.) Fr. (TPC = 216.2 umol GAE/g of extract), Ganoderma lucidum (Curtis) P. Kras (TPC = 257.9 umol GAE/g of extract), and Royoporus badius (Pers.) A.B. De (TPC = 257.8 umol GAE/g of extract) presented the highest phenolic content. Sparassis crispa (Wulfen) Fr. (117.4 mg/g of extract) had the highest content of beta glucan. Substantial effect on phagocytic activity of granulocytes was noticed in connection with Neolentinus lepideus (Fr.) Redhead & Ginns, Polyporus squamosus (Huds.) Fr., and S. crispa. In connection with the latter of mentioned mushrooms, a moderate inhibitory effect towards HT 29 human colorectal adenocarcinoma cell line
(IC50 = 107 ug/ml of extract) was noticed.
The results indicate that the tested plants and mushrooms can be beneficial when reducing the negative effects of oxidative stress. The oxidative stress has been recognized as a contributing factor to a whole range of diseases and the reduction of the oxidative stress may lead to the decrease in the possibility of the diseases´ progression. The results show the possible favourable effects on the human health. When evaluating the results, the following fact should be taken into consideration; the in vitro tests and screenings are considered to be the first phase of systematic research of the effects and serve for the choice of respondents for further detailed studies.
|
|
Appraisal and assessment of development options immovable manufacturing facility open market value
Hanzlovská, Nikola ; Gardášová, Alena (referee) ; Hlavinková, Vítězslava (advisor)
The main objective of this diploma thesis is to determine the usual price for a manufacturing facility, by using valuation methods. A secondary aim was to determine best possible use of the building and the development possibilities, according to the results from valuation. Diploma thesis is divided to theoretical and practical part. In theoretical part are detailed valuation methods divided to two main parts, the valuation by price regulation and the market valuation. In the beginning the pratical part describes the location and property. Furthermore I applied valuation method for manufacturing complex. At the conclusion is recapitulation and analysis of results, where are considered diferences and the usual price is set. The last chapter is devoted to the best use of complex and consideration of development possibilities.
|
|
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.
|
guest ::
