|
|
Diarizace meetingové řeči - Kdo mluví kdy
Tůma, Radovan ; Konečný, Matej (oponent) ; Karafiát, Martin (vedoucí práce)
Tato práce obsahuje návrh diarizačního systému. Systém je postaven na bázi BIC (Bayesian Information Criterion). Ve zprávě naleznete stručný popis dříve vyvíjených systémů a stručnou teorii popisující, jak by diarizační systém měl pracovat. Práce se pokouší zohlednit dřívejších prací jiných autorů a výsledkem by měl být systém s některými vylepšeními. Vylepšení se zaměřují zejména na rychlejší segmentaci s minimální ztrátou přesnosti a co nejpřesnější clustering.
|
|
|
Model theory and extremal combinatorics
Konečný, Matěj ; Hubička, Jan (vedoucí práce) ; Solecki, Slawomir (oponent) ; Macpherson, Dugald (oponent)
Tato disertační práce se zabývá kombinatorickými vlastnostmi homogenních struk- tur, jako je například Ramseyova vlastnost, velké ramseyovské stupně, EPPA a další. Tyto vlastností mají společné, že přestože jsou to vlastnosti tříd konečných struktur, jsou ekvivalentní různým dynamickým vlastnostem grup automorfismů příslušných ho- mogenních struktur. Tato práce sestává z rozšířeného úvodu do těchto oblastí, seznamu otevřených problémů a deseti článků, jejichž je autor spoluautorem. Sedm z nich bylo již v době psaní této disertace publikováno, zbylé tři byly odeslané do časopisů k recen- znímu řízení. Cílem práce je ukázat, že (alespoň na straně konečné kombinatoriky) mezi výše zmíněnými vlastnostmi je mnoho souvislostí, jichž lze využít pro posun příslušných oblastí. 1
|
|
|
The Extension Property for Partial Automorphisms (EPPA) of Reducts of Relational Structures
Beliayeu, Mikhail ; Hubička, Jan (vedoucí práce) ; Konečný, Matěj (oponent)
The Extension Property for Partial Automorphisms (EPPA), also called Hrusovski property, is a crucial concept in the realms of combinatorics, group theory, and model theory, linking the properties of structures and the classes of finitely generated substruc- tures that embed into them. The notion of EPPA, established by Hodges, Hodkinson, Lascar, and Shelah, has spurred significant advancements in understanding graph struc- tures and the automorphism groups associated with them. A milestone was achieved by Hrusovski, who demonstrated EPPA for the class of finite graphs. The research since has centered on categorizing more classes with EPPA, simplifying proof techniques, and understanding the broader implications of EPPA. This thesis contributes to this ongoing pursuit, specifically aiming to demonstrate EPPA for graph classes enriched by comple- mentary automorphisms. It includes an analysis of undirected and directed graphs with loops and extends the exploration to a class of general structures in a finite relational language. 1
|
|
|
Semigroup-valued metric spaces
Konečný, Matěj ; Hubička, Jan (vedoucí práce)
Strukturální Ramseyova teorie je obor na rozmezí kombinatoriky a teorie modelů s hlubokými souvislostmi s dynamickými systémy. Ramseyovskost většiny známých ramseyovských tříd v konečném binárním symetrickém relačním jazyce se dá dokázat s využitím nějaké varianty tzv. shortest path completion (například Sauerovy S-metrické prostory, Conantovy zobecněné metrické prostory, Braunfel- dovy Λ-ultrametrické prostory či Cherlinovy metricky homogenní grafy). V této práci zkoumáme limity shortest path completion. Nabízíme abstrakci - met- rické prostory se vzdálenostmi z pologrupy - pro všechny zmíněné ramseyovské třídy a studujeme ramseyovské expanze a EPPA (extension property for partial automorphisms) této abstrakce. Na tyto výsledky lze také nahlížet jako na důkaz toho, že samotná otázka, které neúplné struktury mají zúplnění v nějaké amal- gamační třídě, je zajímavá a důležitá. Naše výsledky mají i další aplikace (jako například stationary independence relations). Jako důsledek našich obecných vět znovu dokážeme výsledky Hubičky a Nešetřila o Sauerových S-metrických prostorech, výsledky Hubičky, Nešetřila a autora o Conantových generlizovaných metrických prostorech, Braunfeldovy výsledky o Λ-...
|
|
|
Semigroup-valued metric spaces
Konečný, Matěj ; Hubička, Jan (vedoucí práce)
Strukturální Ramseyova teorie je obor na rozmezí kombinatoriky a teorie modelů s hlubokými souvislostmi s dynamickými systémy. Ramseyovskost většiny známých ramseyovských tříd v konečném binárním symetrickém relačním jazyce se dá dokázat s využitím nějaké varianty tzv. shortest path completion (například Sauerovy S-metrické prostory, Conantovy zobecněné metrické prostory, Braunfel- dovy Λ-ultrametrické prostory či Cherlinovy metricky homogenní grafy). V této práci zkoumáme limity shortest path completion. Nabízíme abstrakci - met- rické prostory se vzdálenostmi z pologrupy - pro všechny zmíněné ramseyovské třídy a studujeme ramseyovské expanze a EPPA (extension property for partial automorphisms) této abstrakce. Na tyto výsledky lze také nahlížet jako na důkaz toho, že samotná otázka, které neúplné struktury mají zúplnění v nějaké amal- gamační třídě, je zajímavá a důležitá. Naše výsledky mají i další aplikace (jako například stationary independence relations). Jako důsledek našich obecných vět znovu dokážeme výsledky Hubičky a Nešetřila o Sauerových S-metrických prostorech, výsledky Hubičky, Nešetřila a autora o Conantových generlizovaných metrických prostorech, Braunfeldovy výsledky o Λ-...
|
|
|
Semigroup-valued metric spaces
Konečný, Matěj ; Hubička, Jan (vedoucí práce) ; Pultr, Aleš (oponent)
Strukturální Ramseyova teorie je obor na rozmezí kombinatoriky a teorie modelů s hlubokými souvislostmi s dynamickými systémy. Ramseyovskost většiny známých ramseyovských tříd v konečném binárním symetrickém relačním jazyce se dá dokázat s využitím nějaké varianty tzv. shortest path completion (například Sauerovy S-metrické prostory, Conantovy zobecněné metrické prostory, Braunfel- dovy Λ-ultrametrické prostory či Cherlinovy metricky homogenní grafy). V této práci zkoumáme limity shortest path completion. Nabízíme abstrakci - met- rické prostory se vzdálenostmi z pologrupy - pro všechny zmíněné ramseyovské třídy a studujeme ramseyovské expanze a EPPA (extension property for partial automorphisms) této abstrakce. Na tyto výsledky lze také nahlížet jako na důkaz toho, že samotná otázka, které neúplné struktury mají zúplnění v nějaké amal- gamační třídě, je zajímavá a důležitá. Naše výsledky mají i další aplikace (jako například stationary independence relations). Jako důsledek našich obecných vět znovu dokážeme výsledky Hubičky a Nešetřila o Sauerových S-metrických prostorech, výsledky Hubičky, Nešetřila a autora o Conantových generlizovaných metrických prostorech, Braunfeldovy výsledky o Λ-...
|
|
|
Combinatorial Properties of Metrically Homogeneous Graphs
Konečný, Matěj ; Hubička, Jan (vedoucí práce) ; Nešetřil, Jaroslav (oponent)
Ramseyova teorie hledá " pořádek v dostatečně velkém nepořádku". Teorie modelů studuje algebraické struktury jako modely teorií. Strukturální Ramseyova teorie tyto dva obory kombinuje a zabývá se ramseyovskými otázkami o určitých modelově-teoretických strukturách. V roce 2005 Nešetřil zahájil systematickou studii takzvaných Ramseyových tříd konečných struktur. Tato práce je příspěvkem do Nešetřilova programu: Studujeme zde ramseyovské expanze primitivních 3- constrained tříd z Cherlinova katalogu metricky homogenních grafů. Klíčovou ingrediencí je kombinatorický algoritmus, který doplní chybějící vzdálenosti v gra- fech s váženými hranami tak, aby dostal struktury z Cherlinova katalogu. Dalším důsledkem tohoto algoritmu je také EPPA, což je jiná kombinatorická vlastnost tříd konečných struktur. 1
|
|
|
Diarizace meetingové řeči - Kdo mluví kdy
Tůma, Radovan ; Konečný, Matej (oponent) ; Karafiát, Martin (vedoucí práce)
Tato práce obsahuje návrh diarizačního systému. Systém je postaven na bázi BIC (Bayesian Information Criterion). Ve zprávě naleznete stručný popis dříve vyvíjených systémů a stručnou teorii popisující, jak by diarizační systém měl pracovat. Práce se pokouší zohlednit dřívejších prací jiných autorů a výsledkem by měl být systém s některými vylepšeními. Vylepšení se zaměřují zejména na rychlejší segmentaci s minimální ztrátou přesnosti a co nejpřesnější clustering.
|
host ::
RSS.