ITAT 2013: Information Technologies—Applications and Theory (Proceedings) Donovaly, Slovakia, September 11-15, 2013 Tomáš Vinarˇ (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/ 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 Slovakia 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 conference include software engineering, data processing and knowledge representation, information security, theoretical foundations of computer science, computational intelligence, distributed computing, 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 conference 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álovicˇ (Google Zürich).
As a new feature this year, three specialized workshops were organized as a part of the conference:
Computational Intelligence and Data Mining (organized by Martin Holenˇ 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 organizers, invited speakers, and authors of the papers for helping to create an exciting scientic program for ITAT 2013.
Comenius University in Bratislava Chair of the Program Committee
Tomáš Horváth, Univerzita P. J. Šafárika v Košiciach Roman Neruda, Akademie veˇ d Cˇ eské republiky Dana Pardubská, Univerzita Komenského v Bratislave Filip Zavoral, Univerzita Karlova, Praha
Radim Bacˇa, Vysoká škola bánˇ ská - Technická univerzita Ostrava David Bednárek, Univerzita Karlova, Praha Mária Bieliková, Slovenská technická univerzita, Bratislava Bronˇ a Brejová, Univerzita Komenského v Bratislave Marek Ciglan, Slovenská akadémia vied Stefan Dobrev, Slovenská akadémia vied Jirˇí Dokulil, Univerzita Karlova, Praha Martin Holenˇ a, Akademie veˇ d Cˇ 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 Kosticˇová, Univerzita Komenského v Bratislave Rastislav Král’ovicˇ, Univerzita Komenského v Bratislave Michal Krátký, Vysoká škola bánˇ ská - Technická univerzita Ostrava Veˇ ra Ku˚ rková, Akademie veˇ d Cˇ eské republiky Markéta Lopatková, Univerzita Karlova, Praha Roman Neruda, Akademie veˇ d Cˇ 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ánˇ ská - Technická univerzita Ostrava Roman Špánek, Akademie veˇ d Cˇ eské republiky Július Štuller, Akademie veˇ d Cˇ eské republiky Ondrej Šuch, Univerzita Mateja Bela, Banská Bystrica Jakub Yaghob, Univerzita Karlova, Praha Filip Zavoral, Univerzita Karlova, Praha
Š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
D. Pál: Online problémy v strojovom ucˇ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. Žemlicˇka: Spolehlivost prˇestupu˚ . . . . . . . . . . . . . . . . . . . . . . 29 E. Kejnovský: Skákající geny—paraziti nebo pomocníci? (pozvaná prednáška) . . . . . 35 M. Višnˇovská, T. Vinarˇ, B. Brejová: DNA Sequence Segmentation Based on Local Similarity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 M. Kravec, M. Bobák, B. Brejová, T. Vinarˇ: 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. Cˇermák, Z. Falt, J. Yaghob: Revize metod externího trˇídeˇní pro moderní hadware . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 M. Cˇ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álovicˇ: Menej je niekedy viac: Mapreduce a Flume v paralelných výpocˇtoch (pozvaná prednáška) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 W. Forys´, G. Semanišin, M. Forys´: Trace Shifts—Minimal Case for Independence Relations Given by Five Node Co-Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . 89 G. Jirásková, M. Palmovský: Kleene Closure and State Complexity . . . . . . . . . . . . 94