Hledat
Zobrazují se záznamy 1-10 z 81
Pokročilé metody hledání diskrétního logaritmu
Advanced techniques for calculations of discrete logarithm
Diplomová práce (OBHÁJENO)
Vedoucí práce: Příhoda, Pavel
Datum publikování: 2013
Datum obhajoby: 13. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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í. ...
Matematické základy Stevensova algoritmu
Mathematical foundations of Steven's algorithm
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Jiří
Datum publikování: 2010
Datum obhajoby: 21. 05. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práce se věnujeme tématu hledání kolizí v hashovací funkci MD5. V práci se zaměřujeme na Stevensův algoritmem pro hledání diferenčních cest a řešíme některé problémy spojení s tímto algoritmem. Řešíme zejména ...
In the present work we address the issue of nding collisions in MD5 hash function. In this work we focus on Steven's algorithm for nding the di erential paths and solve some problems associated with this algorithm. We solve ...
In the present work we address the issue of nding collisions in MD5 hash function. In this work we focus on Steven's algorithm for nding the di erential paths and solve some problems associated with this algorithm. We solve ...
Automatická konstrukce modelů
Automated model building
Diplomová práce (OBHÁJENO)
Vedoucí práce: Stanovský, David
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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: ...
Algoritmy v teorii reprezentací
Algorithms in Representation Theory
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šťovíček, Jan
Datum publikování: 2013
Datum obhajoby: 20. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Diplomová práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2021
Datum obhajoby: 23. 06. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...
Minimální Taylorovy klony na třech prvcích
Minimal Taylor Clones on Three Elements
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barto, Libor
Datum publikování: 2022
Datum obhajoby: 14. 06. 2022
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...
Význačné prvky grupových okruhů
Distinguished elements of group rings
Diplomová práce (OBHÁJENO)
Vedoucí práce: Žemlička, Jan
Datum publikování: 2021
Datum obhajoby: 23. 06. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Význačné prvky grupových okruhů Autor: Bc. Zuzana Procházková Katedra: Katedra algebry Vedoucí diplomové práce: doc. Mgr. et Mgr. Jan Žemlička, Ph.D., Katedra algebry Abstrakt: Tato diplomová práce se zabývá ...
Title: Distinguished elements of group rings Author: Bc. Zuzana Procházková Department: Department of Algebra Supervisor: doc. Mgr. et Mgr. Jan Žemlička, Ph.D., Department of Algebra Abstract: This thesis is about finding ...
Title: Distinguished elements of group rings Author: Bc. Zuzana Procházková Department: Department of Algebra Supervisor: doc. Mgr. et Mgr. Jan Žemlička, Ph.D., Department of Algebra Abstract: This thesis is about finding ...
Pokročilé metody lineární kryptoanalýzy
Advanced methods of Linear Cryptanalysis
Diplomová práce (OBHÁJENO)
Vedoucí práce: Rudolf, Bohuslav
Datum publikování: 2011
Datum obhajoby: 19. 05. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci studujeme pokročilé metody lineární kryptoanalýzy. Nejprve popisujeme samotný princip Matsuiho lineární kryptoanalýzy, její základní dva algoritmy - Algoritmus 1 a Algoritmus 2, proti šifře DES. Dále je ...
In the present work we study advanced methods of linear cryptanalysis. At the beginning, we describe the principle of Matsui's linear cryptanalysis, the two basic algorithms - Algorithm 1 and Algorithm 2, against DES cipher. ...
In the present work we study advanced methods of linear cryptanalysis. At the beginning, we describe the principle of Matsui's linear cryptanalysis, the two basic algorithms - Algorithm 1 and Algorithm 2, against DES cipher. ...
Hledání optimálních strategií číselného síta
Searching optimal strategies for the number field sieve
Diplomová práce (OBHÁJENO)
Vedoucí práce: Drápal, Aleš
Datum publikování: 2009
Datum obhajoby: 01. 06. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci studujeme algoritmus číselného síta. Zaměřujeme se především na jeho teoretickou podstatu s vyložením všech důležitých tvrzení potřebných k pochopení fungování algoritmu. Dále popisujeme několik ...
In this work we study the number field sieve algorithm. Our main focus is on its theoretical background. We present all important theorems which are needed for a full understanding of the algorithm. We also describe the ...
In this work we study the number field sieve algorithm. Our main focus is on its theoretical background. We present all important theorems which are needed for a full understanding of the algorithm. We also describe the ...
Frobeniovy testy prvočíselnosti
Frobenius tests of primality
Diplomová práce (OBHÁJENO)
Vedoucí práce: Drápal, Aleš
Datum publikování: 2011
Datum obhajoby: 19. 05. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Frobeniovy testy prvočíselnosti Autor: Jan Hora Katedra (ústav): katedra algebry Vedoucí diplomové práce: prof. RNDr. Aleš Drápal, CSc. Dsc. e-mail vedoucího: drapal@karlin.mff.cuni.cz Abstrakt: V následující ...
Title: Frobenius primality tests Author: Jan Hora Department: Department of algebra Supervisor: prof. RNDr. Aleš Drápal, CSc. Dsc. Supervisor's e-mail address: drapal@karlin.mff.cuni.cz Abstract: In the present work we ...
Title: Frobenius primality tests Author: Jan Hora Department: Department of algebra Supervisor: prof. RNDr. Aleš Drápal, CSc. Dsc. Supervisor's e-mail address: drapal@karlin.mff.cuni.cz Abstract: In the present work we ...