|
Park's conjecture
Lauschmannová, Anna ; Ježek, Jaroslav (oponent) ; Stanovský, David (vedoucí práce)
A finite algebra of finite type (i.e. in a finite language) is finitely based iff the variety it generates can be axiomatized by finitely many equations. Park's conjecture states that if a finite algebra of finite type generates a variety in which all subdirectly irreducible members are finite and of bounded size, then the algebra is finitely based. In this thesis, I reproduce some of the finite basis results of this millennium, and give a taster of older ones. The main results fall into two categories: applications of Jonsson's theorem from 1979 (Baker's theorem in the congruence distributive setting, and its extension by Willard to congruence meet-semidistributive varieties), whilst other proofs are syntactical in nature (Lyndon's theorem on two element algebras, Je·zek's on poor signatures, Perkins's on commutative semigroups and the theorem on regularisation). The text is self-contained, assuming only basic knowledge of logic and universal algebra, and stating the results we build upon without proof.
|
|
The robotization of US armed forces between the years 2000-2011 and its perspectives untill 2020
Kudrec, Martin ; Střítecký, Vít (vedoucí práce) ; Ludvík, Jan (oponent)
Diplomová práca sa zaoberá vývojom robotizácie ozbrojených síl USA v minulom desaťročí ako aj jej perspektívami v desaťročí súčasnom. Analyzuje dynamiku a hlavné trendy ako aj kvantitatívny a kvalitatívny smer tohto vývoja. Táto práca je využíva primárne pojmový a konceptuálny rámec post-štrukturálnej bezpečnostnej virtuálnej teórie zostavenej Der Derianom. Prvá časť práce predstavuje teoretické a koncepčné zázemie a uchopenie definovanej problematiky. Zároveň sa táto časť zaoberá základnými technologickými trendami, ktoré ovplyvňujú neskoršiu aktualizáciu a operacionalizáciu technologicky založeného teoretického rámca do časových hraníc samotnej práce. Druhá časť práce sa zaoberá samotným analyzovaním robotizácie ozbrojených síl USA na základe prvej časti práce. Hlavným cieľom práce je poukázať na dynamiku vývoja robotizácie ozbrojených síl ako trendu. Práca sa na definovanej 20 ročnej osi začína problematikou zavádzania prvých moderných, obmedzene semi-autonómnych robotov do americkej výzbroje a končí sa analyzovaním plánov na masívne zavádzanie vysoko autonómnych samo-učiacich sa robotických systémov a systémov systémov s čiastočnými sociálnymi, "etickými" a "morálnymi" parametrami. Práca sa na záver zaoberá základnými bezpečnostnými a morálnymi problémami, ktoré trend robotizácie ozbrojených síl prináša.
|
|
Rozpoznání ručně psaných číslic
Štrba, Miroslav ; Španěl, Michal (oponent) ; Herout, Adam (vedoucí práce)
Rozpoznávání ručně psaných číslic je problém, který se dá použít jako modelová úloha pro vícetřídní rozpoznávání vzorů v obraze. Tato práce zkoumá různé druhy algoritmů (Samo-organizující se mapy, Stromové klasifikátory a AdaBoost) a metody pro zvyšování úspěšnosti klasifikace pomocí fúze (většinové rozhodování, průměrování logaritmických pravděpodobnostních hodnot, lineární logistická regrese). Metody fúze byly využité na kombinaci klasifikátorů s identickými parametry trénování, s rozdílnými trénovacími metodami a s podvzorkovaným vstupním vzorem.
|
|
Oxidation barriers prepared by electrochemical procedures
Mengyan, Tomáš ; Man, Ondřej (oponent) ; Jan, Vít (vedoucí práce)
The presented bachelor thesis deals theoretically with use of anodization procedures for preparation of self-organized porous oxide layers on aluminium. The techniques leading to different pore structures are summarized and the use of porous anodic alumina in various applications of nanotechnology are mentioned. The thesis is composed as initial entry-level theroretical study for prospective experimental work in the field of porous anodic alumina.
|
|
Situace vysokoškolsky vzdělaných matek malých dětí při návratu na trh práce v České republice
Bolinová, Petra ; Kotrusová, Miriam (vedoucí práce) ; Hejzlarová, Eva (oponent)
Diplomová práce "Situace vysokoškolsky vzdělaných matek malých dětí při návratu na trh práce v České republice" se zabývá otázkou, z jakých příčin u nás většina kvalifikovaných matek přerušuje kariéru na relativně dlouhou dobu z důvodu péče o dítě. Ženy vysokoškolačky mají specifické charakterové vlastnosti odvozené od lidského kapitálu. Mají silnou potřebu seberealizace, jsou vybaveny schopnostmi a ambicemi, které je motivují navrátit se do zaměstnání co nejdříve. Přesto se vyznačují ekonomickou neaktivitou až do tří let věku dítěte. Ve své práci vycházím z předpokladu, že v domácnostech vysokoškolsky vzdělaných žen je velké napětí mezi kariérou a rodinným životem. Identifikuji faktory, které ovlivňují délku setrvání těchto žen mimo trh práce. O výběru životní strategie vedle lidského kapitálu těchto žen spolurozhoduje také koncepce rodinné a institucionální politiky, míra, v jaké se do péče o děti a domácnost zapojuje partner, vliv má také kulturní kontext. Práce se zaměřuje na preference matek vysokoškolaček ohledně jejich pracovní a rodinné angažovanosti, strukturální podmínky na trhu práce, institucionální rámec pro jejich rozhodování a na roli zaměstnavatele v problematice slaďování pracovního a rodinného života. Přínosem diplomové práce je zaměření na cílovou skupinu vysokoškolaček a na...
|
|
Aktuální trendy v systému státní podpory úvěrového pojištění v České republice
Nakládal, Jiří ; Daňhel, Jaroslav (vedoucí práce) ; Fárek, Jiří (oponent) ; Procházka, Jan (oponent)
Disertační práce nabízí komplexní analýzu trhu státem podporovaných vývozních úvěrů v České republice. Autor věnuje většinu práce problematice úvěrového pojištění, jelikož pojistný trh představuje klíčovou část systému. Analyzuje specifika portfolia místní pojišťovací vývozní úvěrové agentury a hledá nejefektivnější techniky a procedury snižující rizikovost daného portfolia tak, aby bylo možné dodržovat podmínku neztrátového hospodaření v dlouhém období, přičemž plně respektuje poslání agentury v podobě státní podpory českého vývozu. Zvláštní pozornost je věnována obchodní politice agentury, která čelí rizikům informační asymetrie, morálního hazardu a nepříznivého výběru. Autor zdůrazňuje rozdíly mezi státem podporovanými a komerčními pojistiteli, analyzuje evropskou legislativu bránící státním agenturám konkurovat komerčním úvěrovým pojistitelům a navrhuje efektivnější endogenní a samo-regulující systém. Část práce je věnována méně významné financující vývozní úvěrové agentuře v České republice, jež je dominantní hráčem na místním trhu podpořeného vývozního financování. Autor dokázal identifikovat téměř dvě desítky příčin této výjimečné pozice státní banky na daném trhu, která nemá ve vyspělém světě obdoby, a navrhuje systém zabezpečující komplementární roli agentury ke komerčním bankám. V závěru autor analyzuje celý systém státem podporovaných vývozních úvěrů, ve vzájemných souvislostech upozorňuje na jeho hlavní rizika a vyjadřuje obavy z potenciální kombinace negativních okolností ovlivňujících důležité prvky systému, které by mohly ohrozit jeho dlouhodobou stabilitu.
|
|
Artificial neural networks and their application for 3D-data processing
Pihera, Josef ; Mrázová, Iveta (vedoucí práce) ; Holan, Tomáš (oponent)
Neuronové sítě představují efektivní prostředek pro zpracování multimediálních dat. Tato práce se zaměřuje na dvě možná použití umělých neuronových sítí na 3D povrchové modely - detekce významných rysů v datech a klasifikace modelů. Čtenáři je představen přehled existujících samo-organizačních neuronových sítí a následně i přehled dopředných a konvolučních neuronových sítí (CNN). Práce popisuje novou modifikaci existujícího modelu - N-dimenzionální konvoluční neuronové sítě (ND-CNN). Navržený model ND-CNN se podařilo rozšířit i o známé principy pro vynucování vhodné reprezentace znalostí. Vyvinuté teoretické postupy jsou vyhodnoceny na podpůrných experimentech s naskenovanými 3D modely tváří. První experiment se snaží detekovat významné obličejové rysy, zatímco druhý experiment klasifikuje modely tváří podle pohlaví za použití CNN a ND-CNN.
|
|
The world of lost innocence in William Golding's novels
Vomáčková, Lenka ; Beran, Zdeněk (vedoucí práce) ; Clark, Colin Steele (oponent)
V této práci se zaměřím na prozkoumání tří románů spisovatele Williama Goldinga. Mezi tyto romány patří jeho první výtvor Pán much (Lord of the Flies), dále romány Pincher Martin (Ztroskotání Christophera Martina) a Volný pád (Free Fall). Cílem práce je interpretovat svět znázorněný v těchto románech Williama Goldinga jako prostor, kde se střetává nevinnost a zkušenost, touha po stabilním morálním kodexu a přirozená lidská slabost. Tento boj se odehrává na třech rovinách, a to rovině morální, sociální a níboženské či mystické. Tomuto rozdělení odpovídá i řazení kapiol. Nejprve budu tedy zkoumat rovinu morální. Sám William Golding označil za poslání spisovatele sdělit světu svůj pohled na vidění světa a jeho morální pravidla. V Pánu Much si klademe otázku, zda jsou morální pravidla, kterými se běžně řídíme ve společnosti, platná i v situaci, kdy jsme od společnosti odloučeni. Zde se poprvé střetáváme s Goldingovým konceptem zla, které je nedílnou součástí každého člověka. Podle Goldinga je jediná cesta, která nás může osvobodit od nás samotných a naší přirozenosti, cesta sebeuvědomění. V tomto duchu pokračuje další Goldingův román, Pincher Martin, který popisuje prázdnotu lidského bytí, pokud je zahleděno jen samo do sebe a z tohoto egocentrismu ho nedokáže vyvést ani žádná spirituální zkušenost. Tím se...
|
|
Faktory ovlivňující míru pravicového extrémismu v ČR po roce 1989
Vaníček, Pavel ; Charvát, Jan (vedoucí práce) ; Novák, Miroslav (oponent)
Bakalářská práce "Faktory ovlivňující míru pravicového extrémismu v ČR po roce 1989" pojednává odbornou, ale zároveň čtivou, formou jak o pravicovém extrémismu obecně, o jeho historickém vývoji a jednotlivých ideologiích, tak konkrétně o situaci krajní pravice u nás po listopadu 1989, tak i o jeho příčinách a s tím souvisejících řešení, jak pravicový extrémismus dle zjištění autora v co největší míře eliminovat. Je zajímavé a poučné se dozvídat o tom, jak se západní společnost v době modernizace, tedy zejména v devatenáctém století, proměňovala a jaké dopady tato epocha měla na lidské myšlení a sebeuvědomování. V jaké myšlenkové proudy tato emancipace vyústila a jaký vliv to všechno mělo na světové dějiny. Počínaje nacionalismem, ze kterého vyústily fašismus a následně nacismus, a neofašismem a neonacismem prozatím konče. Všechny tyto jevy měly přirozeně po Sametové revoluci značný vliv i na konstituování naší novodobé extrémní pravice. Zmíněné jevy ovšem nepřicházejí jen tak samy od sebe. Vždy jsou více či méně něčím podmíněny. A právě i těmito podněcujícími, respektive zmírňujícími, faktory se práce zabývá. Stejně jako návrhy na pozitivní řešení problematiky krajní pravice, které jsou rozebírány v kapitole poslední. Práce jistě dobře poslouží nejen případným odborným a praktickým účelům, ale i všem, kdo...
|
|
Svobodná vůle ženy v indikaci císařského řezu
Křepelka, Petr ; Payne, Jan (vedoucí práce) ; Šimek, Jiří (oponent) ; Calda, Pavel (oponent)
Císařský řez je v současné době nejčastěji indikovanou operací. Podíl operačně vedených porodů neustále narůstá. Dramaticky se rozšiřuje spektrum operačních indikací. Práce je zaměřena na etická dilemata vznikající v průběhu stanovení operační indikace: odmítnutí císařského řezu těhotnou ženou při existenci racionálně-empirické indikace a vynucený císařský řez. Význam svobodné vůle ženy v procesu operační indikace úzce souvisí s problematikou císařského řezu na přání. Posouzení etické přijatelnosti jednotlivých operačních indikací je provedeno na základě srovnání dignity těhotné ženy a lidského plodu, dále pak úvahou o teoretických povinnostech a z nich plynoucí rodičovské zodpovědnosti na straně jedné a práva na sebeurčení těhotné ženy na straně druhé. Dignita plodu je dána jeho hodnotou, která je mu přisouzena těhotnou ženou a lidskou společností, je vždy nižší než dignita těhotné ženy. Vymezení specifických pozitivních povinností těhotné ženy/matky vůči plodu je velmi kontroverzní a nelze je legálně kodifikovat i přes nepochybný sociální charakter těhotenství. Břemena plynoucí z těhotenství v individuálním i sociálním kontextu nemohou být určující pro univerzální povinnosti těhotné ženy vůči plodu. Těhotenství samo nemůže zbavit ženu práva na sebeurčení. Etická přijatelnost vyžádaného císařského řezu bez...
|
host ::
