ITAT is a place of meeting for scientists and experts working in computer science mainly from the Czech Republic and Slovakia. The emphasis is on exchange of information between the participants and informal communication, a big space is devoted to discussions. Workshop thus offers a possibility for young researchers and students, mainly PhD students, to present their work and to discuss with more experienced colleagues. The conference languages are Slovak and Czech, proceedings papers are in English. The place is traditionally chosen at least 1000 meters above the sea level in a location not directly accessible by public transport. ITAT is a broad scope conference that ranges from foundations of computer science, security, through data and semantic web to software engineering. Each from the 47 submissions was refereed by at least two independent referees. The proceedings consists of two invited lectures and 9 original scientific papers. ITAT'10 was organized by We would like to thank invited speakers Mária Bieliková and Peter Vojtáš, the authors of presented papers, all PC members and reviewers for keeping high scientific level of ITAT as well as organizers led by Peter Gurský for organizing this jubilee event.
Special thanks go to our sponsors:
Peter Gurský, (chair), University of P.J. Šafárik, Košice, SK Hanka Bílková, Institute of Computer Science, AS CR, Prague, CZ Tomáš Horváth , University of P.J. Šafárik, Košice, SK Róbert Novotný, University of P.J. Šafárik, Košice, SK Martin Šumák, University of P.J. Šafárik, Košice, SK Veronika Vaneková, University of P.J. Šafárik, Košice, SK
How much semantics on the “wild” Web is enough for machines to help us? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 M. Bieliková Information technologies - synergy of theory and application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 P. Vojtáš
Automatic source code reduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 J. Diviš, O. Bojar Two ways of using artificial neural networks in knowledge discovery from chemical materials data . . . . . . . . . . . . . . . . 17 M. Holenˇa Towards a formal model of natural language description based on restarting automata with parallel DR-structures . . 25 M. Lopatková, F. Mráz, M. Plátek On the denotational semantics of XML-Lambda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 P. Loupal, K. Richta Clairvoyance versus cooperation in scheduling of independent tasks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 T. Plachetka Reversal of regular languages and state complexity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 J. Šebej Implementation of a data layer for the visualization of component-based applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 J. Šnajberk, P. Brada Approximate throughput maximization in scheduling of parallel jobs on hypercubes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 O. Zajícˇek