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

Marketing měst a obcí jako faktor regionálního rozvoje na příkladu města Nové Hrady
HEJTMÁNKOVÁ, Kristýna
Práce se zabývá zhodnocením marketingu konkrétního města jako faktoru regionálního rozvoje. Závěr práce se zabývá navržením návrhu vedoucích ke zlepšení marketingu města.

Externí financování podnikatelských záměrů v ČR
Kubíčková, Kateřina ; Filipová, Vladimíra (vedoucí práce) ; Drozen, František (oponent)
Tématem bakalářské práce jsou možnosti externího financování podnikatelských záměrů v ČR. V teoretické části práce jsou shrnuty odborné poznatky a definice týkající se podnikání, osoby podnikatele, právních forem podnikání a klasických způsobů externího financování podniku. Protože nedostatek prostředků nebo obtížný přístup k tradičním zdrojům kapitálu může být někdy překážkou v realizaci vítaného a životaschopného podnikatelského záměru, věnuje se druhá polovina práce alternativním možnostem financování podnikatelských projektů s důrazem na čerpání dotací z EU. Dalšími analyzovanými externími zdroji financí jsou investice soukromých investorů tzv. Business Angels, financování prostřednictvím rizikového a soukromého rozvojového kapitálu, crowdfunding a nakonec i zvýhodněné úvěry pro začínající podnikatele nebo nové projekty ze strany bankovních institucí. Cílem práce je poskytnout přehled dostupných externích zdrojů financování projektů, zjistit jak si v České republice vedou a v závěru zhodnotit, pro jaké typy projektů se ta která forma financování hodí. Podnikatelům, kteří nemají pro rozjezd svého nápadu dostatek finančních prostředků, by práce mohla pomoci zorientovat se v existujících možnostech externích zdrojů financování.

Podnikatelský plán společnosti SnackBag a její expanze na zahraniční trh
Ježová, Jana ; Svobodová, Ivana (vedoucí práce) ; Srpová, Jitka (oponent)
Cílem diplomové práce je sestavení podnikatelského plánu pro nově vznikající podnikatelský subjekt v oblasti zdravého a rychlého občerstvení za účelem posouzení reálnosti tohoto podnikatelského záměru. Součástí plánu je i volba vhodné formy expanze pro potenciální expanzi firmy na zahraniční trh. Za účelem vytvoření podnikatelského plánu bylo nejprve nutné sepsání uceleného teoretického celku základních aspektů podstatných pro podnikání malého a středního podniku. V návaznosti na tento obecný teoretický základ se práce blíže zaměřuje na podnikatelský plán, na zásady jeho zpracování, strukturu obsahu, jeho následnou realizaci a nejčastější chyby a problémy, se kterými se podnikatel může setkat. Teoretická část je zakončena formami expanze, které jsou vhodné pro malou firmu. Z tohoto teoretického základu vychází podnikatelský plán společnosti SnackBag, jehož součástí jsou výpočty finanční stránky celého projektu. Z výpočtů vyplynulo, že podnikatelský záměr je skutečně životaschopný. Závěrem byla provedena analýza výhod a nevýhod jednotlivých forem expanze na zahraniční trh, z čehož vyšla jako nejvhodnější forma expanze pro firmu SnackBag franšíza.

Řízení IS/ICT se zaměřením na sourcing služeb informačního systému
Šebesta, Michal ; Voříšek, Jiří (vedoucí práce) ; Havlíček, Zdeněk (oponent) ; Příklenk, Oldřich (oponent) ; Král, Jaroslav (oponent)
Předmětem odborného výzkumu je sourcing již několik desítek let. Evoluce v oblasti informačních systémů v poslední době charakterizovaná především komoditizací ICT služeb však významně mění celkový kontext rozhodování. Služby dostupné na vyžádání přes Internet umožnují organizacím implementaci požadovaných funkcí oproti dřívější době za zlomek času. Tento trend znamená významnou šanci pro organizace, které by rády využily pokročilé ICT služby, bez nutnosti vysokých investic. Problémem je současný nedostatek metod a nástrojů pro řízení služeb informačního systému a jejich outsourcing. Vzhledem k vývoji a trendům na trhu ICT služeb lze očekávat, že v budoucnu velká část řízení IT bude zahrnovat ICT služby a strukturované řízení jejich úrovně. Současně dostupné metody jsou buď příliš široké, anebo naopak zahrnují pouze malou část celého problému. Nahodilá a nepodložená rozhodnutí v této oblasti mohou způsobit značné komplikace z hlediska kvality, využitelnosti, integrace, a v důsledku toho významně ovlivnit celkové náklady na IT daného podniku. Organizace musí buď revidovat existující modely, anebo navrhnout a zavést zcela nové modely řízení svého IS/ICT. Tato disertační práce se zabývá řízením IS/ICT se zaměřením na sourcing služeb informačního systému. Diskutuje dostupné sourcingové modely uváděné v literatuře a propojuje je se souvisejícím oblastmi. Na základě těchto oblastí pak prezentuje integrovaný pohled na možné strategie sourcingu IT. Především pak práce navrhuje originální concept rozhodování o sourcingu ICT služeb nazvaný SOURCER framework. Tento přístup navazuje na zmínené strategie sourcingu, a předkládá komplexní metodiku a kritéria pro rozhodování. Ty pomohou organizacím s výběrem ICT služeb s cílem udržování a řízení co nejvhodnějšího portfolia ICT služeb. Rozhodování je založeno na čtyřech základních pohledech: funkce, cena, čas, a kvalita. Tyto pohledy jsou diskutovány, individuálně analyzovány, a slouží jako základ pro další zkoumání. Celý framework je vyvíjen a validován s využitím přístupu Design Science Research Methodology (DSRM). Individuální komponenty jsou vyhodnoceny s využitím průzkumu mezi vybranými IT manažery. Další ověření přístupu je pak zajištěno realizováním případové studie, která mapuje reálné využití frameworku v organizaci. Tato případová studie zahrnuje specifikaci strategie, business--IT alignment, specifikace architektury služeb a její propojení, sourcing, and řízení portfolia ICT služeb.

