Prohlížení katedra teoretické informatiky dle názvu
Zobrazují se záznamy 88-107 z 545
-
Bezpečnostní studie aplikace
; Vedoucí práce: Zahradnický Tomáš; Oponent práce: Mikšík Petr
(Č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á studiem úrovně zabezpečení aplikací používaných širokou veřejností a možnostmi ohrožení jejich uživatelů případným útokem, který využívá bezpečnostních zranitelností těmito aplikacemi způsobených. Cílem ... -
Bioinformatický indexovací nástroj pro vyhledávání v elastických degenerativních řetězcích
; Vedoucí práce: Holub Jan; Oponent práce: Krčál Luboš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-10)Schopnost efektivně prohledávat veliké množství dat je důležitou součástí nejen v bioinformatické a informatické sféře, ale v celém moderním světe. Každý organismus je originální a vytvořit komplexní strukturu, která by ... -
Bitcoinová peněženka pro Android podporující zařízení TREZOR
; Vedoucí práce: Starý Jan; Oponent práce: Starosta Štěpán
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-17)Tato práce se zabývá návrhem Bitcoinové peněženky pro OS Android, která využívá zařízení TREZOR jako úložiště privátních klíčů. Navržená aplikace umožňuje zobrazit seznam transakcí, vytvořit novou transakci, podepsat ji ... -
blockchain pro FITCOIN
; Vedoucí práce: Starý Jan; Oponent práce: Starosta Štěpán
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-17)lem této bakalářské práce je zahrnout technologii blockchain do školní kryptoměny FITCOIN. Blockchain je decentralizovaná databáze, do které se dají přidávat pouze nové záznamy. V teoretické části práce je zanalyzovaná ... -
Burrows-Wheelerova transformace a vyhledávání v textu
; Vedoucí práce: Trávníček Jan; Oponent práce: Guth Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-12)Tato bakalářská práce popisuje dopřednou a zpětnou Burrows-Wheelerovu transformaci a obsahuje rešerši existujících algoritmů řešících problém vyhledávání přesného vzorku v transformovaném textu. Přiložena je potom naše ... -
Cantor, Gödel, Turing a paradox lháře
; 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
; 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
; 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
; 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
; 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
; 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
; 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
; 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
; 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
; 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
; 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í
; 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í
; 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
; 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
; 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é ...