Search
Now showing items 1-10 of 18
Algebraický přístup k CSP
Algebraický přístup k CSP
rigorous thesis (RECOGNIZED)
Date Issued: 2012
Date of defense: 21. 12. 2012
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Nechť A je konečná relační struktura. Problém splňování omezení s šablonou A, CSP (a), rozhoduje, zda vstupní struktura X je homomorfní A. Hypotéza o dichotomii CSP Federa a Vardiho říká, že CSP(A) je vždy buď v P nebo ...
For a finite relational structure A, the Constraint Satisfaction Problem with template A, or CSP(A), is the problem of deciding whether an input relational structure X admits a homomorphism to A. The CSP dichotomy conjecture ...
For a finite relational structure A, the Constraint Satisfaction Problem with template A, or CSP(A), is the problem of deciding whether an input relational structure X admits a homomorphism to A. The CSP dichotomy conjecture ...
Artin Algebras and Infinitely Generated Tilting Modules
Artin Algebras and Infinitely Generated Tilting Modules
rigorous thesis (RECOGNIZED)
Date Issued: 2008
Date of defense: 22. 04. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract not found
Proudová šifra RC4
The stream cipher RC4
rigorous thesis (RECOGNIZED)
Date Issued: 2009
Date of defense: 19. 05. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: In the present work we study a class of generalised inner states of the cipher RC4, the so-called persistent states. The RC4 stream cipher is the most widely used software-based stream cipher and the existence of such a ...
Vychylující moduly nad Gorensteinovými okruhy
Tilting Modules over Gorenstein Rings
rigorous thesis (RECOGNIZED)
Advisor: Trlifaj, Jan
Date Issued: 2009
Date of defense: 19. 11. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Let R be a commutative 1-Gorenstein ring. Our main result characterizes all tilting and cotilting R-modules: up to equivalence: they are parametrized by subsets of the set of all prime ideals of height one. More precisely, ...
Komplexita v celulárních automatech
Complexity in Cellular Automata
rigorous thesis (RECOGNIZED)
Advisor: Mikolov, Tomáš
Date Issued: 2022
Date of defense: 03. 11. 2022
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: In order to identify complex systems capable of modeling artificial life, we study the notion of complexity within a class of dynamical systems called cellu- lar automata. We present a novel classification of cellular ...
Naším dlouhodobým cílem je identifikovat komplexní systémy vhodné k mod- elování umělého života. Tento problém je obtížný zčásti kvůli chybějící formální definici komplexního chování. V této práci proto zkoumáme pojem ...
Naším dlouhodobým cílem je identifikovat komplexní systémy vhodné k mod- elování umělého života. Tento problém je obtížný zčásti kvůli chybějící formální definici komplexního chování. V této práci proto zkoumáme pojem ...
Congruence-Simple Semirings and Semimodules
Congruence-Simple Semirings and Semimodules
rigorous thesis (RECOGNIZED)
Date Issued: 2009
Date of defense: 06. 01. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract not found
Symbolické reprezentace kompaktních prostorů
Symbolické reprezentace kompaktních prostorů
rigorous thesis (RECOGNIZED)
Date Issued: 2011
Date of defense: 18. 01. 2011
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Název práce: Symbolické reprezentace kompaktních prostorů Autor: Alexandr Kazda Katedra (ústav): Katedra algebry Vedoucí diplomové práce: prof. RNDr. Petr Kůrka, CSc. E-mail vedoucího: kurka@cts.cuni.cz Abstrakt: Práce se ...
Title: Symbolic representations of compact spaces Author: Alexandr Kazda Department: Department of Algebra Supervisor: Prof. RNDr. Petr Kůrka, CSc. Supervisor's e-mail address: kurka@cts.cuni.cz Abstract: The thesis concerns ...
Title: Symbolic representations of compact spaces Author: Alexandr Kazda Department: Department of Algebra Supervisor: Prof. RNDr. Petr Kůrka, CSc. Supervisor's e-mail address: kurka@cts.cuni.cz Abstract: The thesis concerns ...
Designs and their algebraic theory
Designy a jejich algebraická teorie
rigorous thesis (RECOGNIZED)
Date Issued: 2015
Date of defense: 22. 10. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Je dobře známo, že pro každý Steinerův systém trojic (STS) lze definovat binární operaci · na jeho nosné množině tak, že předepíšeme x · x = x pro všechna x a x · y = z, kde z je třetí bod v bloku obsahujícím dvojici {x, ...
It is well known that for any Steiner triple system (STS) one can define a binary operation · upon its base set by assigning x·x = x for all x and x·y = z, where z is the third point in the block containing the pair {x, ...
It is well known that for any Steiner triple system (STS) one can define a binary operation · upon its base set by assigning x·x = x for all x and x·y = z, where z is the third point in the block containing the pair {x, ...
Hledání kolizí v hašovacích funkcích
Searching collisions in hash functions
rigorous thesis (RECOGNIZED)
Date Issued: 2009
Date of defense: 06. 01. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: The main interest of this paper is finding collisions in the hash function MD5. We present our new algorithm based on Wangs et al. methods of finding collisions in MD5. While writing this thesis Stevens and Klima published ...
Hlavním obsahem této práce je hledání kolizí v hašovací funkci MD5. Představíme náš nový algoritmus založený na metodě hledání kolizí podle Wangové a kol. V průběhu psaní této práce Stevens a Klíma publikovali dva nové ...
Hlavním obsahem této práce je hledání kolizí v hašovací funkci MD5. Představíme náš nový algoritmus založený na metodě hledání kolizí podle Wangové a kol. V průběhu psaní této práce Stevens a Klíma publikovali dva nové ...
Komutativní nilpotentní okruhy
Commutative nilpotent rings
rigorous thesis (RECOGNIZED)
Date Issued: 2009
Date of defense: 16. 09. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract not found