Browsing by Advisor "Kofroň, Jan"
Now showing items 1-20 of 79
-
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í ... -
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 automaton is a model of software component behaviour based on finite state machines. It describes component's provided interface, the supported usage, and required interface, the usage of other components. A ... -
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. ... -
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é ... -
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 ... -
Checking Primitive Component Behavior
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Date of defense: 21. 5. 2007Software model checking je metoda ověřování vlastností programů a tedy zajišťování jejich vyšší spolehlivosti. Je však stále nutné dělit programy na části ověřované nezávisle, Nebot' úplné programy tvoří často příliš velký ... -
Comparative Study on the Military Effectiveness of the Turkish Army Post 2016 Coup
Defence status: DEFENDED(Univerzita Karlova, Fakulta sociálních věd, 2018)Date of defense: 11. 6. 2018Bakalářská práce se zabývá vojenskou efektivitou tureckých ozbrojených sil (TAF). Jedná se o srovnávací studii dvou období; před a po puči, který se uskutečnil 15. června 2016. Práce těží z dosavadních poznatků Stephena ... -
Computer Games and Battle Mechanics in League of Legends: Investigating analogies between real warfare and computer games
Defence status: DEFENDED(Univerzita Karlova, Fakulta sociálních věd, 2020)Date of defense: 31. 1. 2020: BATTLE MECHANICS IN LoL: Investigating Analogies Between Real Warfare and Computer Games My Masters' thesis will be about how one can draw parallels between the e-sports scene in competitive online games, and the all-too ... -
COSIM - Simulace povlakování
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 30. 1. 2012Je dána povlakovací komora, ve které je rotující systém rotujících držáků, které drží rotující nástroje. Dále jsou v komoře umístěny elektrody (z různých materiálů), ze kterých se odpařuje materiál, který se nanáší na ... -
Cube Fighter
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)Date of defense: 5. 9. 2019Realtimeové strategické hry a akční hry jsou dva velice rozdílné typy počítačových her. V mém projektu jsem se pokusil zjistit, jestli je možné je zkombinovat do jedné, se smíšenými výsledky. Základem mé hry je její ...