Hledat
Zobrazují se záznamy 1-8 z 8
Intersection representations of graphs
Průnikové reprezentace grafů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jelínek, Vít
Datum publikování: 2019
Datum obhajoby: 11. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis is devoted to the outer and grounded string representations of graphs and their subclasses. A string representation of a graph is a set of strings (bounded continuous curves in a plane), where each string ...
V této diplomové práci zkoumáme podtřídy vnějškových (outer) a uzem- něných (grounded) string grafů. Stringem rozumíme omezenou spojitou křivku v rovině. Průniková reprezentace grafu pomocí stringů je množina stringů, kde ...
V této diplomové práci zkoumáme podtřídy vnějškových (outer) a uzem- něných (grounded) string grafů. Stringem rozumíme omezenou spojitou křivku v rovině. Průniková reprezentace grafu pomocí stringů je množina stringů, kde ...
The complexity of constrained graph drawing
Složitost kreslení grafů s omezeními
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jelínek, Vít
Datum publikování: 2019
Datum obhajoby: 10. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Označkované nakreslení rovinného grafu G je uspořádaná dvojice (G, g) sklá- dající se z rovinného nakreslení G grafu G a z funkce g, jež přiřazuje popisky (barvy) jeho stěnám. V práci se zabýváme problémem Embedding ...
A labeled embedding of a planar graph G is a pair (G, g) consisting of a planar drawing G of G and a function g assigning labels (colors) to the faces of G. We study the problem of Embedding Restriction Satisfiability (ERS) ...
A labeled embedding of a planar graph G is a pair (G, g) consisting of a planar drawing G of G and a function g assigning labels (colors) to the faces of G. We study the problem of Embedding Restriction Satisfiability (ERS) ...
Speed of sound prediction
Predikce rychlosti zvuku
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hartman, David
Datum publikování: 2019
Datum obhajoby: 27. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato bakalářská práce prezentuje originální přístup k predikci rychlosti zvuku ve vodných roztocích elektrolytů pomocí technik strojového učení. Je vytvořen model schopný predikovat rychlost zvuku při různých teplotách a ...
This bachelor thesis presents a novel approach for speed of sound pre- diction in aqueous electrolytic solutions using machine learning techniques. A single model capable of accurately predicting the speed of sound in se- ...
This bachelor thesis presents a novel approach for speed of sound pre- diction in aqueous electrolytic solutions using machine learning techniques. A single model capable of accurately predicting the speed of sound in se- ...
Moderní aplikace zero-knowledge protokolů
Modern applications of zero-knowledge protocols
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hubáček, Pavel
Datum publikování: 2019
Datum obhajoby: 19. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: zk-SNARK je kryptografický protokol, který umožňuje libovolný výpočet přeměnit na krátký efektivně ověřitelný argument jeho správnosti. Navíc tento protokol umožnuje dokazovateli přesně rozhodnout, která část vstupů výpočtu ...
zk-SNARK is a cryptographic protocol, which enables transformation of an arbitrary computation into short effectively verifiable argument of correctness of this computation. Further more, it enables a prover to decide ...
zk-SNARK is a cryptographic protocol, which enables transformation of an arbitrary computation into short effectively verifiable argument of correctness of this computation. Further more, it enables a prover to decide ...
New Bounds for Combinatorial Problems and Quasi-Gray Codes
Nové Odhady pro Kombinatorických Problémů a Kvazi-Grayových Kódů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Koucký, Michal
Datum publikování: 2019
Datum obhajoby: 06. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis consists of two parts. In part I, a group of combinatorial problems pertaining to strings, boolean matrices and graphs is studied. For given two strings x and y, their edit distance is the minimum number of ...
ABSTRAKTNÍ: Tato práce má dvě části. V první části studujeme řadu kombinatorických problémů souvisejících s řetězci, Booleovskými maticemi a grafy. Pro dané dva řetězce x a y je jejich editační vzdálenost nejmenší počet ...
ABSTRAKTNÍ: Tato práce má dvě části. V první části studujeme řadu kombinatorických problémů souvisejících s řetězci, Booleovskými maticemi a grafy. Pro dané dva řetězce x a y je jejich editační vzdálenost nejmenší počet ...
Structural Theory of Graph Immersions
Strukturální teorie grafových imerzí
Diplomová práce (OBHÁJENO)
Vedoucí práce: Dvořák, Zdeněk
Datum publikování: 2019
Datum obhajoby: 04. 09. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Immersion is a notion of graph inclusion related to the notion of graph minors. While the structural theory of graph minors is extensive, there are still numerous open problems in the structural theory of graph immersions. ...
Imerze je pojem inkluze grafů související s pojmem grafových minorů. Zatímco strukturální teorie grafových minorů je rozsáhlá, ve strukturální teorii grafových imerzí je stále velké množství otevřených problémů. Kuratowského ...
Imerze je pojem inkluze grafů související s pojmem grafových minorů. Zatímco strukturální teorie grafových minorů je rozsáhlá, ve strukturální teorii grafových imerzí je stále velké množství otevřených problémů. Kuratowského ...
Generalized Moran process
Zobecněný Moranův proces
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šámal, Robert
Datum publikování: 2019
Datum obhajoby: 10. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The Moran process is a model for simulating evolutionary dynamics. In that model, one mutant with higher fitness is introduced to a structured population. Evolution is simulated in rounds. In one round, individual is ...
Moránův proces je model používaný k simulaci evolučních dynamik. Ve struk- turované populaci se objeví lépe přizpůsobený jedinec, mutant. Evoluce je simu- lována v krocích. V jednom kroku, jedinec je vybrán proporcionálně ...
Moránův proces je model používaný k simulaci evolučních dynamik. Ve struk- turované populaci se objeví lépe přizpůsobený jedinec, mutant. Evoluce je simu- lována v krocích. V jednom kroku, jedinec je vybrán proporcionálně ...
Optimalizace včelí kolonií
Artificial Bee Colony
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pangrác, Ondřej
Datum publikování: 2019
Datum obhajoby: 27. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Problém minimálního vrcholového pokrytí je dobře známý NP-těžký pro- blém. Tato práce prezentuje Artificial Bee Colony (ABC) algoritmus a dva přístupy založené na genetických algoritmech pro řešení tohoto problému. Al- ...
The minimum vertex cover (MVC) problem is a well-known NP-hard prob- lem. This thesis presents the Artificial Bee Colony (ABC) algorithm and two genetic algorithm approaches to solve this problem. The ABC algorithm is an ...
The minimum vertex cover (MVC) problem is a well-known NP-hard prob- lem. This thesis presents the Artificial Bee Colony (ABC) algorithm and two genetic algorithm approaches to solve this problem. The ABC algorithm is an ...