|
Optimalizace CRM řešení
Fučík, Ivan ; Mildeová, Stanislava (vedoucí práce)
Tato práce je zaměřena na problematiku CRM řešení v malých a středních organizacích s ohledem na kvalitu jejich vztahů se zákazníky. Cílem této práce je připravit návrh optimalizace CRM řešení v reálné organizaci. Pro naplnění tohoto cíle je nutné porozumět teoretickým východiskům práce, tj. organizacím a jejich vztahům se zákazníky, CRM systémům, jejich funkcím a trendům. Na základě těchto teoretických východisek bylo možné analyzovat současné CRM řešení v dané organizaci. Z údajů, získaných metodami pozorování a řízeného rozhovoru, bylo možné navrhnout optimální CRM řešení v souladu s požadavky organizace a uživatelů CRM systému. Toto nové CRM řešení klade důraz na úsporu času a nákladů, spojených s provozem a obsluhou CRM systému tím, že nahrazuje stávající ne zcela efektivní CRM nástroje.
|
|
Návrh marketingové strategie ve společnosti Imperium Finance
Petrovič, Marko ; Čermák, Radim (vedoucí práce) ; Sova, Martin (oponent)
Internetový marketing je v současnosti jednou z nejdůležitějších složek marketingu. Avšak internetový marketing jako celek je mnohem důležitější než pouhý webdesign, pouhá optimalizace pro vyhledávače (SEO) nebo pouhá PPC reklama. Většina firem si donedávna vystačila s webovými stránkami a tím byla jejich prezentace na internetu hotová. Nicméně internet je jednou z nejrychleji se rozvíjející technologií současnosti a každým rokem roste počet jeho uživatelů. Neustále se objevují nové technologie, které umožňují lepší uživatelský komfort a které také přinášejí nové způsoby prezentace a propagace. Většina společností udělá chybu již na začátku a podcení přípravu, neznají své cíle, zákazníky nebo konkurenci. Internetový marketing je proces. Obsahem tohoto procesu je poznání, analýza, návrh, realizace a nakonec i ověření, zda bylo dosaženo cílů organizace. V teoretické části je definován internetový marketing a jeho výhody oproti offline marketingu. Stručně je zde shrnuta historii a hlavní milníky internetového marketingu, které formovaly jeho současnou podobu. Dále jsou popsány současné trendy internetového marketingu a detailněji rozebrány vybrané nástroje internetového marketingu a nástroje pro vyhodnocení úspěšnosti kampaní. V praktické části se zabývám návrhem marketingové strategie ve společnosti Imperium Finance s.r.o. Hlavním cílem práce je zanalyzovat požadavky společnosti Imperium Finance s.r.o., z analýzy vyvodit konkrétní závěry a navrhnout marketingovou strategii, která podpoří vizi a strategii firmy v následujícím období. Veškeré kroky probíhaly přímo ve společnosti Imperium Finance na reálných datech od aktivních klientů a testovány v ostrém chodu společnosti. Výsledkem je pak návrh marketingové strategie, kterou se bude Imperium Finance řídit, a to v podobě marketingového plánu společnosti. Největším přínosem práce je tak reálné využití teoretických poznatků v praxi.
|
|
Staré, či nové v Serenádě op. 44 Antonína Dvořáka
Kolátorová, Petra
Příspěvek se zabývá žánrem orchestrální serenády v kontextu reflexí "starého" a "nového".Orchestrální serenádu pro 19. století objevil opět německý skladatel Johannes Brahms,který navázal na tradice vídeňského klasicismu. O klasicistním modelu lze na základě analýzy a historických souvislostí uvažovat též v případě Serenády op. 44 Antonína Dvořáka, konkrétně o Serenádě B dur KV 361/370a Wolfganga Amadea Mozarta. Dvořák posunul Brahmsovu snahu dál směrem k pozdějšímu neoklasicismu.
|
|
Úvod do bio artu
Šperanda, Nina ; SILVERIO, Robert (vedoucí práce) ; JANOŠČÍK, Václav (oponent)
Bio art je současný umělecký směr, který pracuje s živými organismy (kromě lidí), nebo je vytvářen ve spolupráci s živými organismy.
Je to relativně nové umělecké hnutí, které má své kořeny hluboko v historii evoluce. Vychází z domestikace zvířat a rostlin, technologických objevů, vývoje a vědy.
V minulosti nebylo umění, které by zpochybňovalo svou estetiku a etiku v tak hluboké míře způsobem molekulárním a submolekulárním, jak je tomu u bio umění.
V této práci se budu zabývat historickými vlivy a podmínkami, které vedly k současnému vývoji této oblasti. Pokusím se také vysvětlit problematiku toho, co je bio umění a současně vysvětlit terminologii s ním spojenou. Ve své práci zmíním průlomové objevy a díla současných umělců zabývajících se oborem bio artu.
V teorii bývá estetika bio artu často zastíněna diskuzí o etice, nicméně je velmi důležitou a nedílnou součástí tohoto uměleckého směru. Ve své práci se budu zabývat hlavně estetikou bio umění s odkazem na filosofii. Nastíním stručný přehled názorů současných autorů.
|
|
Využití nově syntetizovaného amocharu ke stabilizaci a sorpci kovů a metaloidů.
Ouředníček, P. ; Trakal, L. ; Komárek, M. ; Pohořelý, Michael
Možnost sanace půd, která je většinou založena na principu stabilizace a imobilizace potenciálně rizikových látek, je v posledních letech intenzivně studovanou a zkoumanou problematikou. Jedním z takovýchto stabilizačních činidel je i biochar, tedy forma aktivního uhlí, která má schopnost poutat na svůj povrch celou řadu kontaminantů včetně právě kovů a metaloidů. Biochary mají obecně vysoce aktivní povrch a přítomnost různých funkčních skupin (např. COO–) zodpovědných za tvorbu chelátů a alkalických prvků (Ca2+, K+, Na+ a Mg2+) reprezentující kationtovou výměnu; v kombinaci s vysokými hodnotami pH (7,00 až 10,0) poukazují na jejich efektivní sorpční kapacitu vázat na svůj povrch kovy a metaloidy z roztoku (z půdní vody), zejména pak v kyselých půdách (tedy v oblastech postižených intenzivní důlní činností). Dále lze sorpční účinnost biocharů ještě zvýšit/vylepšit (zejména pak v případech odstraňování As (V) nebo Cr (VI)) a to pomocí různých modifikací. A právě modifikací biocharu pomocí amorfního oxidu manganu (AMO), byl vytvořen nový sorbent AMOchar. Produkt byl připraven přidáváním biocharu přímo do roztoku reaktantů při syntéze AMO. Samotný AMOchar je tak tvořen především Mn-oxaláty, které jsou přítomny ve formě povlaků na povrchu částic biocharu. Sorpční účinnost tohoto sorbentu pak byla i přes poměrně zásadité pH AMOcharu vysoká pro všechny testované rizikové prvky. Konkrétně byla sledována vysoká sorpce nejen pro Pb (téměř 99 %) a Cd (51,2 %) ale i pro As (91,4 %). Modifikace biocharu pomocí AMO též signifikantně snížila extrakci Mn, díky čemuž by nemělo, v případě reálného používání tohoto sorbentu pro sanaci půd, docházet k post-kontaminaci půdy právě manganem, který se uvolňuje z Mnoxalátů při rozpouštění jinak vysoce účinného sorbentu AMO.
Plný tet: SKMBT_22316111113040 -  PDF
Plný text: content.csg - PDF
|
|
Dílčí zpráva IV/2016 - Hodnocení monitoringu napěťodeformačního stavu horninového masivu při dobývání sloje 30 (634) v rámci zkušebního provozu dobývací metody chodba - pilíř v OPJ Dolu ČSM - SEVER
Waclawik, Petr ; Ptáček, Jiří ; Kukutsch, Radovan ; Kajzar, Vlastimil ; Koníček, Petr ; Souček, Kamil ; Staš, Lubomír
Monitoring napěťodeformačního stavu horninového masivu je nezbytným předpokladem pro ověření nové neschválené dobývací metody chodba-pilíř a jejího dalšího použití v podmínkách české části hornoslezské uhelné pánve. Tato dobývací metoda je projektována pouze na základě zkušeností a postupů, které jsou ověřeny v odlišných přírodních podmínkách a hloubkách pod povrchem a proto je nezbytná její verifikace pro podmínky české části hornoslezské pánve na základě geotechnického monitoringu. Předkládaná zpráva je zpracována na základě smlouvy o dílo č. 942/50/10, kde se Ústav Geoniky AV ČR, v.v zavazuje provádět pravidelné vyhodnocování dat monitoringu napěťodeformačního stavu horninového masivu. V souladu s výše uvedenou smlouvou, je zpráva zpracována v 6-ti měsíčním intervalu a navazuje tak na dílčí zprávu III/2015 (Waclawik et al. 2015) předanou odběrateli v dubnu tohoto roku. Průběžné výsledky geotechnického monitoringu, tak jak zkušenosti získané v době dobývání první dobývky V, ukazují na specifika přírodních podmínek v lokalitě zkušebního provozu nové neschválené dobývací metody chodba-pilíř.
Plný tet: UGN_0464907 - PDF
Plný text: content.csg - PDF
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
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.
|
|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (oponent) ; Vojnar, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies theoretical properties of grammars with restricted derivation trees. After presenting the state of the art concerning this investigation area, the research is focused on the three main kinds of the restrictions placed upon the derivation trees. First, it introduces completely new investigation area represented by cut-based restriction and examines the generative power of the grammars restricted in this way. Second, it investigates several new properties of path-based restriction placed upon the derivation trees. Specifically, it studies the impact of erasing productions on the generative power of grammars with restricted path and introduces two corresponding normal forms. Then, it describes a new relation between grammars with restricted path and some pseudoknots. Next, it presents a counterargument to the generative power of grammars with controlled path that has been considered as well-known so far. Finally, it introduces a generalization of path-based restriction to not just one but several paths. The model generalized in this way is studied, namely its pumping, closure, and parsing properties.
|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (oponent) ; Yamamura,, Akihito (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies synchronous formal systems based on grammars and transducers, investigating both theoretical properties and practical application perspectives. It introduces new concepts and definitions building upon the well-known principles of regulated rewriting and synchronization. An alternate approach to synchronization of context-free grammars is proposed, based on linked rules. This principle is extended to regulated grammars such as scattered context grammars and matrix grammars. Moreover, based on a similar principle, a new type of transducer called the rule-restricted transducer is introduced as a system consisting of a finite automaton and context-free grammar. New theoretical results regarding the generative and accepting power are presented. The last part of the thesis studies linguistically-oriented application perspectives, focusing on natural language translation. The main advantages of the new models are discussed and compared, using select case studies from Czech, English, and Japanese to illustrate.
|
host ::
