|
Relace bisimulace
Arazim, Pavel ; Švejdar, Vítězslav (oponent) ; Bílková, Marta (vedoucí práce)
Tato práce se zabývá relací bisimulace v modální logice a také v intuicionistické logice bez kontrakce. Bisimulace je relace mezi sémantickými modely, která je slabí neo isomor smus, ale přitom pořád zaruuje ekvivalenci v dané logice. Jejím typickým pouoitím jsou d·kazy nerozliitelnosti uritých typ· struktur jazykem dané logiky. Příkladem takové vlastnosti je kardinalita modálních model·, jejío nerozliitelnost ukazuje konstrukce disjunktního sjednocen í. Pro modální logiku má relace bisimulace velký význam jet také proto, oe objas ňuje její vztah ke klasické prvořádové logice. Krom bisimulace je zkoumán také souvisej ící pojem vázaného mor smu, který umooňuje převést výsledky o nede novatelnosti i na úroveň rámc·. ást o modální logice je předevím shrnutím obecn známých výsledk·, přiemo se snaoí objasnit jejich souvislosti, případn rozvést nkteré d·kazy, které se obvykle přecházejí jako zřejmé. U mén prozkoumané intuicionistické logiky bez kontrace spoívá znaná ást práce uo v samotné de nici její sémantiky a zajitní její funknosti. Také zde je ovem zavedena bisimulace i vázaný mor smus a na jejich konkrétních příkladech je naznaeno mooné vyuoití.
|
|
Útoky postranními kanály na čipové karty
Matějka, Jiří ; Morský, Ondřej (oponent) ; Martinásek, Zdeněk (vedoucí práce)
Práce se zabývá problematikou postranních kanálů čipových karet. Postranní kanály jsou novým směrem kryptoanalýzy. Na rozdíl od klasické kryptoanalýzy, která hledá nedostatky v matematické struktuře algoritmů, využívá analýza postranních kanálů nedokonalosti fyzické implementace algoritmů. Úvodní část práce popisuje čipové karty, jejich užití a zabezpečení. Podrobněji je zde zmíněna problematika kryptografických algoritmů a jejich implementace na čipové karty. Dále jsou zde popsány nejznámější postranní kanály včetně příkladů jejich zneužití. Praktická část práce je věnována návrhu laboratorní úlohy demonstrující útok výkonovým postranním kanálem na čipovou kartu. Pro tuto úlohu je navrženo kompletní laboratorní pracoviště, software pro měření a analýzu je implementován ve vývojovém prostředí LabVIEW. V závěru práce je tento útok zrealizován, jako jeho cíl je zvolena běžná SIM karta.
|
|
Studium stability monoklonální protilátky nimotuzumab modifikované chelátorem DOTA radioaktivně značené luteciem-177 ([177Lu]Lu-hR3(p-SCN-Bn)DOTA)
Petřík, Michal ; Lázníčková, Alice (vedoucí práce) ; Kubíček, Vladimír (oponent)
Zvýšená exprese genu pro receptor epidermálního růstového faktoru (EGF) a tím zvýšený počet receptorů (EGFR) na povrchu buněk úzce souvisí s nádorovým bujením těchto buněk a s nepříznivou prognózou pro pacienty s rakovinou. Z tohoto důvodu se EGFR staly jedním z hlavních terčů v terapii nádorů. Nimotuzumab (také známý jako h-R3) je humanizovaná monoklonální protilátka, která blokuje receptor pro epidermální růstový faktor. Předmětem této práce bylo stanovení radiochemické čistoty této protilátky konjugované s bifunkčním chelátorem DOTA a označené pomocí luthecia, případně její přečištění, a dále stanovení její stability v různých prostředích, v acetátovém pufru pH = 7, v prostředí nadbytku konkurenčního ligandu EDTA a v potkaní plazmě. Pro tyto úkoly byly použity vhodné analytické metody: vysokoúčinná kapalinová chromatografie, gelová permeační chromatografie a chromatografie na tenké vrstvě. Výsledky práce ukázaly, že tento způsob modifikace pro radioaktivní značení není vhodný pro velké bílkovinné struktury jako je Nimotuzumab.
|
|
Antioxidační aktivita extraktu Epimedium sp.
Brlicová, Radka ; Spilková, Jiřina (vedoucí práce) ; Kašparová, Marie (oponent)
Cílem diplomové práce bylo prokázat antioxidační aktivitu extraktu rodu Epimedium a shromáždit poznatky o hlavních obsahových látkách a biologické aktivitě druhů rodu Epimedium. Epimedii herba (neboli Yinyanghuo, Horny Goat Weed nebo Barrenwort) je jedna z nejznámějších a nejčastěji používaných rostlin v čínské medicíně pro její tonické, antirevmatické a afrodisiakální účinky. Hlavními obsahovými látkami jsou flavonoidy, alkaloidy, lignany a terpenické sloučeniny. Flavonoidy, ikariin, epimedin A, epimedin B, epimedin C a ikaritin, mají rozmanité účinky, např. antioxidační, estrogenní, osteogenní, antidepresivní, antianginální a antikancerogenní. K prokázání antioxidační aktivity methanolového extraktu a suchého vodného extraktu z nati Epimedium x rubrum jsem použila dvě metody, metodu měřící antioxidační aktivitu proti stabilnímu radikálu DPPH (difenylhydrazyl) a metodu měření antioxidační aktivity vůči superoxidu. Z měření jsem vypozorovala, že suchý vodný extrakt z nati má vyšší antioxidační aktivitu vůči DPPH než methanolový extrakt. Antioxidační aktivitu metodou zhášení superoxidu jsem měřila u suchého vodného extraktu drogy a roztoků rutinu, troloxu a kyseliny askorbové. Z měření jsem vypozorovala, že suchý vodný extrakt z drogy má mnohem vyšší antiradikálovou aktivitu vůči superoxidu než...
|
|
Internetová komunikace
Hubka, Michal ; Pokorný, Pavel (vedoucí práce) ; Přibil, Jiří (oponent)
Internetová komunikace je poslední dobou stále častějším nástrojem komunikace, oproti komunikaci běžné (jako telefonování, posílání dopisů apod.). Práce popsala vývoj internetové komunikace a zaměřila se také na její formy (formální a neformální). Na základě těchto forem práce také ukázala, jak vytvořit uživatelské jméno či avatar, hodící se pro danou komunikaci. Bakalářská práce se zaměřila na sociální síť Facebook, která je stále více populární. Poukázala na její historii, podmínky užívání a také popsala základní funkce. Facebook je také velmi vhodný komerční nástroj, a tak se práce zaměřila na ukázání možností komerčního využití této sociální sítě. Práce poukázala také na další sociální sítě, které sice nejsou tolik populární, ale také stojí za předvedení. Nejsou to ale jen sociální sítě, které by sloužily k internetové komunikaci. Naopak tato forma je mladší než například komunikátory, které také práce popsala a představila jejich funkce. Zaměřila se na nejznámější komunikátory jako ICQ, Skype, atd. Součástí práce je také anketa a její analýza, která se zaměřila na celkovou internetovou komunikaci. K práci byly také vytvořeny výzkumy. Jednak se zaměřily na zabezpečení účtů na Facebooku, dále na využití internetové komunikace firmami a v neposlední řadě na využití internetové komunikace na fakultě.
|
|
Ageismus a týrání seniorů
Budilová, Michaela ; Cimrmannová, Tereza (oponent) ; Ondrušová, Jiřina (vedoucí práce)
Cílem práce je teoretické zmapování problematiky ageismu a jeho extrémní formy, kterou představuje týrání seniorů. V první části práce je věnován prostor popisu ageismu jako závažnému sociálnímu problému, který pojímá věk jako základní organizační sociální strukturu a vidí v něm důvod k diskriminaci. Snažím se shrnout současné poznatky o zdrojích, motivech, kontextech, projevech a důsledcích tohoto jevu. Podrobněji se zabývám třemi základními ageismem zatíženými oblastmi veřejného života, jakými jsou trh práce, zdravotnictví a média. Ve druhé části práce se zaměřuji na krajní projev ageismu, na týrání seniorů. Popisuji vyskytující se formy týrání seniorů a pomocí kasuistik dokládám jeho zhoubnost a vysokou společenskou nebezpečnost. Shrnuji teoretické pojetí jevu, známé české výzkumy, možnost prevence a pomoci obětem s důrazem na aktivity sdružení ŽIVOT 90.
|
|
Sound Design: Walter Murch
Broum, Ivo ; Moudrý, Jiří (vedoucí práce) ; Čeněk, Jan (oponent)
Walter Murch je filmovým zvukařem a střihačem, který obohatil filmový slovník
o pojem Sound Design. Jeho filmografie zahrnuje legendární filmy, jako například
The Godfather, Apocalypse Now, THX1138 a další. Tento text se zabývá zvukovou
dramaturgií nejen těchto děl a zvukařskou tvorbou Waltera Murche obecně.
Murch také obohatil zvukovou tvorbu o pojem worldizing, proslul kreativní prací
s filmovou hudbou a je jedním z pionýrů vícekanálového zvuku ve filmu.
Další prostor je věnován samotnému pojmu Sound Design, vzniku, vývoji a sou-
časnému významu.
Na přiloženém DVD jsou obsaženy ukázky Murchovy práce. Na nich demonstruji
Murchův styl práce jak s jednotlivými zvukovými kategoriemi, tak s celkovou zvu-
kovou dramaturgií.
|
|
Sites and Consequences of Mitochondreal ROS Production
Mráček, Tomáš ; Houštěk, Josef (vedoucí práce) ; Pelouch, Václav (oponent) ; Kolarov, Jordan (oponent)
The thesis consists of 8 articles (6 published and 2 submitted), which may be divided into two major lines. The first (articles 1-4) deals with mitochondrial glycerophosphate dehydrogenase. We have shown that this enzyme is capable of massive ROS production and in the presented works we studied in more detail this ROS production as well as some aspects of enzyme biogenesis, so as to better understand its physiological significance. The second line (articles 5-8) represents our studies on the potential involvement of ROS in pathogenesis of mitochondrial diseases. 1. Glycerophosphate-dependent hydrogen peroxide production by brown adipose tissue mitochondria and its activation by ferricyanide; Drahota Z., Chowdhury SKR., Floryk D., Mráček T., Wilhelm J., Rauchová H., Lenaz G., Houštěk J.; J Bioenerg Biomembr. 2002; 34(2):105-13. Indeed, this was first article to demonstrate ROS production by mammalian mGPDH. We studied oxidation of glycerophosphate by brown adipose tissue mitochondria, which are known to contain high amounts of mGPDH. We found significant GP-dependent AA- stimulated production of H2O2. To further verify our findings, we used three independent methods for H2O2 measurement - fluorescence detection with p-hydroxyphenylacetic acid, antimycine A - insensitive oxygen consumption, and luminometric...
|
|
ENZYMATICKÉ STUDIE TVORBY ORGANOHALOGENOVANÝCH LÁTEK POMOCÍ MODELOVÝCH SUBSTRÁTŮ
Blažková, Ivona ; Tesařová, E. ; Forczek, Sándor
Výzkum v posledních letech prokázal, že se halogenované organické látky tvoří v přírodě vlivem\nbiotických a biotických procesů. Jedním z nejznámějších zdrojů těchto látek jsou reakce\nkatalyzované haloperoxidázami, k nimž patří i chloroperoxidáza (CPO) izolovaná\nz Caldariomyces fumago. CPO enzym byl inkubován s chloridem či bromidem, v přítomnosti\nperoxidu vodíku a organických substrátů. Byly provedeny pokusy se třemi substráty (aceton,\nkyselina octová a glukosa) a s různými koncentracemi halidů. Měření vzorků plynovou\nchromatografií s ECD detektorem prokázalo vliv povahy substrátu i koncentrace halogenidů na\ntvorbu organohalogenovaných produktů.
|
|
Mechanizmus inhibičního účinku kyseliny ethakrynové na růst viru vakcínie
Váchová, Barbora ; Mělková, Zora (vedoucí práce) ; Španielová, Hana (oponent)
Virus vakcínie (VACV) je celosvětově znám pro své využití v eradikační kampani proti viru varioly (VARV), původci pravých neštovic. Roku 1980 prohlásila WHO VARV za vymýcený a tímto rokem tak ukončila celoplošné očkování. Vzhledem k obavám ze zneužití varioly pro bioteroristické účely začaly některé země po roce 2001 opět očkovat vybrané skupiny obyvatelstva. Nově proto vyvstala otázka léčby nejen pravých neštovic, ale také postvakcinačních komplikací a následků přenosu VACV na běžnou populaci. V roce 2009 popsala laboratoř Dr. Mělkové inhibiční účinek kyseliny ethakrynové (EA) na růst VACV na úrovni exprese pozdních genů. Cílem mojí diplomové práce bylo provést detailnější studii účinku EA na pozdní proteosyntézu a na některé další fáze replikačního cyklu VACV. Ke splnění zadaného úkolu byly použity tyto metody: infekce tkáňových kultur, plaková zkouška, northern blot, slot blot, western blot, přímá i nepřímá imunofluorescence fixovaných buněk a fluorescence EGFP exprimovaného VACV v živých infikovaných buňkách. Prvním úkolem bylo zjistit, zda EA ovlivňuje transkripci, či translaci pozdních genů VACV. Naše výsledky ukazují, že EA nesnižuje hladinu pozdních mRNA VACV a pravděpodobně tedy účinkuje na úrovni jejich translace. Dále jsme se zabývaly studiem efektu EA na fáze následující po expresi...
|
host ::
