ITAT 2013
Information Technologies - Applications and Theory

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ý