Národní úložiště šedé literatury Nalezeno 21,455 záznamů.  1 - 10dalšíkonec  přejít na záznam: Hledání trvalo 1.61 vteřin. 

Výběr účetního programu pro firmu
KRUPIČKA, Lukáš
Cílem práce je vybrat a doporučit konkrétní firmě účetní program, který by nejlépe splňoval požadavky firmy na evidenci účetních dat. Účetní software je nezbytnou součástí a nástrojem pro řízení účetnictví a daňové evidence. Výběr toho správného je velmi obtížné. První část je věnována vývoji informačních technologií ve zpracování účetních dat, popisuje a definuje ERP, historii ERP a rozvoj ERP na českém trhu. Také popisuje obecný proces výběru účetního systému. Praktická část se zabývá konkrétní společností s názvem JASA s.r.o. a aplikací výběru programu na zvolený podnik dle jeho vlastních kritérií. Program byl vybrán na základě analýzy získaných informací o jednotlivých účetních programech a podle požadavků stanovených firmou.

Porovnání účetních programů z hlediska využití informací pro řízení firmy
Loušová, Petra ; Stejskalová, Irena (vedoucí práce) ; Pevná, Jana (oponent)
Cílem diplomové práce je porovnat účetní programy z hlediska využití informací, které jsou důležité pro vedení podniku. Teoretická část se věnuje obecnému přístupu ke zpracování podnikových informací v rámci účetnictví. Jako další je zde představen přehled toho, jaké informace z oblasti účetnictví jsou důležité a potřebné pro práci finančního manažera. Praktická část obsahuje analýzu nejméně třech účetních programů, s hlavním zaměřením na to, jaké informace z vybraných účetních programů potřebují manažeři při své práci či jaké informace skutečně z programu získávají. V práci je též provedena komparace výsledků jednotlivých organizací, informace jsou získány prostřednictvím hloubkového rozhovoru s finančním manažerem vybrané firmy.

Stomické sestry a jejich podíl na práci se svépomocnými skupinami nemocných
ŠŤASTNÁ, Olga
Svépomocné skupiny, stomasestry a pacienti se stomií jsou v neustálém spojení a stále spolu pracují. Úkolem naší práce bylo zjistit, jaký má stomasestra podíl na práci ve svépomocných skupinách stomiků. Začátky s tímto onemocněním bývají složité, a proto v nemocnicích pracují tzv. stomasestry, což jsou specializované sestry, které jsou zaškolené v ošetřování stomií a vším, co s tímto problémem souvisí. Stomasestry navštěvují pacienty na odděleních a připravují je na život stomika. Seznamují je s možnostmi pomůcek, s jejich dodavateli, i komplikacemi, které mohou nastat. Učí je, jak reagovat, na koho se obrátit a kde si obstarat pomůcky. Také je informují o sdruženích stomiků a o svépomocných skupinách, protože slyšet vzájemně různé problémy, moc pomáhá každému pacientovi. Ve svépomocných skupinách platí principy rovnoprávnosti, vzájemné pomoci a výměny zkušeností. Velkou roli hrají stomasestry, které jsou v každodenním kontaktu se svými pacienty. Měly by umět poradit s mnoha psychologicko etickými problémy. Cílem práce bylo zjistit, zda si stomasestry uvědomují význam svépomocných skupin pro stomiky. Dále pak, zda sestry informují pacienty o svépomocných skupinách, zda spolu vzájemně spolupracují a jaký je podíl stomasestry v těchto skupinách. Také jsme chtěly zjistit, jaký význam přikládají pacienti se stomií svépomocným skupinám.

Pivoňky jako genetický zdroj
Sekerka, Pavel ; Faloutová, Z. ; Macháčková, Markéta ; Caspers, Zuzana ; Blažek, Milan ; Blažková, Uljana
Pivoňky jsou staré okrasné a užitkové rostliny. Práce představuje zahradnické dělení odrůd a jejich historii. Sbírka pivoněk v Průhonické botanické zahradě byla založena v roce 1968, od osmdesátých let se zabývá také jejich šlechtěním. Pivoňky byly v roce 2015 zařazeny do Národního programu, nyní připravujeme jejich klasifikátor.

