• Aucun résultat trouvé

Preface

N/A
N/A
Protected

Academic year: 2022

Partager "Preface"

Copied!
3
0
0

Texte intégral

(1)

Preface

The 10th workshopITAT’10 (Information Technology – Applications and Theory, http://itat.ics.upjs.sk/) was held in Hotel Smrekovica (http://www.vzsmrekovica.sk/), located 1428 meters above the sea level in Vel’ká Fatra, Slovakia, September 21–25, 2010.

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 infor- mal 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

Institute of Informatics of University of P.J. Šafárik in Košice Faculty of Mathematics and Physics, Charles University in Prague

Institute of Computer Science of Academy of Sciences of the Czech Republic, Prague Slovak Society for Artificial Intelligence.

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:

Profinit (http://www.profinit.eu/)

Dana Pardubská

(2)

Program Committee

Dana Pardubská, (Chair),Comenius University, Bratislava, SK Radim Baˇca,Technical University VŠB, Ostrava, CZ

David Bednárek,Charles University, Prague, CZ

Mária Bieliková,Slovak University of Technology, Bratislava, SK Jiˇrí Dokulil,Charles University, Prague, CZ

Jana Dvoˇráková,Charles University, Prague, CZ Viliam Geffert,University of P.J. Šafárik, Košice, SK Peter Gurský,University of P.J. Šafárik, Košice, SK Tomáš Holan,Charles University, Prague, CZ Tomáš Horváth,University of P.J. Šafárik, Košice, SK

Daniela Chudá,Institute of Informatics and Software Engineering, Bratislava, SK Jozef Jirásek,University of P.J. Šafárik, Košice, SK

Jana Katreniaková,Comenius University, Bratislava, SK Rastislav Královiˇc,Comenius University, Bratislava, SK Michal Krátký,Technical University VŠB, Ostrava, CZ

Vˇera K˚urková,Institute of Computer Science, AS CR, Prague, CZ Markéta Lopatková,Charles University, Prague, CZ

Roman Neruda,Institute of Computer Science, AS CR, Prague, CZ Richard Ostertág,Comenius University, Bratislava, SK

Tomáš Plachetka,Comenius University, Bratislava, SK Martin Plátek,Charles University, Prague, CZ Jaroslav Pokorný,Charles University, Prague, CZ Karel Richta,Charles University, Prague, CZ

Gabriel Semanišin,University of P.J. Šafárik, Košice, SK Václav Snášel,Technical University VŠB, Ostrava, CZ Vojtˇech Svátek,University of Economics, Prague, CZ Jiˇrí Šíma,Institute of Computer Science, AS CR, Prague, CZ Roman Špánek,Institute of Computer Science, AS CR, Prague, CZ Július Štuller,Institute of Computer Science, AS CR, Prague, CZ

Ondrej Šuch,Inštitút matematiky a informatiky, SAV, Banská Bystrica, SK Roman Vaculín,Institute of Computer Science, AS CR, Prague, CZ Peter Vojtáš,Charles University, Prague, CZ

Jakub Yaghob,Charles University, Prague, CZ Filip Zavoral,Charles University, Prague, CZ

Organizing Committee

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

Organization

ITAT 2010 – Information Technologies – Applications and Theory was organized by University of P.J. Šafárik, Košice, SK

Institute of Computer Science, AS CR, Prague, CZ

Faculty of Mathematics and Physics, Charles University, Prague, CZ Slovak Society for Artificial Intelligence, SK

(3)

Table of Contents

Invited papers

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áš

Scientific papers

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. Holeˇna

Towards a formal model of natural language description based on restarting automata with parallelDR-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

Estimating effective DNA database size via compression . . . 63 M. Višˇnovská, M. Nánási, T. Vinaˇr, B. Brejová

Approximate throughput maximization in scheduling of parallel jobs on hypercubes . . . 71 O. Zajíˇcek

Références

Documents relatifs

Tofte's idea is to employ a marking of type variables so as to maintain the invariant that if a type variable can occur in the type of a location in the store, then generalization

The reading for the affine variant, which admits Weakening for the multiplicative combination “,”, is obtained by changing the interpretation of the additive function type to say

Tomáš Pevný, Czech Technical University, Prague Petr Pošík, Czech Technical University, Prague Jan Rauch, University of Economics, Prague Heike Trautmann, University of

Lukáš Bajer, Institute of Computer Science, Prague co-chair of the Program Committee ITAT 2014 Vojtˇech Svátek, University of Economics, Prague co-chair of the Program

Věra Kůrková, Institute of Computer Science, AS CR, Prague, CZ Markéta Lopatková, Charles University in Prague, Prague, CZ Roman Neruda, Institute of Computer Science, AS CR, Prague,

Vˇ SB–TU Ostrava, FEECS, Department of Computer Science Charles University in Prague, MFF, Department of Software Engineering Czech Technical University in Prague, FEE, Department

Tomáš Plachetka, Comenius University, Bratislava, SK Martin Plátek, Charles University in Prague, Prague, CZ Jaroslav Pokorný, Charles University in Prague, Prague, CZ Karel

Vˇ SB–TU Ostrava, FEECS, Department of Computer Science Charles University in Prague, MFF, Department of Software Engineering Czech Technical University in Prague, FEE, Department