Penetrační testování bezpečnosti informačních systémů
Klíma, Tomáš ; Doucek, Petr (vedoucí práce) ; Čermák, Igor (oponent) ; Čapek, Jan (oponent) ; Štubňa, Ivan (oponent)
Cílem disertační práce je vytvoření metodiky řízení penetračních testů bezpečnosti informačních systémů založené na analýze slabých stránek současných metodik a na analýze postavení penetračních testů v kontextu řízení podnikového IS/IT. Nedílnou součástí tohoto cíle je i validace vytvořené metodiky. V první části práce dochází k představení historie oboru a aktuálního stavu výzkumu, identifikaci omezení práce, definici pojmů (a jejich vztahů), a zejména k zasazení penetračních testů do kontextu řízení podnikové informatiky. Následně je provedena rešerše relevantních zdrojů a komparativní analýza současných metodik s cílem identifikovat jejich slabé stránky, které jsou následně využity pro tvorbu metodiky. Dále je pak představena klasifikace typů penetračních testů a problematika testovacích scénářů. Následuje návrh nové metodiky, nejprve je popsána historie a struktura metodiky včetně základních principů, následně jsou detailně představeny její jednotlivé úrovně, přičemž metodika je tvořena s cílem pokrýt v současné době slabě popsané oblasti. V poslední části práce je provedena teoretická a praktická validace. Přínosem pro další rozvoj vědního oboru je vytvoření metodiky zaměřené na řízení penetračních testů bezpečnosti informačních systémů, což je oblast, která v současné době není dostatečně popsána. Sekundárním přínosem je ujasnění postavení a úlohy penetračních testů v rámci řízení podnikového IS/IT a provedení rozsáhlé rešerše metodik současných. Přínosem pro ekonomickou a technickou praxi je vytvoření prakticky použitelné metodiky, jejíž aplikací lze dosáhnout zkvalitnění řízení penetračních testů, což zahrnuje zejména zlepšení procesu plánování, operativního řízení a implementace protiopatření, jakožto i tvorby dokumentace.

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.

Organizace a řízení výroby v podniku
DRNOVÁ, Markéta
Cílem diplomové práce na téma "Organizace a řízení výroby v podniku" je zmapování vybraného podniku v období jednoho kalendářního roku a získání dostatečného množství informací pro jejich zanalyzování k navržení možných zlepšení. V úvodu praktické části jsou uvedené identifikační údaje vybrané společnosti, její charakteristika, výrobky a služby, které poskytuje, a také způsob jakým plánuje výrobu. V další části je popsána analýza současného stavu, ve které jsou zobrazeny mapy současného stavu pro jednotlivé polotovary. Pro analýzu současného stavu je vypočítán VA index a v další kapitole je pro každý polotovar vytvořen diagram pohybu materiálu. Cílem analýzy a diagramu pohybu je nalezení úzkých míst v toku materiálu. V další části je tvořena cílová mapa budoucího stavu, která vychází z mapy současného stavu. V mapě jsou zvýrazněny kritické faktory, které jsou určeny k zlepšení, a na závěr je určen nový VA index, ke kterému by se měl současný stav přiblížit. Předposlední část zahrnuje doporučení metod a prvků štíhlé výroby do nové výrobní haly, kterou chce podnik vybudovat. Mezi doporučené metody patří hlavně metoda 5S, vizualizace, standardizace, SMED a Bottleneck. Poslední kapitola obsahuje několik opatření, kterými je motivace zaměstnanců, neustálé zlepšování, osobní zodpovědnost, zavedení systému EDI a ergonomie, které by vedly ke zlepšení chodu firmy.

