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

### Proceedings of the Conference on Theory and Practice of Information Technologies

### Belianske Tatry, Slovak Republic, September 17-21, 2012.

Edited by

### Tomáš Horváth *

* Pavol Jozef Šafárik University, Faculty of Science, 041 54 Košice, Slovak Republic

## Table of Contents

- Preface

- Machine learning applications in bioinformatics 1-2
  Jiří Kléma
- RBF-based surrogate model for evolutionary optimization 3-8
  Lukáš Bajer, Martin Holeňa
- Effective Datalog-like representation of procedural programs 9-16
  David Bednárek
- Conformal sets in neural network regression 17-24
  Radim Demut, Martin Holeňa
- Fuzzy classification rules based on similarity 25-33
  Martin Holeňa, David Štefka
- Evolutionary optimization with active learning of surrogate models and fixed evaluation batch 34-40
  Viktor Charypar, Martin Holeňa
- Aligning sequences with repetitive motifs 41-48
  Peter Kováč, Broňa Brejová, Tomáš Vinař
- Surrogate solutions of Fredholm equations by feedforward networks 49-54
  Věra Kůrková
- Localization of (in)consistencies by monotone reducing automata 55-62
  Martin Procházka, Martin Plátek

29-May-2013: submitted by Tomáš Horváth
30-May-2013: published on CEUR-WS.org