Profil a reflexe tanečního oddělení Julliard school
Červinka, Marek ; JANEČEK, Václav (vedoucí práce) ; KŘENKOVÁ, Mahulena (oponent)
Tato bakalářská práce s názvem Profil a reflexe tanečního oddělení Juilliard School se nejprve stručně věnuje klíčovým událostem v dějinách klasického i moderního tance první poloviny 20. století a dále historii The Bennington School of the Dance, která je považována za předchůdce The Juilliard School. Po všeobecných informacích ohledně historie, vzdělávacích cílů a studijních programů The Juilliard School se zbytek práce detailně zaměřuje na její Taneční fakultu. Popisuje její historii, světoznámé pedagogy, studijní program a přijímací řízení. Všechny tyto informace společně s rozhovory, které poskytl český choreograf a pedagog Jarek Cemerek a současný student čtvrtého ročníku Brennan Clost, se staly podklady pro závěrečnou reflexi této fakulty. Ta obsahuje srovnání The Juilliard School s českým tanečním školstvím.

Rozhodování o rodinném bydlení
Kačírková, Petra ; Brožová, Helena (vedoucí práce) ; Adam, Adam (oponent)
Tato diplomová práce se zabývá výběrem nejvhodnější nemovitosti a nejvýhodnějšího hypotečního úvěru pro rodinu s dětmi. Rodině měla být vybrána nemovitost v okolí svého momentálního bydliště a poté jí měl být doporučen k této nemovitosti nejvýhodnější hypoteční úvěr. Výběr nemovitosti byl ovlivněn požadavky všech členů rodiny a následný hypoteční úvěr byl vybrán z produktů nabízených na českém trhu v listopadu roku 2016. Práci lze tematicky rozčlenit do tří hlavních částí. První část obsahuje literární rešerši, která je rozdělena do dvou oblastí. Nejprve jsou popsány metody vícekriteriálního rozhodování, které budou použity v procesu rozhodování. Společně s těmito metodami obsahuje literární rešerše i teoretickou část z oblasti programu Super Decisions, který bude využit v praktické části. Dále jsou teoreticky zachyceny pojmy týkající se hypotečních úvěrů, podle nichž jsou poté stanovena kritéria pro hodnocení hypotečních úvěrů. Druhá část práce obsahuje již praktický pohled na problematiku rodiny, což zahrnuje tedy výběr nejvhodnější nemovitosti a nejvýhodnějšího hypotečního úvěru za pomoci programu Super Decisions. Třetí část práce zahrnuje shrnutí práce a interpretaci výsledků získaných díky programu Super Decisions.

Historie Severočeské filharmonie Teplice (od roku 1948 až po současnost)
Kolařík, Tomáš ; PANOCHA, Jiří (vedoucí práce) ; TOMÁŠEK, Jiří (oponent)
Ve své magisterské práci se autor zabývá historií Severočeské filharmonie Teplice, jediného profesionálního symfonického tělesa v Ústeckém kraji, od roku 1948 až po současnost (2016). Je rozdělena do čtyř hlavních kapitol. První kapitola přináší přehled nejvýznamnějších dirigentů, kteří u Severočeské filharmonie působili ať už ve funkci šéfdirigenta, či zastávali post druhého dirigenta. Druhá, stěžejní, kapitola přináší přehled historického vývoje, proměn orchestru a událostí s orchestrem spojený, od doby svého znovuobnovení v roce 1948 až po rok 2016. Ve třetí kapitole nejprve autor zmiňuje nejdůležitější informace o Hudebním festivalu Ludwiga van Beethovena, jehož je v současné době teplická filharmonie organizátorem, a poté podává stručný a neúplný přehled vybraných festivalových ročníků. Čtvrtá, závěrečná, kapitola okrajově doplňuje magisterskou práci o informace týkající se „novinky“ Severočeské filharmonie, a sice její orchestrální akademie, založené po vzoru předních českých orchestrů. Autor práci doplnil obrázkovou přílohou zachycující zkušební a koncertní prostředí filharmonie v průběhu let či fotografie filharmonie z poslední doby, dokreslující, možná strohý, faktografický charakter této práce.

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.

Uliční názvosloví v městě Kaplice
JANEČEK, Vít
Bakalářská práce se zabývá jmény ulic, náměstí, význačných staveb a dalších prostranství ve městě Kaplici v okrese Český Krumlov. Na základě archivních pramenů, historické a memoárové literatury sleduje historii města, urbanonyma zděděná ze starších dob a jejich proměny během 20. století až do současnosti. Analyzuje názvy z hlediska jejich motivace a významu, provádí také strukturní třídění názvů podle jejich původu a slovotvorné stavby. Cílem této bakalářské práce je shromáždit starší i novější urbanonyma a přispět k poznání vývoje města i jeho urbanonymie.