National Repository of Grey Literature 27 records found  previous11 - 20next  jump to record: Search took 0.01 seconds. 
The design of a system for managing internal logistics flows in selected manufacturing company
BABKA, Martin
The purpose of the diploma thesis was to design a system of management of internal material and related information flows in a selected manufacturing company with focus on the settings of logistics processes for optimized production supply using appropriate logistics methods and technologies.
Extensions to the class of matched formulae
Chromý, Miloš ; Kučera, Petr (advisor) ; Babka, Martin (referee)
We can associate an incidence graph with any CNF formula. It's a bipartite graph, in which he first part corresponds to variables and the second one to clauses. We can define matched formulas and biclique satisfiable formulas, based on this incidence graph. Both of these classes share an interesting property: Given a formula F which is matched or biclique satisfiable, F remains satisfiable even after we switch polarity of any occurrence of any literal. Class of formulas with this property is called var-satisfiable. In this thesis, we consider a parameterized algorithm introduced by Stefan Szeider for deciding satisfiability of formulas with small deficiency. Here deficiency of a formula is defined as a difference between the number of clauses and the number of variables in the formula. We explain why this algorithm cannot be simply generalized for the case of biclique satisfiable formulas. Since the problem of determining whether a formula is biclique satisfiable is NP-complete, we introduce a heuristic, which tries to find some biclique cover in time O(n2 e), where n denotes the number of variables and e denotes the length of the input formula. We performed experiments testing this heuristic on random formulas. The results of these experiments suggest, that there is a phase transition in the behaviour of the heuristic....
Application of system dynamics in project management
Baláž, Ján ; Křivánek, Mirko (advisor) ; Babka, Martin (referee)
The thesis deals with possibilities of an application of system dynamics methodics for an understanding and teaching the project management. A dynamic simulation model has been created for this purpose by using Vensim. A web simulator for the project management, which is based on the simulation model, has been created in the next part of the thesis. The benefit of the simulator over the model is its user- friendliness and its self-explanatory graphic interface, which makes it possible to use the simulation model for purposes of teaching and further reaserch in the field of project management. Powered by TCPDF (www.tcpdf.org)
A fingerpring database
Kubát, Jaroslav ; Babka, Martin (advisor) ; Lokoč, Jakub (referee)
The main goal of this thesis is to provide full description of an implementation of an application that is supposed to be a complex dactyloscopic database tool. The text is divided into parts according to the functional blocks of the application. The parts are namely processing of input fingerprint, the minutiae point analysis, the description of minutiae representation, the database and index structure described with its operations. Usually we describe multiple algorithms for a single task. In this case we provide their comparison. At the end of this thesis, there is a user manual describing the main usage scenarios. Powered by TCPDF (www.tcpdf.org)
Praktické datové struktury
Pokorný, Michael ; Mareš, Martin (advisor) ; Babka, Martin (referee)
In this thesis, we implement several data structures for ordered and unordered dictionaries and we benchmark their performance in main memory on synthetic and practical workloads. Our survey includes both well-known data structures (B-trees, red-black trees, splay trees and hashing) and more exotic approaches (k-splay trees and k-forests). Powered by TCPDF (www.tcpdf.org)
Properties of universal hashing
Babka, Martin
The aim of this work is to create a model of hashing with an acceptable worst case time complexity. The model is based on the idea of universal hashing and the expected time of every operation is constant. The used universal class of functions consists of linear transformations between vector spaces. This class has already been studied with a good asymptotic result. This work improves the result and proves that the expected amortised time of the scheme is constant.
DaktylDB
Kubát, Jaroslav ; Babka, Martin (advisor) ; Jančík, Pavel (referee)
This bachelor work focuses on implementation of application for fingerprints database maintenance. It consists of three parts. The first part is about detection of friction ridge endings and branches. For that purpose, there are three algorithms implemented and their results are discussed in the last chapter. Second part of the work is about preprocessing of extracted points for the purpose of database insert and search. There are algorithms of triangulation and clusterization used. The last part of this work is focused on database insert and search. Powered by TCPDF (www.tcpdf.org)
MCTS for the game Metro
Venta, Václav ; Hric, Jan (advisor) ; Babka, Martin (referee)
MCTS method was first introduced in 2006 and it immediately succeeded in the game of GO. Its biggest advantage is that it doesn't require any evaluation function, which is often hard to design in a lot of games. Instead it is based on randomized simulations. This thesis describes MCTS principles and deals with its suitability for the board game Metro. The text describes Metro characteristics which make the game suitable for the use of MCTS. A software serving as game environment is attached to this work on CD. It has artificial intelligence based on MCTS method implemented in it. Powered by TCPDF (www.tcpdf.org)
General card game with user-defined rules
Bilanský, Michal ; Babka, Martin (advisor) ; Marek, Lukáš (referee)
The goal of this thesis is to design and implement a generic card game for multiple users. The rules of the game are defined by user using an available set of rules and commands. The game is playable on the network and also includes a simple artificial intelligence allowing to replace a human factor by the computer. The program is created for .NET on Windows platform in the programming language C#. Powered by TCPDF (www.tcpdf.org)
Editor's office workflow management system
Pospíšil, Martin ; Kopecký, Michal (advisor) ; Babka, Martin (referee)
Title: Editor's office workflow management system Author: Martin Pospisil Department: The Department of Software Engineering Supervisor: RNDr. Michal Kopecky, Ph.D., The Department of Software Engineering Abstract: The goal of this bachelor thesis is to analyze and implement an editorial system that supports the process management in a company which operates and administrates several web portals aimed to health care and medical science. The goal is to make the work within the company more effective a make the process management more transparent to decrease the amount of work that must be performed manually. It should lead to reducing the costs. The system ensures a complete evidence and management of the process of creating and publishing articles. Consequently it allows to automatically generate work reports which serve as the records for paying the editorial's office staff.

National Repository of Grey Literature : 27 records found   previous11 - 20next  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.