|
Antioxidační, anti-proliferační a imunomodulační účinky ovoce, zeleniny a hub in vitro
Doskočil, Ivo ; Havlík, Jaroslav (vedoucí práce) ; Orsák, Matyáš (oponent)
V poslední době stoupá zájem o nalezení nových druhů rostlin a hub, které mají antioxidační nebo antiproliferační aktivitu. Tento zájem je vyvolán zejména jejich možným léčivým a potravinovým využitím při mnoha onemocněních, které mohou být spojeny s oxidačním stresem, jako jsou například zánětlivá onemocnění střev, kardiovaskulární onemocnění, hypertenze nebo nádorová onemocnění.
Tato práce předkládá charakterizaci in vitro antioxidační a anti proliferační aktivity vybraných 19 džusů a 28 metanolových extraktů z ovoce a zeleniny, které jsou běžnou součástí jídelníčku. Dále 13 etanolových extraktů jedlých hub řádu chorošotvarých (Popyporales). Pro stanovení antioxidační aktivity byly využity metody
2,2 diphenyl 1 picrylhydrazyl (DPPH); absorbance kyslíkových radikálů (oxygen radical absorbance capacity ORAC) a inhibice produkce oxidu dusnatého (NO). Cytotoxicita byla měřena pomocí metody MTT využívající tetrazolovou sůl 3 [4,5 dimetyltiazol 2 yl] 2,5 difenyltetrazol bromid; a pro stanovení imunomodulační aktivity byla použita metoda fagocytární aktivity lidských neutrofilních granulocytů. Dále byl zjišťován celkový obsah fenolů (TPC) a ß glukanů, jako potenciálně aktivních složek podílejících se na těchto aktivitách.
Z výsledků je patrné, že z testovaných vzorků ovoce a zeleniny vykazovaly nejvyšší antioxidační aktivitu džusy (TPC = 1603,2 mg GAE/l džusu; ORAC = 438,5 umol TE/g) a extrakty (ORAC 836,6 umol TE/g;
DPPH = 404,6 umol TE/g) z plodů brusnice borůvky (Vaccinium myrtillus), následované džusem z papriky (Capsicum L.)(TPC = 642,1 mg GAE/l džusu; ORAC = 127,9 umol TE/g) a extraktem z ředkve bílé (Raphanus sativus L.)(ORAC = 724,5 umol TE/g; DPPH = 52,2 umol TE/g). Z testovaných druhů ovoce a zeleniny inhibovaly produkci NO džusy z cibule kuchyňské (Allium cepa L)(snižoval produkci NO o 57 %) a mandarinka (Citrus reticulata Blanco)(o 52 %) spolu s extrakty z brokolice (Brassica oleracea var. botrytis italica) (o 21 %) a pomeranče (Citrus sinensis Pers.) (o 10 %). Z jedlých hub byl stanoven nejvyšší obsah fenolových sloučenin u Lentinus tigrinus (Bull.) (houževnatec tygrovaný) Fr. (TPC = 216,2 umol GAE/g extraktu), Ganoderma lucidum (Curtis) P. Kras (lesklokorka lesklá)(TPC = 257,9 umol GAE/g extraktu) a Royoporus badius (Pers.) A.B. De (choroš smolonohý)(TPC = 257,8 umol GAE/g extraktu). Obsah ß glukanů byl nejvyšší u Sparassis crispa (Wulfen) Fr. (kotrč kadeřavá)(117,4 mg/g extraktu). Významný efekt na fagocytární aktivitu granulocytů byl zaznamenán u Neolentinus lepideus (Fr.) Redhead & Ginns, Polyporus squamosus (Huds.) Fr. (choroš šupinatý) a S. crispa. U poslední ze zmíněných hub byl taktéž zaznamenán mírný inhibiční účinek vůči buněčné linii HT 29 kolorektálního karcinomu člověka (IC50 = 107 ug/ml extraktu).
Výsledky naznačují, že některé námi testované rostliny a houby mohou být perspektivní ve snižování následků vzniklých v důsledku oxidačního stresu, který má podíl na celé řadě onemocnění a snížení toho oxidačního stresu může vést ke snížení progrese těchto onemocnění. Výsledky naznačují možný mechanismus účinku na lidské zdraví, při jejich interpretaci je však třeba brát v úvahu, že in vitro testy a screeningy jsou prvním stupněm systematického výzkumu těchto účinků a slouží pro výběr kandidátů pro návazné podrobnější studie.
|
|
Úloha autority a princíp partnerstva pri tvorbe choreografického diela
Radačovský, Mário ; KAZÁROVÁ, Helena (vedoucí práce) ; WIESNER, Daniel (oponent)
V našom tanečnom umení je veľmi dôležité ak sa môžeme stretnúť s osobnosťami, ktoré ovplyvnia náš život natoľko či už pozitívne alebo negatívne ,že si tento ich odkaz nesieme celým naším umeleckým životom.
Princíp autority ktorá nás denne formuje ,ale aj partnerstva bez ktorého by to celé zrejme nebolo ani možné .Určitá forma partnerstva je viac ako potrebná v našom veľmi náročnom povolaní. Napriek tomu byť tanečníkom nie je povolanie ale skôr o poslanie .
Cieľom mojej práce je pokúsiť sa načrtnúť určite formy autorít na základe mojich osobných skúseností ako aj ponúknuť porovnanie medzi nimi cez vykreslenie určitých modelových situácií ,ktoré som mal možnosť osobne zažiť. Ponúknuť rozličné riešenia určitých situácií .
Vždy ide o nejaký cieľ spoločného snaženia sa naplniť ho. Rozdiel je inteligencií a spôsobe ako vytúžený úspech dosiahnuť. Nakoniec výsledok nie je aj tak to najdôležitejšie ale forma a hlavne ako sme ho dosiahli. Celá moja práca bola o zamyslení a paralelách a novom vnímaní už existujúcich prežitkov.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (oponent) ; Křetínský, Mojmír (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work addresses verification of infinite-state systems, more specifically, verification of programs manipulating complex dynamic linked data structures. Many different approaches emerged to date, but none of them provides a~sufficiently robust solution which would succeed in all possible scenarios appearing in practice. Therefore, in this work, we propose a new approach which aims at improving the current state of the art in several dimensions. Our approach is based on using tree automata, but it is also partially inspired by some ideas taken from the methods based on separation logic. Apart from that, we also present multiple advancements within the implementation of various tree automata operations, crucial for our verification method to succeed in practice. Namely, we provide an optimised algorithm for computing simulations over labelled transition systems which then translates into more efficient computation of simulations over tree automata. We also give a new algorithm for checking inclusion over tree automata, and we provide experimental evaluation demonstrating
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
|
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.
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (oponent) ; Šaloun, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis continues with study of grammar and automata systems. First of all, it deals with regularly controlled CD grammar systems with phrase-structure grammars as components. Into these systems, three new derivation restrictions are placed and their effect on the generative power of these systems are investigated. Thereafter, this thesis defines two automata counterparts of canonical multi-generative nonterminal and rule synchronized grammar systems, generating vectors of strings, and it shows that these investigated systems are equivalent. Furthermore, this thesis generalizes definitions of these systems and establishes fundamental hierarchy of n-languages (sets of n-tuples of strings). In relation with these mentioned systems, automaton-grammar translating systems based upon finite automaton and context-free grammar are introduced and investigated as a mechanism for direct translating. At the end, in this thesis introduced automata systems are used as the core of parse-method based upon n-path-restricted tree-controlled grammars.
|
|
Navigace mobilních robotů
Rozman, Jaroslav ; Matoušek,, Václav (oponent) ; Šolc, František (oponent) ; Zbořil, František (vedoucí práce)
Mobilní robotika je v posledních letech velice diskutované a rozšířené téma. Souvisí to především se stále se zdokonalující výpočetní technikou, která tak umožňuje vyvíjet stále složitější a dokonalejší roboty. Cílem tohoto snažení je vytvořit robota, schopného se autonomně pohybovat ve zvoleném prostředí. Pro tento úkol je nutné, aby si robot vytvořil mapu, ve které bude svůj pohyb plánovat. V současné době se za standard v mapování považují pravděpodobnostní algoritmy založené na metodě SLAM. Tato disertační práce se zabývá návrhem plánovacího algoritmu právě pro metodu SLAM. Popisuje plánování pohybu pro robota vybaveného dvojicí kamer, tzv. stereokamerou, umístěnou na pohyblivé platformě. Plánování pohybu je navržené s ohledem na použití algoritmů, které budou v obraze ze stereokamery vyhledávat význačné body a z těch pak pomocí triangulace tvořit mapu, nebo také model prostředí. Přínos práce by se dal rozdělit do tří částí. V první je popsán způsob vyznačování plochy, ve které pak bude robot plánovat svůj pohyb. Druhá část se zabývá samotným plánováním pohybu robota v této mapě. Bere při tom v úvahu vlastnosti algoritmu SLAM a snaží se tedy toto plánování navrhnout tak, aby vytvořená mapa byla co nejpřesnější. Ve třetí části je pak popsán pohyb platformy, která nese kamery. V této části se využívá toho, že robot může svými kamerami sledovat i jiná místa, než jsou ta ve směru jeho pohybu. To mu umožní prozkoumat mnohem větší prostor bez přílišné ztráty informace o své přesné poloze.
|
|
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.
|
|
Pracují v českých knihovnách digitální kurátoři?
Římanová, Radka ; Melichar, Marek
K rozvoji českých digitálních repozitářů se váže i potřeba nové české terminologie. Jedním z nových termínů je název pracovní pozice, specializace, „digitální kurátor“. Tento termín označuje specialistu, který je odpovědný za sbírku digitálních objektů. V rámci dostupné literatury se v kompetenčním modelu digitálního kurátorství snoubí technické, organizační i komunikační/marketingové dovednosti a znalosti. Z hlediska odborné přípravy se předpokládají znalosti z informatiky, ale i informační vědy a knihovnictví. Průzkum mezi několika správci českých digitálních knihoven hledá odpověď na otázku, jak lze profesně označit tuto skupinu zaměstnanců knihoven vzhledem k tomu, jaké činnosti tito lidé reálně vykonávají – digitální kurátoři, správci digitálních knihoven nebo digitální knihovníci? Význam označení pracovní pozice má pevné vazby nejen do systému studijních programů, ale i do oblasti managementu institucí a koordinovaného systému odměňování zaměstnanců knihoven, akademických a výzkumných institucí.
Plný text: idr-1041_3 - PDF; idr-1041_4 - PDF Prezentace: idr-1041_1 - PDF; idr-1041_2 - PDF Videozáznam: idr-1041_5 - MP4
|
|
Faktory ovlivňující poptávku po osobních automobilech v ČR
ČURILLOVÁ, Michaela
Bakalářská práce se věnuje hledání a analyzování faktorů ovlivňujících poptávku po osobních automobilech v České republice. Poptávka je zde reprezentována počtem registrací nových osobních automobilů na domácím trhu. Teoretická část práce se zabývá představením základních pojmů, které souvisí s poptávkou obecně. Dále charakterizuje termíny týkající se statistických metod užitých při analýze faktorů. Praktická část práce se v úvodu zaměřuje na deskripci českého automobilového průmyslu, dále zkoumá specifické faktory poptávky. Potenciální determinanty, které by na danou poptávku mohly mít významný vliv, byly zvoleny na základě literárních zdrojů a vlastních úvah autora. Byly jimi: registrace ojetých osobních automobilů, spotřebitelské ceny nových a ojetých osobních vozidel, spotřebitelské ceny pohonných hmot, průměrný příjem, počet obyvatel a zavedení ekologické daně. Ekonometrickou analýzou se podařilo zjistit, že danou poptávku nejlépe ovlivňuje souhrn všech zvolených proměnných bez poslední zmíněné proměnné, kterou je ekologická daň. Pomocí vytvořeného ekonometrického modelu je také možné předpovědět počet registrací nových osobních automobilů do budoucna, což je v praxi velmi přínosné. Tento model tedy umožňuje predikovat vývoj poptávky po osobních automobilech v České republice.
|