|
|
Extracting Linked Data from Excel Files
Dembinný, Šimon ; Nečaský, Martin (advisor) ; Bednárek, David (referee)
Title: Extracting Linked Data from Excel files Author: Šimon Dembinný Department: Department of Software Engineering Supervisor of the bachelor thesis: Mgr.Martin Nečaský, Ph.D, Department of Software Engineering at Faculty of Mathematics and Physics of Charles University Abstract: The major part of the thesis rests in the development of an application for extracting Linked Data from Excel files. The application is created as Microsoft Excel Add-on. The comparison with best freely available tool for Linked Data extraction from table data "Open refine" is provided in the theoretical part together with explanation of the concept of Linked Data itself.
|
|
|
Universal discrete simulator
Vytasil, Jiří ; Pergel, Martin (advisor) ; Bednárek, David (referee)
In this thesis we analyzed the design and implementation of the program allowing you to perform discrete-event simulation. Further in the program we implemented visualization of discrete-event simulation. Emphasis is placed mainly on universality. In addition to the program and its description includes information of discrete-event simulation, which allows easier understanding of program operation. For a description of discrete-event simulation using finite-state automata and regular grammars. These parts are described more in order to more easily understand the description of the discrete-event simulation. The system also allows adjustment of input files for easier operation of the program.
|
|
|
A modern implementation of LALR(1) parser generator
Fišer, Karel ; Bednárek, David (advisor) ; Hnětynka, Petr (referee)
The goal of this thesis is to design and implement a modern parser generator. The result is a program that reads description of some context-free LALR(1) grammar and semantic actions from an input file. To output files the program generates source codes in several target modern object-oriented programming languages for implementation of the syntax analyzer which, when parsing the language corresponding to the given grammar, executes the given semantic actions. Powered by TCPDF (www.tcpdf.org)
|
|
| |
|
|
E commerce
Hampl, Michal ; Křivánek, Mirko (advisor) ; Bednárek, David (referee)
Title: E-commerce Author: Michal Hampl Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: doc. RNDr. Mirko Křivánek, CSc. Abstract: Aim of this work is to map and evaluate possibilities of interoperability of existing e-commerce systems with external systems, find out positives and negatives of existing solutions and on the basis of these information to propose a model of universal interoperability framework of general e-commerce product with general external system. Main goal of this framework is to get the most general solution such as it is possible to create connection to new external system with as less effort as possible but not against its generality. This work will also contain concept of implementation of designed model and verification of its usability while implementing connection to several existing external systems. At the end it will contain evaluation of proposed model in context of experience acquired while implementing sample connections. Keywords: e-commerce, interoperability
|
|
|
Utilizing HLA for agent based development platforms
Jedlička, Tomáš ; Plch, Tomáš (advisor) ; Bednárek, David (referee)
The High Level Architecture (HLA) provides a universal solution for interconnecting various simulation environments and applications thus creating a more complex simulation entity. The idea is built upon controlled and directed data exchanges of objects and events (via the RunTime Interface - RTI) shared by participants (i.e. simulations) thus creating a distributed data environment. The aim of this thesis is to investigate usability of HLA for agent based development platforms (e.g. Pogamut) as well as providing transparent and simple to use access to HLA for HLA unaware applications. The thesis describes architecture and provides a prototype proof-of-concept implementation, which integrates HLA with two different (closed source) game engines providing them the ability to communicate to a simple client application according to a reasonable subset of the HLA standard. The thesis also provides performance measurements of prototype implementation.
|
|
|
Advanced Optimizations in Dynamic Language Compiler
Balaš, Daniel ; Zavoral, Filip (advisor) ; Bednárek, David (referee)
Dynamic programming languages are designed to be interpreted and consequently perform a considerable amount of runtime type checking. In contrast, compilers for statically typed languages can remove this class of checks using information known at compile-time. This thesis aims to improve Phalanger, a compiler of PHP language for CIL, by introducing advanced static program analyses to its compilation process in order to remove some, or most, of dynamic operations that are now performed at runtime by Phalanger-compiled programs. We show that using a carefully designed control flow analysis and subsequent type analysis we are able to improve the performance of simple PHP programs several times.
|
|
|
RoboRally
Královec, Jiří ; Holan, Tomáš (advisor) ; Bednárek, David (referee)
Title: RoboRally Author: Jiří Královec Department: Department of Software and Computer Science Education Supervisor: RNDr. Tomáš Holan, Ph.D., Department of Software and Computer Science Education Abstract: This work deals with the implementation of computer version of the board game RoboRally. The computer program which was created enables game for one or more players on one computer. Computer driven players can also be added into a game. Because of creating the artificial intelligence for driving computer players, two different engines (computer players) were created. In addition another program was created for searching adequate setting of the parameters of the engines. The program conducts the search using the technique called genetic algorithms. Using created tools, good enough settings were found to make created engines equivalent opponents for human players. Keywords: RoboRally, board game, artificial intelligence, genetic algorithms
|
|
|
Graph drawing test environment
Baštecký, Pavel ; Dokulil, Jiří (advisor) ; Bednárek, David (referee)
The graph is a mathematical structure which despite its simplicity has become a perfect instrument for modeling common processes of our world. This success would not have been possible without algorithms which give deeper meaning to static structure of graph itself. With never-ending expansion of informatics science there is need for solving problems which are easy to transform to the world of vertices and edges. The goal of this document is a description of the Graph Editor program which was created to support the design and testing of graph algorithms. Text doesn't describe only the function and implementation of the editor but reader will be also familiar with the way of creating extensible application with the possibility of loading additional modules and the communication among them.
|
|
|
IntelliSense Integration for Coq Theorem Prover
Abonyi, Adam ; Petříček, Tomáš (advisor) ; Bednárek, David (referee)
Computer-assisted (interactive) theorem provers are software tools that help with the development of formal proofs. While theorem provers are constantly evolving and have started to be used more often over the last decade, the development tools used for creating computer-assisted proofs have not improved as much and they do not offer features that are common to other modern development tools. This thesis aims to improve the state of the art of development tools for interactive theorem provers, namely Coq. We integrate the Coq interactive theorem prover into an existing modern development environment and bring the benefits of modern tools to interactive proving. Improving the development tools could help popularize computer-assisted theorem proving and thus improve the quality of software by simplifying formal verification and by allowing development of verified hardware.
|
guest ::
