National Repository of Grey Literature 19,241 records found  previous11 - 20nextend  jump to record: Search took 0.54 seconds. 

Possibilities of Big Data use for Competitive Intelligence
Verníček, Marek ; Molnár, Zdeněk (advisor) ; Šperková, Lucie (referee)
The main purpose of this thesis is to investigate the use of Big Data for the methods and procedures of Competitive Intelligence. Among the goals of the work is a toolkit for small and large businesses which is supposed to support their work with the whole process of Big Data work. Another goal is to design an effective solution of processing Big Data to gain a competitive advantage in business. The theoretical part of the work processes available scientific literature in the Czech Republic and abroad as well as describes the current state of Competitive Intelligence, and Big Data as one of its possible sources. Subsequently, the work deals with the characteristics of Big Data, the differences from working with common data, the need for a thorough preparation and Big Data applicability for the methods of Competitive Intelligence. The practical part is focused on analysis of Big Data tools available in the market with regard to the whole process from data collection to the analysis report preparation and integration of the entire solution into an automated state. The outcome of this part is the Big Data software toolkit for small and large businesses based on their budget. The final part of the work is devoted to the classification of the most promising business areas, which can benefit from the use of Big Data the most in order to gain competitive advantages and proposes the most effective solution of working with Big Data. Among other benefits of this work are expansion of the range of resources for Competitive Intelligence and in-depth analysis of possibilities of Big Data usage, designed to help professionals make use of this hitherto untapped potential to improve market position, gain new customers and strengthen the existing user base.

The model of adaptive behavior for the development of Czech assessment scales for children
Chadimová, L. ; Urbánek, Tomáš ; Seifert, M. ; Ivanková, K.
We introduce results of cluster analysis conducted during the development of Czech assessment scales of adaptive behavior in children and adolescents. Within the frame of National Institute of Education we organized the group of experts on the topic of adaptive behavior, both from the academical and practical areas. Every member of the expert group obtained 300 items inspired by local or foreign methods of adaptive behavior assessment. The experts were instrued to cathegorize the items, which they found meaningful with regard to the construct of adaptive behavior and its manifestation on the Czech background. Based on results we compiled consequent model of adaptive behavior, that becomes the base structure for newly developed assessment scales. We compare this structure with the model of adaptive behavior used by DSM-V.\n

Awareness of vegetarians about deficit of certain nutritions in vegetarian diet and about ways to compensate them
VORLÍČKOVÁ, Markéta
This thesis deals with vegetarians' awareness of the lack of specific nutritional substances in the vegetarian diet and their compensation. The aim is to explore whether vegetarians have sufficient information about the nutritional composition of their diet, whether they are interested in researching this information and whether the information is available and sufficient. I also looked at whether people with this eating preference are preventing potential nutritional deficits and subsequent health problems. There were designated the following three research questions: "How often and where do most vegetarians get information about a meatless diet?", "How can you achieve a full fledged vegetarian diet?" and "What is vegan awareness on the potential deficiencies in their diet, and how do they try avoid these?". In the theoretical part I deal with vegetarianism as a lifestyle, vegetarianism and its subgroups, the reasons for going to this way of life, the composition of a vegetarian diet with a focus on nutrients that may be deficient, vegetarianism and its impact on the body at different stages of development and ultimately the impact of a meatless diet on human health. The practical section is an elaborated form of qualitative research, specifically I chose semi-structured interviews. I collected the data from the interviews. The interview contained fourteen or fifteen questions, and women were also questioned about the pregnancy period. I asked questions regarding the issue of vegetarianism, veganism or raw foodism. I was interested in individual eating habits, nutrition knowledge and personal experience of the respondents. The data was collected between January 2014 and March 2014. The research group consisted of 6 respondents. The group was made up of women and men in the age range from 20 to 30 years. Among respondents there were vegetarians, vegans and raw foodists and the period of time in which they have been eating this way is different for every person. All respondents were familiar with the purpose of providing an interview and agreed to the publication. The interviews I conducted in person and were recorded on a dictaphone mobile phone. The results of my work show that most respondents do research about a meatless diet. They logically state that most intensive research took place while they were switching their eating habits, but now they still keep finding out new information. The most commonly used way was the Internet, specifically through websites such as www.soucitne.cz or www.vegan-fighter.com. Other sources used are books, articles, studies, and information received from friends or family members. The respondents argue that because the information was obtained this way, their diet is balanced. They are often trying to maintain diversity in their diet, for example, consume legumes and combine various foods such as legumes with cereals. Raw foodists state that they often consume sprouts, seeds, nuts, and of course a large amount of raw vegetables and fruits. All Vegans and Raw foodists know about the possible lack of vitamin B12, and some for this reason, use supplements. Also mentioned are supplements or protein complex supplements designed specifically for vegans.

