Hledat
Zobrazují se záznamy 21-30 z 329
Schönhageovo násobení
Schönhage's multiplication
Schönhageovo násobení
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Stanovský, David
Datum publikování: 2006
Datum obhajoby: 13. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Experimentální ověření a rozšíření Coppersmithova útoku na RSA
Experimental verification and extension of Coppersmith's attack on RSA
Experimentální ověření a rozšíření Coppersmithova útoku na RSA
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hlaváč, Martin
Datum publikování: 2008
Datum obhajoby: 16. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nazov prace: Expcriinenfahie ovoreuie a, rozsi'reuie Coppersmithovho litoku im RSA Autor: Ria Ruppeldtuva Katcdra: Katedra. algcbry Veduci bakalarskej prace: Mgr. Martin Hlavac c-rnail vcduccho: hlavrrilam@arta.x.karlin. ...
Nazov prace: Expcriinenfahie ovoreuie a, rozsi'reuie Coppersmithovho litoku im RSA Autor: Ria Ruppeldtuva Katcdra: Katedra. algcbry Veduci bakalarskej prace: Mgr. Martin Hlavac c-rnail vcduccho: hlavrrilam@arta.x.karlin. ...
Nazov prace: Expcriinenfahie ovoreuie a, rozsi'reuie Coppersmithovho litoku im RSA Autor: Ria Ruppeldtuva Katcdra: Katedra. algcbry Veduci bakalarskej prace: Mgr. Martin Hlavac c-rnail vcduccho: hlavrrilam@arta.x.karlin. ...
Courtoisův útok na MiFare
Courtois attack on MiFare
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Tůma, Jiří
Datum publikování: 2010
Datum obhajoby: 24. 06. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Searching collisions in hash functions
Hledání kolizí v hašovacích funkcích
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Jiří
Datum publikování: 2006
Datum obhajoby: 25. 05. 2006
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é ...
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 ...
Additive Pairs in Quantitative Type Theory
Aditivní dvojice v kvantitativní teorii typů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šefl, Vít
Datum publikování: 2021
Datum obhajoby: 21. 06. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Jan závislé, tak lineární typy mají své kýžené vlastnosti. Zatímco závislé typy mo- hou vyjádřit závislosti mezi vstupy a výstupy funkcí, lineární typy umožňují kontrolu nad používáním zdrojů. Kombinace těchto dvou systémů ...
Both dependent types and linear types have their desirable properties. Department types can express functional dependencies of inputs and outputs, while linear types offer control over the use of computational resources. ...
Both dependent types and linear types have their desirable properties. Department types can express functional dependencies of inputs and outputs, while linear types offer control over the use of computational resources. ...
Klasifikační problémy z lineární algebry a reprezentace toulců
Classification problems from linear algebra and representations of quivers
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Šťovíček, Jan
Datum publikování: 2023
Datum obhajoby: 28. 06. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...
Deriving a pseudomanifold of dimension 3 from nonassociative triples
Odvození pseudovariety dimenze 3 z neasociativních trojic
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Drápal, Aleš
Datum publikování: 2021
Datum obhajoby: 08. 07. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Neasociativita kvázigrúp je užitočná vlastnosť pre kryptografiu. A. Drápal and I. M. Wanless vo svojej nedávnej práci študovali existenciu maximálne neasociatı́vnych kvázigrúp, no táto otázka ostáva pre ...
The non-associative properties of quasigroups are useful in cryptography. A. Drápal and I. M. Wanless have recently analyzed the existence of a max- imally non-associative quasigroup of order n in their work, but there ...
The non-associative properties of quasigroups are useful in cryptography. A. Drápal and I. M. Wanless have recently analyzed the existence of a max- imally non-associative quasigroup of order n in their work, but there ...
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 ...
Serre's conjecture on projective modules over polynomial rings
Serreho hypotéza o projektivních modulech nad okruhy polynomů
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Shaul, Liran
Datum publikování: 2023
Datum obhajoby: 28. 06. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This is an expository paper on the Quillen-Suslin Theorem, formerly known as Serre's Conjecture. A self-contained proof of this theorem is presented, followed by a discussion of the related Bass-Quillen Conjecture. The ...