|
|
Web Reader and Library of Articles
Juraszek, Adam ; Svoboda, Martin (advisor) ; Hauzar, David (referee)
Title: Web Reader and Article Library Author: Adam Juraszek Department: Department of Software Engineering Supervisor: RNDr. Martin Svoboda, Department of Software Engineering Abstract: The aim of this thesis is to design and implement a reader web appli- cation, which can watch article sources on the Internet using RSS and Atom feeds. The difference from similar applications is in integration of other services and options: watching websites that do not provide news feeds, backing up web pages, saving articles into user-managed library and a source recommendation system. The application is programmed in Java and consists of three parts: the server part developed on Google AppEngine, the client part using GWT framework and an optional cross-browser extension. The Web reader is designed to work with large amounts of data and can be easily extended. The thesis also contains an analysis of the characteristics of available readers and various recommendation systems. Keywords: web application, RSS reader, AppEngine, GWT 1
|
|
|
Verification of Textual Use-Cases
Vinárek, Jiří ; Šimko, Viliam (advisor) ; Hauzar, David (referee)
The aim of this thesis is to create a tool for formal verification of systems specified using textual use- cases. The tool should allow for automated verification of temporal invariants specified in temporal logic (CTL and LTL formulae). The textual specification is transformed to a formal model that is verified using the NuSMV symbolic model-checker. Potential errors are shown to the user in the form of an HTML report. Using this feedback, the user is able to iteratively develop valid textual use-case specifications. The tool's architecture should be focused on reusability of its components and extensibility. Powered by TCPDF (www.tcpdf.org)
|
|
|
Systém pro správu úkolů a testů
Konopásek, Jan ; Holubová, Irena (advisor) ; Hauzar, David (referee)
The goal of this thesis is to implement a software system facilitating management of homework assignments and automated generation of tests. From the teachers' point of view, homework management means creation of problems, their assignment to students, and correction and rating of solutions. For students, it means handing in solutions to assigned problems and solution rating overview. The focus of this thesis is the description of implementation and utilization of the Assignment Manager web application. Apart from the goals described above, the application also enables the management of user groups, sharing of problems among student groups within the scope of a single course, and using external "plug-ins" for automated correction of solutions. Furthermore, it is capable of automated generation of tests from saved sets of test questions. The application was field-tested during a single semester and it was extended based on the teachers' and students' suggestions. The thesis includes a discussion of the differences between the original assumptions serving as the basis for the application's implementation and the demands of live deployment.
|
|
|
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).
|
|
|
Accelerating evolutionary algorithms by decision trees and their generalizations
Klíma, Jan ; Holeňa, Martin (advisor) ; Hauzar, David (referee)
Evolutionary algorithms are one of the most successful methods for solving non-traditional optimization problems. As they employ only function values of the objective function, evolutionary algorithms converge much more slowly than optimization methods for smooth functions. This property of evolutionary algorithms is particularly disadvantageous in the context of costly and time-consuming empirical way of obtaining values of the objective function. However, evolutionary algorithms can be substantially speeded up by employing a sufficiently accurate regression model of the empirical objective function. This thesis provides a survey of utilizability of regression trees and their ensembles as a surrogate model to accelerate convergence of evolutionary optimization.
|
|
|
Rummy Card Game Platform
Smolík, Jiří ; Malohlava, Michal (advisor) ; Hauzar, David (referee)
Rummy ("Žolíky" in czech) is one of the most commonly played card games. It is popular due to its simplicity and variability in rules. A lot of Rummy game platforms exist in the world, but they do not allow for unlimited playing for free and lack any advanced communication means among players. This work designs and implements a desktop game platform for Rummy. The main reason for creating it was the absence of a similar non-commercial application which would not focus on hazard but rather on "letting go", communication and fun. The proposed platform provides advanced features to communicate and play, either for fun or to win tournaments. It also supports playing games with users` own rules and against their own computer opponents.
|
|
|
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.
|
|
|
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.
|
|
|
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
|
|
|
Image Viewing and Manipulation Tool
Hauzar, David ; Štanclová, Jana (referee) ; Kalibera, Tomáš (advisor)
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.
|
guest ::
