|
|
Usnadnění přístupu k odborné literatuře
Fišer, Dominik ; Hoffmann, Petr (oponent) ; Žemlička, Michal (vedoucí práce)
Cílem této práce je zrychlení přístupu k odborným článkům a usnadnění práce čtenářům i knihovníkům při jejich hledání. Na základě analýzy požadavků uživatelů a knihovníků byla navržena a následně vytvořena aplikace, která je veřejně přístupná přes webové rozhraní. Aplikace poskytuje jednotné vyhledávací rozhraní nad prohledávanými zdroji, kterými jsou nejrůznější článkové databáze a katalogy. Aplikace je postavena na servisněorientované architektuře. Jednotlivé komponenty využívají pro komunikaci otevřený protokol HTTP 1.1 a pro datové přenosy formáty založené na XML.
|
|
|
Learning of analysis by reduction
Čejka, Josef ; Hoffmann, Petr (oponent) ; Mráz, František (vedoucí práce)
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.
|
|
|
Porovnávání struktur RNA
Zimmermann, Jan ; Hoffmann, Petr (oponent) ; Mráz, František (vedoucí práce)
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.
|
|
|
Searching for similar secondary structures in RNA
Vojtek, Daniel ; Hoffmann, Petr (oponent) ; Mráz, František (vedoucí práce)
Reťazce RNA na rozdiel od DNA môžu vytvárať zložité sekundárne štruktúry, ktoré významne ovplyvňujú ich vlastnosti. Cieľom tejto práce bolo vytvorenie aplikácie, ktorá umožňuje do detailov navrhnúť vzor sekundárnej štruktúry RNA a následne v danej množine sekvencií RNA vyhľadať reťazce s podobnými sekundárnymi štruktúrami. Aplikácia má aj priamy prístup do databázy GenBank, z ktorej sa na základe užívateľom zadaného dotazu sťahujú sekvencie RNA. Sekvenciám bez sekundárnej štruktúry sa táto dopočíta pomocou funkcií prevzatých z Vienna RNA Package. Súčasťou aplikácie je grafické rozhranie, v ktorom je možné vzor pohodlne navrhnúť, ako aj prehliadať nájdené podobné sekundárne štruktúry. Práca obsahuje úvod do problematiky hľadania sekundárnych štruktúr RNA a jeho možné využitie pri tvorbe fylogenetických stromov. Súčasťou práce je aj popis všetkých najdôležitejších postupov, ktoré boli použité.
|
|
|
Sada nástrojů pro manipulaci s bibliografickými údaji
Hlušičková, Šárka ; Hoffmann, Petr (oponent) ; Žemlička, Michal (vedoucí práce)
V předložené práci se zabýváme konvrzí záznamů mezi několik vybranými biblografickými formáty a tvorbou bibliografických citací. U konverzí jsme se zaměřili především n formáty, které jsou nativní pro nejrozšířenější citační aplikace nebo je lze snadno importovat. Konkrétně jsou to BibTeX format (BibTeX), RIS format (Reference Manager, Procite, EndNote) a Tagged "EndNote Import" (EndNote). Aplikace též podporuje konverze z formátu MARC 21, v němž jsou uloženy záznamy o dokumentech v databázích knihoven. Tvorba bibliogra ckých citací se řídí pravidly norem ČSN ISO 960 a ČSN ISO 960-2 a je zaměřena na vytváření seznamů použité literatury, tzn. celých odkazů na dokumenty, nikoli na citace obsažené v textu.
|
|
|
Databáze sekundárních struktur RNA
Tattermusch, Jan ; Mráz, František (vedoucí práce) ; Hoffmann, Petr (oponent)
V předložené práci studujeme primární a sekundární struktury RNA a stanovujeme vhodné modely pro jejich počítačové vyjádření. Dále stanovujeme kritéria pro výběr metod na porovnávání primárních a sekundárních struktur a na jejich základě jsme vybrali metodu tree alignmentu jakožto vhodný prostředek pro implementaci strukturálního vyhledávání s tím, že zmiňujeme některá speci fika problému strukturálního vyhledávání a navrhujeme některé možné modifi kace zrychlující vyhledávání. Součástí práce je webová aplikace "Databáze sekundárních struktur RNA", která implementuje strukturální a sekvenčně strukturální vyhledávání.
|
|
|
ACT-R in Pogamut
Zemčák, Lukáš ; Hoffmann, Petr (oponent) ; Brom, Cyril (vedoucí práce)
Akým sposobom je mozog organizovaný tak, že dovol'uje vedomie? Adaptive Control of Thought-Rational (ACT-R) je kognitívna architektúra snažiaca sa odpovedat' na túto otázku. Je inšpirovaná Fodorovou modulárnou architektúrou a súčasným pokrokom na poli kognitívnej neurovedy. Často je výhodné skúmat' správanie kognitívnych architektúr na virtuálnych bytostiach. Pogamut je platforma, ktorá je navrhnutá na zjednodušenie vytvárania a ladenia umelých bytostí. Pogamut používa hru Unreal Tournament 2004 ako virtuálny svet. Prvá čast' práce sa zaoberá teóriou ACT-R a jej vysvetlením l'udskej mysle, druhá predstavuje Pogamut a tretia hovorí o implementácii ACT-R rozšírenia do Pogamutu.
|
|
|
Nástroj pro testování algoritmů pro učení jazyků
Krejčová, Martina ; Kukačka, Marek (oponent) ; Hoffmann, Petr (vedoucí práce)
Úkolem gramatické inference je nalezení pravidelností v datech. Je-li pro data z techto odpozorovaných pravidel vytvoren model, mužeme pomocí tohoto modelu data napríklad zkomprimovat, vytvorit data nová, která budou tato pravidla také splnovat, ci mužeme urcit, která data tomuto modelu odpovídají a která ne. Cílem této práce bylo vytvorit testovací prostredí pro algoritmy gramatické inference bezkontextových jazyku. Model dat v našem prostredí tvorí bezkontextové gramatiky. Je zde popsán postup generování gramatik a následne generování dat, z kterých se algoritmus muže pokusit bezkontextový jazyk naucit. Za úcelem srovnání úspešnosti algoritmu na datech generovaných z více ruzných bezkontextových gramatik je rešen pojem složitosti bezkontextových gramatik. Dále je navrženo nekolik variant vyhodnocení úspešnosti algoritmu.
|
|
|
Učení restartovacích automatů genetickými algoritmy
Hoffmann, Petr
S OBSMi Nazev praee: I'cenie restartovacich ;mtornafov gemitickymi algoritrnami Autor: Pel r Hoffmann Katedra: Kabinet vyuky software a inlbrmat.iky Vedouci diplomove prace: RNDr. Frantisck Mrax. C'Sc. e-mail vedouciho: inrazM'ksvi.mff.enni.c/ Abstrakt: Rostartuvaci automat, je sponalni typ Imenrne omezoneho au- tomata, urceny pro modelovam lak/vane redukcm analyxy. Redukcm analyxa slouzi pro provadoiif syntakt.ieke analyxy vet pfiro/encho ja/yka. Pfi ni jsou very rozvitc post.upne. xjednodusovany, doknd in^lojdo k xfskani very hole. <:i k nalc-'/eii! chyhy. Taro pra<-e se /nhyva vyu/iii'm genetickyrh algoritmu (obecnych opt.imalizacnich al^oritinn] |>ro uceni reslariovacich automat li ro/~ po/navat dany ja/,yk (provadet redukeni analv/n jeho s!ov). Toto uceni probi- ha na zak3a.de vstupu sostavajiciho /. pfikladu slov '/ ja/yka, ph'kla<lu slov z je- ho doplnku a z pfikladu doporueenych a zaka/anyi:h redukci (tj. /jednodnseni slov jazyka). Pro otcsiovani schopnosti navrzenyeU po.slupu je navr/en al- goritnms pro automatix-ovane generovani slov x ja/yka, slov /. dopliiku a do- porucenyeh a /akaxanych redukci (na /aklade dane gramaliky gcnerujici dany jaxyk). ktere jsou nasledne vyu/ity ve statislickych experimented} jako testo- vaci vstup pro ucem' restartovaci'ch automatu. Prace je vy/namna pfedevsirn...
|
|
|
Dopady Transatlantického obchodního a investiční partnerství na Evropu a Spojené státy americké
Hoffmann, Petr ; Žamberský, Pavel (vedoucí práce) ; Jiránková, Martina (oponent)
Tato diplomová práce se zabývá problematikou Transatlantického obchodního a investiční partnerství a jeho dopadem na Evropu a Spojené státy americké. Podrobný pohled na dané téma by měl přinést odpovědi na otázky týkající se nejdiskutovanější obchodní smlouvy se kterou jsme se setkali v 21. století. Práce je zaměřena na porovnání současného stavu vzájemného obchodu mezi Evropou a Spojenými státy americkými s očekávanými dopady dohody. Zabývá se kromě obecného konceptu TTIP, jeho výhod a nevýhod, rovněž procesem vyjednávání a ratifikace.
|
host ::
RSS.