Národní úložiště šedé literatury Nalezeno 24 záznamů.  1 - 10dalšíkonec  přejít na záznam: Hledání trvalo 0.01 vteřin. 
Informační systém pro maloobchodní prodejny potravin
Le, Marek ; Kopecký, Michal (vedoucí práce) ; Hauzar, David (oponent)
Práce popisuje návrh a implementaci pokladního systému. Program poskytuje nejen základní běžné funkce pokladního systému, ale i back-office funkcionalitu, které zahrnují skladové hospodářství, účetnictví, výkaznictví, business inteligence atd. Poznámka: SIS píše chybu při nahrávání tohoto souboru, vyžaduje více slov, ale zároveň požaduje abstrakt, což chápu jako kopii abstraktu z odevzdané bakalářské práce. Proto nechávám abstrakt v přesné podobě, jak je uveden v bakalářské práci. Použil jsme doporučený konvertor. Detail chyby: Vybraný soubor BPBC_2010_1__0_229690_0_89245.pdf se nepodařilo uložit Soubor PDF není prohledávatelný. Soubor obsahuje málo slov anebo obsahuje pouze obrázky (problém vzniká nejčastěji při skenování dokumentu bez OCR konverze).
A study of applying copulas in data mining
Ščavnický, Martin ; Holeňa, Martin (vedoucí práce) ; Hauzar, David (oponent)
Název práce: Dobývání znalostí z dat pomocí kopulí Autor: Martin Ščavnický Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí diplomové práce: RNDr. Ing. Martin Holeňa CSc., Katedra teoretické informatiky a matematické logiky Abstrakt: Kopule jsou funkce, které popisují vztah mezi sdruženým roz- dělením náhodného vektoru a jeho marginály. Kopule umožňují modelo- vat vícerozměrná rozdělení a jsou hojně využívány ve finančnictví a zk- oumány v dobývání znalostí. V praxi existuje mnoho různých rodin kopulí, ale žádný standardní spůsob, jak vybrat tu správnou. V naší práci se zabýváme porovnáním vhodnosti různych rodin kopulí k dobývaní znalostí. Prokládáme klasifikační data pomoci osmi rodin kopulí a porovnáváme je pomocí tří metrik kvality proložení. Také používáme klasifikační algorit- mus založený na kopulích a porovnáváme jeho přesnost pro různé rodiny kopulí. Výsledky naznačují, že eliptické kopule popisují naše data nejlépe, ale v přesnosti klasifikace jsou s nimi porovnatelné hierarchické Archime- dovské kopule. V práci také navrhujeme a testujeme modifikovanou metodu pro modelování dat pomocí hierarchických Archimedovských kopulí, která je schopna lépe popsat některá data...
GIMPLE Model Checker
Krč-Jediný, Ondrej ; Šerý, Ondřej (vedoucí práce) ; Hauzar, David (oponent)
Název práce: GIMPLE Model Checker Autor: Ondrej Krč-Jediný Katedra (ústav): Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Ondřej Šerý Ph.D. e-mail vedoucího: Ondrej.Sery@mff.cuni.cz Abstrakt: Cieľom práce je implementácia základných prvkov explicit-state model checkeru pre jazyk C - pokročilého nástroja na hľadanie chýb v programoch. Tento nástroj prehľadáva všetky možné cesty, ktorými môže byť program vykonávaný a zároveň vyskúša všetky možné kombinácie prekladania vlákien. Nástroj je založený na GIMPLE - výstupe front-endu kompilátora GCC, ktorý berie za svoj vstupný jazyk. Práca využíva predchádzajúcu prácu 'Memory representa- tion for GIMPLE Model Checker', ktorá implementuje prácu s pamäťou pre tento nástroj. Tým, že je nástroj vychádza z GIMPLE, umožňuje overovanie systémov priamo v jazyku C, naviac je ľahko rozšíriteľný na iné jazyky podporované GCC. 1
Rozpoznávání pozic deskové hry go z fotografií
Musil, Tomáš ; Baudiš, Petr (vedoucí práce) ; Hauzar, David (oponent)
Při profesionálních a turnajových partiích ve hře go bývá obvykle pořizován jejich zápis. I neformální partie může být užitečné si zaznamenat pro potřeby pozdější analýzy a studia. Pořizování záznamu však hráče ruší od hry a snadno se při něm udělá chyba. Videozáznam nebo soubor fotografií postrádá flexibilitu abstraktní notace. V této práci popisujeme možné postupy při automatické extrakci herních pozic z fotografií. Navrhujeme vlastní algoritmus založený na Houghově transformaci a metodě RANSAC. Součástí práce je implementace programu, který tento algoritmus využívá k tomu, aby umožnil hráčům partii snadno a spolehlivě zaznamenat. Powered by TCPDF (www.tcpdf.org)
Zpracování digitálních snímků videokymografických záznamů jako podpůrný nástroj pro diagnostiku hlasivek
Hauzar, David ; Flusser, Jan (vedoucí práce) ; Jiřík, Radovan (oponent)
Videokymografi e je metoda umožňující zachytit řadu charakteristik kmitání hlasivek důležitých pro stanovení jejich diagnózy. Manuální extrakce těchto charakteristik je v řadě případ problematická, automatická extrakce by stanovení diagnózy usnadnila a zpřesnila. Automatické zpracování snímků komplikuje především velké množství šumu na snímcích a dále velká variabilita průběhu kmitání hlasivek různých pacientů. Cílem práce je vybrat charakteristiky kmitání hlasivek vhodné pro automatickou extrakci a jejich extrakci implementovat. S ohledem na speci cké vlastnosti videokymogra fických snímků byla vyvinuta implementace automatické extrakce, která může sloužit jako základ nástroje pro podporu kymogra fické diagnostiky hlasivek. Vytvořený systém pro vyhodnocení výsledků automatické extrakce byl spolu se sadou snímků a sadou charakteristik kmitání extrahovaných manuálně použit k podrobnému testování implementace.
Nástroj pro převod PDF na text
Bujok, Jonáš ; Raab, Jan (vedoucí práce) ; Hauzar, David (oponent)
Název práce: Nástroj pro převod PDF na text Autor: Jonáš Bujok Katedra / Ústav: Ústav formální a aplikované lingvistiky (32-UFAL) Vedoucí bakalářské práce: Mgr. Jan Raab, Ústav formální a aplikované lingvistiky (32-UFAL) Abstrakt: V této práci je podrobně rozebrán postup extrakce textových informací z PDF (Portable Document Format) souborů a navrhnut, popsán a implementován program pro tento účel. Práce se zaměřuje hlavně na středoevropské jazyky. Kromě programu a jeho popisu jsou zde pak informace o objektové struktuře, syntaxi a logice PDF formátu nutné pro správné pochopení principu hledání textu v PDF souboru. Dále jsou zde rozebrány filtry, fonty a všechny další PDF objekty, které takový program musí umět zpracovat. Také se tato práce zabývá metodami a možnostmi vylepšení funkčnosti, rychlosti, paměťové náročnosti, spolehlivosti a univerzálnosti použití programu.
Image Viewing and Manipulation Tool
Hauzar, David ; Kalibera, Tomáš (vedoucí práce) ; Štanclová, Jana (oponent)
Digitální zpracování obrazu zahrnuje mnoho technik užitečných pro opravu a korekci fotografií. Je to například filtrace šumu, zaostřování obrázků, vyvažování barev a mnoho dalších. Cílem práce je navrhnout a implementovat přenositelný program, který by umožnil snadnou integraci existujících implementací těchto technik a uživatelům poskytl sjednocené a snadno použitelné uživatelské rozhraní. Program obsahuje funkce pro procházení, prohlížení a zpracování obrázků. Mezi pokročilé funkce patří spojení expozice - spojení fotografií stejného objektu pořízených s odlišným nastavením expozice do jedné fotografie s větším dynamickým rozsahem. Nástroj umožňuje aplikovat některé operace na skupinu obrázků. Je to rotace obrázku, změna velikosti obrázku a mediánový filtr. Mechanizmus rozšíření programu zahrnuje podporu pro přidávání nových operací zpracování obrázků, aplikaci těchto operací na skupinu obrázků, přidávání podpory nových grafických formátů, modifikaci a rozšiřování uživatelského rozhraní programu.
Towards Static Analysis of Languages with Dynamic Features
Hauzar, David ; Plášil, František (vedoucí práce) ; Sinz, Carsten (oponent) ; Holík, Lukáš (oponent)
Dynamické funkce programovacích jazyků, jako je dynamický typový systém, dynamické volání funkcí, dynamické vykonávání kódu a dynamické datové struktury, poskytují flexibilitu, která urychluje vývoj. Tyto funkce ale snižují množství informací, které jsou kontrolovány v době kompilace. To má za následek nižší výkon a větší chybovost programů. Tento problém je možné vyřešit pomocí technik statické analýzy. Dynamické funkce bohužel pro tyto techniky představují překážku a zásadně omezují jejich přesnost, spolehlivost a výkonnost. Abychom tento problém pomohli vyřešit, navrhujeme framework pro statickou analýzu, který automaticky řeší dynamické funkce, a tím umožňuje definovat přesné a spolehlivé statické analýzy podobně jako v případě, kdy program dynamické funkce neobsahuje. Aby bylo takový framework možné vytvořit, navrhujeme novou techniku heap analýzy, která modeluje asociativní pole a (prototypové) objekty. Dále navrhujeme analýzu hodnot proměnných, která zjišťuje další informace potřebné pro vypořádání se s dynamickými funkcemi. Nakonec navrhujeme techniku, která umožňuje automaticky a genericky kombinovat analýzu hodnot proměnných s heap analýzou. Powered by TCPDF (www.tcpdf.org)
Data Modeling for Static Analysis of Web Applications
Baštecký, Pavel ; Hauzar, David (vedoucí práce) ; Hnětynka, Petr (oponent)
PHP je velmi oblíbený jazyk, často používaný na implementaci serverové části webových aplikací. Jazyk je velmi jednoduchý na používání a i proto je na celém internetu velké množství menších stránek, ale i rozsáhlejších aplikací, napsaných v jazyce PHP. Velká obliba PHP však způsobuje, že mnoho lidí vyhledává jeho slabiny s cílem narušit bezpečnost webových aplikací. Weverca je první nástroj schopný provést komplexní bezpečnostní analýzu celé stránky napsané v moderní verzi PHP a vyhledat informace o možných bezpečnostních rizicích aplikace. Výkon nástroje Weverca je však omezen časovou a paměťovou náročností, která je způsobena neefektivitou reprezentace paměti PHP stránky. Cílem této práce je nalézt a vyřešit hlavní nedostatky původní implementace paměťového modelu. Výsledkem je nová implementace, která minimalizuje nároky původního řešení. Powered by TCPDF (www.tcpdf.org)
IDE Support for PHP Code Analysis
Tyrpáková, Natália ; Hauzar, David (vedoucí práce) ; Hnětynka, Petr (oponent)
Nejnovější výzkumy ukazují, že většina webových aplikací není dostatečně bezpečná. Jedním z problémů je, že pro vývojáře je obtížné manuálně najít všechny bezpečnostní slabiny zdrojového kódu a výsledky automatických analyzátorů kódu jsou obvykle těžko revidovatelné. Současné nástroje pro analýzu zdrojového kódu jsou obvykle samostatné aplikace, poskytující prostý seznam výsledků analýzy. Kontrola tohoto seznamu je časově velmi náročná. V této práci prezentujeme integraci analýzy zdrojových kódů v jazyce PHP do vývojového prostředí. Použili jsme analyzátor Weverca, který jsme rozšířili o analýzu nebezpečných toků dat z uživatelského vstupu. Vytvořili jsme sadu plug-inů, které analyzátor používají pro analýzu PHP kódu a poskytují vizualizaci jeho výsledků. Výsledkem naší práce je komplexní analýza PHP kódu s přehledným a jednoduše revidovatelným výstupem, která je k dispozici přímo ve vývojovém prostředí. Powered by TCPDF (www.tcpdf.org)

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