| Vol-1003 urn:nbn:de:0074-1003-0 Copyright © 2013 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# ITAT 2013
Information Technologies - Applications and Theory

### Proceedings of the Conference on Information Technologies - Applications and Theory

### Donovaly, Slovakia, September 11-15, 2013.

Edited by

### Tomas Vinar *

* Comenius University in Bratislava, Faculty of Mathematics, Physics and Informatis, Mlynska dolina, 84248 Bratislava, Slovakia

## Table of Contents

- Introduction

- Online problémy v strojovom učení (invited talk) 1
  Dávid Pál
- Formalization of Word-Order Shifts by Restarting Automata 2-9
  Markéta Lopatková, Martin Plátek
- Towards Automatic Detection of Applicable Diatheses 10-17
  Anna Vernerová, Markéta Lopatková
- Anonymita používateľa na internete 18-23
  Mikuláš Pataky
- Improving the Estimation of Font Face Attributes According to User Preferences 24-28
  Miron Kuzma
- Spolehlivost přestupů 29-34
  Vladislav Martínek, Michal Žemlička
- Skákající geny - paraziti nebo pomocníci (invited talk) 35
  Eduard Kejnovský
- DNA Sequence Segmentation Based on Local Similarity 36-43
  Martina Višňovská, Tomáš Vinař, Broňa Brejová
- Variants of Genes from the Next Generation Sequencing Data 44-51
  Martin Kravec, Martin Bobák, Broňa Brejová, Tomáš Vinař
- Approximate Pattern Matching Using Fuzzy Logic 52-57
  Gabriela Andrejková, Abulwahet Almarimi, Asma Mahmoud
- Experimental Comparison of Set Intersection Algorithms for Inverted Indexing 58-64
  Vladimír Boža
- Revize metod externího třídění pro moderní hardware 65-68
  Martin Kruliš, Miroslav Čermák, Zbyněk Falt, Jakub Yaghob
- Dosiahnutie vysokej dostupnosti v D-Boboxe 69-74
  Miroslav Čermák, Filip Zavoral
- Bobolang - jazyk pro systém Bobox 75-81
  Zbyněk Falt, Martin Kruliš, Jakub Yaghob
- Programming Parallel Pipelines Using Non-Parallel C# Code 82-87
  Michal Brabec, David Bednárek
- Menej je niekedy viac: Mapreduce a Flume v paralelných výpočtoch (invited talk) 88
  Richard Královič
- Trace Shifts - Minimal Case for Independence Relations Given by Five Node Co-Graphs 89-93
  Wit Foryś, Gabriel Semanišin, Magdalena Foryś
- Kleene Closure and State Complexity 94-100
  Galina Jirásková, Matúš Palmovský

2013-08-06: submitted by Tomas Vinar
2013-08-06: published on CEUR-WS.org