|
|
Learning of analysis by reduction
Čejka, Josef ; Mráz, František (vedoucí práce) ; Hoffmann, Petr (oponent)
Obsahem předložené práce je výzkum učení redukční analýzy. Redukční analýza je metoda pro zjišt'ování syntaktické správnosti věty pomocí jejího postupného zjednodušování až do podoby, o jejíž správnosti je snadné rozhodnout. Modelem redukční analýzy jsou takzvaně restartovací automaty. Tato práce se zabývá učením restartovacích automatů ze vstupu tvořeného množinou příkladů a protipříkladů slov a příkladů a protipříkladů redukcí. V rámci této práce byl navržen a implementován systém pro učení redukční analýzy pro formální jazyky pomocí genetických algoritmů s využitím předpokladu, že možné redukce se dají popsat pomocí vhodné omezených regulárních jazyků, takzvaných striktně lokálně testovatelných jazyků. Součástí práce jsou i experimenty s navrženým systémem na vybraných jazycích.
|
|
|
Clearing Restarting Automata
Černo, Peter ; Mráz, František (vedoucí práce) ; Hoffmann, Petr (oponent)
Restartovací automaty byly navrženy jako model pro redukční analýzu, která představuje lingvisticky motivovanou metodu pro kontrolu korektnosti věty. Cílem práce je studovat omezenější modely restartovacích automatů, které smí vymazat podřetězec nebo jej nahradit speciálním pomocným symbolem, jenom na základě omezeného lokálního kontextu tohoto podřetězce. Tyto restartovací automaty se nazývají clearing restarting automata. V práci jsou taktéž zkoumány uzávěrové vlastnosti těchto automatů, jejich vztah k Chomskeho hierarchii a možnosti učení těchto automatů na základě pozitivních a negativních příkladů.
|
|
|
Porovnávání struktur RNA
Zimmermann, Jan ; Mráz, František (vedoucí práce) ; Hoffmann, Petr (oponent)
Sekvence RNA na rozdíl od DNA mohou vytvářet složité sekundární struktury. V předložené práci stanovujeme postupy pro automatické hledání podobností mezi sekvencemi RNA. Podobnosti chápeme nejen na základě sekvence bází tvořící RNA, ale též na základě jejich sekundárních struktur. Cílem práce je vymyslet a implementovat metody pro zkracování různorodých sekvencí, které jsou načteny z různých zdrojů. Definujeme pojmy strukturální alignment, strukturální profil a strukturální konsenzus, které jsou odpovídajícím rozšířením pojmů alignment sekvencí, profil sekvencí a konsenzus sekvencí. Součástí práce je aplikace RNAcut. Umí dávkově ořezat sekvence RNA na základě jejich primární a sekundární struktury a tím by měla usnadnit práci biologům. V aplikaci RNAcut implementujeme většinu algoritmů, které popisujeme v této práci.
|
|
| |
|
|
Bytový dům Skalky
Svobodová, Olga ; Hoffmann, Petr (oponent) ; Brzoň, Roman (vedoucí práce)
Bakalářská práce řeší projekt bytového domu ve Svitávce. Bytový dům má celkem 10 bytových jednotek. Má čtyři nadzemní a jedno podzemní podlaží. V podzemním podlaží je umístěna technická místnno jost a sklepní kóje. Obvodová nosná konstrukce suterénu je navržena jako monolitická z železobetonu. Obvodové zdivo nadzemní části objektu je řešeno z keramických tvárnic Heluz doplněných kontaktním zateplovacím systémem podle zásad ETICS. Vodorovné nosné konstrukce jsou navrženy jako monolitické z železobetonu. Celý objekt je zastřešen jednoplášťovou plochou střechou se spádovou vrstvou z tepelné izolace.
|
|
|
Rodinný dům v Rybanoch
Sokolík, Patrik ; Hoffmann, Petr (oponent) ; Brzoň, Roman (vedoucí práce)
Obsahom bakalárskej práce je vypracovanie projektovej dokumentácie pre návrh rodinného domu nachádzajúceho sa v obci Rybany, na Slovenku. Jedná sa o samostatne stojaci rodinný dom čiastočne podpivničený, s dvoma nadzemnými poschodiami. Objekt rodinného domu je navrhnutý ako jednogeneračný. Konštrukčný systém je murovaný zo strateného debnenia Velox. Objekt je zastrešený vegetačnou plochou strechou. Výkresová časť je spracovaná v počítačovom programe ArchiCAD.
|
|
|
Bytový dům v Humpolci
Novák, Tomáš ; Hoffmann, Petr (oponent) ; Brzoň, Roman (vedoucí práce)
Bakalářská práce řeší návrh bytového domu s prodejnou kol ve městě Humpolec. Práce obsahuje kompletní dokumentaci pro provádění stavby, posouzení z hlediska stavební fyziky a požární ochrany staveb. Objekt je rozdělen do dvou provozních celků. První celek je prodejna kol, kde nechybí zázemí pro zaměstnance a servis kol. Druhý celek je tvořen jednotlivými byty a jejich zázemím. V suterénu jsou sklepní kóje pro jednotlivé byty, technická místnost a dílna. V přízemí se nachází bezbariérový byt o dispozici 2+kk. Druhé nadzemní podlaží je tvořeno čtyřmi byty. Dva o dispozici 1+kk a dva s dispozicí 2+kk. V posledním nadzemním užitném podlaží jsou dva byty s dispozicí 3+kk určené pro 4-5ti člennou rodinu. Dům je zděný, kde svislé konstrukce v podzemním podlaží jsou z betonových tvárnic prolévaných betonem. Nadzemní svislé konstrukce jsou z keramických tvárnic Porotherm. Vodorovné konstrukce jsou z předpjatých stropních panelů Spiroll. Střecha je dvouplášťová a její nosnou konstrukci tvoří dřevěné příhradové vazníky uložené na obvodových stěnách.
|
|
|
Perkutánní radiofrekvenční ablace v léčbě nádorů ledviny
Hoffmann, Petr ; Krajina, Antonín (vedoucí práce) ; Janík, Václav (oponent) ; Hořejš, Josef (oponent)
Perkutánní radiofrekvenční ablace v léčbě nádorů ledviny Cíl: Retrospektivně zhodnotit technickou úspěšnost a bezpečnost perkutánní radiofrekvenční ablace u osob s nádorovým onemocněním ledvin, prokázat efektivitu metody ve střednědobém a dlouhodobém časovém horizontu a začlenit tuto terapeutickou alternativu do stávajícího léčebného schematu. Materiál a metoda: V období mezi únorem 2006 a koncem října 2013 bylo provedeno 91 procedur perkutánní radiofrekvenční ablace u 64 pacientů pro 68 renálních tumorů velikosti 12 až 60 mm v maximálním rozměru (medián 27 mm). Tyto intervenční výkony byly prováděny pod kontrolou výpočetní tomografie, přičemž v 5 případech byla navíc použita technika CT skiaskopie. Léčeno bylo 41 mužů a 23 žen ve věku 52 až 85 let (medián 76 let). Mezi indikované se zařadily renální tumory u pacientů se solitární ledvinou (14 expanzí) a nádory pacientů s vícečetnými komorbiditami, které nemocné diskvalifikovaly z radikálního chirurgického zákroku (54 expanzí) pro výrazně rizikovou celkovou anestezii. Zákroky byly prováděny standardní technikou instrumentáriem se samoexpandibilními elektrodami v lokální anestezii a analgosedaci vedené anesteziologem. Sledování pacientů po provedených procedurách bylo založeno na pravidelných zobrazovacích, klinických a laboratorních kontrolách, při...
|
|
|
Machine learning of analysis by reduction
Hoffmann, Petr ; Mráz, František (vedoucí práce) ; Otto, Friedrich (oponent) ; Průša, Daniel (oponent)
Práce se zabývá učením modelů redukční analýzy, která je důležitým nástrojem pro zpracování vět přirozeného jazyka. Dokazujeme, že hledání malých modelů na základě pozitivních a negativních příkladů je NP-těžké oproti úloze uvažující pouze pozitivní příklady, pro kterou navrhujeme efek- tivní algoritmus. Navrhujeme model redukční analýzy (tzv. single k-reversi- bilní restartovací automat) a metodu pro jeho učení z pozitivních příkladů redukčních analýz. Ukazujeme, že síla tohoto modelu leží mezi rostoucími kontextovými jazyky a kontextovými jazyky. Dále navrhujeme metodu pro testování učících algoritmů, která pracuje s cílovými jazyky založenými na náhodných automatech. Ta je následně použita na otestování naší učící metody. Navíc ukazujeme několik omezení testovacích metod používajících cílové jazyky založené na gramatikách. 1
|
|
| |
host ::
RSS.