Comparison of old and current cine lenses in combination with modern digital camera
Jakubec, František ; HOJDA, Petr (advisor) ; MIKŠ, Antonín (referee)
A Director of Photography has many artistic possibilities when working with cine lenses. Today, we can produce many optical effects in digital post-productions; however, working with lenses and with their defects (aberrations) is very interesting when you use them with modern recording technology. This thesis examines a small part of these issues. The theoretical part is about general qualities of optical systems, their aberrations, and measurement of picture quality. Furthermore, there is also a description of the movie camera and lenses, which were used for testing. The analytical part is about analyzing real footage from tests.

Giuseppe Verdi: "Don Carlos" - opera complex scenographic project
Heřmánková, Lucie ; DAVID, Milan (advisor) ; TEMPÍR, Nikola (referee)
This bachelor’s thesis aims to find complex scenographic solution of Don Carlos opera composed by Italian author Giuseppe Verdi. Apart from my own creative solution I also present theoretical chapters of authors biography, relation to his work and I compare several Don Carlos productions by Josef Jelínek who designed six unique costume variations. During process of making the set design I came up with lots of topics to think about. I chose freedom as main topic by studying past productions, libretto and musical part. This topic is one of the key elements of the creative solution and therefore I defined it further in part of this thesis. I am also looking for artistic ways that would be the most suitable and adequate for the opera, musical-dramatic genre, in which music could be more important than libretto. I am trying to find connections to contemporary society and keep the story up to date.

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.

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.

The role of authority and form of partnership during creation of new choreographic dance piece
Radačovský, Mário ; KAZÁROVÁ, Helena (advisor) ; WIESNER, Daniel (referee)
In our dance life its very important that we meet time to time people who are so incredibly influencetial to us ether positive or negative ways. Some of them are able to influence us so much that we keep this impact which they have made on us for ever.Role of autority and partnership between these two elements is crucial.Its has impact on everyday of our working life.I ca not imagine what can happen if there is not existing somekind of form of partnership in the dance studio.To be dancer is very no simply just job .Is more ,its something truly special what not everyone can understand.The task of my work is to go back in my profesional past ,through out my own memories and profesional experiences to offer some situations when I truly felt presents of authority and partnership .Sometimes only autorithy .I this work Im trying to offer my small stories which I lived thourgh from my prospective and Im tring to analysed them through my own expierience of today.It always about something.We are creating because we want to say things.Journey is very important sometimes more then final outcome. Now important during this journey is able to see how things are done how we comunicate them and autorities will appear .

Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (referee) ; Křetínský, Mojmír (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, avšak žádný z nich doposud nebyl natolik robustní, aby fungoval ve všech případech, se kterými se lze v praxi setkat. Ve snaze poskytnout vyšší úroveň automatizace a současně umožnit verifikaci programů se složitějšími datovými strukturami v této práci navrhujeme nový přístup, který je založen zejména na použití stromových automatů, ale je také částečně inspirován některými myšlenkami, které jsou převzaty z metod založených na separační logice. Mimo to také představujeme několik vylepšení v oblasti implementace operací nad stromovými automaty, které jsou klíčové pro praktickou využitelnost navrhované verifikační metody. Konkrétně uvádíme optimalizovaný algoritmus pro výpočet simulací pro přechodový systém s návěštími, pomocí kterého lze efektivněji počítat simulace pro stromové automaty. Dále uvádíme nový algoritmus pro testování inkluze stromových automatů společně s experimenty, které ukazují, že tento algoritmus překonává jiné existující přístupy.

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.