|
Signaling pathways and genes regulating gonadotropin-induced maturation of porcine oocytes and cumulus expansion
Blaha, Milan ; Němcová, Lucie (advisor) ; Král, Jiří (referee)
In vitro, meotic maturation of porcine oocytes and cumulus expansion are induced by FSH and EGF-like peptides AREG and EREG. FSH and EGF-like peptides induce expression of cumulus expansion-related genes (HAS2, PTGS2 and TNFAIP6). To define signaling pathways that control FSH- and AREG-induced cumulus expansion, porcine cumulus-oocyte complexes were treated with specific protein kinase inhibitors. Inhibitors of MAPK3/1, MAPK14 and ERBB1 significantly reduced both FSH- and AREG-induced expression of HAS2, PTGS2 and TNFAIP6. These inhibitors decreased FSH/LH-induced expression of AREG and EREG in mural granulosa cells. Surprisingly, inhibitor of PKA had no effect on AREG expression in cumulus-oocyte complexes but the inhibitor decreased expression of TNFAIP6 induced by AREG. Inhibitor of PI3K increased expression levels of AREG and PTGS2 but EREG, HAS2 and TNFAIP6 were reduced. Expression levels of the cumulus expansion-related genes were not affected by an analog of cGMP (8-CPT-cGMP). However, 8-CPT-cGMP blocked spontaneous in vitro meiotic maturation of porcine oocytes and its effect was abolished by FSH. Key words: cumulus expansion, cumulus expansion-related genes, meotic maturation, FSH, amphiregulin, cGMP
|
|
Position of Numerals in the Parts of Speech System
Paldusová, Michaela ; Cvrček, Václav (advisor) ; Adam, Robert (referee)
This thesis deals with the definition of numerals and its position in the system of words classes. First, briefly describes the history and current attitudes to general issue of parts- of- speech classification in the context of foreign and Czech linguistics. Subsequently, a different theoretical concepts Czech linguistics devoted to the issue of speech numerals from the mid-20th century to the present. Based on the contextual analysis of data from the database of the Czech National Corpus then verifies the current classification criteria of parts-of-speech classification. At the same time tests on a prototypical numerals new approach to the definition of numerals as separate species, based on the context units surveyed. Finally submits proposals that are based on statistically processed outputs of contextual analysis. Key words: numerals, classification of numerals, context analysis, Czech National Corpus, corpus analysis
|
|
Key sequence in the films of directors who work with long sequence shots and with stylization
Ruzyak, Pavel ; BERNARD, Jan (advisor) ; KLEPIKOV, Milan (referee)
This thesis wants to explore long shots alongside with stylization in cinema.
Through three directors are explored possibility and problematic of cinematographic expression through long shots and stylization. Stylisation is connected mainly with mis-en-scène and particular aspects of it – acting, film decoration/props, film space, film sound,...
The terms stylisation and long shot (plan-séquence) are analysed and explored on its own and in the films of the chosen directors.
The main analysed directors are Andrei Tarkovsky, Carl Th. Dreyer and Béla Tarr and their three films (in the same order) - Sacrifice, Gertrud and Satantango.
The chosen directors are from my point of view the best example of the use of stylisation and long shots due to their artistic clarity and coherence.
I try to base this work mostly on my own analysis and thoughts about long shots and stylisation based on the literature, films and my own film works, although I also use quotations from directors/authors and quotations from theoretical works.
The thesis in its form is closest to the analytic and essay study.
|
|
Corporate identity of cultural institutions
Rálek, Jakub ; SULŽENKO, Jiří (advisor) ; SVOBODOVÁ, Doubravka (referee)
This thesis researches relationship between corporate identity and cultural environment. It explains and analyses key subjects such as graphic design, corporate image, corporate culture, corporate communication, corporate product, target group, symbol, brand, vision, mission etc. It is divided into three parts – first part contains definitions, second part contains analysis of two key studies – Na zábradlí Theatre and Josef Kajetán Tyl Theatre and then there’s third part, which merges the previous (theoretical and practical) into one, which should outline process of creating own brand identity. The last part is focused mostly on handling with corporate design. The thesis emphasizes necessity and reason of professional marketing approach to achieve rising brand equity and stable growth of any cultural corporation.
|
|
The Media Influence on Transformation of Democracy
Půlpánová, Barbora ; Pehe, Jiří (advisor) ; Slačálek, Ondřej (referee)
Mass media has always played the key role in democratic process. They are not only the indicator of its right functioning, but also the iniciator. From historical point of view is obvious, that technological progress and changes in the way of informing people were related to the political area. But with the increasing role of media, they changed their position from pure mediators of informations to the main actors of social and political life. The ‚old' media, such as newspapers, radio and television, are therefore partly responsible for commercialization of the public sphere and also for its depolitization. With contribution of the globalization effect on today's world, which causes besides other things the weakening of the nation state, there are only a little of the key democratic aspects left. Some find the solution in the ‚new' media represented by the Internet and social media, which are more interactive so they could get the citizens back to the game. And right in the increase of civic engagement see the theorists the potencial for creating a new democratic order based on high-level participation. KEY WORDS Mass media, Democracy, Public Sphere, Civic Engagement, Internet, Social media, Participative Democracy, Deliberative Democracy
|
|
Plasma spraying from liquids: plasma liquid interaction and coating build up
Tesař, Tomáš ; Mušálek, Radek ; Medřický, Jan ; Lukáč, František
Plasma spraying from liquid feedstocks is a rapidly developing field of thermal spraying since the coatings prepared from liquids exhibit some unique features, such as high hardness, thermal shock resistance or low thermal and electric conductivity. The key factor influencing the final coating character and properties is the input material which may be in the form of a suspension or a solution. Parameters of the selected suspension (solids concentration, viscosity, surface tension, chemical composition, etc.) or solution (concentration, etc.) determine its interaction with the plasma jet which strongly influences the coating buildup. This proceeding introduces the problematics of the interaction between the liquid feedstock material with the plasma jet and presents the way of evaluation of the coating buildup.
|
|
Microbiota of the digestive tract of bees and related insect and the influencing facftors
Hroncová, Zuzana ; Havlík, Jaroslav (advisor) ; Kalous, Lukáš (referee)
This thesis consists of six research chapters, out of which, five have already been published in research journals, 1 is in the process of submission and the last chapter presents original unpublished confidential data in the process of manuscript preparation.
The research presented in this thesis concerns the complex mechanisms of bees and wasps immune system focused on microbiota as component of immunity. As shown in the introduction, highly social and managed species of bees like honey bees and bumble bees, play key roles in natural and agricultural ecosystems worldwide. Recent losses of bees have been attributed to pesticide exposure, poor nutrition, increased parasite loads and habitat degradation. Over the past several years, governments, beekeepers, and the general public worldwide have become concerned by increased losses of honey bee colonies, calling for more research on how to keep colonies healthy. Our main aim was to explore the complex mechanisms of bees and related species gut bacterial populations, their links to insect immunity and investigate the opportunities for an intervention. Part of our aim was to characterise the bumble bee and wasp gut microbiota using 16S RNA sequencing in a search for potentially novel bacterial species.
We have tried to explain how microbiome interacts with the host and showed that major members of these communities appear to benefit the host. The simple gut communities of social bees present ideal model systems to investigate the underlying evolutionary and genetic processes of such interactions. Information based on our results may help in the design of proper probiotic supplementation strategies with respect to physiological conditions in the honey bee gut.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (referee) ; Veith, Helmut (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve formální verifikaci: pro separační logiku a pro slabou monadickou druhořádovou logiku s následníkem. Obě tyto rozhodovací procedury jsou založeny na převodu jejich problému do automatové domény a následné manipulaci v této cílové doméně. Posledním přínosem této práce je vývoj nových algoritmů k efektivní manipulaci se stromovými automaty, s důrazem na testování inkluze jazyků těchto automatů a manipulaci s automaty s velkými abecedami, a implementace těchto algoritmů v knihovně pro obecné použití. Tyto vyvinuté algoritmy jsou použity jako klíčová technologie, která umožňuje použití výše uvedených technik v praxi.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Packet Classification Algorithms
Puš, Viktor ; Lhotka,, Ladislav (referee) ; Dvořák, Václav (advisor)
Tato práce se zabývá klasifikací paketů v počítačových sítích. Klasifikace paketů je klíčovou úlohou mnoha síťových zařízení, především paketových filtrů - firewallů. Práce se tedy týká oblasti počítačové bezpečnosti. Práce je zaměřena na vysokorychlostní sítě s přenosovou rychlostí 100 Gb/s a více. V těchto případech nelze použít pro klasifikaci obecné procesory, které svým výkonem zdaleka nevyhovují požadavkům na rychlost. Proto se využívají specializované technické prostředky, především obvody ASIC a FPGA. Neméně důležitý je také samotný algoritmus klasifikace. Existuje mnoho algoritmů klasifikace paketů předpokládajících hardwarovou implementaci, přesto však tyto přístupy nejsou připraveny pro velmi rychlé sítě. Dizertační práce se proto zabývá návrhem nových algoritmů klasifikace paketů se zaměřením na vysokorychlostní implementaci ve specializovaném hardware. Je navržen algoritmus, který dělí problém klasifikace na jednodušší podproblémy. Prvním krokem je operace vyhledání nejdelšího shodného prefixu, používaná také při směrování paketů v IP sítích. Tato práce předpokládá využití některého existujícího přístupu, neboť již byly prezentovány algoritmy s dostatečnou rychlostí. Následujícím krokem je mapování nalezených prefixů na číslo pravidla. V této části práce přináší vylepšení využitím na míru vytvořené hashovací funkce. Díky použití hashovací funkce lze mapování provést v konstantním čase a využít při tom pouze jednu paměť s úzkým datovým rozhraním. Rychlost tohoto algoritmu lze určit analyticky a nezávisí na počtu pravidel ani na charakteru síťového provozu. S využitím dostupných součástek lze dosáhnout propustnosti 266 milionů paketů za sekundu. Následující tři algoritmy uvedené v této práci snižují paměťové nároky prvního algoritmu, aniž by ovlivňovaly rychlost. Druhý algoritmus snižuje velikost paměti o 11 % až 96 % v závislosti na sadě pravidel. Nevýhodu nízké stability odstraňuje třetí algoritmus, který v porovnání s prvním zmenšuje paměťové nároky o 31 % až 84 %. Čtvrtý algoritmus kombinuje třetí algoritmus se starším přístupem a díky využití několika technik zmenšuje paměťové nároky o 73 % až 99 %.
|
guest ::
