|
| |
|
|
Hermés - bůh mezi světem lidí a bohů a jeho proměny v čase
Špillingová, Eva ; Janoušek, Jan (vedoucí práce) ; Hruška, Blahoslav (oponent)
Tato práce se zabývá postavou řeckého boha Herma jeho proměnami od archaických představ až po jeho podobu Mercuria v hermetické tradici a alchymii. Pozornost je věnována jeho proměně v olympského boha, kterou prodělal v homérských dílech, jeho podobě božského dítěte a jsou zmíněny jeho vztahy k některým z dalších bohů olympského pantheonu. Další výrazná změna Je pak zaznamenána v období helénistického náboženského synkretismu, kdy se řecká kultura a její bohové dostaly do styku s orientálními a egyptskými kulty. Závěr práce je věnován podobě Herma jako Mercuria alchymistů, ve které jako jediný z řeckých bohů přetrval až do 17. století.
|
|
|
Projekt Rekonstrukce státu - případová studie spolupráce protikorupčních neziskových organizací v ČR
Janoušek, Jan ; Navrátil, Jiří (vedoucí práce) ; Pospíšilová, Tereza (oponent)
Diplomová práce se zaměřuje na identifikaci faktorů meziorganizační spolupráce NGOs sdružených ve společném projektu Rekonstrukce státu. Cílem práce je zjistit, jaké faktory vedly z pohledu představitelů spolupracujících organizací k vytvoření tohoto společného projektu. Dále práce cílí i na zjištění toho, zda lze v tomto případě nalézt i určitý vzorec faktorů spolupráce. V teoretické části této případové studie se autor věnuje především představení dominantních teorií meziorganizační spolupráce a konceptualizaci faktorů spolupráce, které byly těmito teoriemi popsány. Konceptualizace faktorů je i základem pro dotazník určený představitelům NGOs, z jehož výsledků vychází i hierarchická shluková analýza, která je klíčovou součástí empirické části této práce. Výsledky analýzy jsou založeny na odpovědích představitelů 13 organizací Rekonstrukce státu a identifikují klíčové faktory spolupráce i jejich konfiguraci. Zjištění plynoucí ze shlukové analýzy jsou autorem představeny a dále interpretovány v kontextu zvoleného teoretického rámce v závěrečné části této práce. Klíčová slova: faktory spolupráce, organizační zdroje, NGOs, meziorganizační spolupráce, shluková analýza
|
|
|
Helénistický synkretismus s příhledem k egyptskému kultu
Hanzelková, Lena Magdala ; Hruška, Blahoslav (oponent) ; Janoušek, Jan (vedoucí práce)
Tato práce se zabývá helénistickým synkretismem jako náboženským fenoménem rozšiřujícím pojetí a vnímání popisovaných božstev v daném období, a to s důrazem na kult, jenž má svůj původ v Egyptě. Tato božstva jsou porovnávána s jinými bohy, pocházejícími z oblasti řecké či v Řecku již zdomácnělými. Speciální pozornost je zde věnována bohyni Isis, která měla na náboženské a tím i na kulturní prostředí helénistického světa nemalý vliv. Samostatná kapitola je věnována mystériím, zvláště těm, jež byla s Isidou přímo spojena.
|
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
|
|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (oponent) ; Vojnar, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies theoretical properties of grammars with restricted derivation trees. After presenting the state of the art concerning this investigation area, the research is focused on the three main kinds of the restrictions placed upon the derivation trees. First, it introduces completely new investigation area represented by cut-based restriction and examines the generative power of the grammars restricted in this way. Second, it investigates several new properties of path-based restriction placed upon the derivation trees. Specifically, it studies the impact of erasing productions on the generative power of grammars with restricted path and introduces two corresponding normal forms. Then, it describes a new relation between grammars with restricted path and some pseudoknots. Next, it presents a counterargument to the generative power of grammars with controlled path that has been considered as well-known so far. Finally, it introduces a generalization of path-based restriction to not just one but several paths. The model generalized in this way is studied, namely its pumping, closure, and parsing properties.
|
|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (oponent) ; Yamamura,, Akihito (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies synchronous formal systems based on grammars and transducers, investigating both theoretical properties and practical application perspectives. It introduces new concepts and definitions building upon the well-known principles of regulated rewriting and synchronization. An alternate approach to synchronization of context-free grammars is proposed, based on linked rules. This principle is extended to regulated grammars such as scattered context grammars and matrix grammars. Moreover, based on a similar principle, a new type of transducer called the rule-restricted transducer is introduced as a system consisting of a finite automaton and context-free grammar. New theoretical results regarding the generative and accepting power are presented. The last part of the thesis studies linguistically-oriented application perspectives, focusing on natural language translation. The main advantages of the new models are discussed and compared, using select case studies from Czech, English, and Japanese to illustrate.
|
|
|
Údržba travnatých ploch žacími malotraktory.
JANOUŠEK, Jan
Bakalářská práce se zabývá hlukovou zátěží žacích malotraktorů při údržbě veřejné zeleně. Pro konkrétní měření byly zvoleny žací malotraktory Iseki SXG 22 a Starjet Exclusive 4x4. Měření hlukového zatížení okolního prostředí je měřeno z pěti vzdáleností a následně vyhodnoceno s platnou legislativou.
|
|
| |
|
| |
host ::
RSS.