Search
Now showing items 1-10 of 311
Pokročilé metody hledání diskrétního logaritmu
Advanced techniques for calculations of discrete logarithm
diploma thesis (DEFENDED)
Advisor: Příhoda, Pavel
Date Issued: 2013
Date of defense: 13. 09. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Let G be a finite cyclic group. Solving the equation g^x = y for a given generator g and y is called the discrete logarithm problem. This problem is at the core of many modern cryptographic transformations. In this paper ...
Mějme konečnou cyklickou grupu G generovanou prvkem g. Problém diskrétního logaritmu, tedy pro zadané y nalézt přirozené číslo x splňující g^x = y, představuje jeden ze základních pilířů moderních kryptografických transformací. ...
Mějme konečnou cyklickou grupu G generovanou prvkem g. Problém diskrétního logaritmu, tedy pro zadané y nalézt přirozené číslo x splňující g^x = y, představuje jeden ze základních pilířů moderních kryptografických transformací. ...
Kapacita diskrétního kanálu
Discrete Channel Capacity
bachelor thesis (DEFENDED)
Advisor: Holub, Štěpán
Date Issued: 2015
Date of defense: 19. 06. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Název práce: Kapacita diskrétního kanálu Autor: Jan Butora Katedra: Katedra algebry Vedoucí bakalářské práce: doc. Mgr. Štěpán Holub, Ph.D. et Ph.D., Katedra algebry Abstrakt: V předložené práci představíme teorii kapacity ...
Title: Discrete Channel Capacity Author: Jan Butora Department: Department of Algebra Supervisor: doc. Mgr. Štěpán Holub, Ph.D. et Ph.D., Department of Algebra Abstract: This Bachelor thesis introduces and examines C.E. ...
Title: Discrete Channel Capacity Author: Jan Butora Department: Department of Algebra Supervisor: doc. Mgr. Štěpán Holub, Ph.D. et Ph.D., Department of Algebra Abstract: This Bachelor thesis introduces and examines C.E. ...
Symetrie
Symmetries
bachelor thesis (DEFENDED)
Advisor: Stanovský, David
Date Issued: 2014
Date of defense: 25. 06. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract not found
Automatická konstrukce modelů
Automated model building
diploma thesis (DEFENDED)
Advisor: Stanovský, David
Date Issued: 2015
Date of defense: 08. 09. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V této práci implementujeme metodu MACE pro hledání konečných modelů v klasické logice prvního řádu bez sort. Kromě známých modifikací metody MACE jsou popsány a implementovány i úplně nové modifikace, například: odzplošťování, ...
We implement a MACE-style method for finding finite models in unsorted classical first-order logic. Additionally to well-known modifications of the method we also describe and implement several new modifications such as: ...
We implement a MACE-style method for finding finite models in unsorted classical first-order logic. Additionally to well-known modifications of the method we also describe and implement several new modifications such as: ...
Courtoisův útok na MiFare
Courtois attack on MiFare
bachelor thesis (DEFENDED)
Advisor: Tůma, Jiří
Date Issued: 2010
Date of defense: 24. 06. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract not found
Algoritmy v teorii reprezentací
Algorithms in Representation Theory
diploma thesis (DEFENDED)
Advisor: Šťovíček, Jan
Date Issued: 2013
Date of defense: 20. 09. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Práce se zabývá implementací algoritmu pro nalezení generátoru skoro štěpitelných posloupností nerozložitelného a neprojektivního modulu algebry cest nad konečným toulcem. Algoritmus je zde implementován v algebraickém ...
This thesis deals with an implementation of algorithm for computation of generator of almost split sequences ending at an indecomposable nonprojective module of path algebra over finite quiver. Algorithm is implemented in ...
This thesis deals with an implementation of algorithm for computation of generator of almost split sequences ending at an indecomposable nonprojective module of path algebra over finite quiver. Algorithm is implemented in ...
Dosvědčování existenčních vět
Witnessing of existential statements
diploma thesis (DEFENDED)
Advisor: Krajíček, Jan
Date Issued: 2021
Date of defense: 23. 06. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato práce formuluje a dokazuje dosvědčovací větu pro tvrzení dokazatelná v teorii SPV tvaru ∀x∃yA(x, y), kde A odpovídá relaci rozhodnutelné v polynomiálním čase. Teo- rií SPV se zde rozumí rozšíření teorie TPV (univerzální ...
The thesis formulates and proves a witnessing theorem for SPV -provable formulas in the form ∀x∃yA(x, y) where A corresponds to a polynomial time decidable relation. By SPV we understand an extension of the theory TPV (the ...
The thesis formulates and proves a witnessing theorem for SPV -provable formulas in the form ∀x∃yA(x, y) where A corresponds to a polynomial time decidable relation. By SPV we understand an extension of the theory TPV (the ...
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
Klasifikační problémy z lineární algebry a reprezentace toulců
Classification problems from linear algebra and representations of quivers
bachelor thesis (DEFENDED)
Advisor: Šťovíček, Jan
Date Issued: 2023
Date of defense: 28. 06. 2023
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: This thesis deals with the description of categories of finite-dimensional representati- ons of quivers. Its aim is to present a classification of indecomposable objects in this category for quivers whose underlying graph ...
Tato práce se zabývá popisem kategorií konečně dimenzionálních reprezentací toulců. Jejím cílem je předvést klasifikaci nerozložitelných objektů v této kategorii pro toulce, jejichž podkladový graf je Dynkinův, a rozebrat ...
Tato práce se zabývá popisem kategorií konečně dimenzionálních reprezentací toulců. Jejím cílem je předvést klasifikaci nerozložitelných objektů v této kategorii pro toulce, jejichž podkladový graf je Dynkinův, a rozebrat ...
Minimální Taylorovy klony na třech prvcích
Minimal Taylor Clones on Three Elements
diploma thesis (DEFENDED)
Advisor: Barto, Libor
Date Issued: 2022
Date of defense: 14. 06. 2022
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Brady have classified all the minimal Taylor algebras on a three-element set up to term equivalence and isomorphism; there are 24 such algebras. The thesis studies the clones of these algebras. For 12 of them, the thesis ...
Brady klasifikoval všechny minimální Taylorovy algebry na tří prvkové množině až na termovou ekvivalenci a izomorfismus, celkem takových algeber je 24. Práce zkoumá klony těchto algeber. Pro 12 z nich, práce charakterizuje ...
Brady klasifikoval všechny minimální Taylorovy algebry na tří prvkové množině až na termovou ekvivalenci a izomorfismus, celkem takových algeber je 24. Práce zkoumá klony těchto algeber. Pro 12 z nich, práce charakterizuje ...