Národní úložiště šedé literatury Nalezeno 132 záznamů.  1 - 10dalšíkonec  přejít na záznam: Hledání trvalo 0.00 vteřin. 
Towards the New World Order? A Geopolitical study of Neo-Eurasianism and Meridionalism.
Morgado Albino, Nuno ; Romancov, Michael (vedoucí práce) ; Kofroň, Jan (oponent) ; Békési, László (oponent)
V ČEŠTINĚ Odpověď na zkoumanou otázku: "Souvisí Neo-Eurasianism a Meridionalism nějak s Novým světovým řádem?" z pohledu geopolitické studie, byla těžištěm této práce. V této souvislosti bylo hlavním cílem analyzovat a porovnat Neo-Eurasianism a Meridionalism, přičemž je charakterizuji jako ideologie. V téže linii bylo také vysvětleno, jak mají tyto ideologie za cíl formovat Nový světový řád (proto také byly klasifikovány jako strategické plány). Teoretický přístup zahrnoval předpoklady z teoretické realistické tradice mezinárodních vztahů, ale byla dána přednost geopolitické studii tout court. Tato práce je plně kvalitativním výzkumem, systém metod a technik zahrnuje fenomenologickou metodu, případovou studii (srovnávací a jednotlivou), sledování procesů (process tracing) a profilování politické osobnosti. Pokud jde o strukturu, tak v části i byly contextualizovány a vysvětleny rámce geopolitické studie a modelu neoclacické geopolitiky, kdežto v části ii byla popsána a analyzována Neo-Eurasistská ideologie a strategický plán. Část iii byla věnována popsání a analyze brazilské geopolitické školy a Meridionalismu jako ideologie a strategického plánu, cast iv pak byla zaměřena na geopolitickou analýzu Brazílie, která posouzela možnosti úspěchu Meridionalismu a Neo-Eurasianismu, zejména v Latinské...
Efficient Representation of Program States
Jančík, Pavel ; Kofroň, Jan (vedoucí práce) ; Gargantini, Angelo (oponent) ; Barnat, Jiří (oponent)
Při verifikaci programů se snažíme rozhodnout, zda program obsahuje či neobsahuje chyby. Základním předpokladem všech verifikačních postupů je efektivní reprezentace a manipulace se stavy programů. V této práci představujeme techniky pro nalezení nepodstatných informací ve stavech programů a pro jejich odstranění. Tato práce obsahuje redukce vhodné pro explicitní i symbolickou reprezentaci stavů. Naše postupy vhodné pro explicitní reprezentaci byly speciálně navrženy pro vícevláknové programy. Naše analýzy dokáží nalézt takové hodnoty v dynamicky alokovaných objektech, tedy na haldě, které program již nebude v následujících krocích číst. Logické formule v predikátové nebo výrokové logice jsou převažující symbolickou reprezentací množin stavů programu. Craigovy interpolanty jsou jedním z obvyklých postupů pro získání formulí s požadovanými vlastnostmi. V této práci představujeme nový způsob jejich výpočtu, který používá přiřazení proměnných pro zmenšení jejich velikosti. Pomocí přiřazení proměnných můžeme zablokovat ty cesty v programu, které nechceme, aby interpolant bral v potaz a tím zmenšit jejich velikost.
Feature extraction from Android application packages and its usage in machine learning for malware classification
Smrž, Dominik ; Bálek, Martin (vedoucí práce) ; Kofroň, Jan (oponent)
V této práci navrhujeme klasifikační algoritmus založený na metodách stro- jového učení pro aplikace na populární operační systém Android, který má za cíl rozlišovat škodlivé aplikace od nezávadných. Extrakce příznaků pro strojové učení je založena na statické analýze bajtkódu se zaměřením na API volání a volání metod. Ukazujeme různé přístupy jak z nejčastějších API volání vytvořit seznam číselných příznaků. Dále zkoumáme specifika extrahovaných příznaků a jejich důležitost. Dataset, který je použit pro experimenty v této práci, obsahuje přes 200 000 vzorků, z nichž přibližně polovina je škodlivá a polovina nezávadná. Zkoušíme několik různých algoritmů strojového učení a vyhodnocujeme jejich kva- litu. Velikost našeho datasetu snižuje poměr šumu a poskytuje tak dobrý základ pro trénování klasifikačních modelů. Výsledky experimentů ukazují, že navrhovaný algoritmus má poměru vzorků, které byly chybně označné jako škodlivé, pod 2,9 % přičemž správně nalezne přes 93,6 % malwaru. 1
Vliv sankcí EU na ruské angažmá na východní Ukrajině (2014 - 2016)
Husák, Matěj ; Kofroň, Jan (vedoucí práce) ; Kuľková, Miroslava (oponent)
Předkládaná práce se zabývá vlivem sankčních opatření EU na chování Ruské federace na východní Ukrajině. Používání sankcí jako nástroje zahraniční politiky, respektive prostředku, jak dosáhnout cílů této politiky, je živou diskuzí mnoha autorů. V předkládané práci se tak pomocí metody testování soupeřících teoretických argumentů zastánců a odpůrců efektivnosti sankcí, snažíme analyzovat efektivitu sankcí EU. Na rozdíl od mnoha ostatních studií souvisejících s efektivitou sankcí EU, se však zabýváme zahraničně-politickými důsledky, nikoliv ekonomickými dopady sankcí. V teoretické části této práce představujeme zejména užívanou typologií sankcí, ve které podrobněji rozebíráme jaká je historicky efektivita sankcí. V empirické části poté především analyzujeme vývoj konfliktu na východě Ukrajiny, který rozdělujeme do jednotlivých etap, abychom lépe analyzovali účinnost jednotlivě zaváděných fází sankcí EU. V závěru naší analýzy docházíme ke zjištění, že vliv ekonomických sankcí EU na ruské angažmá na východní Ukrajině je zcela minimální. Rusko se totiž i nadále chová jako agresor, který nerespektuje teritoriální integritu a svrchovanost Ukrajiny. Na tomto konkrétním, byť specifickém případu Ruska, se tak potvrzuje teorie o neefektivitě sankčních opatření při dosahování důležitých zahraničně-politických cílů.
Destroy The Castle: 3D hra inspirovaná hrou Magic Carpet
Ondrčková, Simona ; Ježek, Pavel (vedoucí práce) ; Kofroň, Jan (oponent)
Název práce: Destroy The Castle: 3D hra inspirovaná hrou Magic Carpet Autor: Simona Ondrčková Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí bakalářské práce: Mgr. Pavel Ježek, Ph.D., Katedra distribuovaných a spolehlivých systémů Abstrakt: Cílem bakalářské práce je vytvořit počítačovou hru na bázi hry Magic Carpet. Hra má dva hlavní programátorsky zajímavé aspekty: umělou inteligenci a editor. Umělá inteligence je založená na přístupech, které umožňují více typů přemýšlení nepřátel. Editor umožňuje tvorbu vlastních úrovní zámku, kouzel a monster. Jako další cíl si bakalářská práce klade zjistit, zda se takovýto typ hry dá vytvořit v Unity a jaké to přináší problémy nebo naopak výhody. Postupně se zaměřujeme na jednotlivé problémy nebo rozhodnutí, které byly při programování potřeba udělat a jak jsme je vyřešili v rámci Unity. Klíčová slova: 3D hra, kouzla, Zničte zámek, editor, Unity
Skutečné pokusy o etablování nových států či efemérní projekty? Případ Azawadu, republiky Logone a chalífátu Boko Haram
Čepičková, Lucie ; Riegl, Martin (vedoucí práce) ; Kofroň, Jan (oponent)
Tato diplomová práce se zabývá pokusy o deklaraci nezávislých států, a to konkrétně v případě republiky Azawad, Logone a chalífátu Boko Haram, k jejichž vzniku došlo v rozmezí let 2012 - 2015. Existence deviantních forem státu není v dnešním světě ničím naprosto novým a již dnes tedy existuje mnoho konceptů a klasifikací, které se týkají právě této problematiky. Pro tuto práci bude podstatný především koncept states-within-states autorů Iana Spearse a Paula Kingstona a klasifikace Bartosze Stanislawskiho, rozšířená autory Katarzyna Pełczyńska- Nałęcz, Krzysztof Strachota a Maciej Falkowski. Díky následnému popisu příčin, způsobu ovládnutí dané oblasti a událostí po samotném vyhlášení nezávislého státu v rámci jednotlivých case studies, dojde k následné analýze týkající se způsobu správy dané oblasti či nově vzniklých institucí. Díky této analýze bude posléze možné aplikovat zmíněnou koncepci states-within- states a klasifikaci Bartosze Stanislawkiho a určit, zdali je tato aplikace ve všech třech případech vůbec možná. Poslední část práce, jež by měla potvrdit či vyvrátit hlavní hypotézu práce, se poté bude věnovat zhodnocení, zdali jsou konkrétní pokusy spíše efektivními či efemérními projekty.
Ambazonie a Biafra - vnější periferie nebo transhraniční region
Kučera, Josef ; Riegl, Martin (vedoucí práce) ; Kofroň, Jan (oponent)
Předkládaná práce se zabývá přeshraniční dynamikou dvou regionů, a to Ambazonie a Biafry, které se nachází v Republice Kamerun a Nigerijské Federativní koumané regiony sdílí společnou hranici. Hlavním cílem práce bylo zjistit, zda je možné o těchto regionech hovořit jako o transhraničním regionu, v němž státní hranice netvoří linii práci dochází ke konceptualizaci pojmu transhraniční region prostřednictvím osmi strukturálních úrovní a následné operacionalizaci ve světle fenoménů současného poznání o problematice státu, regionu a transhraničních vazeb v Subsaharské Africe. Práce přichází se zjištěním, že metafora nefunkčního státu existuje i ve verzi aplikovatelné na transhraniční region, a to v podobě tzv. stínového regionu, který má svou specifickou dy jež vyžadují další zkoumání.
První a druhá válka v Zálivu: význam technologické převahy v moderním vojenství
Zuna, Dominik ; Kofroň, Jan (vedoucí práce) ; Bahenský, Vojtěch (oponent)
Text bakalářské práce se zabývá vlivem moderních technologií na výsledek dvou specifických ozbrojených konfliktů, a to první (1991) a druhé (2003) války v Perském zálivu. Text se zabývá technologickou převahou na bojišti, disproporcí v oblasti výcviku, rolí vzdušných sil a psychologickými a morálními faktory. Cílem práce je porovnat důležitost faktorů ovlivňujících výsledek konfliktů a zhodnocení popisovaných teoretických přístupů, které se těmito výsledky zabývají. V rámci práce jsou oba konflikty rozebrány, porovnány a konfrontovány s jednotlivými teoriemi. Hlavním zjištěním je, že za skvělým vojenským výsledkem obou válečných konfliktů stálo synergické spojení špičkového výcviku, moderních technologií, letecké převahy a dalších, méně důležitých faktorů. V textu se nachází kapitola, ve které jsou nabyté poznatky aplikované na současný a výhledový stav AČR. Jedná se o srovnávací případovou studii, která vychází z primárních a sekundárních odborných zdrojů.
Critical assessment of the Arctic's geostrategic importance during World War I and World War II
Pastorková, Sabrina ; Valková, Irena (vedoucí práce) ; Kofroň, Jan (oponent)
v češtině Tahle práce se věnuje role Arktidy během první a druhé světové války. Její cílem je posouzení strategického významu Arktidy založené na analýze kritických geopolitických teorií Sira Halforda Mackindera a Generála Karla Haushofera. Analýza je doplněná o historický přehled vojenských aktivit na Arktidě během dvou světových válek. Použitá metoda v téhle interpretativní studii Arktického regionu je komparace. Využíváme historicko-analytický přístup, který zohledňuje roli systémových struktur makrosociálních jevů a zároveň specifické chování aktérů v jednotlivých případech. Jde o základní pokus o komparativní historií, která je součástí této analyticko-popisné komparativní studie. Porovnáváme odlišné přístupy klasických geopolitických teorií vůči Arktickému regionu. Následně se věnujeme vojenské aktivitě od začátku první světové války do konce druhé světové války v Arktickém regionu. Věnujeme se otázkám zdrojů, mořských cest a roli Aljašky. Práce je zakončená kritickým posouzením přístupu geopolitických teorií k Arktickému regionu a jejich potenciální korelaci s vojenskou aktivitou první a druhé světové války.

Národní úložiště šedé literatury : Nalezeno 132 záznamů.   1 - 10dalšíkonec  přejít na záznam:
Viz též: podobná jména autorů
1 KOFROŇ, Jiří
2 Kofroň, Jakub
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.