Prohlížení katedra teoretické informatiky dle názvu
Zobrazují se záznamy 134-153 z 545
-
Editor konečných automatů na dotykových zařízeních
; Vedoucí práce: Trávníček Jan; Oponent práce: Šestáková Eliška
(Č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 se zaobírá návrhem a implementací prototypu editoru konečných automatů na iPad zařízení a následném uživatelském testováním na vytvořeném prototypu. Také obsahuje analýzu webového rozhraní knihovny ... -
Efektivní algoritmy pro řešení problému nalezení konvexní obálky v 3D
; Vedoucí práce: Šimeček Ivan; Oponent práce: Suchý Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-15)Tato práce se zabývá efektivními algoritmy pro řešení problému hledání konvexní obálky bodů ve 3D prostoru. V práci je tento problém zadefinován a jsou navrženy a popsány algoritmy pro jeho řešení. Tyto algoritmy jsou dále ... -
Efektivní algoritmy pro řešení problému nalezení konvexní obálky v 3D
; Vedoucí práce: Šimeček Ivan; Oponent práce: Suchý Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-01-10)Tato práce se zabývá efektivními algoritmy pro řešení problému hledání konvexní obálky bodů ve 3D prostoru. V práci je tento problém zadefinován a jsou navrženy a popsány algoritmy pro jeho řešení. Tyto algoritmy jsou dále ... -
Efektivní dotazování nad databází PubChem
; Vedoucí práce: Galgonek Jakub; Oponent práce: Valenta Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-01-10)Tato práce se zabývá způsoby a technologiemi vyhodnocování dotazů v jazyce SPARQL na rozsáhlých RDF datech pocházejících z projektu \mbox{PubChemRDF}. Součástí publikace je popis jednotlivých nástrojů, použitých optimalizací, ... -
Efektivní implementace nově vyvinutých variant kompresní metody ACB pro knihovnu ExCom
; Vedoucí práce: Polách Radomír; Oponent práce: Baier Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-09)Tato práce se zabývá analýzou algoritmu ACB a návrhem nových struktur pro indexování contextu a contentu s ohledem na vylepšení kompresního poměru. V této práci jsou navržena tři vylepšení, která jsou implementována a ... -
Efektivní LU rozklad pro řídké matice
; 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-12)Cílem práce je implementace Doolitlova algoritmu pro LU rozklad řídkých matic a seznámení s různými heuristikami pro snížení tvorby nenulových prvků, konkrétně s algoritmy Multiple Minimum Degree, Reverse Cuthill-McKee a ... -
Efektivní LU rozklad pro řídké matice
; Vedoucí práce: Šimeček Ivan; Oponent práce: Kotenkov Ivan
(Č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árská práce se zabývá implementací a analýzou algoritmu využívaných pro LU faktorizaci rídkých matic. Literární rešerše obsahuje teoretické základy potrebné pro pochopení algoritmu, kterými se práce zabývá. Tyto ... -
Efektivní LU rozklad pro řídké matice
; Vedoucí práce: Šimeček Ivan; Oponent práce: Šoch Michal
(Č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 řeší LU rozklad řídkých matic a možnost jeho paralelizace. K rozkladu je využita Croutova, Choleského a QR metoda. Tyto metody implementuje pro několik formátů ukládání řídkých matic. Implementované metody jsou ... -
Efektivní LU rozklad pro řídké matice
; 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., 2019-06-19)Tato bakalárská práce se zabývá implementací a analýzou algoritmu využívaných pro LU faktorizaci rídkých matic. Literární rešerše obsahuje teoretické základy potrebné pro pochopení algoritmu, kterými se práce zabývá. Tyto ... -
Efektivní násobení polynomů
; Vedoucí práce: Šimeček Ivan; Oponent práce: Vagner Ladislav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-12)Tato práce se zabývá efektivními algoritmy pro násobení polynomů, konkrétně algoritmy Karatsuba, Toom-Cook a Rychlá Fourierova transformace. Mimo jiné se práce zaměřuje na paralelizaci těchto algoritmů v jazyce C++ za ... -
Efektivní násobení řídkých matic
; 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., 2019-06-20)Tato bakalářská práce se zabývá formáty pro uložení řídkých matic COO, CSR, CSC a algoritmy pro násobení matic v těchto formátech. Cílem práce je i implementace těchto algoritmů a formátů v programovacím jazyce C++ a změření ... -
Efektivní paralelní Timsort algoritmus
; 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., 2018-06-15)Tato bakalářská práce se zaměřuje na třídící algoritmus Timsort. Cílem bylo paralelizovat algoritmus tak, aby byl efektivnější než jeho sekvenční verze a porovnat jeho rychlost s jinými algoritmy. -
Efektivní plánování směn pro dohled nad datovými centry
; Vedoucí práce: Černý Jan; Oponent práce: Šlapák 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á řešením problému plánování směn s využitím evolučních algoritmů a jiných heuristik. Jedná se o NP-obtížný problém, ve kterém potřebujeme přiřadit směny zaměstancům v souladu s množstvím ... -
Efektivní řešič lineárních nerovnic
; Vedoucí práce: Šimeček Ivan; Oponent práce: Šoch Michal
(Č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 práce je zaměřena na algoritmus Conflict resolution, který je určený k řešeni systémů lineárnich nerovnic. Účelem práce je nalézt efektivni implementaci algoritmu s použitim bežných optimalizačnich technik a porovnat ... -
Efektivní řešič lineárních nerovnic:
; Vedoucí práce: Šimeček Ivan; Oponent práce: Ječmen Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-20)Tato práce se zabývá implementací algoritmu pro řešení soustav lineárních nerovnic pomocí řešení konfliktů. Algoritmus je implementován v C++17, jeho paralerizace je docílena pomocí knihovny OpenMP. -
Efficient concurrent memoization system
; Vedoucí práce: Langr Daniel; 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., 2020-06-11)Automaticky memoizační systém - také softwarová cache - ukládá omezený počet prvků v paměti, které byly nedávno zpřístupněny a zrychluje tak následný přístup k nim. Least-Recently-Used (LRU) je populární strategie nahrazování ... -
Efficient multiplication of sparse matrices
; 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., 2020-06-25)Tato práce popisuje formáty řídkých matic XY, YX, CRS a quadtree, algoritmy násobení řidké matice s řídkou maticí a zároveň popisuje algoritmy použivané pro paralelní výpočty. Součástí práce je implementace v C++, testy ... -
Efficient multiplication of sparse matrices
; 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., 2019-06-20)Tato práce popisuje formáty řídkých matic XY, YX a CRS, algoritmy násobení řidké matice s řídkou maticí a zároveň popisuje algoritmy použivané pro paralelní algoritmy. Součástí práce je implementace v C++, testy nad reálnými ... -
Enterprise řešení pro nasazení a správu H2O clusterů na Hadoop
; Vedoucí práce: Háva Jakub; Oponent práce: Nováček Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-06)Velké organizace čelí problémům s integrací H2O softwaru pro big-data strojové učení v prostředí Hadoopu. Hlavní kritika zmiňuje chybějící integraci s podnikovým zabezpečením, chybějící kontrolu nad zdroji (CPU, paměť) a ... -
Eternal domination na speciálních třídách grafů
; Vedoucí práce: Valla Tomáš; 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., 2018-06-16)V této práci studujeme problém věčné dominace grafu, který je známý pod názvem m-eternal domination problem. Je zadán graf G a na vrcholy G umístíme ochránce. Následně jsou na vrcholy postupně vedeny útoky. Po každém útoku ...