|
| |
|
|
NORTHERN EUROPE AND THE LOOMING RUSSIA: IS EUROPE (NOT) ENOUGH? Different approaches to a European integrated defence: the cases of Norway and Finland.
Bertoldini, Raul ; Kofroň, Jan (vedoucí práce) ; Riegl, Martin (oponent)
RAUL BERTOLDINI MASTER'S THESIS ABSTRAKT 08/2023 NORTHERN EUROPE AND THE LOOMING RUSSIA: IS EUROPE (NOT) ENOUGH? Different approaches to a European integrated defence: the cases of Norway and Finland Tato diplomová práce se věnuje analýze geopolitického prostředí a bezpečnostních strategií Finska a Norska v kontextu měnícího se bezpečnostního prostředí Evropy. Výzkum zkoumá vztah těchto severských zemí vůči Evropské unii (EU), Severoatlantické alianci (NATO) a Rusku, a to na pozadí ruské invaze na Ukrajinu a eskalujícího napětí v Arktickém regionu. Důkladná analýza historických souvislostí, cesty ke členství v EU a debat o připojení k NATO poukazuje na komplikovanou rovnováhu, kterou tyto země udržují při zachovávání své jedinečné národní identity a suverenity, a zároveň hledají bezpečnost prostřednictvím regionálních struktur a aliancí. Studie ukazuje, jak konflikt na Ukrajině fungoval jako katalyzátor strategických změn, kdy se Finsko i Norsko rozhodly pro těsnější vazby s EU a NATO, aby ochránily svou suverenitu. Přesto však vnímají bezpečnostní záruky, které tyto dvě organizace nabízí, odlišně. Závěr práce poskytuje cenné poznatky o adaptivních a proaktivních strategiích, které tyto země uplatňují v reakci na aktuální geopolitické výzvy v Evropě, a současně přináší přehled o aktuální důvěryhodnosti NATO...
|
|
|
Fast hash-based signing protocol for message stream authentication
Mejzlík, František ; Zavoral, Filip (vedoucí práce) ; Kofroň, Jan (oponent)
Bezpečnost streamování dat na Internetu je problematická především v případech, kdy uživatelé vyžadují kompletní decentralizaci a odolnost proti kvantové kryptoanalýze. Tato diplomová práce navrhuje nespojovaný pro- tokol pro přenos proudů dat, který umožňuje plně decentralizovanou a postk- vantovou autentizaci odesílatelů dat pomocí "petnames", využívající pouze post-kvantovou kryptografii založenou na hešovacích funkcích. Hlavním pří- nosem je systematické vyhodnocení dopadu použití autentizace pomocí few- time digitálních podpisů odvozených z hashovacích funkci na klíčové vlast- nosti protokolu. Výsledný protokol je možné úpravou parametrů efektivně škálovat pro bezpečné použití v realistickém prostředí Internetu. Práce dále popisuje prototyp implementace, sestávající se z knihovny v jazyce Rust a ukázkové aplikace pro živé vysílání zvuku. 1
|
|
|
Statická analýza NumPy programů
Zimen, Martin ; Kofroň, Jan (vedoucí práce) ; Blicha, Martin (oponent)
NumPy programy se těžko ladí. Kvůli dynamické povaze Pythonu se chyba často projeví až poté, co program delší dobu běží. Výpočet poté spadne a všechen výpočet je ztracen. Existující nástroje statické analýzy nedokážou poznat chyby specifické pro NumPy. Použili jsme data-flow analýzu zkombi- novanou se symbolickým vykonáváním programu k detekování chyb plynoucí z nevyhovujících tvarů matic. Naše metoda pomocí dynamické množiny sym- bolů sleduje ve vstupním program rozměry matic a vztahy mezi nimi. Ná- sledně pomocí SMT vyhodnotí, jestli jsou vztahy splnitelné, nebo jestli došlo k chybě a kde. Naše implementace rozumí základním NumPy konstrukcím a detekuje některé chyby pro pole a matice.
|
|
|
Data logging and visualization for Mailtrain using IVIS
Štrobl, Filip ; Bureš, Tomáš (vedoucí práce) ; Kofroň, Jan (oponent)
Mailtrain je uživateli hostovaná, volně dostupná, open-source aplikace pro zasílání informačních bulletinů s pokročilými možnostmi pro správu skupin odběratelů, vytváření a posílání e-mailových kampaní a správu více uživatelů a jejich oprávnění na granulární úrovni, včetně flexibilního sdílení oprávnění. Aplikaci chybí dobré možnosti jak analyzovat a vizualizovat její data za účelem sledování výkonu nebo bezpečnosti. IVIS je framework poskytující nástroje na zpracování a vizualizaci dat, které Mailtrain potřebuje, a oba projekty spolu sdílí mnoho stěžejních technologií. V této práci rozšíříme Mailtrain, aby používal IVIS a jeho služby pro logování, vizualizaci a analýzu jeho dat. Důraz je kladen na rozšiřitelnost dat logovaných z Mailtrainu i způsobů, jak je vizualizovat. 1
|
|
|
Visualization of SMT solvers results
Bobeničová, Michaela ; Kofroň, Jan (vedoucí práce) ; Parízek, Pavel (oponent)
V súčasnej dobe sa SMT riešiče používajú na riešenie rôznych úloh z mno- hých oblastí. Má teda zmysel optimalizovať ich rýchlosť v závislosti od veľ- kosti a typu problémov. Avšak prechádzať a porovnávať tabuľky s výsledkami behov riešičov je nepraktické. Úlohou tejto práce je vytvoriť grafické prostre- die vo forme webovej aplikácie na analýzu výkonu SMT riešičov. Cieľom je umožniť vývojárovi riešiča porovnať výkon viacerých riešičov na konkrétnych voliteľných problémoch. Grafické prostredie obsahuje vizualizácie výkonu v interaktívnych grafoch a tabuľkách.
|
|
|
Pandering to Pan-Slavism: How Russian Influence Thrives in Europeanised Slovakia
Šufliarská, Petra ; Kazharski, Aliaksei (vedoucí práce) ; Kofroň, Jan (oponent)
Tato práce se zabývá tím, jak se Slovensko, členský stát EU, který však představuje zemi na "periferii", stalo náchylným k ruskému vlivu prostřednictvím prokremelských narativů. Za tímto účelem se zaměřila na to, jak zejména historické dědictví a vzrůstající protizápadní nálady přispěly k oživení panslavismu, pan-nacionálního hnutí volajícího po slovanské vzájemnosti a užší spolupráci slovanských národů. Práce si klade za cíl přispět k akademicky málo probádanému tématu současného stavu panslavismu, zejména z hlediska toho, že slouží jako politický nástroj. Výzkumná otázka práce zní: "Jaké faktory a nástroje vysvětlují úspěšnost ruského politického vlivu na Slovensku?". Při hledání důkazů o tom, jak prokremelské narativy nacházejí podporu v současné slovenské společnosti, se tato práce opírá o primární a sekundární zdroje týkající se společné historie Slovenska a Ruska, ale také slovenské národní identity. To může poskytnout hlubší vhled do toho, proč země, která je europeizovaná - jako členský stát EU, stále považuje své slovanské dědictví za důležitou součást nejen své zahraniční politiky, ale i za jádro své identity. Dále poskytuje analýzu typů narativů a slabých míst, která jsou využívána při jejich šíření jak na vládní, tak na společenské úrovni. Většina údajů a informací v této části byla z...
|
|
|
The Polish model of the populist party: a new perspective on the populist radical right
Greger, Vojtěch ; Kofroň, Jan (vedoucí práce) ; Guasti, Petra (oponent)
The Polish model of the populist party: a new perspective on the populist radical right Master's thesis Bc. Vojtěch Greger Abstrakt Vzestup populistické radikální pravice (PRP), skupiny stran kritických vůči zavedeným normám západní liberální demokracie, v desátých letech, který se manifestoval například událostmi jako Brexit či převzetí Maďarska neliberálními silami, se stal předmětem značného zájmu ze stran akademiků i veřejnosti, byv vnímán s velkými obavami. Akademické studie PRP často vyvyšovaly nativistické prvky přítomné v rétorice těchto stran a apelům ekonomickým věnovaly značně méně času. V posledních několika letech se však v akademické sféře začala objevovat literatura poukazující na důležitost ekonomické deprivace v umocňování podpory stran PRP. Tato práce je založena na argumentu této literatury, že volební úspěchy PRP jsou velmi často taženy právě ekonomickou deprivací a nespokojeností, která z ní plyne. Tento argument je ilustrován analýzou volební podpory polské strany Právo a spravedlnost (PiS) ve volbách v letech 2015 a 2019 za použití regrese nejmenších čtverců (OLS) a geograficky vážené regrese (GWR). Naše výsledky ukazují, že strukturální ekonomické faktory, zejména podíl pracujících v primárním sektoru, jsou klíčovými prediktory podpory PiS. Těmito zjištěními podporujeme zjištění již...
|
|
| |
|
|
Horizontal scalability for e-mail delivery in Mailtrain
Kučák, Erik ; Bureš, Tomáš (vedoucí práce) ; Kofroň, Jan (oponent)
Mailtrain je samoobslužná aplikace s otevřeným zdrojovým kódem postavená na Node.js, která poskytuje vlastnosti, jako je správa seznamů odběratelů, segmentace seznamů, vlastní pole, šablony e- mailů, spouštěné a RSS kampaně atp. Jedná z hlavních nedostatků Mailtrainu je neschopnost horizontálně škálovat, což má za následek výkonnostní limit při doručování kampaní velmi velkým seznamem adresátů. Hlavním cílem této práce je rozšířit Mailtrain tak, aby dovoloval doručovat kampaně (včetně příloh, propojených obrázků a sledování uživatelů) distribuovaným a horizontálně škálovatelným způsobem. Práce by měla obsahovat návrh rozšíření, jeho implementaci a vyhodnocení výkonu pro srovnání rozšíření se stávajícím výkonem Mailtrainu.
|
host ::
RSS.