Působení absolventa studijního oboru Speciální pedagogika - vychovatelství v praxi poskytovatelů sociálních služeb
SALABOVÁ, Jana
Teoretická část se dělí na 4 kapitoly. První kapitola je věnována pomáhajícím profesím, kde tyto profese nejprve definuji a dále vkládám i vymezení studijního oboru Speciální pedagogika - vychovatelství, se kterým v práci dále pracuji. Také se v této kapitole dotýkám připravenosti budoucích absolventů k vykonávání práce sociálního pracovníka, pracovníka v sociálních službách. Druhá kapitola nese název speciální pedagogika, kde tento vědní obor vymezuji předmět, cíle a její členění. Třetí kapitola se zaměřuje na sociální služby, a to konkrétně na definování tohoto pojmu, druhy a formy sociálních služeb, zařízení spadající do oblasti sociálních služeb a kdo je jejich poskytovatelem. Čtvrtá a poslední kapitola teoretické části se věnuje roli absolventa studijního oboru Speciální pedagogika - vychovatelství v sociálních službách, kde je popisován sociální pracovník definice, kvalifikační a další předpoklady a kompetence, také je zde podkapitola, kde je zmínka o pedagogickém pracovníkovi a to konkrétně o vychovateli, kde se nalézají osobnostní a jiné předpoklady pro výkon této práce a náplň práce, kterou vykonává vychovatel v zařízení sociálních služeb. Poslední stránky čtvrté kapitoly jsou věnované pracovníkovi v sociálních službách jeho činnostem a zároveň i osobnímu asistentovi, kde se zaměřuji na definici této pozice a samotné osobní asistence a přidávám i osobnostní předpoklady k této pozici. Cílem praktické části práce je zmapování působení absolventa studijního oboru Speciální pedagogika - vychovatelství v praxi sociálních služeb - konkrétně, jaká je jeho náplň práce, zda má kompetence k vykonávání této pozice, jestli je s prací spokojen a jaká byla jeho motivace pracovat právě v této oblasti. Praktická část obsahuje kvalitativní výzkum. K naplnění výše uvedených cílů byla zvolena technika sběru dat pomocí strukturovaného rozhovoru s respondenty, kterými mi byli absolventi studijního oboru Speciální pedagogika - vychovatelství pracující v oblasti sociálních služeb. Lze říci, podle výsledků této práce, že absolventi se v oblasti sociálních služeb většinou uplatní na nižších pracovních pozicích a to jako pracovníci v sociálních službách, a to i přesto, že mají kvalifikaci i na vykonávání sociálního pracovníka. Věkové rozmezí klientů, se kterými respondenti pracují, se pohybuje od dětského věku a končí věkem seniorským. Motivace, která vedla dotazované k rozhodnutí zvolit právě oblast sociálních služeb je různá, někteří uváděli, že jim k tomu pomohla praxe při škole a to jak samotná práce, tak i zaujetí právě onou cílovou skupinou, již předešlá zkušenost s prací s lidmi s postižením či právě nabytí nových zkušeností. Také angažovanost rodinného příslušníka a jejich předešlé vzdělání bylo určitou motivací. Spokojenost s prací je podle zjištěných dat patrná a to přispívá i ke kvalitně a zodpovědně odváděné práci. Osobním přínosem je podle zjištěných výsledků především jejich potřebnost v činnostech, které v práci provádějí, nové zkušenosti, které získávají a také vidina pokroků jejich klientů. Výhodou zaměstnání, které provádějí je pro ně nejčastěji nestereotypnost, zmiňují cílovou skupinu, se kterou pracují, pokroky klientů a že je pro ně práce naplňující, i proto, že jsou v příjemném kolektivu lidí. Kamenem úrazu, tudíž nevýhodou je pro ně především finanční ohodnocení, které není moc uspokojující a pracovní doba. Vystudovaný studijní obor Speciální pedagogika - vychovatelství, je pro dotazované absolventy přínosem, hlavně co se týče praxe při škole, kterou měli možnost vykonávat a navštěvovat různá zařízení.

Veřejné zakázky na dodávky
Holzäpfelová, Vlasta ; Civínová, Denisa (vedoucí práce)
Diplomová práce se zabývá tématikou veřejných zakázek na dodávky v ČR od počátků až po současnost z hlediska právně ekonomického vývoje. Současný stav je analyzován na základě zákona o veřejných zakázkách, v souvislosti s monitoringem přípravy a přijetím nové legislativní úpravy a dalších souvisejících právních předpisů. Práce předkládá vyhodnocení problematiky při vytváření zadávacích dokumentací na dodávky a posouzení plnění z rámcových smluv z hlediska dodržování zásad stanovených právním předpisem o finanční kontrole ve veřejné správě. Téma se v aplikační části dále profiluje na veřejné zakázky se zaměřením na rámcové dohody, jejichž předmětem je pořizování opakujících se dodávek. Námět diplomové práce je doplněn o praktické zkušenosti z oblasti zadávání veřejných zakázek na základě zadavatelem obecně nastavených podmínek a platně uzavřených rámcových smluv, přináší analýzu pozitivních a negativních stránek tohoto způsobu zadávání veřejných zakázek včetně navrhovaných řešení. Praktická část diplomové práce je zpracována na základě komparace konkrétní zadávací dokumentace s platnou legislativou, kvalitativního výzkumu a analýzy sekundárních dat ze zadávacích dokumentací k veřejným zakázkám na dodávky a platně uzavřených rámcových smluv vybranou organizací v letech 2012 - 2016.