|
|
Information System for Retail Grocery Shops
Le, Marek ; Kopecký, Michal (advisor) ; Hauzar, David (referee)
This thesis discuss topic of Grocery shop management software. Primary function is Point of Sale software which is extended by back-office solution including inventory management, management reports, reports required by law etc. 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 (advisor) ; Hauzar, David (referee)
Title: A study of applying copulas in data mining Author: Martin Ščavnický Department: Department of Theoretical Computer Science and Mathe- matical Logic Supervisor: RNDr. Ing. Martin Holeňa CSc., Department of Theoretical Computer Science and Mathematical Logic Abstract: Copulas are functions that describe the relationship between a multivariate distribution function and its marginals. They provide a way to model multivariate distribution functions, and are extensively used in finance and studied in data mining. In practice, there are many different copula families and no standard way for choosing the right one. In our work, we compare suitability of different copula families in data mining. We fit classification data using 8 copula families and compare them using 3 mea- sures of fit. We also use a classification algorithm based on copulas and compare its accuracy for different copula families. The results indicate that elliptical copulas fit our data better, but hierarchical Archimedean copulas give comparable accuracy in the classification. We also propose and test a modified method for modelling data using hierarchical Archimedean copu- las, which fits some datasets with negative dependence between attributes better. Based on this modified method, we propose a visualization of depen- dence in data and observe...
|
|
|
GIMPLE Model Checker
Krč-Jediný, Ondrej ; Šerý, Ondřej (advisor) ; Hauzar, David (referee)
Title: GIMPLE Model Checker Author: Ondrej Krč-Jediný Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Ondřej Šerý Ph.D. Supervisor's e-mail address: Ondrej.Sery@mff.cuni.cz The goal of the thesis is a prototype implementation of explicit-state model checker of C - an advanced tool for finding errors in programs. This tool ex- plores all possible paths of program execution as well as all thread interleavings. It is based on GIMPLE - output of front-end of GCC compiler, which is the input language for GMC. The thesis is based on the previous work 'Memory represen- tation for GIMPLE Model Checker', that implements work with memory for this tool. Since it is based on GIMPLE, it makes it possible to verify systems directly in C. In addition, it is easily extensible to other languages supported by GCC. Keywords: model checking, GIMPLE, GCC, C 1
|
|
|
Rozpoznávání pozic deskové hry go z fotografií
Musil, Tomáš ; Baudiš, Petr (advisor) ; Hauzar, David (referee)
It is customary to keep a written game record of professional or high-rank amateur tournament games of Go. Even informal games are worth recording for subsequent analysis. Writing the game record by hand distracts the player from the game and it is not very reliable. Video or photographic record lacks the flexibility of abstract notation. In this thesis we discuss several ways of automatically extracting Go game records from photographs. We propose our own method based on Hough transform and RANSAC paradigm. We implement a reliable and easy to use system that allows players to take a game record effortlessly. 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 (advisor) ; Jiřík, Radovan (referee)
Videokymography is a medical imaging method of revealing and diagnosing vocal cords vibrations in voice disorders. Manual data extraction is problematic while automatic extraction can facilitate and re ne the diagnostic process. However, automatic processing is hampered by signal noise and considerable variability in vocal cords vibrations of individual patients. The objective of the present study is to identify typical characteristics of vocal cords vibrations suitable for automatic extraction and diagnostic interpretation and to implement such automatic extraction. The automatic extraction tool that was implemented reects specifi c features of viodeokymographic images. The system for interpretation of automatic extraction results was developed and tested against manually extracted vibrations data and images. The tool can support kymographic diagnosis of vocal cords disorders.
|
|
|
A Tool for Transformation of PDF to Text
Bujok, Jonáš ; Raab, Jan (advisor) ; Hauzar, David (referee)
Title: A Tool for Transformation of PDF to Text Author: Jonáš Bujok Department: Institute of Formal and Applied Linguistics (32-UFAL) Supervisor: Mgr. Jan Raab, Institute of Formal and Applied Linguistics (32-UFAL) Abstract: In this thesis we described an extraction procedure of text information from PDF (Portable Document Format) files. Thesis is focused mainly on middle-Europe languages. We designed, described and implemented program for this purpose. Besides the program and it's description the thesis contains information about PDF format object structure, it's syntax and logic necessary for proper understanding of text searching principles in PDF file. We also discussed filters, fonts and all other PDF Objects that the program need to process. This thesis also deals with methods and possibilities of improving program's functionality, speed, memory usage, reliability an universality of usage.
|
|
|
Image Viewing and Manipulation Tool
Hauzar, David ; Kalibera, Tomáš (advisor) ; Štanclová, Jana (referee)
Image processing comprises many useful techniques for fixing and correcting of digital photographs, such as noise filtering, sharpening of images, color balancing, and many others. The aim of the work is to design and implement a portable tool that would allow easy integration of existing implementations of such techniques, providing its users with a unified and easy to use interface. The tool offers basic functions for image browsing, viewing, and processing. The advanced functions include image bending - manual combining of photographs of the same object taken with different exposures into a single photograph with higher dynamic range. The tool makes it possible to apply some of the operations to a group of images. These operations are image rotation, image rescaling, and median filtering. The extension mechanism of the tool includes support for adding new image processing operations, applying operations to a group of images, extending the range of supported image formats, modifying and extending user interface of the program.
|
|
|
Towards Static Analysis of Languages with Dynamic Features
Hauzar, David ; Plášil, František (advisor) ; Sinz, Carsten (referee) ; Holík, Lukáš (referee)
Dynamic features of programming languages such as dynamic type system, dynamic method calls, dynamic code execution, and dynamic data structures provide the flexibility which can accelerate the development, but on the other hand they reduce the information that is checked at compile time and thus make programs more error-prone and less efficient. While the problem of lacking compile time checks can be partially addressed by techniques of static analysis, dynamic features pose major challenges for these techniques sacrificing their precision, soundness, and scalability. To tackle this problem, we propose a framework for static analysis that automatically resolves these features and thus allows defining sound and precise static analyses similarly as the analyzed program would not use these functions. To build the framework, we propose a novel heap analysis that models associative arrays and dynamic (prototype) objects. Next, we propose value analysis providing additional information necessary to resolve dynamic features. Finally, we propose a technique that automatically and generically combines value analysis and a heap analysis modeling associative arrays and prototype objects. Powered by TCPDF (www.tcpdf.org)
|
|
|
Data Modeling for Static Analysis of Web Applications
Baštecký, Pavel ; Hauzar, David (advisor) ; Hnětynka, Petr (referee)
The PHP is a very popular language which is used to write a server side part of web applications. The language is very simple to use and there are lots of small or more complex pages across the internet. But the great widespread of the PHP attracts the people which want to harm and compromise security of the web applications. The weverca analyzer is the first tool which is able to perform complex security analysis of a full page written in the modern version of the PHP and give information about possible security risks in the application. But the performance of Weverca is limited by its time and memory complexity caused by inefficient inner representation of a PHP memory state. The goal of this thesis is to find and solve main problems of the original memory representation. The output of this thesis is an implementation of the new memory representation which minimizes the complexity of the original solution. Powered by TCPDF (www.tcpdf.org)
|
|
|
IDE Support for PHP Code Analysis
Tyrpáková, Natália ; Hauzar, David (advisor) ; Hnětynka, Petr (referee)
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)
|
guest ::
