Hledat
Zobrazují se záznamy 1-10 z 18
Algebraický přístup k CSP
Algebraický přístup k CSP
Rigorózní práce (UZNÁNO)
Datum publikování: 2012
Datum obhajoby: 21. 12. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Datum publikování: 2008
Datum obhajoby: 22. 04. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Proudová šifra RC4
The stream cipher RC4
Rigorózní práce (UZNÁNO)
Datum publikování: 2009
Datum obhajoby: 19. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Vedoucí práce: Trlifaj, Jan
Datum publikování: 2009
Datum obhajoby: 19. 11. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Vedoucí práce: Mikolov, Tomáš
Datum publikování: 2022
Datum obhajoby: 03. 11. 2022
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Datum publikování: 2009
Datum obhajoby: 06. 01. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Symbolické reprezentace kompaktních prostorů
Symbolické reprezentace kompaktních prostorů
Rigorózní práce (UZNÁNO)
Datum publikování: 2011
Datum obhajoby: 18. 01. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Datum publikování: 2015
Datum obhajoby: 22. 10. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Datum publikování: 2009
Datum obhajoby: 06. 01. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Datum publikování: 2009
Datum obhajoby: 16. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen