|
|
Vliv progesteronu na maternální imunitní systém v těhotenství
Škvorová, Anna ; Koucký, Michal (vedoucí práce) ; Černý, Jan (oponent)
Těhotenství představuje velkou výzvu pro maternální imunitní systém. Z imunologického pohledu je plod semi-alogenním štěpem. Mechanismy umožňující imunologický paradox tolerance plodu stále nejsou dostatečně známy a vyžadují další výzkum. Komplikovaná síť imuno-endokrinních interakcí zajišťuje růst a vývoj plodu uvnitř matčiny dělohy. Nezastupitelnou úlohu v těhotenství hraje progesteron. Cílem této práce je shrnout dosavadní poznatky o působení progesteronu na imunitní systém v těhotenství a jeho mechanismech. Progesteron může působit na cílové buňky pomocí klasických jaderných progesteronových receptorů, které fungují jako transkripční faktory, nebo různými jinými způsoby, včetně negenomové rychlé signalizace. Progesteron vytváří podmínky pro úspěšné početí a těhotenství, mění množství, lokalizaci a vlastnosti imunitních buněk a produkci cytokinů. Například redukuje antigen-prezentující kapacitu dendritických buněk, monocytů a makrofágů, potlačuje cytotoxicitu NK buněk, podporuje proliferaci děložních NK a dendritických buněk, ovlivňuje B lymfocyty a indukuje vznik T regulačních lymfocytů a jejich přísun na fetomaternální rozhraní. Široká škála imunomodulačních vlastností progesteronu zasluhuje další výzkum. Jejich lepší pochopení může vydláždit cestu k rozvoji vhodné diagnostiky a léčby...
|
|
|
Online Ramsey Theory
Dvořák, Pavel ; Valla, Tomáš (vedoucí práce) ; Koucký, Michal (oponent)
Online Ramseyho hra je hra dvou hráčů, označovanými jako Builder a Painter. V každém kole Builder postaví hranu grafu a Painter ji nabarví červeně nebo modře. Builder vyhraje, pokud se po nějakém kole objeví v nabarveném grafu jednobarevná kopie daného grafu H, jinak vyhraje Painter. V této práci zkoumáme výpočetní složitost odvozeného rozhodovacího problém a ukážeme, že je PSPACE-úplný. Navíc se zabýváme verzí hry, kdy Builder může stavět jen rovinné grafy, a zobecněním hry pro hypergrafy. Nalezli jsme novou třídu grafů nevyhnutelných na rovinných grafech. Ukázali jsme, že Builder vyhraje online Ramseyho hru na 3-uniformních hyperlesech, pokud je cílový graf H je 1-degenerovaný. 1
|
|
|
The Online Labeling Problem
Bulánek, Jan ; Koucký, Michal (vedoucí práce) ; Brodal, Gerth (oponent) ; Iacono, John (oponent)
Setříděné pole je zásadní algoritmický koncept, jehož online varianta je základem pro problém online labelingu. Problém online labelingu je definován následovně. Vstupem je pole velikosti m a posloupnost celých čísel z universa {1,...,r} v libovolném pořadí délky n. Naším úkolem je udržovat všechna přijatá čísla setříděná v poli. Mezi vloženými čísly mohou být mezery. Protože závěrečné pořadí čísel nelze určit, dokud nejsou vložena všechna, je povoleno čísla v poli přesouvat. Cílem je minimalizovat počet přesunů. Ukážeme dva algoritmy, které společně poskytují optimální řešení pro téměř všechny hodnoty m coby funkce n. Dokážeme těsné dolní odhady pro téměř všechny hodnoty m. Zavedeme notaci omezeného universa vstupní množiny čísel a dokážeme dolní odhady i pro tuto variantu. Dokážeme dolní odhady i pro případ randomizovaných algoritmů. Powered by TCPDF (www.tcpdf.org)
|
|
|
Functional Data Stuctures and Algorithms
Straka, Milan ; Dvořák, Zdeněk (vedoucí práce) ; Koucký, Michal (oponent) ; Brodal, Gerth (oponent)
Název práce: Funkcionální datové struktury a algoritmy Autor: Milan Straka Ústav: Informatický ústav Univerzity Karlovy Vedoucí doktorské práce: doc. Mgr. Zdeněk Dvořák, Ph.D, Informatický ústav Univerzity Karlovy Abstrakt: Funkcionální programování je rozšířené a stále více oblíbené programo- vací paradigma, které nachází své uplatnění i v průmyslových aplikacích. Datové struktury používané ve funkcionálních jazycích jsou převážně perzistentní, což znamená, že pokud jsou změněny, zachovávají své předchozí verze. Cílem této práce je rozšířit teorii perzistentních datových struktur a navrhnout efektivní implementace těchto datových struktur pro funkcionální jazyky. Bezpochyby nejpoužívanější datovou strukturou je pole. Ačkoli se jedná o vel- mi jednoduchou strukturu, neexistuje jeho perzistentní protějšek s konstantní složitostí přístupu k prvku. V této práci popíšeme zjednodušenou implementaci perzistentního pole s asymptoticky optimální amortizovanou časovou složitostí Θ(log log n) a především téměř optimální implementaci se složitostí v nejhorším případě. Také ukážeme, jak efektivně rozpoznat a uvolnit nepoužívané verze per- zistentního pole. Nejvýkonnější datové struktury nemusí být vždy ty, které jsou založeny na asymptoticky nejlepších strukturách. Z toho důvodu se také zaměříme na imple- mentaci...
|
|
|
Vztah koncentrace vybraných markerů zánětu a endotelové dyskunkce k předčasnému porodu a fetálnímu zánětu
Koucký, Michal ; Hájek, Zdeněk (vedoucí práce) ; Krofta, Ladislav (oponent) ; Živný, Jan (oponent)
Dizertační práce je zaměřena na úlohu zánětu v patogenezi předčasného porodu. V první části práce jsme se popsali současný náhled na patofyziologii předčasného porodu. V druhé části jsme se zabývali hodnocením vztahu vybraných markerů zánětu a endotelové dysfunkce k předčasnému porodu a fetální zánětlivé odpovědi. Nejvýznamnějšími zjištěními naší práce bylo snížení hladin matrixmetaloproteinázy-2 ( MMP-2 ) a snížení hladin sRAGE ve skupině žen s předčasným porodem proti kontrolní skupině těhotných. Podobně jsme prokázali snížení hladin MMP-2 u žen s následně diagnostikovanou fetální zánětlivou odpovědí. sRAGE je současnosti řazen mezi patttern recognition receptors. V případě sRAGE jsme navázali na výsledky našeho pilotního projektu, kdy lze předpokládat, že za jeho nízkými hladiny stojí konzumpce produkty poškození tkání. Potvrdili jsme tak, že hraje důležitou roli v patogenezi předčasného porodu. U MMP-2 předpokládáme abnormální regulační mechanismy tvorby tohoto enzymu. V obou případech bude však potřeba dalších prací k osvětlení funkčního významu našich výsledků.
|
|
|
DPLL algorithm and propositional proofs
Hrnčiar, Maroš ; Krajíček, Jan (vedoucí práce) ; Koucký, Michal (oponent)
Dôkazová zložitosť je zaujímavá súčasť matematiky nachádzajúca sa na pomedzí obrovskej oblasti logiky a teórie zložitosti. Skúma aké dôkazové systémy sú potrebné na efektívne dokazovanie rôznych matematických tvrdení. Predmetom tejto práce je spojenie medzi dôkazovými systémami a algoritmami na SAT. Uvidíme, že beh algoritmu na nesplniteľnej formule môže byť nahliadnutý ako výrokový dôkaz jej nesplniteľnosti, čím samotný algoritmus prakticky definuje celý dôkazový systém. Práca je určená najmä čitateľom so záujmom o dôkazovú zložitosť, ale dokáže aj samostatne objasniť princíp rezolúcie, či ponúknuť menej obvyklý pohľad na SAT, no zároveň predpokladá čitateľovu znalosť základov výrokovej logiky, teórie grafov a zložitosti.
|
|
|
Komunikační složitost
Wagner, Vojtěch ; Krajíček, Jan (vedoucí práce) ; Koucký, Michal (oponent)
Název práce: Komunikační složitost Autor: Vojtěch Wagner Katedra: Katedra algebry Vedoucí bakalářské práce: prof. RNDr. Jan Krajíček, DrSc. Abstrakt: Práce se zabývá teorií komunikační složitosti, která uvažuje model dvou (popř. více) hráčů, každý z nich vlastní binární vstup (x, resp. y), o němž má informaci pouze on sám. Jejich společným cílem je spočítat hodnotu něja- ké funkce f(x, y) na daných vstupech. Komunikační složitost pak měří množství informace vyměněné mezi hráči při jejich snaze spočítat f(x, y). Práce zkoumá především dva hlavní modely - deterministický model, v němž je rozhodování hráčů vždy jednoznačné a hráči spočítají vždy správnou hodnotu a pravděpo- dobnostní přístup, ve kterém je povolena náhodnost a snahou hráčů je spočítat hodnotu f(x, y) s dostatečně velkou pravděpodobností. Jsou uvedeny základní pojmy modelů a metody spodních odhadů pro dokazování komunikační složitosti funkcí. Vše je ilustrováno na příkladech několika základních funkcí. Další část je věnována příkladům náročnějším a v praxi použitelným, u nichž je řešena otázka jejich komunikačí složitosti jak deterministické, tak pravděpodobnostní. Klíčová slova: komunikační složitost, deterministický model, pravděpodobnost- ní model, spodní odhady komunikační složitosti. 1
|
|
|
Datové struktury pro setříděné ukládání dat
Bulánek, Jan ; Koucký, Michal (vedoucí práce) ; Kráľ, Daniel (oponent)
V předložené práci studujeme dvě varianty přihrádkovací hry. Tato hra je použita v důkazu spodniho odhadu časové složitosti vkládání prvků do setříděného pole. Ukážeme, že tyto varianty přihrádkovací hramy jí až na konstantní faktor ekvivalentní časovou složitost. Dále ukážeme výhody použití setříděných polí z hlediska vyrovnávacích pamětí. Na závěr ukážeme jednu možnou implementaci vyhledávání datové struktury s použití velikosti n1+e.
|
|
| |
|
| |
host ::
RSS.