Browsing by Advisor "Kofroň, Jan"
Now showing items 1-20 of 94
-
4-kanálový mixážny pult s real-time efektamy
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Date of defense: 11. 9. 2007Tento text je určen jako doprovod k softwarovému dílu Organ-100. Práce popisuje problematiku zpracování signálů v reálném čase na stolních počítačích a poskytuje její softwarové řešení v oblasti hudební zábavy. Toto řešení ... -
Al-Káida v nestabilních státech - Somálsko a Pákistán
Defence status: DEFENDED(Univerzita Karlova, Fakulta sociálních věd, 2022)Date of defense: 6. 6. 2022Abstract This paper examines how the decay of political power and other territorial characteristics affect al-Qaeda's chances of successfully building regional cells in weak and collapsed states. Its focal point is a ... -
American humanitarian interventions
Defence status: DEFENDED(Univerzita Karlova, Fakulta sociálních věd, 2016)Date of defense: 4. 2. 2016With the collapse of the Soviet Union, humanitarian intervention became an important pillar in the emerging new world order. From 1989 to 1995, 96 violent civil confrontations have occurred, but 91 of them did not result ... -
Analysis of a File System Using the Verifying C Compiler
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 3. 2. 2015Název práce: Analýza souborového systému pomocí Verifying C Compiler Autor: Bc. David Škorvaga Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Jan Kofroň, Ph.D. Abstrakt: Formální ... -
Analysis of Interface Automata with On-Demand Replication
Defence status: RECOGNIZED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 17. 6. 2016Interface 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ý ... -
Analysis of Interface Automata with On-Demand Replication
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)Date of defense: 27. 5. 2013Interface 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ý ... -
Analýza letových dat
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)Date of defense: 22. 6. 2018The main goal of this thesis is a design and an implementation of a tool for analysis of flight data which are produced by AgentFly simulation. The user can load flight messages in CMS format and process them. The thesis ... -
Analýza role speciálních sil v komplexu ozbrojených sil v současnosti a budoucnosti s komparací současného stavu případů ČR, Belgie a Portugalska
Defence status: DEFENDED(Univerzita Karlova, Fakulta sociálních věd, 2019)Date of defense: 9. 9. 2019Tato práce řeší pozici Speciálních jednotek České Republiky v rámci armády a případnou potřebu investovat do jejich dalšího rozvoje. Společně s tím práce porovnává speciální jednotky v České Republice s Belgií a Portugalskem. ... -
Analýza vlivu mezinárodních ekonomických vztahů na dodávky vakcín proti nemoci COVID-19 do afrických států
Defence status: DEFENDED(Univerzita Karlova, Fakulta sociálních věd, 2022)Date of defense: 5. 9. 2022This bachelor's thesis examines the factors influencing the distribution of COVID-19 vaccines to African countries. The research builds on current literature on the economic and other penetration of states into Africa. ... -
Analýza vojenské kapacity Afghánistánu pohledem organizačních praktik
Defence status: DEFENDED(Univerzita Karlova, Fakulta sociálních věd, 2021)Date of defense: 14. 6. 2021 -
Anomaly detection for stock market trading data
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Date of defense: 14. 9. 2020Obchodová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á ... -
Anzora: Zotero klient pro Android
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Date of defense: 12. 6. 2017Cílem práce bolo vytvořit klientskou aplikaci Anzora pro mobilní zařízení se systémem Android, která by poskytovala přístup a správu databázi zdrojů Zotero. Aplikace bude sloužit zejména jako doplněk k existující desktopové ... -
Aplikace pro správu výukových kurzů
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2021)Date of defense: 10. 9. 2021Cílem práce je vytvořit webovou aplikaci pro správu různých typů výukových kurzů, jako například vysokoškolské přednášky a cvičení, předměty na základní či střední škole nebo také libovolný zájmový kurz. Program bude ... -
Aplikácia na správu nehnuteľností
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Date of defense: 11. 2. 2009Cieľom bakalárskej práce je navrhnúť a implementovať Internetovú aplikáciu, ktorá má za úlohu zjednodušiť prácu majiteľom nehnuteľností so správou nehnuteľností, nájomníkov, výberom poplatkov a nájomného a sledovaním a ... -
The Art of (In)Accuracy: A Meta-Analysis of the European Values Think-Tank's Forecasts
Defence status: DEFENDED(Univerzita Karlova, Fakulta sociálních věd, 2019)Date of defense: 12. 9. 2019Probabilistic forecasts represent a potentially indispensable tool for policy advising, strategic planning, or provision of possible scenarios of future development. It is clear, however, that inaccurate forecasts can ... -
Automatized Data Abstraction
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Date of defense: 21. 5. 2007Model checking patří mezi nejrozšířenější metody verifikace softwarových systémů. Během verifikace pomocí této metody se prochází celý stavový prostor daného systému. Stavový prostor softwarových systémů je ale obrovský a ... -
Automobile Mirror Testing
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 6. 9. 2012Testování je součástí výrobního procesu v mnoha průmyslových odvětvích. Slouží jako prevence před vypuštěním chybných kusů na trh. Manuálně skládaná automobilová zrcadla procházejí testováním, při kterém se ověřují základní ... -
Balance of power or hegemony in South America?
Defence status: DEFENDED(Univerzita Karlova, Fakulta sociálních věd, 2016)Date of defense: 24. 6. 2016Does Argentina still need to maintain its armed forces and a security policy? After the defeat in the 1982 War and the return to democracy from a military de facto regime, Argentinean Armed Forces lost prestige and their ... -
BashCommander
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Date of defense: 10. 9. 2007Práce se zabývá implementací programu BashCommander, sloužícího k efektivní správě souborů ve Windows s použitím textových příkazů. Jde o dvoupanelový souborový manažer, těsně provázaný s konzolí pro textové příkazy, kde ... -
Buck-passing: A Theoretical Framework and Case Studies on the Munich Crisis and the Korean War
Defence status: DEFENDED(Univerzita Karlova, Fakulta sociálních věd, 2022)Date of defense: 24. 1. 2022Buck-passing, an increasingly prominent concept to explain states' foreign policy, suffers from inconsistency in both theory and application. This thesis proposes a revised theoretical framework of buck-passing, which is ...