Hledat
Zobrazují se záznamy 31-40 z 120
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 ...
Matice bez zakázaných intervalových minorů
Matrices without forbidden interval minors
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Jelínek, Vít
Datum publikování: 2020
Datum obhajoby: 07. 07. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In the thesis, we study the structure of binary matrices which do not contain a pat- tern P as an interval minor. We also deal with matrices that are critical for P, i.e., matrices without P which after changing any 0-entry ...
V práci zkoumáme strukturu binárních matic, které neobsahují vzor P jako intervalový minor. Zabýváme se rovněž maticemi kritickými pro P, tedy maticemi neobsahujícími P, které po změně libovolného 0-prvku na 1-prvek zakázaný ...
V práci zkoumáme strukturu binárních matic, které neobsahují vzor P jako intervalový minor. Zabýváme se rovněž maticemi kritickými pro P, tedy maticemi neobsahujícími P, které po změně libovolného 0-prvku na 1-prvek zakázaný ...
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 ...
3D Computer Vision on the Android Platform
3D počítačové vidění pro platformu Android
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Mach, Lukáš
Datum publikování: 2013
Datum obhajoby: 02. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá problémem automatické rekonstrukce 3D informace z páru fo- tografií. Zkoumá, do jaké míry je možné tuto úlohu vyřešit na mobilním tele- fonu běžícím na platformě Android. Základem práce je popis několika ...
The aim of this work is to study the problem of automatically reconstructing a 3D scene from a pair of its photographs. It investigates to what extent can this task be performed on a mobile phone running on the Android ...
The aim of this work is to study the problem of automatically reconstructing a 3D scene from a pair of its photographs. It investigates to what extent can this task be performed on a mobile phone running on the Android ...
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 ...
Modulární nástroj pro parametrickou analýzu dynamických systémů pomocí komplexních sítí
Modular tool for parametric analysis of dynamical systems using complex networks
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hartman, David
Datum publikování: 2021
Datum obhajoby: 10. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Modelování dynamických systémů s komplexní vnitřní strukturou je složitá úloha, k jejímuž řešení se stále častěji používají komplexní sítě zachycující interakce mezi jed- notlivými částmi systému. Důležitým prvkem tohoto ...
Modelling of dynamical systems with complex internal structure is a complicated task which has more and more frequently been solved using complex networks capturing the structure of interactions among individual elements ...
Modelling of dynamical systems with complex internal structure is a complicated task which has more and more frequently been solved using complex networks capturing the structure of interactions among individual elements ...
Constructions of Bounded-depth Superconcentrators
Konstrukce superkoncentrátorů omezené hloubky
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Koucký, Michal
Datum publikování: 2021
Datum obhajoby: 02. 07. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V naší práci shrnujeme známé výsledky týkající se různých typů expanderů, horní a dolní odhady jejich velikostí a explicitní konstrukce. Tyto expandery poté využíváme ke konstrukci superkoncentrátorů omezené hloubky optimální ...
In the thesis, we summarize known results regarding different types of expanders, upper and lower bounds on their sizes, and their explicit constructions. From the expanders, we construct bounded-depth superconcentrators ...
In the thesis, we summarize known results regarding different types of expanders, upper and lower bounds on their sizes, and their explicit constructions. From the expanders, we construct bounded-depth superconcentrators ...
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 ...