• 4-kanálový mixážny pult s real-time efektamy 

      Zábušek, Gabriel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 11. 9. 2007
      Tento 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 

      Arakelyan, Viktorya (Univerzita Karlova, Fakulta sociálních věd, 2016)
      Date of defense: 4. 2. 2016
      With 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 

      Škorvaga, David (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)
      Date of defense: 3. 2. 2015
      Ná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 

      Daniel, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)
      Date of defense: 17. 6. 2016
      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ý ...
    • Analysis of Interface Automata with On-Demand Replication 

      Daniel, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)
      Date of defense: 27. 5. 2013
      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ý ...
    • Analýza letových dat 

      Kolek, Lukáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)
      Date of defense: 22. 6. 2018
      The 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 ...
    • Anzora: Zotero klient pro Android 

      Hanzeli, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)
      Date of defense: 12. 6. 2017
      Cí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í 

      Rada, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 11. 2. 2009
      Cieľ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 ...
    • Automatized Data Abstraction 

      Novotná, Lenka (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 21. 5. 2007
      Model 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 

      Kováč, Ondrej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)
      Date of defense: 6. 9. 2012
      Testová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? 

      Iglesias, Matías (Univerzita Karlova, Fakulta sociálních věd, 2016)
      Date of defense: 24. 6. 2016
      Does 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 

      Dušek, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 10. 9. 2007
      Prá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 

      Klika, David (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 21. 5. 2007
      Software 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 

      Koutský, Tomáš (Univerzita Karlova, Fakulta sociálních věd, 2018)
      Date of defense: 11. 6. 2018
      The bachelor's thesis is a process-tracing case study focusing on the military effectiveness of the Turkish armed forces (TAF) before and after the failed coup d'état that occurred on the night of July 15, 2016. Inspired ...
    • COSIM - Simulace povlakování 

      Jílek, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)
      Date of defense: 30. 1. 2012
      Je 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 ...
    • Distribuovaný systém správy objednávek pro restaurační zařízení 

      Zíka, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)
      Date of defense: 16. 6. 2014
      Pro restaurace a podobné podniky je velice výhodné používat software pro správu objednávek kvůli udržení přehledu o financích podniku a požadav- cích zákazníků. Na českém trhu již existuje celá řada produktů vytvořených ...
    • Distributed Behavior Protocol Checker 

      Poch, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
      Date of defense: 11. 9. 2006
      Nárůst dostupné výpořetní síly umožnil v posledních letech praktické využití formální verifikace softwarových systémů. Nejpalčivějším problémem, který zabraňuje širšímu využití však zůstává velikost stavových prostorů. ...
    • Editor elektrotechnických schémat 

      Závišek, Josef (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)
      Date of defense: 24. 6. 2008
      Předmětem mé práce je implementace grafického vektorového editoru elektrotechnických schémat. Editor je založen na koncepci CAD systémů a je navržen tak, aby splňoval normy, kterými se elektrotechnická dokumentace musí ...
    • Efficient Representation of Program States 

      Jančík, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)
      Date of defense: 21. 9. 2017
      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 ...
    • Europe in transformation: possible scenarios from neorealist and constructivist perspectives 

      Tran, Helen (Univerzita Karlova, Fakulta sociálních věd, 2015)
      Date of defense: 7. 9. 2015
      Situace v Evropě podléhá transformaci. Jesliže bude Evropa chtít zachovat mír v regionu, bude muset opatrně vážit své kroky. Z toho důvodu je nutné vědět, jak mohou jednotlivá opatření ovlivnit budoucí události. K podrobnějšímu ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: dspace (at) is.cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV