Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 1-80 z 10924
-
Šíření a přenos elektromagnetického záření v refraktivních a disperzivních prostředích v relativistických prostoročasech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 26. 7. 2024Světelné paprsky šířící se v okolí kompaktních gravitačních objektů v disperzivním a refraktivním prostředí jsou v posledních letech hojně studovány. Jejich popis v přiblížení geometrické optiky se značně zjednoduší použitím ... -
Startpage for TV Application
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Datum obhajoby: 20. 6. 2017V naší práci implementujeme konfigurovatelnou TV aplikaci pro set-top box zařízení, v kontextu zabudovaného webového prohlížeče. Práce je vedena dle zákaznického zadání a plně integrovaná do velké IPTV platformy. Má formu ... -
Peer-to-peer síť pro decentralizované uložení souborů a distribuované zpracování úloh
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Datum obhajoby: 8. 9. 2016Peer-to-peer sítě umožňují implementaci aplikací s vysokým výkonem, škálo- vatelností a odolností proti výpadkům. Aktuálně nejrozšířenější sítě jsou větši- nou jednoúčelové (např. file-sharing) a často postrádají zabezpečení ... -
Detekcia intenzity v postojovej analýze češtiny
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Datum obhajoby: 20. 6. 2017Postojová analýza sa zaoberá automatickou extrakciou subjektívnych informácií z textu. Cieľom práce je predpovedať intenzitu postoja v českých textoch. Na riešenie tejto úlohy sme pripravili dataset filmových hodnotení ... -
Procedural placement of 3D objects
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Datum obhajoby: 20. 6. 2017Během 3D modelování v počítačové grafice je často potřeba umístit do scény velké množství objektů. Tento proces může být únavný či téměř nemožný, pokud bychom objekty umisťovali ručně. Existuje několik programů, které tento ... -
Aplikace výpočetních metod v třídění skleněných kamenů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Datum obhajoby: 15. 6. 2017Aplikace výpočetních metod v třídění skleněných kamenů Bc. Matěj Lébl Abstrakt: Cílem předložené práce je využít matematických metod zpracování obrazu k návrhu automatické výstupní kontroly kvality skleněných bižuterních ... -
Web System for Crowdfunding Based on Selling Items with Custom Imprint
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Datum obhajoby: 5. 9. 2016Cílem této práce bylo navrhnout a implementovat webový systém na prodej předmětů s potiskem, který zároveň umožní sbírat peníze pomocí kampaní fungujících na bázi crowdfundingu. Výsledná aplikace automatizuje a usnadňuje ... -
Visual Programming Backend for a Mobile Robot
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Datum obhajoby: 6. 2. 2017Název práce: Podpora vizuálního programování mobilního robota Autor: Bc. Ondřej Staněk Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. David Obdržálek, Ph.D. e-mail vedoucího: David.Obdrzalek@mff.cuni.cz ... -
Advanced HDR image viewer
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Datum obhajoby: 6. 2. 201704.01.17 abstrakt.txt 1 file:///home/misa/Desktop/dp/abstrakt.txt Hlavním účelem této práce je určit ty aspekty prohlížečů obrázků s vysokým dynamickým rozsahem (HDR), na které kladou velký důraz umělci pohybující se v ... -
Mathematical modelling of glass forming process
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Datum obhajoby: 11. 9. 2014Diplomová práce se zaměřuje na modelování výroby tabulového skla použitím aproximace proudění viskózního filmu. Po zprůměrování Navierových- Stokesových rovnic přes jednu prostorovou proměnnou transformujeme oblast, jejíž ... -
Efektivní metody zobrazování objemových dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)Datum obhajoby: 26. 6. 2013Název práce: Efektivní metody zobrazování objemových dat Autor: Martin Holeček Katedra: Matematický ústav UK Vedoucí bakalářské práce: RNDr. Ing. Jaroslav Hron, Ph.D., Matematický ústav UK Abstrakt: Cílem práce je prozkoumat ... -
Designer profilovania plechu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 3. 9. 2012V predloženej práci študujeme možnosti návrhu aplikácie pre design výrobnej linky tvarujúcej profil plechu. Postupne prechádzame procesom návrhu profilu, kytičky, stolíc výrobnej linky a samotným návrhom valcov, ktoré budú ... -
Molecules in Cell Membranes
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Datum obhajoby: 14. 9. 2017Biologické membrány se aktivně účastní řady procesů v živých buňkách, a detailní popis jejich struktury, dynamiky a funkce je tudíž nezbytný pro porozumění živým organismům na molekulární úrovni. V této práci jsme využili ... -
Survey of Code Review Tools
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 5. 9. 2011V předložené práci studujeme chování nástrojů určených pro code review a to, jak napomáhají k odstraňování bezpečnostních zranitelností. Takových nástrojů je mnoho; ale pouze malá část je postačující pro efektivní zvýšení ... -
Fluorescence Spectroscopy: Advanced methods and their defined applications in protein science
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Datum obhajoby: 25. 9. 2017Pro správnou funkci biomolekul je zásadní jejich hydratace a dynamika. V této disertační práci bylo vyvinuto a aplikováno několik různých fluorescenčních technik pro zkoumání vlastností a jejich změn během vzájemných ... -
Study of Equilibrium Magnetic Configuration in Tokamak Type Devices
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Datum obhajoby: 29. 9. 2015Tato dizertační práce prezentuje magnetická pole tokamaku COMPASS a práci vykonanou během reinstalace COMPASSu v České republice. V technické části práce je popsána geometrie, vakuová magnetická pole a výkonové zdroje ... -
Thomson Scattering Diagnostic on COMPASS Tokamak
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Datum obhajoby: 29. 9. 2015Detailní studium chování a parametrů plazmatu je důležitou částí fúzního výzkumu. Diagnostiky poskytující spolehlivé měření jsou pro snahu o kontrolu fúzní energie na Zemi klíčové. Diagnostika Thomsonovým rozptylem je ... -
Mathematical modelling of air-flow in geometrically complicated areas
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Datum obhajoby: 16. 12. 2014Tato práce prezentuje počítačový model Charles University Large-eddy Microscale Model (CLMM) a příklady jeho využití. Je to numerický model pro výpočty proudění a rozptylu příměsí v mezní vrstvě atmosféry. CLMM řeší ... -
Vyhľadávanie relevantných článkov v rozsiahlych kolekciách
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 6. 9. 2012Vyhledávání textu v článcích se standartně řeší fulltextovým vyhledáváním. Při použití pokročilejších metod je možné dosáhnout výrazně lepších výsledků. Předmětem této práce je vytvořit univerzální knihovnu na prohledávání ... -
Automatické určování sémantických preferencí pro slovesná valenční doplnění
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Datum obhajoby: 7. 9. 2012Slovesná valence hraje důležitou úlohu v popisu chování sloves a propojuje povrchovou realizaci jazyka s jeho sémantikou. Sloveso samotné může být použito ve více významech. Slovesná valenční doplnění pak pomáhají identifikovat ... -
Fashionspace Portal
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 30. 5. 2011Název práce: Fashionspace Portál Autor: Jindřich Flídr Katedra / Ústav: Kabinet software a výuky informatiky Vedoucí diplomové práce: RNDr. Tomáš Holan, Ph.D. Abstrakt: V rámci práce byla navrhnuta architektura a implementována ... -
Výzkum deformačních mechanismů pokročilých lehkých slitin
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Datum obhajoby: 12. 9. 2016Cílem této diplomové práce je prozkoumat mechanické a tlumící vlastnosti slitin AZ91 s přidáním různého množství legujícího prvku bor a dvou experimentálních slitin na bázi čistého hořčíku. Dalším úkolem je určit vliv ... -
Numerické metody ve zpracování obrazu pro aplikace v bižuterním průmyslu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Datum obhajoby: 16. 6. 2016Předložená práce se zabývá problémem z oblasti zpracování obrazové informace pro aplikaci v násobném snímání bižuterních kamenů. Cílem je vyvinout metodu preprocessingu a následné matematické registrace snímků, která ... -
Studium exprese MDR pump u kvasinek Saccharomyces cerevisiae za různých růstových podmínek: metoda s fluorescenční sondou diS-C3(3)
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Datum obhajoby: 30. 5. 2011V tejto práci sme študovali dva kvasinkové transportéry z rodiny ABC, Pdr10p a Pdr15p. V čase zadania diplomovej práce sa verilo, že tieto proteíny prispievajú ku kvasinkovému MDR fenotypu (PDR) na základe ich vysokej ... -
Development and deployment of SaaS solution for logistics automation in e-commerce
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 11. 6. 2024E-commerce trh v oblasti prodeje zboží zaznamenal růst, který významně ovlivnil celý maloobchod. Prodejci se dostali do situace, kdy nestačí produkt pouze nabízet, nýbrž je nutné budovat značku a posilovat vztahy se ... -
Preprocessing of Subword Encoding for NMT
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 12. 6. 2024MASTER THESIS Kirill Semenov Pre-processing of the Subword Encoding for the Neural Machine Translation Institute of Formal and Applied Linguistics Supervisor of the master thesis: Mgr. Martin Popel, Ph.D. Study programme: ... -
Physical properties of doped and non-doped Tb3Fe5O12 studied by optical spectroscopies
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 7. 2024This thesis focuses on systematic study of optical and magneto-optical properties of non-doped and doped Tb3Fe5O12 thin films, on gadolinium gallium garnet and silicon substrates. Spectroscopic ellipsometry measurements ... -
Computational methods for finding cryptographic functions
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 10. 6. 2024Recent studies have demonstrated several methods on different approaches to classi- fication of vectorial Boolean functions up to certain equivalence relation and to finding new quadratic Almost Perfect Nonlinear (APN) ... -
Substrátem kontrolované fyzikální vlastnosti tenkých vrstev magnetických oxidů pro spintronické aplikace
Výsledek obhajoby: UZNÁNO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 19. 7. 2024As conventional electronics approaches its fundamental limits, new paradigms are re- quired. Integration of new spintronic materials with current silicon technology shows great promise. This thesis demonstrates the possibility ... -
Query langauge for relational databases
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Relational databases are widely used in software engineering, but the language used to access them, SQL, was created in the 1970s and has numerous problems that make writing complex queries unnecessarily difficult. In this ... -
Analysing data from two-layer Timepix3 detector
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024 -
Rhythm recognition
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Rhythm is an important part of music. It is easy for humans to hear or feel the rhythm of a song, but automatic rhythm recognition is a complicated task. In this work, we in- troduce an algorithm for automatic rhythm ... -
Vizualizace algoritmů pro návrh databází
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024This bachelor's thesis focuses on the development of a web application designed for the visualization and interactive testing of algorithms needed for the design of relational database schemas. The primary goal of the ... -
Framework pro interaktivní distribuovanou síť světelných zařízení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024This work presents a framework for interactive appliaction on a distributed network of lighting devices based on Espressif ESP32-S3 modules. The framework locates devices by measuring their mutual distances. There are two ... -
Real-time analýza a validace obrazu z webových kamer
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Nowadays, digital transformation emphasizes the use of webcams as sources of infor- mation about outdoor conditions, primarily due to their wide availability and potential in meteorology. The work focuses on the analysis ... -
Approximate Techniques for Dynamic Vehicle Routing Problems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024This thesis studies the capacitated dynamic vehicle routing problem with changing vehicle availability. It is motivated by the increasing demand for fast and reliable delivery services in recent years. First, we analyze ... -
Online hry na podporu výuky "nové" informatiky na druhém stupni základní školy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024The thesis describes the development of the web application Starting With Computer Science (Začínáme s informatikou) for teaching computer science at the lower secondary level (ISCED 2). The application contains five themes. ... -
Generování proteinových sekvencí s danou charakteristikou
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Proteins are essential for life as they play a fundamental role in many biological processes. Designing novel proteins with a desired function is an important problem in drug development and biological research. Large ... -
Visual Editing of Domain Control Knowledge for Planning
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024The ability to only define the physics of an environment in classical plan- ning tasks has been a long-standing obstacle in practical applications of such an approach. Current generic planners are typically capable of ... -
Experimental Analysis of Query Languages in Modern Database Systems
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024The rise of Big Data has highlighted the limitations of relational databases while handling large datasets, leading to the growth of NoSQL databases. This has made DBMS benchmarking crucial for performance evaluation and ... -
Segmentation of scanned PDF documents
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024 -
Umělá inteligence pro strategické hry s neúplnou informací
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024This bachelor thesis provides an introduction to game theory and artificial intelligence methods, specifically for games with incomplete information, and a playable application of the game based on the Scotland Yard on ... -
AgentLang - Programming Language for Agent-based Modeling
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024With the increasing popularity of the agent-based simulation technique in various scientific fields, there is a demand for an all-in-one framework for modeling agent-based simulations. Although there are numerous agent-based ... -
Fast Algorithms for Attention Mechanism
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024 -
Vývoj mobilní aplikace a generátoru otázek pro hru Desítka
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024This bachelor's thesis focuses on creating a mobile application for Android that allows playing an online version of the game "Smart10"by Mindok company. The thesis also includes creating questions for the game, which are ... -
2D Game editor
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024In this thesis, we introduce 2D game editor providing environment for creation of simple computer games, such as FlappyBird or JumpKing. We present an alternative to other existing game editors, which are either paid (such ... -
Platforma pro monitorování mentálního zdraví
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024The National Institute of Mental Health needed to digitalize its research and therapeu- tic practice. One of the processes was the collaboration of therapists with patients/clients through questionnaires. In this work, we ... -
Procesy slabé saturace v multipartitních hypergrafech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Given hypergraphs H and P, wsat(H, P) denotes the smallest number of edges in a subgraph of H with the property that the missing edges can be sequentially added such that the addition of every edge creates a new copy of ... -
Interactive pandemic simulation to encourage critical thinking
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024The complexity of pandemic simulations often makes them opaque and difficult to understand for the general public. Critical thinking is essential for understanding the results of these simulations, but the current methods ... -
Order Independent Transparency
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Rendering transparent geometry in realtime brings a set of problems as the transpar- ent objects need to be sorted first and rendered in order from back to front for their correct overlaying. A set of rendering algorithms ... -
Validátor CSV súborov podľa odporúčaní CSV on the Web
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024The goal of this thesis was to create a validator of CSV files according to the CSV on the Web recommendations, which enhance CSV data format. This validation is needed to increase the quality of data on the web. Validator ... -
Návrh LLM promptu pro iterativní data exploraci
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024 -
Energy optimization in a family house
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024The goal of this thesis is to compare various optimization algorithms for optimizing energy usage in residential households. We consider a model of a household with heat and power cogeneration, fixed electricity and domestic ... -
Textual Ciphers as a Tool for Better Understanding the Transformers
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024The Transformer architecture is very popular, so it is potentially im- pactful to interpret what influences its performance. We test the hypothesis that the model relies on the linguistic properties of a text when working ... -
Systém pro správu šachových soutěží
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024We live in a time when digitalization is taking place in all sectors. Yet for chess tournament organisers and participants, there is no modern software to satisfy their requirements. In this thesis we will analyze the ... -
Simulátor šíření ohně
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024This thesis focuses on the description of a tool designed for simulating fire spread across landscapes, which is developed within the cross-platform Unity game engine. This tool stands out due to its visually appealing ... -
Klasifikace autorství textu s neznámým autorem
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Statistical and computational authorship attribution is a widely researched topic in literary science, but few works deal with solving the problem when the classified text does not belong to any of the authors the model ... -
Bottleneck identification for constraint relaxation in resource-constrained project scheduling
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024In modern manufacturing systems, production planners create schedules by iteratively obtaining proposed schedules and adjusting input parameters to satisfy multiple, often competing, optimization goals. The goal of this ... -
Cross-lingual transfer for the annotation of the SynSemClass ontology
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024This work compares two approaches to automatic preannotation of semantic class to verbs in a sentence for the purpose of adding a new language to the SynSemClass ontology. Both approaches rely on a multilingual deep learning ... -
Multilingual Entity Linking Using Dense Retrieval
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Entity linking (EL) is the computational process of connecting textual mentions to corresponding entities. Like many areas of natural language processing, the EL field has greatly benefited from deep learning, leading to ... -
Masked Superstrings for Efficient k-Mer Set Representation and Indexing
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024The exponential growth of genomic data calls for novel space-efficient algorithms for compression and search. State-of-the-art approaches often rely on tokenization of the data into k-mers, which are substrings of a fixed ... -
Neřízená klasifikace mraků na obrázcích oblohy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Cloud classification task is a task where we classify images of clouds into groups of similar images. Images are similar in terms of texture, shape, colour, size and other visual aspects. The aim of this work is to create ... -
PerfEval: Spojení unit testů s vyhodnocováním výkonu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024When developing software, unit tests are commonly used. This thesis proposes Perf- Eval, a tool that performs performance testing in a similar way. The PerfEval tool is designed to compare the performance measurement results ... -
Denoising Diffusion Models for Dynamic Sky Image Generation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024 -
Animace grafových algoritmů v MonoGame
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024The result of this bachelor thesis is an application for teaching graph algorithms intended to be used at technically oriented high schools and universities. The application comes with a proprietary language Cb, which is ... -
Asistent pro psaní textu založený na velkých jazykových modelech
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024A standard approach to many natural language processing tasks is to take an existing, pre-trained large language model and fine-tune it for the given task. Such an approach leads to having a separate model for each task; ... -
Aplikace na vytváření kytarových zpěvníku z písní dostupných na webu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024The guitar songbook is a list of song lyrics with chords. Most guitarists create their own songbooks, and the existing programs for guitar songbook creation may not cover most of the features that the user expects from ... -
Processing of time tables
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024A goal of this thesis is to create an open-source application which could serve as foundation for public bus transport analysis and organizing, while di- rectly operating with timetables in a JDF format for a comfortable ... -
AE řešitelnost intervalových soustav
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Interval analysis involves investigating various types of solvability of interval systems. The most well-known ones are weak solvability, strong solvability and their combination AE solvability. Currently, there is no known ... -
Loop Analysis for LLVM IR Translation Validation Framework
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Bugs in compilers can have severe consequences. Apart from traditional methods like testing, one of the ways of keeping compilers correct that gained traction only in recent years is translation validation, a technique ... -
Predikce délky trvání datového profilování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Today, data quality plays a vital role in strategic planning and corporate decision-making processes. The ability to predict the duration of tasks re- lated to data processing and analysis is crucial for efficient use of ... -
Controlling a Robotic Chess Manipulator
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024In this thesis, we will use Kinect v2 (from Microsoft Corporation), Stockfish (one of the highest-ranking chess engines), and a custom-made robotic crane capable of accepting simple commands to move across a 3-dimensional ... -
Practical batch proofs of exponentiation
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024This thesis studies batch Proofs of Exponentiation (batch PoE). We explore exist- ing batch PoEs and analyze their verification cost. We also introduce two batch PoEs and compare their performance with the performance of ... -
Webová aplikácia na precvičovanie databázových dopytov
Výsledek obhajoby: NEOBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Within this work, an educational web application was created for prac- ticing database queries using SQL language. The website consists of of four main parts - SQL hřiště, Úkoly, Diskusní fórum and Test. Students are free ... -
Transformer Architectures for Multi-Channel Data
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024 -
Streamlining Usability of Enterprise Data Quality Management Tools for Data Engineers
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024In the realm of data quality management, integrating robust data quality rules into automated workflows and data pipelines is essential for maintaining data integrity. This thesis addresses the gap in programmatic accessibility ... -
Aplikácia pre vytváranie osobného rozvrhu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024This work presents a Windows application developed to increase user focus and effici- ency through effective time and schedule management strategies. The software integrates established methods such as Eat That Frog!, the ... -
Generování textů českých coververzí anglických písní
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024This thesis explores the topic of generating Czech lyrics to English cover songs. Songs are often adapted to different languages to make them more available to people who do not necessarily speak the language of the original ... -
Abstract interpretation of pandas
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Pandas is a Python library widely used for data-manipulation. The code written with Pandas lacks any type-safety and everything is decided at runtime. This can potentially be a source of errors and crashes at runtime. One ... -
Combining effects with dependent types
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 28. 6. 2024Dependent type systems provide a novel way of reasoning about program correctness, by embedding behavior of the program into the more expressive type system. Correctness is achieved by not allowing incorrect states to be ...