[CEUR Workshop Proceedings] 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

  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