|
Možnosti neoklasické geopolitiky: Systémový přístup
Kofroň, Jan
Předkládaná práce se pokouší uvést neoklasickou geopolitiku jako životaschopný přístup ke studiu mezinárodní politiky z geografické perspektivy. Dizertace je kompaktem šesti článků, které již byly přijaty do tisku, a společného úvodu, který se pokouší vyzdvihnout hlavní body z článků a navíc diskutuje některé otázky, které (i) byly eliminovány z článků v důsledku omezeného prostoru, nebo (ii) je jejich význam spíše kontextuální, ve smyslu, že tyto otázky dávají na články nahlédnout v širší perspektivě akademických debat. První část práce (podporovaná dvěma články) se zabývá současným stavem politické geografie a geopolitiky. Hlavním výsledkem je, že geopolitika je dnes rozdělenou (sub)disciplínou, neboť geografové jsou především aktivní v kritické geopolitice a akademici mezinárodních vztahů pokračují v klasickém geopolitickém uvažování (zejména ti, kteří sami sebe podepisují pod kategorii neorealismu). Hlavní rozdíl spočívá v tom, že geografové chápou prostor jako inter-subjektivní entitu - sociálně konstruovanou, zatímco odborníci mezinárodních vztahů tendují k nahlížení na prostor jako na objektivní faktor. V kombinaci s jinými epistemologickými odlišnostmi, toto odlišné pojímání prostoru vyprodukovalo ohromnou bariéru mezi těmito dvěma obory. Jeden z faktorů oddělujících tyto dva obory ční...
|
|
Analysis of Interface Automata with On-Demand Replication
Daniel, Jakub ; Kofroň, Jan (vedoucí práce)
Interface automat je model chování softwarové komponenty založený na koneč- ných automatech. Popisuje její poskytovaná rozhraní neboli podporované použití a požadovaná rozhraní neboli použití ostatních komponent. Značný počet kompo- nent může být použit paralelně bez omezení úrovně paralelismu. Není nutné, aby se model pokoušel zachytit tuto neomezenost. Alternativním přístupem je umož- nit zvyšování úrovně paralelismu na vyžádání. Tato práce na teoretické úrovni analyzuje a navrhuje konečnou podobu operace k zajištění tohoto typu replikace s cílem umožnit konstrukci modelů libovolné úrovně paralelismu v určitých čás- tech jejich chování.
|
| |
|
Boolean techniques in Knowledge representation
Chromý, Miloš ; Čepek, Ondřej (vedoucí práce) ; Mengel, Stefan (oponent) ; Kofroň, Jan (oponent)
Název: Booleovské techniky v Reprezentaci znalostí Autor: Miloš Chromý Katedra: Katedra teoretické matematiky a matematické logiky Vedoucí práce: Doc. RNDr. Ondřej Čepek, Ph.D., Katedra teoretické matem- atiky a matematické logiky Abstrakt: V této práci zkoumáme switch-list reprezentace Booleovských funkcí a biklikově splnitelné formule. Reprezentace booleovské funkce f pomocí switch-listu je tvořena seznamem ohod- nocení z pravdivostní tabulky, jejichž funkční hodnota se liší od hodnoty před- cházející, tedy f(x) ̸= f(x − 1). V této práci se zaměříme na zahrnutí tohoto typu reprezentace do mapy kompilace znalostí (Knowledge Compilation Map, [Darwiche and Marquis, 2002]). Ukážeme, že switch-list reprezentace může být vhodným cílovým jazykem pro kompilaci znalostí. Nejprve provedeme srovnání relativní velikosti switch-list reprezentace s některými zavedenými reprezentacemi booleovských funkcí (například CNF, DNF nebo OBDD). Součástí této analýzy je i odpověď na dlouho otevřenou otázku položenou v [Darwiche and Marquis, 2002] ohledně neporovnatelnosti jazyků MODS (seznam modelů) a PI (seznam primárních implikátů). Popíšeme také polynomiální algoritmus, který kompiluje switch-list reprezentaci do OBDD. Nakonec se budeme věnovat tomu, které z dotazů a transformací uvažovaných v knowledge compilation map...
|
|
Forced Alignment via Neural Networks
Beňovič, Marek ; Kofroň, Jan (vedoucí práce) ; Hnětynka, Petr (oponent)
Sledování videí s titulky v původním jazyce je jedním z nejúčinnějších způsobů výuky cizího jazyka. Zvýrazňování slov v okamžiku jejich vyslovení pomáhá synchronizovat vizuální a sluchové vnímání a zvyšuje efektivitu učení. Metoda pro zarovnávání or- tografických přepisů do zvukových záznamů je známá jako forced alignment. Tato práce implementuje nástroj pro zarovnávání přepisu YouTube videí s řečí v jejich zvukovém záz- namu a poskytuje webové uživatelské rozhraní s videopřehrávačem prezentujícím výsledky. Integruje dva nejmodernější nástroje pro zarovnávání přepisů založené na Kaldi, první využívající standardní HMM, druhý založen na neuronových sítích a porovnává jejich přesnost. Integrované zarovnávače také poskytují zarovnání na úrovni foném, které lze použít pro trénování statistických modelů ve výzkumu rozpoznávání řeči. Práce popisuje implementační a architektonické koncepty, na kterých je nástroj založen, které lze použít v různých softwarových projektech. 1
|
|
Střední Asie a Nová Hedvábná stezka: Čína a Rusko - kooperace či konfrontace?
Kartsydze, Ketevan ; Romancov, Michael (vedoucí práce) ; Kofroň, Jan (oponent)
Mocenské vztahy jsou vždy aktuálním a půvabným tématem pro výzkumníky. Křížení ekonomiky a geopolitiky v současně době může nám poskytnout nový uhel pohledu na tradiční věci. Věnovat se mocenským vztahům ve Střední Asii bylo snahou přispět k akademické diskuzi o přesunu mocí z jiného uhlu pohledu. Rusko a Čína jsou dvě mocnosti, jejichž zájmy a cíle se kříží ve Střední Asii. Ekonomická expanze Číny v daném regionu vede k úvaze, zda dva mocenské státy dokážou spolupracovat v rámci jednoho regionu nebo ne. V této práci se v prvé řadě podíváme na role Ruska a Číny v daném regionu. Analyzované budou především ekonomické a strategické spolupráce s pomocí regionálních organizací. Práce se zaměřuje se na časový úsek od roku 2001 do roku 2019. V druhé části práce s aplikováním teorie přesunu moci od amerického politologa Abrama Fima Kennetha Organskiho je provedená analýza, zdá tyto vztahy se více blíží ke kooperaci nebo ke konfrontaci.
|
|
STP řešič pro OpenSMT
Luňák, Václav ; Kofroň, Jan (vedoucí práce) ; Kučera, Petr (oponent)
Simple Temporal Problem je jedním z nejdůležitějších plánovacích problémů. V kontextu formální verifikace úzce souvisí s problémem SMT, kde na něj narazíme při řešení teorie dife- renční logiky. V této práci se věnujeme doplnění řešiče pro diferenční logiku do vyvíjejícího se SMT řešiče OpenSMT. Zkoumáme existující postupy pro řešení problému a porovnáváme je s ohledem na možnost jejich využití v kontextu OpenSMT. Detailně rozebíráme algoritmus založený na vyčerpávající propagaci teorie a na jeho bázi navrhujeme a vytváříme efektivní im- plementaci řešiče. Tuto implementaci následně testujeme a srovnáváme s ostatními současnými SMT řešiči a ukazujeme tak její srovnatelnou výkonnost. 1
|
|
Využití strojového učení pro predikci výsledku tenisového utkání v jeho průběhu
Konečný, Tomáš ; Kofroň, Jan (vedoucí práce) ; Pilát, Martin (oponent)
Práce se soustředí na použití strojového učení, konkrétně dopředných neuronových sítí, pro vývoj modelu schopného predikovat výsledek tenisového utkání v jeho průběhu. Navrhované modely porovnáváme s modelem základním, který předpokládá, že jednotlivé body v utkání jsou nezávislé a stejně rozdělené, a také s odhady získanými ze sázkové burzy Betfair. V práci také navrhujeme vhodné veličiny pro reprezentaci stavu utkání a jeho vývoje, čímž modelům dáváme větší flexibilitu. Závěrem na příkladu diskutujeme odlišnosti jednotlivých modelů a pokoušíme se je interpretovat. 1
|
|
Anomaly detection for stock market trading data
Fusková, Martina ; Kofroň, Jan (vedoucí práce) ; Kliber, Filip (oponent)
Obchodování na burze je velmi komplexní téma, které zahrnuje spoustu náročných problémů. Jedním z těchto problémů je detekce anomálií. Detekce anomálií v reálném čase je velice náročný úkol, a proto tento problém zůstává otevřen. Cílem této práce je zkoumat různé modely a algoritmy, které mohou být použity a pokusit se najít ty nejvhodnější pro tento problém. Vytvoříme modely, které detekují anomálie na základě hustoty dat, i statistické modely a neuronové sítě, které detekují anomálie na základě porovnání predikovaných a skutečných dat. Výsledkem této práce je návrh modelů, které mohou být dále zkoumány a použity pro detekci v reálném čase.
|
|
Does the size of an economy matter (a lot)? The economic potential of a country as a necessary or sufficient condition for regional dominance.
Boukal, Tomáš ; Kofroň, Jan (vedoucí práce) ; Karlas, Jan (oponent)
Nynější ekonomický růst Číny v sobě skrývá následující otázku: Jaký význam hraje velikost ekonomiky států v jejich snaze o regionální hegemonii? Současné poznání argumentuje, že ekonomická síla států je klíčovým indikátorem síly mocenské. Země, které usilují o nadvládu nad regionem, by tak měly být identifikovány dle ekonomických ukazatelů převyšujících své regionální oponenty. Nicméně, v literatuře neexistuje shoda na tom, nakolik tento vztah platí. Úkolem práce je přispět do této debaty položením otázky, zda-li je ekonomický potenciál zemí založený na HDP nutnou podmínkou, postačující podmítkou, či ani jednou z nich, pro regionální dominanci zemí. Na základě analýzy historických dat mezi lety 1700-2010 z regionů Evropy, Severovýchodní Asie a Západní polokoule prezentujeme nový indikátor regionální dominance skládající se z šesti, po sobě jdoucích, stupňů. Následně, použitím "Necessary Condition Analysis" konstatujeme, že ekonomický potenciál je nutnou, nikoliv postačující podmínkou, pro regionální dominanci zemí, a efekt nutné podmínky by se dal označit jako "střední". Tento závěr je potvrzený i výpočtem ekonomického potenciálu dle indikátoru "GDP * GDP per capita", který prezentuje Michael Beckley, a indikátoru "Total industrial potential" podle Paula Bairocha.
|