Prohlížení katedra teoretické informatiky dle názvu

Zobrazují se záznamy 93-112 z 545

    • Cantor, Gödel, Turing a paradox lháře 

      Autor: Martin Slávik; Vedoucí práce: Trlifajová Kateřina; Oponent práce: Šolcová Alena
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-25)
      Tato bakalářská práce se zabývá vysvětlením jednotlivých problémů, zasazením do souvislostí a rozborem důkazů. Cantorova věta, Gödelova věta a problémem zastavení Turingova stroje jsou tři důležitá negativní tvrzení z ...

    • Code refactoring using Codiscent's projective technologies 

      Autor: Tomáš Buňata; Vedoucí práce: Pergl Robert; Oponent práce: Dvořák Ondřej
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-25)
      Tato práce se zabývá refaktoringem kódu s využitím projektivních technologií společnosti Codiscent. Teoretická část obsahuje analýzu současných přístupů k refaktoringu a nástrojů k udržování čistého kódu. Poskytuje úvod ...

    • Code refactoring using Codiscent's projective technologies 

      Autor: Tomáš Buňata; Vedoucí práce: Pergl Robert; Oponent práce: Dvořák Ondřej
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-01-30)
      Práce se zabývá využitím projektivních technologí k refaktoringu a analýzou současných přístupů a nástrojů k udržování čistého kódu. Poskytuje úvod do refaktoringu, testování a srovnání využití možností refaktoringu v ...

    • Comma-shell, interaktivní debugger shellu 

      Autor: Nesrovnal Tomáš; Vedoucí práce: Baier Jan; Oponent práce: Kašpar Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-09)
      Comma-shell je nástroj pro lepší práci v interaktivním shellu, určený přede- vším pro uživatele seznamující se s prosředím v shellu. První částí je debugger, který umí spouštět a analyzovat příkazy po částech. Druhou částí ...

    • Částečně řízené učení milionů astronomických spekter 

      Autor: Palička Andrej; Vedoucí práce: Škoda Petr; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-10)
      Použili sme čiastočne riadené učenie na detekciu emisných spektier v archíve z observatória LAMOST za pomoci masívne paralelného prostredia Spark. Implementovali sme aplikáciu, ktorá tieto spektrá predspracuje a aplikuje ...

    • Databázový systém pro numerické struktury 

      Autor: Mašat Miroslav; Vedoucí práce: Šimeček Ivan; Oponent práce: Langr Daniel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-17)
      Cílem této práce je nastudovat a implementovat algoritmus numerického databázového systému s využitím datové struktury ohodnoceného binárního stromu. Implementace v jazyce C++ bude srovnána s původní implementací v jazyce ...

    • Databázový systém pro numerické struktury 

      Autor: Kroilov Viacheslav; Vedoucí práce: Šimeček Ivan; Oponent práce: Langr Daniel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-17)
      Numerická databáze zrychluje výpočet ukládáním mezivýsledků do pamětí. Kanonická implementace numerické databáze je založená na ohodnoceném binárním stromu - kombinace AVL-stromu a binární haldy. V této práci je diskutována ...

    • Datová analýza pro rekonstrukci hmoty Higgsova bosonu v ttH produkci 

      Autor: Petr Urban; Vedoucí práce: Sopczak André; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-09)
      Tato práce se zabývá problémem rekonstrukce klidové hmotnosti částice známé jako Higgsův boson pomocí technik strojového učení - neuronových sítí. Je zaměřena na rozpadový kanál 2lSS+1Tau-had. V první části je vysvětlen ...

    • Debugger pro Tiny86 

      Autor: Filip Gregor; Vedoucí práce: Máj Petr; Oponent práce: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
      Programátoři často potřebují kontrolovat stav svých programů za běhu. Právě pro tento účel byl vytvořen speciální nástroj zvaný debugger. Přestože je tento nástroj velmi rozšířen, málokdo ví, jak přesně funguje. Částečně ...

    • Debugger SECD virtuálního stroje 

      Autor: Vojtěch Rozhoň; Vedoucí práce: Máj Petr; Oponent práce: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)
      Práce popisuje implementaci debuggeru SECD stroje, sestávajícího se z SECD virtualního stroje a frontendové části. Programovací jazyk tiny-lisp je navržen jako jazyk, jehož programy budou interpretovány SECD virtuálním ...

    • Decentralizované prohledávání neznámého prostoru 

      Autor: Slyusar Khilda; Vedoucí práce: Kulich Miroslav; Oponent práce: Buk Zdeněk
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-23)
      Tato bakalářská práce se zabývá problémem decentralizovaného prohledávání neznámého prostředí homogenním týmem autonomních robotů. Jako základ navrženého systému slouží softwarový rámec pro prohledávání více roboty vyvinutý ...

    • Deep learning pro algoritmické obchodování 

      Autor: Mikšů Vojtěch; Vedoucí práce: Kordík Pavel; Oponent práce: Konfršt Zdeněk
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)

    • Dekompozice útvarů pro vícekanálová pole vzdáleností 

      Autor: Chlumský Viktor; Vedoucí práce: Šimeček Ivan; Oponent práce: Sloup Jaroslav
      Tato práce zkoumá možnosti vylepšení populární techniky vykreslování textu, která je hojně používaná ve 3D aplikacích a počítačových hrách. Předkládá univerzální a efektivní metodu konstrukce vícekanálového pole vzdáleností ...

    • Deminifikace a deobfuskace JavaScriptu 

      Autor: Platkevič Adam; Vedoucí práce: Polách Radomír; Oponent práce: Trávníček Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-13)
      Jazyk JavaScript je výhradní prostředek skriptování v rámci webovských stránek. Aby chránili své duševní vlastnictví či skryli nekalý úmysl, někteří programátoři přistupují u svého kódu k záměrnému snížení jeho srozumitelnosti, ...

    • Detekce a sledování pohybu osob na základě záznamu z kamerového systému 

      Autor: Wudi Petr; Vedoucí práce: Jiřina Marcel; Oponent práce: Balík Miroslav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-16)
      Tato bakalářská práce popisuje algoritmus, který dokáže v kamerovém záznamu detekovat jednotlivé osoby a ty dále sledovat. Omezuje se přitom na případ kamery umístěné nad hlavami těchto osob. Cílem práce je porovnat různé ...

    • Detekce anomálií založená na strojovém učení v reálném síťovém provozu 

      Autor: Petráček Martin; Vedoucí práce: Kopp Martin; Oponent práce: Čejka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
      Tato práce se zabývá využítím metod strojového učení v oblasti síťové bezpečnosti. Jejím cílem je implementace vybraných algoritmů z oblasti strojového učení pro detekci anomálií v síťových tocích. Součástí práce je rovněž ...

    • Detekce botnetů v počítačových sítích 

      Autor: Neužil Jan; Vedoucí práce: Čejka Tomáš; Oponent práce: Benáček Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-09-05)

    • Detekce hromadných emailů 

      Autor: Kučera Ondřej; Vedoucí práce: Siegl Tomáš; Oponent práce: Kordík Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)

    • Detekce phishingových zpráv 

      Autor: Duda Tomáš; Vedoucí práce: Jiřina Marcel; Oponent práce: Kopp Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
      Tato bakalářská práce se zabývá detekcí phishingových zpráv v českém a anglickém jazyce. Popsány jsou charakteristické znaky phishingových zpráv a existující řešení, které phishing potírají. Na základě zjištěných informací ...

    • Detekce pozice poznávací značky z kamerových záznamů jedoucích aut 

      Autor: Jásek Vladislav; Vedoucí práce: Jiřina Marcel; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-09)
      Tato práce se zabývá problémem detekce registračních značek z kamery jedoucího auta. Některé stávající přístupy k problematice jsou v této práci shrnuty. Dále je představeno několik state-of-the-art algoritmů pro detekci ...