Ing. Jan Trávníček, Ph.D.

2015

With the vast amount of data needed to be archived, indexed and procesed, special data structures are required. The tree is a typical data structure which is used very often for hierarchically storing data. Specialized algorithms are needed for indexing tree data structures and also accessing, extracting and analyzing data stored in them. Another goal of this project is a design and implementation of novel methods of data compression and indexing in two areas: DNA sequence compression using dictionary methods and approximate pattern matching in genomes.

2014

With the vast amount of data needed to be archived, indexed and procesed, special data structures are required. The tree is a typical data structure which is used very often for hierarchically storing data. Specialized algorithms are needed for indexing tree data structures and also accessing, extracting and analyzing data stored in them. The aim of this research is to design efficient yet simple to understand algorithms dealing with tree pattern matching (both exact and approximate) and tree indexing, and provide a toolkit implementation. Another goal of this project is a design and implementation of novel methods of data compression in two areas: DNA sequence compression and difference compression of files.

2013

With the vast amount of data needed to be archived, indexed and procesed, special data structures are required. The tree is a typical data structure which is used very often for hierarchically storing data. Specialized algorithms are needed for indexing tree data structures and also accessing, extracting and analyzing data stored in them. The aim of this research is to design efficient yet simple to understand algorithms dealing with tree pattern matching (both exact and approximate) and tree indexing, and provide a toolkit implementation. Another goal of this project is design and implementation of novel methods of data compression in two areas: first, music score compression; second, natural language compression.

2012

With the vast amount of data needed to be archived, indexed and procesed, special data structures are required. The tree is a typical data structure which is used very often for hierarchically storing data. Specialized algorithms are needed for indexing tree data structures and also accessing, extracting and analyzing data stored in them. Examples of applications can be the optimization of abstract syntax trees in the process of compiling, term-rewriting, mechanical theorem proving, searching in phylogenic trees, indexing the secondary structure of RNA, searching in XML documents and evaluating the source code of functional programming languages. For this purpose we have introduced a new research discipline called Arbology, a generalization of Stringology, that deals with tree structures. We use the pushdown automaton as our computational model since the linear notions of trees, being generated by context-free grammars, are in fact context-free languages. The aim of this research is to