Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 4441-4460 z 11342
-
Efektivní paralelizace evolučních algoritmů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Evoluční algoritmy se často používají na těžké optimalizační problémy. Jejich řešení trvá netriviální čas a proto tu je tlak na efektivní paralelizaci těchto algoritmů. Bohužel klasické metody paralelizace nefungují moc ... -
Biblické parafrázování
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020V této bakalářské práci se zabývám parafrázováním textu na úrovni slov, konkrétně parafrázováním biblických textů v češtině. Součástí parafráze by měla být i modernizace textu, aby se stal srozumitelnějším pro běžného ... -
Entity Relationship Extraction
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Úkol hledání sémantických vztahů mezi entitami na základě předloženého textu oz- načujeme jako extrakci vztahů (relationship extraction). Metodou distant supervision, která spočívá ve spojení báze znalostí (Wikidata) a ... -
Théby
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Cílem této práce bylo implementovat deskovou hru Théby včetně uživatelského rozhraní a umělé inteligence. Hra je určena pro dva až čtyři hráče, kteří se střídají na jednom počítači. Libovolný počet hráčů je možný nahradit ... -
STP řešič pro OpenSMT
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Simple Temporal Problem je jedním z nejdůležitějších plánovacích problémů. V kontextu formální verifikace úzce souvisí s problémem SMT, kde na něj narazíme při řešení teorie dife- renční logiky. V této práci se věnujeme ... -
Procedurally Generated Volumetric Cloudscapes for Unity
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Název práce: Procedurálně generovaná volumetrická oblačnost pro Unity Autor: Jan Koblı́žek Katedra: Katedra softwaru a výuky informatiky Vedoucı́: Mgr. Martin Kahoun, Katedra softwaru a výuky informatiky Abstrakt: ... -
Detekce střihů a vyhledávání známých scén ve videu s pomocí metod hlubokého učení
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Vyhledávání ve videu představuje náročný problém s mnoha záludnostmi a dílčími problémy. Tato práce se zaměřuje na dva z těchto podproblémů, konkrétně na detekci střihů a textové vyhledávání. V případě detekce střihů bylo ... -
Metajazyk generující zdrojové kódy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Názov práce: Metajazyk generujúci zdrojové kódy Autor: Jakub Kolšovský Katedra / Ústav: Katedra softwaru a výuky informatiky Vedúcí bakalárskej práce: RNDr. Martin Pergel, Ph.D., Katedra softwaru a výuky informatiky Abstrakt: ... -
Vizuální browser grafových dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Jeden ze způsobů, jak publikovat data ve strojově čitelné podobě na internetu, je formou grafu. Taková data je pak velmi snadné propojovat mezi různými datovými zdroji a vytvořit tak velkou síť propojených dat. Abychom ... -
Využití strojového učení pro predikci výsledku tenisového utkání v jeho průběhu
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Práce se soustředí na použití strojového učení, konkrétně dopředných neuronových sítí, pro vývoj modelu schopného predikovat výsledek tenisového utkání v jeho průběhu. Navrhované modely porovnáváme s modelem základním, ... -
Tool for visualization of navigational similarity of datasets in knowledge base
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020V této práci se zaměříme na návrh vhodného modelu pro vizualizaci navigační podob- nosti mezi dvěma datovými soubory podle jejich strukturální podobnosti na základě jejich mapování do znalostní báze. Vizualizace pomůže ... -
Segmentace a klasifikace LIDAR dat
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Cílem této práce bylo navrhnout jednoduché a rychlé metody pro zpracování point-cloudových dat z městských oblastí pro účely vytváření virtuální reality v reálném čase. Pro účely této práce byl vytvořen jednoduchý real-time ... -
Study of the rare B-meson decays with the ATLAS experiment
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Názov práce: Štúdium vzácných rozpadov B-mezónov v experimente ATLAS Author: Marek Biroš Ústav: Ústav částicové a jaderné fyziky Vedúci diplomovej práce: RNDr. Pavel Řezníček, Ph.D, Ústav částicové a jaderné fyziky Abstrakt: ... -
Firmware for CzechLight optical measurement and calibration device
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Cieľom tejto práce je implementovať firmvér pre Opticko meriacie a kalibračné zariadenie, ktoré bolo navrhnuté a vytvorené v CESNETu. Účelom tohto zariadenia je zjednodušiť kalibráciu pre rôzne opticko-vláknové sieťové ... -
Ověřování identity uživatele založené na behaviorálních charakteristikách
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Ověřování identity uživatele přihlášeného do zabezpečeného systému je důležitým úko- lem v oblasti informační bezpečnosti. Kromě hesla může být vhodné do procesu autenti- zace zahrnout i behaviorální biometriku. Ta sleduje ... -
Hledání robustních cest pro více agentů
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Práce se věnuje hledání robustních nekonfliktních cest v multi-agent path finding (MAPF). Představíme zde několik nových technik pro konstrukci těchto cest a popíšeme jejich vlastnosti. Budeme se zabývat použitím techniky ... -
Searching Image Collections Using Deep Representations of Local Regions
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020V úlohe "hľadanie známeho objektu" sa zameriavame na nájdenie vopred známeho obrázku v multimediálnej databáze. V tejto práci sa zameriavame na dva prístupy k riešeniu tohto problému, ktoré sú založené na vizuálnej podobnosti ... -
Typová inference a polymorfismus pro jazyk C
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Jazyk C, i přes své stáří, stále patří mezi přední jazyky programování počítačových systémů. Jeho ceněnou přednosti je, že uživateli poskytuje takřka úplnou kontrolu nad správou paměti a nad prováděnými výpočty. C však ... -
3D sociální síť
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020Sociálních sítí existuje již velké množství a využíváme je každý den. Málo se jich ale pokusilo odpojit se od stereotypního vzhledu ve formě nekonečně dlouhé nástěnky obsahující příspěvky lidí o které se daný uživatel ... -
Optimality of function spaces for a weighted integral operator
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Datum obhajoby: 14. 9. 2020V této diplomové práci jsou studovány otázky týkající se omezenosti in- tegrálního operátoru tvaru T : f → 1 t wf∗ , kde w je daná nerostoucí funkce a f∗ je nerostoucí přerovnání funkce f. Cílem je charakterizovat optimální ...
RSS 1.0