Národní úložiště šedé literatury Nalezeno 27 záznamů.  1 - 10dalšíkonec  přejít na záznam: Hledání trvalo 0.00 vteřin. 
Obecná karetní hra s uživatelsky definovanými pravidly
Bilanský, Michal ; Babka, Martin (vedoucí práce) ; Marek, Lukáš (oponent)
Cílem práce je navrhnout a implementovat obecnou karetní hru pro více hráčů. Pravidla hry jsou definována uživatelem pomocí dostupné sady pravidel a příkazů. Hra probíhá po síti, součástí je i jednoduchá umělá inteligence umožňující lidský faktor nahradit počítačem. Program bude vytvořen pro .NET na platformě Windows v programovacím jazyku C#. Powered by TCPDF (www.tcpdf.org)
MCTS pro hru Metro
Venta, Václav ; Hric, Jan (vedoucí práce) ; Babka, Martin (oponent)
Metoda MCTS byla poprvé představena v roce 2006 a okamžitě uspěla ve hře GO. Její největší výhodou je, že nepotřebuje ohodnocovací funkci, která se ve spoustě her často obtížně navrhuje. Místo toho je založena na náhodných simulacích. Tato práce popisuje principy metody MCTS a zabývá použitelností MCTS v deskové hře Metro. V textu jsou popsány vlastnosti hry Metro, díky kterým je pro metodu MCTS vhodná. Součástí práce je software Metro sloužící jako herní prostředí upravené Metro. V něm je naimplementována umělá inteligence založená na metodě MCTS. Powered by TCPDF (www.tcpdf.org)
Workflow management systém pro řízení redakce
Pospíšil, Martin ; Kopecký, Michal (vedoucí práce) ; Babka, Martin (oponent)
Nazev prace: Workflow management system pro fizeni redakce Autor: Martin Pospisil Katedra / Ustav: Katedra softwaroveho inzenyrstvi Vedouci bakalafske prace: RNDr. Michal Kopecky, Ph.D., Katedra softwaroveho inzenyrstvi Nazev prace: Workflow management system pro fizeni redakce Autor: Martin Pospisil Katedra / Ustav: Katedra softwaroveho inzenyrstvi Vedouci bakalafske prace: RNDr. Michal Kopecky, Ph.D., Katedra softwaroveho inzenyrstvi Abstrakt: Obsahem prace je navrh a implementace redakcniho systemu podporujiciho fizeni procesu ve spolecnosti zabyvajici se provozovanim webovych portalu zamefenych na tematiku lekafske vedy a mediciny. Cilem je zefektivnit praci redakce, zpfehlednit jeji fizeni tak, aby ubylo manualnich cinnosti, ktere pracovnici redakce provadeji, a tim snizit naklady na provoz redakce. Redakcni system zajist'uje kompletni evidenci a fizeni procesu vzniku a vydavani clanku. Nasledne umoznuje automaticke vytvafeni vykazu prace, ktere slouzi jako podklady pro vyplaceni odmen pracovnikum redakce. Klicova slova: redakcni system, workflow management, zdravotnictvi Abstrakt: Obsahem prace je navrh a implementace redakcniho systemu podporujiciho fizeni procesu ve spolecnosti zabyvajici se provozovanim webovych portalu zamefenych na tematiku lekafske vedy a mediciny. Cilem je zefektivnit praci...
Databáze otisků prstů
Kubát, Jaroslav ; Babka, Martin (vedoucí práce) ; Lokoč, Jakub (oponent)
Popis implementace aplikace, která slouží pro správu databáze otisků prstů, je hlavní náplní této diplomové práce. Text je členěn podle funkčních bloků programu. Jednotlivými fázemi jsou zpracování vstupního otisku, jeho analýza k získání rozdílových znaků, převod znaků do specifické datové reprezentace, popis databáze, indexu a jejich operací. Práce na několika místech obsahuje dvojí způsob provedení dané operace, každý z nich je popsán a porovnán se svým protějškem. Na konci práce je také sepsán uživatelský manuál popisující základní scénáře použití programu. Powered by TCPDF (www.tcpdf.org)
Unified Editor for CEGUI
Preisler, Martin ; Babka, Martin (vedoucí práce) ; Balyo, Tomáš (oponent)
Cílem této práce je vytvořit GUI aplikaci zvanou CEGUI Unified Editor. Aplikace je z převážné části psaná v Pythonu a licencovaná pod GPLv3. Jejím cílem je tvorba a změna grafických rozhraní realizovaných knihovnou CEGUI. Podporovány jsou mimo jiné management projektů, editace imagesetů a editace layoutů. Data pro starší verze CEGUI jsou převáděna za běhu pomocí vrstev kompatibility. Velký důraz je kladen na jednoduchost používání, možnosti kolaborace mezi více autory a portabilitu.
Rozšíření matched formulí
Chromý, Miloš ; Kučera, Petr (vedoucí práce) ; Babka, Martin (oponent)
S KNF formulí můžeme asociovat incidenční graf. Tento graf je bipartitní a jedna partita zastupuje proměnné a druhá klauzule. Díky tomu můžeme definovat nové třídy KNF formulí, jimiž jsou matched formule a biklikově splnitelné formule. Obě tyto třídy mají tu vlastnost, že formule, které do nich patří jsou splnitelné i po změně polarity libovolného literálu. Takovým formulím říkáme var-splnitelné. V této práci uvažujeme práci Stefana Szeidera, která popisuje parametrizo- vaný algoritmus s pevným parametrem řešící problém matched formulí s malou deficiencí, což je rozdíl počtu klauzulí a počtu proměnných. Ukázali jsme, proč tento přístup nejde přímo zobecnit pro biklikově splnitelné formule. Vzhledem k tomu, že testování toho, je-li formule biklikově splnitelná, je NP- úplné, popsali jsme heuristiku, která hledá biklikové pokrytí v čase O(n2 e), kde n je počet proměnných ve formuli a e je délka formule. Provedli jsme experimenty na náhodných formulích. Z výsledků těchto experimentů lze usuzovat, že existuje fázový přechod ve výsledcích heuristiky. Dále jsme provedli experimenty, které ověřují existenci fázového přechodu matched formulí. Tyto výsledky jsme porov- nali s výsledky experimentů provedených s heuristikou. Výsledky experimentu provedeném na matched formulí jsme též porovnali s teoretickou hranicí...
Automatizace hierarchických experimentů
Babka, Martin ; Skopal, Tomáš (vedoucí práce) ; Kopecký, Michal (oponent)
Ciel'om tejto práce je navrhnút' a implementovat' aplikáciu potrebnú k vytvoreniu hierarchického experimentu. V tejto práci uvádzame presnú definíciu hierarchického experimentu a analyzujeme jeho schopnosti. Princíp hierarchického experimentu je následne použitý k implementovaniu knižnice testujúcej softvér sposobom zvaným testovanie bielej skrinky. Knižnica je určená hlavne k overeniu výkonnosti algoritmov. Pretože je vytvorená v jazyku C++, testovaný kód musí byt' naprogramovaný v C alebo C++. Výstupom vytvoreného programu je používatel'om definovaný testovací kód pre skúmané algoritmy a potrebný projektový súbor. V aplikácii je tiež možné aj jednoduché spracovanie zozbieraných dát. Test editujeme vizuálne v grafickom rozhraní.
Praktické datové struktury
Pokorný, Michael ; Mareš, Martin (vedoucí práce) ; Babka, Martin (oponent)
V této práci implementujeme datové struktury pro uspořádané a neuspořádané slovníky a měříme jejich výkon v hlavní paměti pomocí syntetických i praktických experimentů. Náš průzkum zahrnuje jak obvyklé datové struktury (B-stromy, červeno-černé stromy, splay stromy a hashování), tak exotičtější přístupy (k-splay stromy a k-lesy). Powered by TCPDF (www.tcpdf.org)
Properties of universal hashing
Babka, Martin
Ciel'om tejto práce je navrhnút' model hashovania s akceptovatel'nou časovou zložitost'ou aj v najhoršom prípade. Vytvorený model je založený na princípe univerzálneho hashovania a výsledná očkávania časové zložitost' je konštantná. Ako systém univerzálnych funkcií sme zvolili množinu všetkých lineárnych zobrazení medzi dvomi vektorovými priestormi. Tento systém už bol študovaný s výsledkom predpovedajúcim dobrý asymptotický odhad. Táto práca nadvazuje na predchádzajúci výsledok a rozširuje ho. Tiež ukazuje, že očakávaný amortizovaný čas navrhnutej schémy je konštantný.
Self-organizing linear lists
Kulman, Igor ; Koubková, Alena (vedoucí práce) ; Babka, Martin (oponent)
Samoupravující seznamy jsou datové struktury sloužící k rychlému vyhledávání za předpokladu, že některé prvky v nich uložené jsou vyhledávány častěji než jiné, přičemž pravděpodobnosti přístupu k jednotlivým prvkům obecně nejsou předem známy. Efektivnějšího vyhledávání je dosaženo použitím různých permutačních pravidel, která průběžne mění uspořádání seznamu tak, aby častěji vyhledávané prvky byly blíže k jeho začátku. V této práci je uveden přehled známých algoritmu pro řešení tohoto problému (s uvedením teoretických výsledků o jejich složitosti, jsou-li známy) a experimentální studie o jejich chování (s využitím vlastních nebo volně dostupných implementací a programových prostředku pro generování vstupních dat, testování algoritmu a zpracování výsledku experimentu). Powered by TCPDF (www.tcpdf.org)

Národní úložiště šedé literatury : Nalezeno 27 záznamů.   1 - 10dalšíkonec  přejít na záznam:
Viz též: podobná jména autorů
8 BABKA, Martin
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.