Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, Production and Education (INFOCOM-6)
Proceedings Copyright c 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.
The idea to organize an international workshop for young researchers was born during a discussion within the organization committee of the International Conference on Infocommunicational Technologies in Science, Production and Education (INFOCOM-6). In particular, we wanted to bring together master and PhD students from Russia and Europe to present and to discuss their new scientific results in Information Processing.
We have accepted eight technical papers and a tutorial for presentation at the workshop and publication in these proceedings. The papers were reviewed by an international program committee and we would like to thank Viktorija Drozdova, Ulrich Furbach, Joáo Leite, Igor Mandriza, Sergei Obiedkov, Josef Schneeberger, and Sergio Tessaris for providing the reviews.
We would also like to thank the North-Caucasus Federal University and, in particular, Oxana Mesentseva, Tatyana Kortchagina and her team of the International Department as well as Julia Komarova for their help and support in organizing this event.
Technische Universität Dresden, Dresden, Germany North-Caucasus Federal University, Stavropol, Russian Federation
Technische Universität Dresden, Dresden, Germany
Christoph Wernhard
North-Caucasus Federal University, Stavropol, Russian Federation Universität Koblenz-Landau, Koblenz, Germany Technische Universität Dresden, Dresden, Germany Universidade Nova de Lisboa, Lisbon, Portugal North-Caucasus Federal University, Stavropol, Russian Federation North-Caucasus Federal University, Stavropol, Russian Federation Higher School of Economics, Moscow, Russian Federation University of Applied Science Deggendorf, Deggendorf, Germany Free University of Bozen-Bolzano, Bolzano, Italy Technische Universität Dresden, Dresden, Germany
Review of Modern Techniques of Qualitative Data Clustering . . . . . . . . .
Advanced Petri Nets and the Fluent Calculus . . . . . . . . . . . . . . . . . . . . . . . . Steffen Hölldobler, Norbert Manthey, Tobias Philipp and Peter
Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Dynamical Change of the Perceiving Properties of Neural Networks as Training with Noise and Its Impact on Pattern Recognition . . . . . . .
A Pipeline for Supervised Formal Definition Generation . . . . . . . . . . . . .
Properties of Majority Transformations under Random Processes Parameters Measurement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Identification of Exploitation Conditions of the Automobile Tire while Car Driving by Means of Hidden Markov Models . . . . . . . . . . . . . . .
DBMS Index for Hierarchical Data Using Nested Intervals and Residue Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Tutorial
Answer Set Programming and CLASP – A Tutorial . . . . . . . . . . . . . . . . . .