Hledat
Zobrazují se záznamy 1-8 z 8
Rozložitelnost grafů na souvislé podgrafy
Decompositions of graphs into connected subgraphs
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pangrác, Ondřej
Datum publikování: 2015
Datum obhajoby: 15. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V roce 2003 prezentovali J. Barát a C. Thomassen na konferenci Eurocomb definici a základní výsledky z oblasti hranové rozložitelnosti grafů. Rozložitelností rozumíme možnost pokrytí množiny hran grafu disjunktními souvislými ...
In 2003 at Eurocomb conference J. Barát and C. Thomassen presented definition and basic results in edge partitioning of graphs. Edge partitioning is basically possibility to cover edges of the graph using connected subgraphs ...
In 2003 at Eurocomb conference J. Barát and C. Thomassen presented definition and basic results in edge partitioning of graphs. Edge partitioning is basically possibility to cover edges of the graph using connected subgraphs ...
Š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 ...
Využití gadgetové konstrukce pro strukturální konvergenci
Using gadget construction in structural convergence
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hartman, David
Datum publikování: 2023
Datum obhajoby: 11. 09. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Structural convergence is a framework for convergence of graphs and relational struc- tures based on the probability of satisfaction of first-order formulas. We consider gadget construction, which is a ubiquitous tool in ...
Strukturální konvergence je framework konvergence grafů a relačních struktur zalo- žený na počítání pravděpodobnosti splnění formulí predikátové logiky. V práci navrhu- jeme gadgetovou konstrukci, která nalezla uplatnění ...
Strukturální konvergence je framework konvergence grafů a relačních struktur zalo- žený na počítání pravděpodobnosti splnění formulí predikátové logiky. V práci navrhu- jeme gadgetovou konstrukci, která nalezla uplatnění ...
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. ...
Analýza blockchainu používaného pro Bitcoin
Analysis of blockchain used for Bitcoin
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hartman, David
Datum publikování: 2023
Datum obhajoby: 12. 06. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis deals with the analysis of the blockchain used for Bitcoin. Blockchain is a distributed database of all transactions made with this cryptocurrency. Its public availability represents the possibility of examining ...
Tato práce se zabývá analýzou blockchainu používaného pro Bitcoin. Blockchain je distribuovaná databáze všech uskutečněných transakcí s touto kryptoměnou. Její veřejná dostupnost představuje možnost zkoumání přesunů ...
Tato práce se zabývá analýzou blockchainu používaného pro Bitcoin. Blockchain je distribuovaná databáze všech uskutečněných transakcí s touto kryptoměnou. Její veřejná dostupnost představuje možnost zkoumání přesunů ...
Group Detection in Crowds Using Spatiotemporal Data
Detekce skupin v davech pomocí časoprostorových dat
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hartman, David
Datum publikování: 2024
Datum obhajoby: 13. 02. 2024
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis addresses the challenge of social group detection in crowds, presenting an algorithm informed by sociological insights into common group formations among pedestrians. Our proposed algorithm demonstrates comparable ...
Tato diplomová práce se zabývá detekcí skupin v davech a představuje algoritmus obohacený o sociologické poznatky o obvyklých formacích skupin mezi chodci. Navrhovaný algoritmus prokazuje srovnatelnou úspěšnost s existujícími ...
Tato diplomová práce se zabývá detekcí skupin v davech a představuje algoritmus obohacený o sociologické poznatky o obvyklých formacích skupin mezi chodci. Navrhovaný algoritmus prokazuje srovnatelnou úspěšnost s existujícími ...