Hledat
Zobrazují se záznamy 11-20 z 49
Multivariate polynomial commitment schemes
Schémata závazků k polynomům více proměnných
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hubáček, Pavel
Datum publikování: 2022
Datum obhajoby: 14. 09. 2022
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis focuses on polynomial commitment schemes - cryptographic protocols that allow committing to a polynomial and, subsequently, proving the correctness of evaluations of the committed polynomial at requested points. ...
Tato diplomová práce se zabývá schématy polynomiálních závazků, což jsou schémata umožňující vytvářet polynomiální závazky a následně pomocí spuštění navrženého protokolu důvěryhodně vyhodnocovat polynomy v požadovaných ...
Tato diplomová práce se zabývá schématy polynomiálních závazků, což jsou schémata umožňující vytvářet polynomiální závazky a následně pomocí spuštění navrženého protokolu důvěryhodně vyhodnocovat polynomy v požadovaných ...
Algebraic, Structural, and Complexity Aspects of Geometric Representations of Graphs
Algebraické, strukturální a výpočetní vlastnosti geometrických reprezentací grafů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Klavík, Pavel
Datum publikování: 2016
Datum obhajoby: 13. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Algebraic, Structural and Complexity Aspects of Geometric Representations of Graphs Author: Peter Zeman Department: Computer Science Institute Supervisor: RNDr. Pavel Klavík Supervisor's e-mail: klavik@iuuk.mff.cuni.cz ...
Škálovatelná optimalizace celých programů
Scalable link-time optimization
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hubička, Jan
Datum publikování: 2017
Datum obhajoby: 30. 01. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Oba vedoucí open-source překladače, GCC a LLVM, mají vyspělé optimizéry celých programů, použitelné pro většinu současného softwaru. Stále však trpní mnoha problémy s výkonem, což zapřičiňuje nemožnost použít některé analýzy ...
Both major open-source compilers, GCC and LLVM, have a mature link-time optimization framework usable on most current programs. They are however not free from many performance issues, which prevent them to perform certain ...
Both major open-source compilers, GCC and LLVM, have a mature link-time optimization framework usable on most current programs. They are however not free from many performance issues, which prevent them to perform certain ...
Grupová souvislost grafů
Group connectivity of graphs
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šámal, Robert
Datum publikování: 2014
Datum obhajoby: 09. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Grupová souvislost graf· Autor: Lucie Mohelníková Katedra: Informatický ústav Univerzity Karlovy Vedoucí diplomové práce: Mgr. Robert 'ámal,Ph.D., Informatický ústav Univerzi- ty Karlovy Abstrakt: Zabývali ...
Persistentní homologie a neuronové sítě
Persistent homology and neural networks
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šámal, Robert
Datum publikování: 2022
Datum obhajoby: 11. 02. 2022
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Hluboké učení prakticky vyřešilo nejrůznější problémy počítačového vidění v průběhu poslední dekády. V práci používáme grupy persistentní homologie z výpočetní topolo- gie k analýze prostorů vnitřních representací příznaků ...
Deep learning has solved various computer vision problems in the last decade. We use computational topology, namely persistent homology groups, to analyze the spaces of internal feature representations of convolutional ...
Deep learning has solved various computer vision problems in the last decade. We use computational topology, namely persistent homology groups, to analyze the spaces of internal feature representations of convolutional ...
Variants of Reed-Solomon codes over other algebraic structures
Variace Reed-Solomonových kódů nad jinými algebraickými strukturami
Diplomová práce (OBHÁJENO)
Vedoucí práce: Koucký, Michal
Datum publikování: 2022
Datum obhajoby: 02. 02. 2022
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Reed-Solomonovy kódy tvoří známou rodinu samoopravných kódů s mnoha dobrými vlastnostmi. Tyto kódy však pro svou funkčnost vyžadují konečné těleso, které omezuje velikost abecedy na mocniny prvočísel. V této práci jsme ...
Reed-Solomon codes are a well known family of error-correcting codes with many good properties. However, they require a finite field to operate, limiting the alphabet size to a prime power. In this work, we build a weaker ...
Reed-Solomon codes are a well known family of error-correcting codes with many good properties. However, they require a finite field to operate, limiting the alphabet size to a prime power. In this work, we build a weaker ...
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) ...
Verifiable Delay Functions z Lucasových posloupností
Verifiable Delay Functions z Lucasových posloupností
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hubáček, Pavel
Datum publikování: 2022
Datum obhajoby: 09. 06. 2022
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Lucas sequences are constant-recursive integer sequences with a long history of appli- cations in cryptography, both in the design of cryptographic schemes and cryptanalysis. In this work, we study the sequential hardness ...
Lucasovy posloupnosti jsou konstantní rekurzivní celočíselné posloupnosti s dlouhou historií aplikací v kryptografii - používané jak pro návrh kryptografických schémat, tak při kryptoanalýze. V této práci představujeme ...
Lucasovy posloupnosti jsou konstantní rekurzivní celočíselné posloupnosti s dlouhou historií aplikací v kryptografii - používané jak pro návrh kryptografických schémat, tak při kryptoanalýze. V této práci představujeme ...
Bounds on existence of odd and unique expanders
Meze pro existenci lichých a jednoznačných expanderů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Koucký, Michal
Datum publikování: 2016
Datum obhajoby: 20. 06. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá studiem existence expanderů a zaměřuje se především na liché a jednoznačné expandery. Naším nejdůležitějším výsledkem je tvrzení, že v každém grafu lze vybrat malou neprázdnou podmnožinu jeho vrcholů takovou, ...
We study the existence of expander graphs with a focus on odd and unique expanders. The main goal is to describe configurations of arguments for which there is no infinite family of expanders. The most imporant result is ...
We study the existence of expander graphs with a focus on odd and unique expanders. The main goal is to describe configurations of arguments for which there is no infinite family of expanders. The most imporant result is ...
Vlastnosti síťových centralit
Vlastnosti síťových centralit
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hartman, David
Datum publikování: 2020
Datum obhajoby: 24. 06. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The need to understand the structure of complex networks increases as both their complexity and the dependency of human society on them grows. Network centralities help to recognize the key elements of these networks. ...
Potřeba porozumět komplexním sítím roste společně s jejich složitostí a mírou závis- losti lidstva na těchto sítích. Síťové centrality pomáhají rozpoznávat klíčové prvky kom- plexních sítí. Mezilehlostní (angl. betweenness) ...
Potřeba porozumět komplexním sítím roste společně s jejich složitostí a mírou závis- losti lidstva na těchto sítích. Síťové centrality pomáhají rozpoznávat klíčové prvky kom- plexních sítí. Mezilehlostní (angl. betweenness) ...