|
Possibilities of Big Data use for Competitive Intelligence
Verníček, Marek ; Molnár, Zdeněk (vedoucí práce) ; Šperková, Lucie (oponent)
Tato diplomová práce se zabývá analýzou možností využití Big Data pro metody a postupy Competitive Intelligence. Cílem práce je navrhnout nástrojové sady pro práci s Big Data pro malé a velké firmy a následný návrh efektivního řešení pro získání konkurenční výhody podniku. Teoretická část této práce zpracovává dostupnou odbornou literaturu v České republice i v zahraničí a popisuje aktuální stav Competitive Intelligence, jeho možné zdroje a Big Data jako jeden z nich. Následně se práce věnuje charakteristice Big Data, jejich odlišnosti od práce s běžnými daty, nutností důsledné přípravy a možnosti jejich využití pro metody Competitive Intelligence. Praktická část práce se zabývá analýzou dostupných nástrojů Big Data na trhu s ohledem na celý proces práce od sběru dat, přes analýzu až po přípravu reportů a integrace celého řešení do automatizovaného stavu. Výstupem této části je návrh softwarové sady nástrojů Big Data pro malé a velké firmy podle možností jejich rozpočtu. Návrhová část práce se následně věnuje klasifikaci nejperspektivnějších oblastí trhu pro využití Big Data, možnými způsoby získání konkurenční výhody v jednotlivých oblastech a návrhem efektivního řešení pro podniky. Přínosem této práce je rozšíření palety zdrojů pro Competitive Intelligence a hloubková analýza možností využití Big Data, která má pomoci profesionálům využít tento dosud neobjevený potenciál ke zlepšení postavení na trhu, získání nových zákazníků a posílení současné uživatelské základny.
|
|
Model adaptivních schopností pro vývoj českých posuzovacích škál u dětí
Chadimová, L. ; Urbánek, Tomáš ; Seifert, M. ; Ivanková, K.
Představujeme výsledky shlukové analýzy, která byla provedena v rámci vývoje českých posuzovacích škál adaptivních schopností u dětí a adolescentů. V rámci činnosti NÚV byla svolána skupina 8 odborníků na oblast adaptivních schopností z akademické a výzkumné oblasti i poradenské praxe. Každý člen skupiny obdržel v rámci jednoho setkání celkem 300 otázek, které byly inspirovány některými ze zahraničních či místních nástrojů hodnotících adaptivní schopnosti. Úkolem skupiny bylo rozdělit otázky do kategorií, které se jim z hlediska konstruktu adaptivních schopností a jeho projevů v českém prostředí zdají smysluplné. Na základě výsledků kategorizace byl zpracován výsledný model adaptivních schopností, který se stane podkladem pro strukturování vytvářených posuzovacích škál. Tento model ve svém příspěvku porovnáme s aktuálně užívaným modelem adaptivních schopností dle DSM-V.\n
|
|
Informovanost vegetariánů o deficitu konkrétních nutričních látek ve vegetariánské stravě a jejich kompenzaci
VORLÍČKOVÁ, Markéta
Tato bakalářská práce se zabývá informovaností vegetariánů o nedostatku konkrétních nutričních látek ve vegetariánské stravě a jejich kompenzaci. Cílem práce bylo zmapovat, zda mají vegetariáni dostatečné informace o nutričním složení jejich výživy, zda mají zájem si tyto informace hledat a zda jim informace přijdou dostupné a dostačující. Dále jsem zjišťovala, zda se lidé s touto stravovací preferencí snaží předcházet možným nutričním deficitům a následným zdravotním problémům. Byly stanoveny tyto 3 výzkumné otázky: "Jak často a kde si nejčastěji vegetariáni vyhledávají informace o bezmasé výživě?", "Jakým způsobem dosahují vegetariáni plnohodnotného jídelníčku?" a "Jaká je informovanost veganů o možném nedostatku v jejich výživě a jakým způsobem se mu snaží předcházet?". V teoretické části se zabývám především vegetariánstvím jako životním stylem, rozdělením vegetariánství na jeho podskupiny, důvody pro přechod na tento způsob života, poté složením vegetariánské stravy se zaměřením na složky výživy, které mohou být deficitní, také vegetariánstvím a jeho dopadem na organismus v různých fázích vývoje a nakonec dopadem bezmasé stravy na zdraví člověka. Praktickou část jsem zpracovala formou kvalitativního výzkumu, konkrétně jsem zvolila polostrukturované rozhovory. Sběr dat jsem provedla pomocí rozhovorů. Rozhovor obsahoval čtrnáct nebo patnáct otázek, ženy byly navíc dotazovány ohledně období těhotenství. Rozhovory jsem směřovala k problematice vegetariánství, veganství či vitariánství. Zajímala jsem se o individuální stravovací návyky, znalosti z oblasti výživy a vlastní zkušenosti respondentů. Sběr dat probíhal v období mezi lednem 2014 až březnem 2014. Výzkumný soubor tvořilo 6 respondentů. Skupina byla tvořena ženami i muži ve věkovém rozmezí od 20-ti do 30-ti let. Respondenti byli z řad vegetariánů, veganů i vitariánů a doba, po kterou preferovali specifický způsob života, se různila. Všichni respondenti byli obeznámeni s účelem poskytování rozhovoru a souhlasili s publikováním. Rozhovory jsem prováděla vždy osobně a zaznamenávala je na diktafon v mobilním telefonu. Z výsledků mé práce vyplývá, že většina respondentů si informace o bezmasé stravě vyhledává. Nejintenzivnější vyhledávání učinili logicky při přechodu k jinému stravovacímu způsobu, ale i nyní se dozvídají stále nové informace. Nejčastěji využívají internet, konkrétně často zaznívala webová stránka www.soucitne.cz nebo www.vegan- fighter.com. Dalšími využívanými zdroji jsou knihy, články, studie, a nebo informace předané od přátel či členů rodiny. Respondenti uvádějí, že díky takto získaným informacím se stravují vyváženě. Často se snaží o pestrost, kombinují různé potraviny, jako jsou luštěniny s obilovinami. Vitariáni uvádějí, že často konzumují klíčky, semínka, ořechy a samozřejmě velké množství syrové zeleniny a ovoce. Všichni vegani i vitariáni vědí o možném nedostatku vitaminu B12, někteří z tohoto důvodu využívají suplementy. Také jsou zmiňovány suplementy proteinů čikomplexní suplementy určené přímo pro vegany.
|
|
Porovnání starých a současných snímacích objektivů v kombinaci s digitální kamerou
Jakubec, František ; HOJDA, Petr (vedoucí práce) ; MIKŠ, Antonín (oponent)
Mezi výrazové prostředky kameramana patří mimo jiné práce s objektivy a jejich vlastnostmi. Dnes se mnoho podobných optických efektů řeší postprodukčně. Nicméně právě tento výrazový prvek je zajímavý při kombinaci moderní záznamové technologie a objektivů, které mají různé „nectnosti". Tato práce prozkoumává malou oblast této problematiky. V teoretické části jsou rozebrány základní obecné vlastnosti optických soustav, jejich aberace a měření kvality obrazu. Dále je zde popsána kamera a objektivy, se kterými se prováděly praktické testy. V analytické části je pak provedena analýza nasnímaných testů.
|
|
Giuseppe Verdi: "Don Carlos" - komplexní scénografický projekt opery
Heřmánková, Lucie ; DAVID, Milan (vedoucí práce) ; TEMPÍR, Nikola (oponent)
Cílem mé bakalářské práce je najít komplexní scénografické řešení opery Don Carlos italského hudebního skladatele Giuseppe Verdiho. Kromě vlastního výtvarného řešení se také zabývám teoretickými kapitolami z autorova života, okolnostmi vzniku díla, srovnáním několika inscenací Dona Carlose s odlišným scénografickým názorem i vývojem kostýmních návrhů výtvarníka Josefa Jelínka, který navrhl kostýmy k šesti různým inscenacím Dona Carlose.
Při tvorbě výtvarného návrhu mi vyplynula celá řada otázek a námětů k zamyšlení. Studiem předešlých inscenací, libreta a hudební složky se tématem mé koncepce stal pojem svobody. Tento pojem se nestává jediným určujícím faktorem pro výtvarnou složku, ale je potřeba ho definovat, a proto je součástí mé práce i krátká úvaha na téma svoboda. Ve své práci se snažím najít ty výtvarné prostředky, které by ji nejvíce vystihovaly a zároveň byly adekvátní vůči opeře, hudebně-dramatickému žánru, kde hudba může být i důležitější složkou než je libreto.
|
|
Vliv sněhové pokrývky na odtok během dešťových srážek.
Juras, Roman ; Máca, Petr (vedoucí práce) ; Ladislav , Ladislav (oponent)
V zimním období, kdy leží na povodí sněhová pokrývka, stále přibývá výskytu dešťových srážek. Déšť dopadající na sníh (ROS) má často za následek vznik povodní a mokrých lavin. Predikce vlivu ROS záleží především na lepším pochopení mechanismů vzniku a složení odtoku ze sněhové pokrývky. Spojení simulace deště na sněhovou pokrývku a využití stopovačů bylo testováno jako vhodný nástroj pro tento účel. Celkem bylo provedeno 18 experimentů na sněhovou pokrývku s různými počátečními vlastnostmi v horských podmínkách střední a západní Evropy.
Pro určení charakteru proudění bylo použito barvivo brilliant blue (FCF), pomocí kterého je možné vizualizovat preferenční cesty, ale i určit rozhraní dvou vrstev o různých hydraulických vlastnostech. Zastoupení jednotlivých složek odtékající vody na výtoku bylo stanoveno pomocí metody separace hydrogramu, která poskytuje dobré výsledky s přijatelnou nejistotou. Z technických důvodů nebylo možné obě metody použít současně během jednoho experimentu, i když by to ještě více rozšířilo znalosti o dynamice proudění dešťové vody ve sněhové pokrývce. Množství tavné vody bylo vypočteno pomocí rovnice energetické bilance. Použití této rovnice je poměrně přesné, ale zároveň náročné na vstupy. Z toho důvodu bylo tání vypočteno pouze u jednoho experimentu.
Rychlost vzniku odtoku roste v první řadě intenzitou srážky. Počáteční vlastnosti sněhové pokrývky, jako hustota a vlhkost, ovlivňují rychlost vzniku odtoku až druhotně. Na druhou stranu při stejné intenzitě srážky vykazovala nevyzrálá sněhová pokrývka s malou hustotou rychlejší hydrologickou odpověď, než vyzrálá pokrývka s větší hustotou. Velikost odtoku je závislá, především na počátečním nasycení. Vyzrálá sněhová pokrývka s vyšším počátečním nasycení generovala vyšší celkový odtok, kde dešťová voda přispívala maximálně z 50ti %. Proti tomu protekla dešťová voda nevyzrálou sněhovou pokrývkou poměrně rychle a do odtoku se propagovala přibližně z 80ti %.
Pro predikci odtoku během ROS byla použita Richardsova rovnice v rámci modelu SNOWPACK. Tento model byl upraven tak, že byla sněhová matrice rozdělena pro lepší simulaci preferenčního proudění. Tento přístup přinesl zlepšení výsledků oproti klasickému přístupu, kdy se uvažuje pouze matricové proudění.
|
|
Antioxidační, anti-proliferační a imunomodulační účinky ovoce, zeleniny a hub in vitro
Doskočil, Ivo ; Havlík, Jaroslav (vedoucí práce) ; Orsák, Matyáš (oponent)
V poslední době stoupá zájem o nalezení nových druhů rostlin a hub, které mají antioxidační nebo antiproliferační aktivitu. Tento zájem je vyvolán zejména jejich možným léčivým a potravinovým využitím při mnoha onemocněních, které mohou být spojeny s oxidačním stresem, jako jsou například zánětlivá onemocnění střev, kardiovaskulární onemocnění, hypertenze nebo nádorová onemocnění.
Tato práce předkládá charakterizaci in vitro antioxidační a anti proliferační aktivity vybraných 19 džusů a 28 metanolových extraktů z ovoce a zeleniny, které jsou běžnou součástí jídelníčku. Dále 13 etanolových extraktů jedlých hub řádu chorošotvarých (Popyporales). Pro stanovení antioxidační aktivity byly využity metody
2,2 diphenyl 1 picrylhydrazyl (DPPH); absorbance kyslíkových radikálů (oxygen radical absorbance capacity ORAC) a inhibice produkce oxidu dusnatého (NO). Cytotoxicita byla měřena pomocí metody MTT využívající tetrazolovou sůl 3 [4,5 dimetyltiazol 2 yl] 2,5 difenyltetrazol bromid; a pro stanovení imunomodulační aktivity byla použita metoda fagocytární aktivity lidských neutrofilních granulocytů. Dále byl zjišťován celkový obsah fenolů (TPC) a ß glukanů, jako potenciálně aktivních složek podílejících se na těchto aktivitách.
Z výsledků je patrné, že z testovaných vzorků ovoce a zeleniny vykazovaly nejvyšší antioxidační aktivitu džusy (TPC = 1603,2 mg GAE/l džusu; ORAC = 438,5 umol TE/g) a extrakty (ORAC 836,6 umol TE/g;
DPPH = 404,6 umol TE/g) z plodů brusnice borůvky (Vaccinium myrtillus), následované džusem z papriky (Capsicum L.)(TPC = 642,1 mg GAE/l džusu; ORAC = 127,9 umol TE/g) a extraktem z ředkve bílé (Raphanus sativus L.)(ORAC = 724,5 umol TE/g; DPPH = 52,2 umol TE/g). Z testovaných druhů ovoce a zeleniny inhibovaly produkci NO džusy z cibule kuchyňské (Allium cepa L)(snižoval produkci NO o 57 %) a mandarinka (Citrus reticulata Blanco)(o 52 %) spolu s extrakty z brokolice (Brassica oleracea var. botrytis italica) (o 21 %) a pomeranče (Citrus sinensis Pers.) (o 10 %). Z jedlých hub byl stanoven nejvyšší obsah fenolových sloučenin u Lentinus tigrinus (Bull.) (houževnatec tygrovaný) Fr. (TPC = 216,2 umol GAE/g extraktu), Ganoderma lucidum (Curtis) P. Kras (lesklokorka lesklá)(TPC = 257,9 umol GAE/g extraktu) a Royoporus badius (Pers.) A.B. De (choroš smolonohý)(TPC = 257,8 umol GAE/g extraktu). Obsah ß glukanů byl nejvyšší u Sparassis crispa (Wulfen) Fr. (kotrč kadeřavá)(117,4 mg/g extraktu). Významný efekt na fagocytární aktivitu granulocytů byl zaznamenán u Neolentinus lepideus (Fr.) Redhead & Ginns, Polyporus squamosus (Huds.) Fr. (choroš šupinatý) a S. crispa. U poslední ze zmíněných hub byl taktéž zaznamenán mírný inhibiční účinek vůči buněčné linii HT 29 kolorektálního karcinomu člověka (IC50 = 107 ug/ml extraktu).
Výsledky naznačují, že některé námi testované rostliny a houby mohou být perspektivní ve snižování následků vzniklých v důsledku oxidačního stresu, který má podíl na celé řadě onemocnění a snížení toho oxidačního stresu může vést ke snížení progrese těchto onemocnění. Výsledky naznačují možný mechanismus účinku na lidské zdraví, při jejich interpretaci je však třeba brát v úvahu, že in vitro testy a screeningy jsou prvním stupněm systematického výzkumu těchto účinků a slouží pro výběr kandidátů pro návazné podrobnější studie.
|
|
Úloha autority a princíp partnerstva pri tvorbe choreografického diela
Radačovský, Mário ; KAZÁROVÁ, Helena (vedoucí práce) ; WIESNER, Daniel (oponent)
V našom tanečnom umení je veľmi dôležité ak sa môžeme stretnúť s osobnosťami, ktoré ovplyvnia náš život natoľko či už pozitívne alebo negatívne ,že si tento ich odkaz nesieme celým naším umeleckým životom.
Princíp autority ktorá nás denne formuje ,ale aj partnerstva bez ktorého by to celé zrejme nebolo ani možné .Určitá forma partnerstva je viac ako potrebná v našom veľmi náročnom povolaní. Napriek tomu byť tanečníkom nie je povolanie ale skôr o poslanie .
Cieľom mojej práce je pokúsiť sa načrtnúť určite formy autorít na základe mojich osobných skúseností ako aj ponúknuť porovnanie medzi nimi cez vykreslenie určitých modelových situácií ,ktoré som mal možnosť osobne zažiť. Ponúknuť rozličné riešenia určitých situácií .
Vždy ide o nejaký cieľ spoločného snaženia sa naplniť ho. Rozdiel je inteligencií a spôsobe ako vytúžený úspech dosiahnuť. Nakoniec výsledok nie je aj tak to najdôležitejšie ale forma a hlavne ako sme ho dosiahli. Celá moja práca bola o zamyslení a paralelách a novom vnímaní už existujúcich prežitkov.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (oponent) ; Křetínský, Mojmír (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work addresses verification of infinite-state systems, more specifically, verification of programs manipulating complex dynamic linked data structures. Many different approaches emerged to date, but none of them provides a~sufficiently robust solution which would succeed in all possible scenarios appearing in practice. Therefore, in this work, we propose a new approach which aims at improving the current state of the art in several dimensions. Our approach is based on using tree automata, but it is also partially inspired by some ideas taken from the methods based on separation logic. Apart from that, we also present multiple advancements within the implementation of various tree automata operations, crucial for our verification method to succeed in practice. Namely, we provide an optimised algorithm for computing simulations over labelled transition systems which then translates into more efficient computation of simulations over tree automata. We also give a new algorithm for checking inclusion over tree automata, and we provide experimental evaluation demonstrating
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
host ::
