=Paper=
{{Paper
|id=None
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1003/front.pdf
|volume=Vol-1003
}}
==None==
https://ceur-ws.org/Vol-1003/front.pdf
Tomáš Vinař (Ed.)
ITAT 2013: Information Technologies—Applications and Theory
Proceedings
Conference on Theory and Practice of Information Technologies
Donovaly, Slovakia, September 11-15, 2013
ITAT 2013: Information Technologies—Applications and Theory (Proceedings)
Donovaly, Slovakia, September 11-15, 2013
Tomáš Vinař (Ed.)
CEUR Workshop Proceedings vol. 1003
http://ceur-ws.org/Vol-1003/
ISSN 1613-0073
Also published by CreateSpace Independent Publishing Platform, 2013
ISBN 978-1490952000
These proceedings contain papers from the conference ITAT 2013. All authors agreed to publish
their papers in these proceedings. Copyright remains with the authors of the papers. All papers
were reviewed by at least three anonymous referees.
http://www.itat.cz/
Introduction
This volume contains papers from the main track of the 13th ITAT conference, which took place
on September 11-15, 2013 at Donovaly, Slovakia. ITAT is a computer science conference with
the primary goal of presenting new results of young researchers and doctoral students from Slo-
vakia and the Czech Republic. The conference serves as a platform for exchange of information
within the community, and also provides opportunities for informal meetings of the participants in
a mountainous regions of the Czech Republic and Slovakia. The traditional topics of the confer-
ence include software engineering, data processing and knowledge representation, information
security, theoretical foundations of computer science, computational intelligence, distributed com-
puting, natural language processing, and computer science education. The conference accepts
papers describing original previously unpublished results, significant work-in-progress reports, as
well as reviews of special topics of interest to the conference audience.
The conference program this year included the main track of contributed papers, workshops,
posters, and three invited lectures. Overall, 44 papers and abstracts were submitted to all con-
ference tracks. These proceedings present 15 papers of the main track which were selected by
the program committee based on at least three reviews by the program committee members and
anonymous referees. This volume also contains abstract of three invited lectures by Dávid Pál
(Google New York), Eduard Kejnovský (The Academy of Sciences of the Czech Republic), and
Richard Královič (Google Zürich).
As a new feature this year, three specialized workshops were organized as a part of the con-
ference:
• Data Mining and User Preference Learning
(organized by Ladislav Peška and Peter Vojtáš)
• Bioinformatics in Genomics and Proteomics (organized by Matej Lexa)
• Computational Intelligence and Data Mining (organized by Martin Holeňa)
Papers and abstracts from these workshops, as well as poster abstracts, are presented in a
separate volume.
I would like to thank all program committee members, anonymous referees, conference or-
ganizers, invited speakers, and authors of the papers for helping to create an exciting scientic
program for ITAT 2013.
Tomáš Vinař
Comenius University in Bratislava
Chair of the Program Committee
iii
Steering Committee
Peter Vojtáš, Univerzita Karlova, Praha (chair)
Tomáš Horváth, Univerzita P. J. Šafárika v Košiciach
Roman Neruda, Akademie věd České republiky
Dana Pardubská, Univerzita Komenského v Bratislave
Filip Zavoral, Univerzita Karlova, Praha
Program Committee
Tomáš Vinař, Univerzita Komenského v Bratislave (chair)
Radim Bača, Vysoká škola báňská - Technická univerzita Ostrava
David Bednárek, Univerzita Karlova, Praha
Mária Bieliková, Slovenská technická univerzita, Bratislava
Broňa Brejová, Univerzita Komenského v Bratislave
Marek Ciglan, Slovenská akadémia vied
Stefan Dobrev, Slovenská akadémia vied
Jiří Dokulil, Univerzita Karlova, Praha
Martin Holeňa, Akademie věd České republiky
Tomáš Horváth, Univerzita P. J. Šafárika, Košice
Daniela Chudá, Slovenská technická univerzita, Bratislava
Jozef Jirásek, Univerzita P. J. Šafárika, Košice
Jana Katreniaková, Univerzita Komenského v Bratislave
Jana Kostičová, Univerzita Komenského v Bratislave
Rastislav Král’ovič, Univerzita Komenského v Bratislave
Michal Krátký, Vysoká škola báňská - Technická univerzita Ostrava
Věra Kůrková, Akademie věd České republiky
Markéta Lopatková, Univerzita Karlova, Praha
Roman Neruda, Akademie věd České republiky
Dana Pardubská, Univerzita Komenského v Bratislave
Tomáš Plachetka, Univerzita Komenského v Bratislave
Jaroslav Pokorný, Univerzita Karlova, Praha
Karel Richta, Univerzita Karlova, Praha
Gabriel Semanišin, Univerzita P. J. Šafárika v Košiciach
Václav Snášel, Vysoká škola báňská - Technická univerzita Ostrava
Roman Špánek, Akademie věd České republiky
Július Štuller, Akademie věd České republiky
Ondrej Šuch, Univerzita Mateja Bela, Banská Bystrica
Jakub Yaghob, Univerzita Karlova, Praha
Filip Zavoral, Univerzita Karlova, Praha
Organizing Committee
Štefan Pero, Univerzita P. J. Šafárika v Košiciach (chair)
Tomáš Horváth, Univerzita P. J. Šafárika v Košiciach
Peter Gurský, Univerzita P. J. Šafárika v Košiciach
iv
Contents
D. Pál: Online problémy v strojovom učení (pozvaná prednáška) . . . . . . . . . . . . . 1
M. Lopatková, M. Plátek : Formalization of Word-Order Shifts by Restarting Automata . 2
A. Vernerová, M. Lopatková: Towards Automatic Detection of Applicable Diatheses . . . 10
M. Pataky : Anonymita používatel’a na internete . . . . . . . . . . . . . . . . . . . . . . . 18
M. Kuzma: Improving the Estimation of Font Face Attributes According to User Preferences 24
V. Martínek, M. Žemlička: Spolehlivost přestupů . . . . . . . . . . . . . . . . . . . . . . 29
E. Kejnovský : Skákající geny—paraziti nebo pomocníci? (pozvaná prednáška) . . . . . 35
M. Višňovská, T. Vinař, B. Brejová: DNA Sequence Segmentation Based on Local Simi-
larity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
M. Kravec, M. Bobák, B. Brejová, T. Vinař : Variants of Genes from the Next Generation
Sequencing Data . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
G. Andrejková, A. Almarimi, A. Mahmoud: Approximate Pattern Matching Using Fuzzy
Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
V. Boža: Experimental Comparison of Set Intersection Algorithms for Inverted Indexing 58
M. Kruliš, M. Čermák, Z. Falt, J. Yaghob: Revize metod externího třídění pro moderní
hadware . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
M. Čermák, F. Zavoral: Dosiahnutie vysokej dostupnosti v D-Boboxe . . . . . . . . . . . 69
Z. Falt, M. Kruliš, J. Yaghob: Bobolang—jazyk pro systém Bobox . . . . . . . . . . . . . 75
M. Brabec, D. Bednárek : Programming Parallel Pipelines Using Non-Parallel C# Code . 82
R. Královič: Menej je niekedy viac: Mapreduce a Flume v paralelných výpočtoch (poz-
vaná prednáška) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
W. Foryś, G. Semanišin, M. Foryś: Trace Shifts—Minimal Case for Independence Rela-
tions Given by Five Node Co-Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . 89
G. Jirásková, M. Palmovský : Kleene Closure and State Complexity . . . . . . . . . . . . 94
v
vi CONTENTS