|
Old or new in the Antonín Dvořák´s Serenade op. 44
Kolátorová, Petra
The paper considers the genre of the orchestral serenade in the context of reflections on “old” and “new”. The serenade form was rediscovered for the 19th century by the German composer Johannes Brahms, who built on the legacy of Viennese classicism. In the case of Antonín Dvořák’s Serenade for Wind Instruments, op. 44, it is also possible, on the basis of analysis and historical connections, to speculate about classicist models, specifically Wolfgang Amadeus Mozart’s Serenade in B Flat Major, KV 361/370a. Dvořák took Brahms’ initiative a step further, with his Serenade op. 44 presaging the trend in development towards neoclassicism, which, however, was to come much later.
|
|
Access to Information and Access to Justice in Environmental Matters in the Republic of Irealand and the Czech Republic
Vítková, Martina ; Stejskal, Vojtěch (advisor) ; Sobotka, Michal (referee)
This diploma thesis deals with access to environmental information and access to justice in environmental matters introduced by Aarhus Convention in the specific conditions of Czech Republic and Ireland. These rights are considered to be very important tools for environmental protection. At a time when people threaten their own existence by negative interference with the environment it is necessary that effective means for its protection exist. These means are access to environmental information and access to justice in environmental matters, which together can be called as environmental procedural rights. The first chapter of this thesis presents the sources of environmental procedural law and observes the development of law at international, European and national level. The most important international document in this field is the Aarhus Convention that was adopted in 1998 by most of the European countries and that provides for access to environmental information, access to justice and public participation in environmental decision-making. This convention has largely affected the law of the European Union, where several directives has been adopted, including most importantly the Directive 2003/4/EC on access to environmental information and the Directive 2003/35/EC on public participation in...
|
|
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.
|
|
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.
|
|
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.
|
|
Nutritional analysis and optimization of breeding of selected species of edible insects under conditions of the Czech Republic with regard to human health
Adámková, Anna ; Kouřimská, Lenka (advisor)
All over the world, the edible insects are considered a highly nutritious food with high protein and fat content. However, the nutritional value of insect is not constant. It can be affected by species, developmental stage, rearing technology or nutrition.
Therefore, this thesis was aimed at obtaining the selected nutritional value of edible insects. Analyses were focused on the determination of the crude protein content, fat content, fatty acid profile and sterols in selected species of edible insects, which can be commonly reared in the Czech Republic. At the same time we also analysed samples of insects reared on the island of Sumatra to evaluate the influence of the climate on the nutritional value. The main aim of the thesis was the determination of optimal breeding conditions, developmental stages and feed rations for obtaining good production of insects with nutritional properties suitable for human nutrition. The analyses showed a high nutritional value of selected insect species, but also confirmed the significant differences in the content of individual nutrients between different species depending on the climate conditions and developmental stage. Comparing the fat and crude protein content in edible insects and other conventional sources of meat it has been found, that the examined insect is similar to beef concerning the fat and crude protein content. The results obtained are the basis for determining the appropriate rearing conditions and developmental stages for obtaining insect with the desired nutritional properties for human nutrition.
|
|
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.
|
|
Navigation of mobile robots
Rozman, Jaroslav ; Matoušek,, Václav (referee) ; Šolc, František (referee) ; Zbořil, František (advisor)
Mobile robotics has been very discussed and wide spread topic recently. This due to the development in the computer technology that allows us to create better and more sophisticated robots. The goal of this effort is to create robots that will be able to autonomously move in the chosen environment. To achieve this goal, it is necessary for the robot to create the map of its environment, where the motion planning will occur. Nowadays, the probabilistic algorithms based on the SLAM algorithm are considered standard in the mapping in these times. This Phd. thesis deals with the proposal of the motion planning of the robot with stereocamera placed on the pan-and-tilt unit. The motion planning is designed with regard to the use of algorithms, which will look for the significant features in the pair of the images. With the use of the triangulation the map, or a model will be created. The benefits of this work can be divided into three parts. In the first one the way of marking the free area, where the robot will plan its motion, is described. The second part describes the motion planning of the robot in this free area. It takes into account the properties of the SLAM algorithm and it tries to plan the exploration in order to create the most precise map. The motion of the pan-and-tilt unit is described in the third part. It takes advantage of the fact that the robot can observe places that are in the different directions than the robot moves. This allows us to observe much bigger space without losing the information about the precision of the movements.
|