| Vol-683 urn:nbn:de:0074-683-7 Copyright © 2010 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-2010
Information Technologies - Applications and Theory

### Proceedings of the Conference on Theory and Practice of Information Technologies 2010 (ITAT-2010)

### Hotel Smrekovica, Veľká Fatra, Slovak Republic, September 21-25, 2010.

Edited by

### Dana Pardubská *

* Comenius University, Faculty of Mathematics, Physics and Informatics, Bratislava, Slovak Republic

## Table of Contents

- Preface

1. How much semantics on the "wild" Web is enough for machines to help us? (invited paper) 1-6
   Mária Bieliková
2. Information technologies - synergy of theory and application (invited paper) 7-8
   Peter Vojtáš
3. Automatic source code reduction 9-16
   Jiří Diviš, Ondřej Bojar
4. Two ways of using artificial neural networks in knowledge discovery from chemical materials data 17-24
   Martin Holeňa
5. Towards a formal model of natural language description based on restarting automata with parallel DR-structures 25-32
   Markéta Lopatková, František Mráz, Martin Plátek
6. On the denotational semantics of XML-Lambda 33-38
   Pavel Loupal, Karel Richta
7. Clairvoyance versus cooperation in scheduling of independent tasks 39-46
   Tomáš Plachetka
8. Reversal of regular languages and state complexity 47-54
   Juraj Šebej
9. Implementation of a data layer for the visualization of component-based applications 55-62
   Jaroslav Šnajberk, Přemek Brada
10. Estimating effective DNA database size via compression 63-70
    Martina Višňovská, Michal Nánási, Tomáš Vinař, Broňa Brejová
11. Approximate throughput maximization in scheduling of parallel jobs on hypercubes 71-75
    Ondřej Zajíček

28-Nov-2010: submitted by Dana Pardubská
29-Nov-2010: published on CEUR-WS.org