|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných vláken. Takové specifikace spolu s modely možných prostředí způsobí nekonečnost stavového prostoru analýzy, který obsahuje velké množství symetrií, způsobených replikací vláken. V práci je navžena technika analýzy takových modelů, která redukuje symetrie s použitím abstrakce zvané Symbolic Counter Abstraction. Pro její použití je však nutné převést vlastnosti modelu na problém dosažitelnosti stavů vláken. Navrhovaná technika je bezpečná ve smyslu odhalení všech chyb v modelu. Na druhou stranu může způsobovat tzv. spurious erros, tj. chyby které neodpovídají skutečným chybám v modelu. Tyto chyby jsou v práci dobře identifikovány a dále jsou nastíněny způsoby jejich redukce. Práce navíc může představovat malý krok směrem k podpoře dynamického vytváření vláken v TBP specifikacích.
|
|
|
Metodologické inovace v psychologickém výzkumu
Frollová, Nikola ; Vranka, Marek (vedoucí práce) ; Fabianová, Ivana (oponent)
Rok 2012 otevřel intenzivní diskusi o metodologických problémech psychologického výzkumu, jež vedou k nadměrné publikaci málo spolehlivých a replikovatelných výsledků. Navrhovaná zlepšení spočívají zejména v realizaci replikačních studií, otevřeného sdílení dat, omezování "stupňů volnosti výzkumníka" a zlepšení porozumění a aplikace statistických metod pro analýzu dat. Bakalářská práce má za cíl zmapovat zmíněné problémy, navrhovaná řešení jako i jejich možnou kritiku a problémy s implementací do praxe. Návrh výzkumu spočívá v měření prevalence sporných vědeckých postupů mezi psychology v České republice.
|
|
|
Structural and functional study of viral RNA polymerases
Dubánková, Anna
Virové RNA dependentní RNA polymerázy (RdRp) jsou enzymy nezbytné pro množení RNA virů. Obecná funkce RdRp je pro všechny RNA viry stejná: RdRp rozpozná virovou RNA, nasedne na ni a syntetizuje komplementární řetězec RNA. Série těchto kroků je pro virovou infekci naprosto nepostradatelná. Je důležité si uvědomit, že neinfikovaná buňka RNA nereplikuje. Hostitelská buňka přirozeně neexprimuje žádné RdRp. Pro můj výzkum jsem si vybrala RdRp, protože jsou nezbytné pro virovou replicakci a tudíž excelentní cíl pro virovou terapii. V této studii jsou do hloubky charakterizovány polymerázy z rodiny picornavirů a flavivirů. Picornavirová replikace je lokalizovaná ve viry indukovaných, membránových strukturách, které nazýváme replikační organely (RO). V těchto RO je virová polymeráza lokalizovaná na membráně. Nalezli jsme podmínky, ve kterých se polymeráza váže na membránu. Následně byla studována aktivace picornavirových polymeráz, která je indukována inzercí první aminokyseliny do středu proteinu. V této studii jsou rovněž diskutovány RdRp z rodiny flavivirů, konkrétně z viru žluté zimnice (YFV) a Zika viru (ZIKV). Studie prezentuje první strukturu polymerázy z YFV (v plné délce) a model ZIKV polymerázy v komplexu s RNA. Model ZIKV poskytuje strukturní informaci o aktivním místě potřebnou k "dockingu" ligandů.
|
|
|
Analysis of Interface Automata with On-Demand Replication
Daniel, Jakub ; Kofroň, Jan (vedoucí práce)
Interface automat je model chování softwarové komponenty založený na koneč- ných automatech. Popisuje její poskytovaná rozhraní neboli podporované použití a požadovaná rozhraní neboli použití ostatních komponent. Značný počet kompo- nent může být použit paralelně bez omezení úrovně paralelismu. Není nutné, aby se model pokoušel zachytit tuto neomezenost. Alternativním přístupem je umož- nit zvyšování úrovně paralelismu na vyžádání. Tato práce na teoretické úrovni analyzuje a navrhuje konečnou podobu operace k zajištění tohoto typu replikace s cílem umožnit konstrukci modelů libovolné úrovně paralelismu v určitých čás- tech jejich chování.
|
|
| |
|
|
Vznik komplexních chromozomových přestaveb v nádorových buňkách a jejich význam
Rochlová, Kristina ; Zemanová, Zuzana (vedoucí práce) ; Rothová, Olga (oponent)
Chromoanageneze je souhrnné označení recentně popsaných katastrofických událostí vedoucích ke vzniku komplexních karyotypů. Tyto události se dle charakteristických znaků dělí na chromothripsis, chromoplexis a chromoanasynthesis. Chromothripsis představuje rozpad chromozomů nebo jejich částí až na stovky malých fragmentů. Ty jsou posléze znovu chybně spojovány. Přestavby typu chromoplexis se od chromothripsis příliš neliší. Hlavní rozdíl představuje nižší počet zlomových míst a distribuce aberací v celém genomu. Během chromoanasynthesis dochází k chybným replikačním procesům, jejichž následkem vznikají četné strukturní varianty. Existuje několik mechanizmů zodpovědných za vznik zlomů v molekule DNA. V případě chromothripsis je pravděpodobně nejdůležitějším mechanizmem formace mikrojádra. U chromoplexis má hlavní roli transkripční stres. Replikační stres je spjat s chromoanasynthesis. Výsledkem všech těchto procesů jsou vysoce přestavěné chromozomy s četnými ztrátami, nebo zisky genetického materiálu. Tato práce shrnuje současné poznatky o uvedených mechanizmech vzniku komplexních aberací. Zároveň představuje souvislost mezi komplexním karyotypem a klonálním vývojem buněk. Dále jsou uvedeny cytogenomické metody používané k detekci chromozomových abnormalit včetně jejich charakteristiky.
|
|
| |
|
|
Metabolická kontrola buněčného cyklu u bakterií
Valtová, Aneta ; Lichá, Irena (vedoucí práce) ; Fišer, Radovan (oponent)
Metabolická kontrola buněčného cyklu je u bakterií již dlouho studována, ale zdaleka není zcela objasněna. Mechanismy popsané již několik desetiletí se podařilo popsat detailněji a byla objevena nová propojení mezi základním metabolismem a samotným procesem dělení buněk. Regulace buněčného cyklu v závislosti na metabolismu a nutričních podmínkách probíhá na všech stupních cyklu. Nejvíce je prostudováno na úrovni vytváření bakteriálního divisomu. Nutriční deprivace vyvolávají stresové odpovědi, při kterých se uplatňují nízkomolekulární látky, které se účastní v signálních drahách, a které buněčný cyklus regulují. Jedna z nejvíce studovaných je molekula guanosin(penta)tetrafosfátu (p)ppGpp, která ovlivňuje buněčný cyklus na úrovni exprese genů, na úrovni proteinů zúčastněných v procesu vytváření divisomu, i na úrovni replikace. Současné výzkumy odhalily, že některé enzymy s již známou enzymatickou funkcí v hlavních metabolických drahách (glykolýzy či TCA), fungují i jako senzory, které přenášejí signál o nutriční změně přímo do dělícího aparátu buňky. Tyto enzymy nejčastěji regulují tvorbu Z prstence ovlivněním funkce proteinu FtsZ nebo jeho pomocných proteinů a byly nalezeny v grampozitivních (Bacillus subtilis) i gramnegativních bakteriích (Escherichia coli, Caulobacter crescentus). V neposlední...
|
|
|
Structural and functional study of viral RNA polymerases
Dubánková, Anna
Virové RNA dependentní RNA polymerázy (RdRp) jsou enzymy nezbytné pro množení RNA virů. Obecná funkce RdRp je pro všechny RNA viry stejná: RdRp rozpozná virovou RNA, nasedne na ni a syntetizuje komplementární řetězec RNA. Série těchto kroků je pro virovou infekci naprosto nepostradatelná. Je důležité si uvědomit, že neinfikovaná buňka RNA nereplikuje. Hostitelská buňka přirozeně neexprimuje žádné RdRp. Pro můj výzkum jsem si vybrala RdRp, protože jsou nezbytné pro virovou replicakci a tudíž excelentní cíl pro virovou terapii. V této studii jsou do hloubky charakterizovány polymerázy z rodiny picornavirů a flavivirů. Picornavirová replikace je lokalizovaná ve viry indukovaných, membránových strukturách, které nazýváme replikační organely (RO). V těchto RO je virová polymeráza lokalizovaná na membráně. Nalezli jsme podmínky, ve kterých se polymeráza váže na membránu. Následně byla studována aktivace picornavirových polymeráz, která je indukována inzercí první aminokyseliny do středu proteinu. V této studii jsou rovněž diskutovány RdRp z rodiny flavivirů, konkrétně z viru žluté zimnice (YFV) a Zika viru (ZIKV). Studie prezentuje první strukturu polymerázy z YFV (v plné délce) a model ZIKV polymerázy v komplexu s RNA. Model ZIKV poskytuje strukturní informaci o aktivním místě potřebnou k "dockingu" ligandů.
|
|
|
Structural and functional study of viral RNA polymerases
Dubánková, Anna ; Bouřa, Evžen (vedoucí práce) ; Bařinka, Cyril (oponent) ; Plevka, Pavel (oponent)
Virové RNA dependentní RNA polymerázy (RdRp) jsou enzymy nezbytné pro množení RNA virů. Obecná funkce RdRp je pro všechny RNA viry stejná: RdRp rozpozná virovou RNA, nasedne na ni a syntetizuje komplementární řetězec RNA. Série těchto kroků je pro virovou infekci naprosto nepostradatelná. Je důležité si uvědomit, že neinfikovaná buňka RNA nereplikuje. Hostitelská buňka přirozeně neexprimuje žádné RdRp. Pro můj výzkum jsem si vybrala RdRp, protože jsou nezbytné pro virovou replicakci a tudíž excelentní cíl pro virovou terapii. V této studii jsou do hloubky charakterizovány polymerázy z rodiny picornavirů a flavivirů. Picornavirová replikace je lokalizovaná ve viry indukovaných, membránových strukturách, které nazýváme replikační organely (RO). V těchto RO je virová polymeráza lokalizovaná na membráně. Nalezli jsme podmínky, ve kterých se polymeráza váže na membránu. Následně byla studována aktivace picornavirových polymeráz, která je indukována inzercí první aminokyseliny do středu proteinu. V této studii jsou rovněž diskutovány RdRp z rodiny flavivirů, konkrétně z viru žluté zimnice (YFV) a Zika viru (ZIKV). Studie prezentuje první strukturu polymerázy z YFV (v plné délce) a model ZIKV polymerázy v komplexu s RNA. Model ZIKV poskytuje strukturní informaci o aktivním místě potřebnou k "dockingu" ligandů.
|
host ::
RSS.