Hledat
Zobrazují se záznamy 1-4 z 4
Structural properties of random networks with dynamics
Strukturální vlastnosti dynamických náhodných sítí
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hartman, David
Datum publikování: 2021
Datum obhajoby: 15. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Reálné systémy jsou často reprezentovány pomocí takzvaných komplexních sítí. Tyto sítě mají charakeristickou konektivitní strukturu danou specifikami studovaných systémů. Jelikož často nejsou dostupná dostatečná data či ...
Real systems are often represented by so-called complex networks. These networks have a specific connectivity structure given by the specifics of the studied systems. Since often insufficient or inaccurate data are available, ...
Real systems are often represented by so-called complex networks. These networks have a specific connectivity structure given by the specifics of the studied systems. Since often insufficient or inaccurate data are available, ...
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 ...
Š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 ...
Skládání obdélníků
Packing rectangles
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šámal, Robert
Datum publikování: 2016
Datum obhajoby: 11. 02. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato diplomová práce se zabývá otevřeným problémem skládání obdélníků. Je možné naskládat obdélníky rozměrů 1/n x 1/(n+1) do jednotkového čtverce? Cílem práce je podrobná analýza tohoto problému a s ním spojeného algoritmu. ...
This thesis studies the open problem of packing rectangles. Is it possible to pack rectangles with dimensions 1/n x 1/(n+1) into a unit square? The aim of this thesis is analysis of the problem and the related algorithm. ...
This thesis studies the open problem of packing rectangles. Is it possible to pack rectangles with dimensions 1/n x 1/(n+1) into a unit square? The aim of this thesis is analysis of the problem and the related algorithm. ...