|
Antioxidant, anti-proliferative and immunomodulatory effect of fruits, vegetables and mushrooms in vitro
Doskočil, Ivo ; Havlík, Jaroslav (advisor) ; Orsák, Matyáš (referee)
Recently there has been an increasing interest in discovering of new species of plants and mushrooms which have antioxidant or anti proliferative activity. The interest is caused by the fact that these species have medicinal and food utilization. These properties of plants and mushrooms can be used when dealing with many diseases which may be connected with oxidative stress (inflammatory bowel disease, cardiovascular disease, hypertension, and tumour disease, etc.).
The thesis propounds characteristics of in vitro antioxidant and anti proliferative activity of 19 types of juices and 28 methanol extracts of fruits and vegetables, which are common parts of a diet. In the thesis there are also characteristics of 13 ethanol extracts of edible mushrooms of the order of Polypore (Popyporales). Antioxidant activity was quantifie by 2, 2 diphenyl 1 picrylhydrazyl (DPPH), oxygen radical absorbance capacity (ORAC), and inhibition of nitric oxide (NO) production. Cytotoxicity was measured by MTT (3 (4,5 dimethylthiazol 2 yl) 2,5 diphenyltetrazolium bromide. Immunomodulatory activity was determined by an assay of phagocytic activity of human neutrophil granulocytes. Further a total phenolic content (TPC) and total beta glucan content were investigated; these are considered to be the potentially active constituents participating in mentioned activities.
From the obtained results it is evident that juices (TPC = 1603.2 mg GAE/L; ORAC = 438.5 umol TE/g)
and a bilberry (Vaccinium myrtillus) fruit extract (ORAC 836.6 umol TE/g; DPPH = 404.6 umol TE/g) showed
the highest antioxidant activity of all tested samples of fruits and vegetables. Capsicum (Capsicum L.)
juices (TPC = 642.1 mg GAE/L; ORAC = 127.9 umol TE/g) and a radish (Raphanus sativus L.) extract
(ORAC 724.5 umol TE/g; DPPH = 52.2 umol TE/g) also proved to have the high values of antioxidant activity. From the tested fruits and vegetables the following inhibited to produce a nitric oxide: onion (Allium cepa L) juices (lowered the NO production by 57%), tangerine juices (Citrus reticulata Blanco)(by 52%), broccoli (Brassica oleracea var. botrytis italic) extract (by 21%), and orange (Citrus sinensis Pers.) extract (by 10%). Concerning edible
mushrooms, Lentinus tigrinus (Bull.) Fr. (TPC = 216.2 umol GAE/g of extract), Ganoderma lucidum (Curtis) P. Kras (TPC = 257.9 umol GAE/g of extract), and Royoporus badius (Pers.) A.B. De (TPC = 257.8 umol GAE/g of extract) presented the highest phenolic content. Sparassis crispa (Wulfen) Fr. (117.4 mg/g of extract) had the highest content of beta glucan. Substantial effect on phagocytic activity of granulocytes was noticed in connection with Neolentinus lepideus (Fr.) Redhead & Ginns, Polyporus squamosus (Huds.) Fr., and S. crispa. In connection with the latter of mentioned mushrooms, a moderate inhibitory effect towards HT 29 human colorectal adenocarcinoma cell line
(IC50 = 107 ug/ml of extract) was noticed.
The results indicate that the tested plants and mushrooms can be beneficial when reducing the negative effects of oxidative stress. The oxidative stress has been recognized as a contributing factor to a whole range of diseases and the reduction of the oxidative stress may lead to the decrease in the possibility of the diseases´ progression. The results show the possible favourable effects on the human health. When evaluating the results, the following fact should be taken into consideration; the in vitro tests and screenings are considered to be the first phase of systematic research of the effects and serve for the choice of respondents for further detailed studies.
|
|
The role of authority and form of partnership during creation of new choreographic dance piece
Radačovský, Mário ; KAZÁROVÁ, Helena (advisor) ; WIESNER, Daniel (referee)
In our dance life its very important that we meet time to time people who are so incredibly influencetial to us ether positive or negative ways. Some of them are able to influence us so much that we keep this impact which they have made on us for ever.Role of autority and partnership between these two elements is crucial.Its has impact on everyday of our working life.I ca not imagine what can happen if there is not existing somekind of form of partnership in the dance studio.To be dancer is very no simply just job .Is more ,its something truly special what not everyone can understand.The task of my work is to go back in my profesional past ,through out my own memories and profesional experiences to offer some situations when I truly felt presents of authority and partnership .Sometimes only autorithy .I this work Im trying to offer my small stories which I lived thourgh from my prospective and Im tring to analysed them through my own expierience of today.It always about something.We are creating because we want to say things.Journey is very important sometimes more then final outcome.
Now important during this journey is able to see how things are done how we comunicate them and autorities will appear .
|
|
Optical low dispersion rezonator as length sensor using optical frequency comb
Pravdová, Lenka ; Hucl, Václav ; Lešundák, Adam ; Lazar, Josef ; Číp, Ondřej
Ultra-high precis measurements are domain of lasers interferometers. An optical resonator measuring method using broad spectrum of radiation of an optical frequency comb was designed and experimentally verified at our workplace. The measuring of a quantity – a distance of resonator mirrors – is provided by its conversion to the value of repetition frequency of the pulse laser with mode-locked optical frequency comb. In this paper the comparison of the absolute scale of the optical resonator with an incremental interferometer scale is introduced. The incremental interferometer is implemented for verification of the optical resonator scale. The double beam incremental interferometer is operating at the wavelength of 633 nm and the measuring mirror with piezo actuator is used as one of its reflectors. It turns out that the major error signal is the reflection of the periodic nonlinearity of the incremental resonator scale. The relative resolution of our method reaches values up to 10-9 while maintaining measuring scale.
|
| |
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (referee) ; Křetínský, Mojmír (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, avšak žádný z nich doposud nebyl natolik robustní, aby fungoval ve všech případech, se kterými se lze v praxi setkat. Ve snaze poskytnout vyšší úroveň automatizace a současně umožnit verifikaci programů se složitějšími datovými strukturami v této práci navrhujeme nový přístup, který je založen zejména na použití stromových automatů, ale je také částečně inspirován některými myšlenkami, které jsou převzaty z metod založených na separační logice. Mimo to také představujeme několik vylepšení v oblasti implementace operací nad stromovými automaty, které jsou klíčové pro praktickou využitelnost navrhované verifikační metody. Konkrétně uvádíme optimalizovaný algoritmus pro výpočet simulací pro přechodový systém s návěštími, pomocí kterého lze efektivněji počítat simulace pro stromové automaty. Dále uvádíme nový algoritmus pro testování inkluze stromových automatů společně s experimenty, které ukazují, že tento algoritmus překonává jiné existující přístupy.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
|
|
Navigation of mobile robots
Rozman, Jaroslav ; Matoušek,, Václav (referee) ; Šolc, František (referee) ; Zbořil, František (advisor)
Mobile robotics has been very discussed and wide spread topic recently. This due to the development in the computer technology that allows us to create better and more sophisticated robots. The goal of this effort is to create robots that will be able to autonomously move in the chosen environment. To achieve this goal, it is necessary for the robot to create the map of its environment, where the motion planning will occur. Nowadays, the probabilistic algorithms based on the SLAM algorithm are considered standard in the mapping in these times. This Phd. thesis deals with the proposal of the motion planning of the robot with stereocamera placed on the pan-and-tilt unit. The motion planning is designed with regard to the use of algorithms, which will look for the significant features in the pair of the images. With the use of the triangulation the map, or a model will be created. The benefits of this work can be divided into three parts. In the first one the way of marking the free area, where the robot will plan its motion, is described. The second part describes the motion planning of the robot in this free area. It takes into account the properties of the SLAM algorithm and it tries to plan the exploration in order to create the most precise map. The motion of the pan-and-tilt unit is described in the third part. It takes advantage of the fact that the robot can observe places that are in the different directions than the robot moves. This allows us to observe much bigger space without losing the information about the precision of the movements.
|
|
Generic Reverse Compilation to Recognize Specific Behavior
Ďurfina, Lukáš ; Šaloun, Petr (referee) ; Zahradnický,, Tomáš (referee) ; Kolář, Dušan (advisor)
Práce je zaměřena na rozpoznávání specifického chování pomocí generického zpětného překladu. Generický zpětný překlad je proces, který transformuje spustitelné soubory z různých architektur a formátů objektových souborů na stejný jazyk na vysoké úrovni. Tento proces se vztahuje k nástroji Lissom Decompiler. Pro účely rozpoznání chování práce zavádí Language for Decompilation -- LfD. LfD představuje jednoduchý imperativní jazyk, který je vhodný pro srovnávaní. Konkrétní chování je dáno známým spustitelným souborem (např. malware) a rozpoznání se provádí jako najítí poměru podobnosti s jiným neznámým spustitelným souborem. Tento poměr podobnosti je vypočítán nástrojem LfDComparator, který zpracovává dva vstupy v LfD a rozhoduje o jejich podobnosti.
|
|
Security of Biometric Systems
Lodrová, Dana ; Busch, Christoph (referee) ; Provazník, Ivo (referee) ; Drahanský, Martin (advisor)
Hlavním přínosem této práce jsou dva nové přístupy pro zvýšení bezpečnosti biometrických systémů založených na rozpoznávání podle otisků prstů. První přístup je z oblasti testování živosti a znemožňuje použití různých typů falešných otisků prstů a jiných metod oklamání senzoru v průběhu procesu snímání otisků. Tento patentovaný přístup je založen na změně barvy a šířky papilárních linií vlivem přitlačení prstu na skleněný podklad. Výsledná jednotka pro testování živosti může být integrována do optických senzorů. Druhý přístup je z oblasti standardizace a zvyšuje bezpečnost a interoperabilitu procesů extrakce markantů a porovnání. Pro tyto účely jsem vytvořila metodologii, která stanovuje míry sémantické shody pro extraktory markantů otisků prstů. Markanty nalezené testovanými extraktory jsou porovnávány oproti Ground-Truth markantům získaným pomocí shlukování dat poskytnutých daktyloskopickými experty. Tato navrhovaná metodologie je zahrnuta v navrhovaném dodatku k normě ISO/IEC 29109-2 (Amd. 2 WD4).
|
|
Optimization of network flow monitoring
Žádník, Martin ; Lhotka,, Ladislav (referee) ; Matoušek, Radomil (referee) ; Sekanina, Lukáš (advisor)
The thesis deals with optimization of network flow monitoring. Flow-based network traffic processing, that is, processing packets based on some state information associated to the flows which the packets belong to, is a key enabler for a variety of network services and applications. The number of simultaneous flows increases with the growing number of new services and applications. It has become a challenge to keep a state per each flow in a network device processing high speed traffic. A flow table, a structure with flow states, must be stored in a memory hierarchy. The memory closest to the processing is known as a flow cache. Flow cache management plays an important role in terms of its effective utilization, which affects the performance of the whole system. This thesis focuses on an automated design of cache replacement policy optimized to a deployment on particular networks. A genetic algorithm is proposed to automate this process. The genetic algorithm generates and evaluates evolved replacement policies by a simulation on obtained traffic traces. The proposed algorithm is evaluated by designing replacement policies for two variations of the cache management problem. The first variation is an evolution of the replacement policy with an overall low number of state evictions from the flow cache. The second variation represents an evolution of the replacement policy with a low number of evictions belonging to large flows only. Optimized replacement policies for both variations are found while experimenting with various encoding of the replacement policy and genetic operators. The newly evolved replacement policies achieve better results than other tested policies. The evolved replacement policy lowers the overall amount of evictions by ten percent in comparison with the best compared policy. The evolved replacement policy focusing on large flows lowers the amount of their evictions two times. Moreover, no eviction occurs for most of the large flows (over 90%). The evolved replacement policy offers better resilience against flooding the flow cache with large amount of short flows which are typical side effects of scanning or distributed denial of service activities. An extension of the replacement policy is also proposed. The extension complements the replacement policy with an additional information extracted from packet headers. The results show further decrease in the number of evictions when the extension is used.
|
guest ::
