Vol-1145
urn:nbn:de:0074-1145-4

Copyright © 2014 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.

YSIP 2014
Young Scientists' International Workshop on Trends in Information Processing

Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP)
Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, Production and Education (INFOCOM-6)

Stavropol, Russian Federation, April 22-25, 2014.

Edited by

Steffen Hölldobler *
Andrey Malikov **
Christoph Wernhard *

* International Center for Computational Logic, Technische Universität Dresden, Dresden, Germany
** Institute for Information Processing and Telecommunication, North-Caucasus Federal University, Stavropol, Russian Federation

Complete workshop proceedings as one file.

Table of Contents

Preface

Research Papers

Review of Modern Techniques of Qualitative Data Clustering 7-13
Sergey Cherevko, Andrey Malikov
Advanced Petri Nets and the Fluent Calculus 15-24
Steffen Hölldobler, Ferdian Jovan
Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers 25-34
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
Dynamical Change of the Perceiving Properties of Neural Networks as Training with Noise and Its Impact on Pattern Recognition 35-40
Roman Nemkov
A Pipeline for Supervised Formal Definition Generation 41-51
Alina Petrova
Properties of Majority Transformations under Random Processes Parameters Measurement 53-56
Elena Stepanova, Alexey Liagin, Alla Pletukhina
Identification of Exploitation Conditions of the Automobile Tire while Car Driving by Means of Hidden Markov Models 57-66
Denis Tananaev, Galina Shagrova, Victor Kozhevnikov
DBMS Index for Hierarchical Data Using Nested Intervals and Residue Classes 67-76
Vladimir Volonkin

Tutorial

Answer Set Programming and CLASP – A Tutorial 77-95
Steffen Hölldobler, Lukas Schweizer

2014-04-14: submitted by Christoph Wernhard
2014-04-15: published on CEUR-WS.org |valid HTML5|