|
|
Discretely normed orders of quaternionic algebras
Horníček, Jan ; Skula, Ladislav (referee) ; Kureš, Miroslav (advisor)
Tato práce shrnuje autorův výzkum v oblasti teorie kvaternionových algeber, jejich izomorfismů a maximálních řádů. Nový úhel pohledu na tuto problematiku je umožněn využitím pojmu diskrétní normy. Za hlavní výsledky práce je možná považovat důkaz jednoznačnosti diskrétní normy pro celá čísla, kvadratická rozšíření těles a řády kvaternionových algeber. Dále větu, která umožňuje mezi dvěma kvaternionovými algebrami konstruovat izomorfismy explicitně vyjádřené v maticovém tvaru. A v neposlední řadě důkaz existence nekonečně mnoha různých maximálních řádů kvaternionové algebry. Výsledky uvedené v této diplomové práci budou dále publikovány ve vědeckém článku.
|
|
|
Exploiting Structures in Automated Planning
Kuckir, Ivan ; Barták, Roman (advisor) ; Chrpa, Lukáš (referee)
This thesis focuses on improving the process of automated planing through symmetry breaking. The aim is to describe symmetries, which are often observed by human programmers, but haven't been properly theoretically formalized. After an analysis of available research, there are new definitions of symmetries proposed in context of classical planning, such as state equivalence, T1 automorphisms and more general automorphisms of constants. Several theorems are proved about new symmetries. As a result, an algorithm for detecting a special symmetry class is proposed, together with a method of exploiting such class during planning. Experimens are made to show the effect of symmetry breaking on the performance of the planner. Powered by TCPDF (www.tcpdf.org)
|
|
|
Discretely normed orders of quaternionic algebras
Horníček, Jan ; Skula, Ladislav (referee) ; Kureš, Miroslav (advisor)
Tato práce shrnuje autorův výzkum v oblasti teorie kvaternionových algeber, jejich izomorfismů a maximálních řádů. Nový úhel pohledu na tuto problematiku je umožněn využitím pojmu diskrétní normy. Za hlavní výsledky práce je možná považovat důkaz jednoznačnosti diskrétní normy pro celá čísla, kvadratická rozšíření těles a řády kvaternionových algeber. Dále větu, která umožňuje mezi dvěma kvaternionovými algebrami konstruovat izomorfismy explicitně vyjádřené v maticovém tvaru. A v neposlední řadě důkaz existence nekonečně mnoha různých maximálních řádů kvaternionové algebry. Výsledky uvedené v této diplomové práci budou dále publikovány ve vědeckém článku.
|
guest ::
