|
The current state and prospects for sustainable development of tourism in Slovakia.
Libantová, Silvia ; Indrová, Jarmila (advisor) ; Chaloupka, Radek (referee)
Tourism contributes to the prosperity of destinations by bringing financial resources, new jobs, a higher level of services and infrastructure development. However, if tourism does not develop sustainably, it is accompanied by negative factors, as well. Especially, negative impacts on the environment, such as: water and soil contamination, increased noise and overcrowded destination during the high season. As a response to the worsening state of the environment and possible irreversible changes caused by irresponsible human behavior, the idea of sustainable development is becoming more important. The theoretical part describes tourism in the Slovak Republic and highlights plans for sustainable tourism development. In the practical part, the results of the questionnaire, related to the awareness of sustainable tourism in the Slovak Republic, are evaluated. The main objective of this thesis is to evaluate the current situation in the field of sustainable tourism and to make suggestions for its future development.
|
|
Introduction to bio art
Šperanda, Nina ; SILVERIO, Robert (advisor) ; JANOŠČÍK, Václav (referee)
Bio art is a contemporary art practice that works with living organisms (except humans) or is created in cooperation with living organisms. It is relatively new art movement that is rooted deeply inside the history of evolution, domestication of animals and plants, technological discoveries, their development and science. Never before was art questioning its ethics and aesthetics in such profound, molecular and sub-molecular way.
In this work I will consider the historical influences and conditions that led to current developments in the field. I will also try to explain the problematics of defining what bio art is and try to clarify the associated terminology. Most relevant and ground breaking works in the field will be mentioned as some new recent developments.
Aesthetics of bio art is also an important subject often set aside by the ado around ethics of it. It is an extremely important subject to be considered when talking about bio art and I will try to sketch out a brief outline of it with references to philosophy and contemporary bio art theory.
|
|
Activities and functioning of New web organization
Tyl, Jan ; PROKOP, Petr (advisor) ; SULŽENKO, Jiří (referee)
Abstract
Bachelor thesis Activities and functioning of New Web organisation aims to detailed analysis of this culture network. What paths choose, how fulfills its visions, etc. Describe the formation of the organization, motivations and partial steps, which New web takes for its funcioning. How partial sections of this organism thinks and how cooperate.
Also this thesis deals with organization structure of New web. Collectively write an overview of activities this network. Uncover sources of funding. All in relation with functioning of another culture networks in Europe. Concretely IETM, Trans Europe Halles and IN SITU organizations. In conclusion wants to outline future direction of New web organization.
|
| |
| |
| |
| |
| |
|
Tenancy spouses and use of the flat spouses in a new arrangement after January 1, 2014
Prantlová, Soňa ; Kadlecová, Eva (advisor) ; Pavla, Pavla (referee)
The thesis is devoted to the topic of tenancy by the spouses, and its use as is specified in the new adaptation of the Civil Code no. 89/2012 Coll. It replaced until functioning Civil Code from the year 1964. The new legislation is specified series of new institutes, whose primary aim is to protect the weaker party, in the case of tenant. The diploma thesis was divided into theoretical and practical part. In the theoretical part, was attention paid to basic concepts which have been defined. There were characterized rights of tenant and landlord, analyzed housing legislation according to the new Civil Code. The practical part was devoted to the interpretation of survey results. There were approached tenants of several apartment buildings in Kralupy nad Vltavou. Based on the findings, were designed some recommendations to raise awareness about the rights and responsibilities of tenants, as well as about the whole issue of housing legally.
|
|
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.
|
guest ::
