=Paper=
{{Paper
|id=Vol-1837/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1837/preface.pdf
|volume=Vol-1837
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1837/preface.pdf</pdf>
<pre>
                          YSIP2

           Proceedings of the Second
    Young Scientist’s International Workshop
      on Trends in Information Processing,
          Dombai, Russian Federation,
               May 16–20, 2017

Steffen Hölldobler, Andrey Malikov, Christoph Wernhard (Eds.)
Published at http://ceur-ws.org.

Copyright c 2017 for the individual papers by the papers’ authors. Copying permitted for private and academic
purposes. This volume is published and copyrighted by its editors.


                                                     2
                                                Preface

This is the second international workshop for young researchers working in Information Processing. It was
organized by the North-Caucasus Federal University and the International Center for Computational Logic of
the Technische Universität Dresden, and it was held in the town of Dombai in the beautiful Caucasian Mountains.
We are aiming at bringing together master and PhD students from Russia, Europe and beyond to present and
to discuss their new scientific results.
    There were 46 submissions. Each submission was reviewed by at least two international program committee
members. The committee decided to accept 24 papers. The program also includes four invited talks. We would
like to thank all the members of the PC for providing the reviews.
    The workshop would not have been possible without the tremendous amount of help and support by Oxana
Mesentseva and her team from the North-Caucasus Federal University. Many thanks.
Steffen Hölldobler
Andrey Malikov
Christoph Wernhard
Dresden and Stavropol
May 2017


                                                       3
                                         Organization

YSIP2 was organized jointly by the Institute for Information Processing and Telecommunication of North-
Caucasus Federal University and the International Center for Computational Logic of Technische Universität
Dresden.

Program Committee Chairs
Steffen Hölldobler            Technische Universität Dresden, Germany
                               and North-Caucasus Federal University, Russian Federation
Andrey Malikov                 North-Caucasus Federal University, Russian Federation
Christoph Wernhard             Technische Universität Dresden, Germany

Program Committee
José Júlio Alferes           Universidade Nova de Lisboa, Portugal
Isara Anantavrasilp            King Mongkut’s Institute of Technology Ladkrabang, Thailand
Victorija Drozdova             North-Caucasus Federal University, Russian Federation
Anna Fensel                    University of Innsbruck, Austria
Ulrich Furbach                 Universität Koblenz-Landau, Germany
Steffen Hölldobler            Technische Universität Dresden, Germany
                               and North-Caucasus Federal University, Russian Federation
Andrey Malikov                 North-Caucasus Federal University, Russian Federation
Igor Mandriza                  North-Caucasus Federal University, Russian Federation
Massimo Mecella                Sapienza - Università di Roma, Italy
German Michalconok             Slovak University of Technology, Slovak Republic
Sergei Obiedkov                Higher School of Economics, Russian Federation
Sergey Porshnev                Ural Federal University, Russian Federation
Josef Schneeberger             University of Applied Science Deggendorf, Germany
Chattrakul Sombattheera        Mahasarakham University, Thailand
Pavol Tanuška                 Slovak University of Technology, Slovakia
Sergio Tessaris                Free University of Bozen-Bolzano, Italy
Khang Tran Dinh                Hanoi University of Science and Technology, Vietnam
Aleksei Tselykh                Southern Federal University, Russian Federation
Gennady Tsibulsky              Siberian Federal University, Russian Federation
Christoph Wernhard             Technische Universität Dresden, Germany


                                                    4
                                                   Contents


Invited Talk: Enabling Smart Data Services for Behavioural Change . . . . . . . . . . . . . . . . . . . . .            7
     Anna Fensel
Invited Talk: Challenges in Knowledge-Intensive Processes. Mining from Semi-Structured Information
and Providing Run-time Automated Adaptation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .           13
     Massimo Mecella
Invited Talk: Deep Learning in Biometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .       15
     Peter Peer
Invited Talk: Research Assessment: A Contribution to Solving the Publication Credit Allocation Problem                16
     Marco Schaerf
An Abstract Dual Propositional Model Counter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .        17
   Armin Biere, Steffen Hölldobler and Sibylle Möhle
User Interface Design for a Web-based Image Processing and Analysis System . . . . . . . . . . . . . . . .            27
    Aleksey Bragin, Alexander Dubanov and Alexander Rechitskiy
A Mathematical Model of a Trusted Download Violator Process “Hardware Thin Client” . . . . . . . . .                  32
   Kirill A. Butsik and Evgeniy N. Tishchenko
Splitting Features of Rotation Shapes in the External Finite-Element Approximations Method . . . . . .                38
     Mikhail Chizhov, Andrei Uspehov and Alexander Trotsenko
Monadic Reasoning using Weak Completion Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . .           45
   Ana Oliveira Da Costa, Emmanuelle-Anna Dietz Saldanha and Steffen Hölldobler
Obligation versus Factual Conditionals under the Weak Completion Semantics . . . . . . . . . . . . . . .              55
    Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler and Isabelly Lourêdo Rocha
The Complexity of Contextual Abduction in Human Reasoning Tasks . . . . . . . . . . . . . . . . . . . .               65
    Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler and Tobias Philipp
A Calculator Model for the Estimation of Noise Immunity of Trans-Ionospheric Communication
Channels, Based on the Theory of Residue Number Systems . . . . . . . . . . . . . . . . . . . . . . . . . .           75
   Vitaliy Grankin, Gennady Linets and Roman Taranov
Mathematical Modeling for Systems of Large Dimension Through a Modification of the Method of
Iterative Aggregation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .   84
     Tatyana Grobova, Alexey Troyanov, Vladislav Lysov and Vladimir Antonov
Lessons Learned from AlphaGo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .      92
    Steffen Hölldobler, Sibylle Möhle and Anna Tigunova
An Application of the Cellular Automaton Method in Autowave Process Modeling of the Surface Layer of
Magnetic Fluid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
    Natalya Kandaurova, Vladimir Chekanov, Sergey Mirzakhanov, Andrey Makovsky and Yury
    Kuznetsov
A Model for Transformation of Self-Similar Traffic into Poisson’s Arrival Packets . . . . . . . . . . . . . . 107
   Gennadiy I. Linets, Svetlana V. Govorova, Sergey V. Melnikov and Viktor V. Medenec
The Use of Redundant Modular Codes for Improving the Fault Tolerance of Special Processors for Digital
Signal Processing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
    Alyona V. Makarova, Elena P. Stepanova, Ekaterina V. Toporkova and Igor A. Kalmykov


                                                           5
The Solution to the Problem of Optimal Control in an Unstable Economic System . . . . . . . . . . . . . 123
    Aleksandr S. Marahovskiy, Evgeni L. Toropcev, Anna V. Shadchneva and Evgenya A. Nekrasova
Processing Principles of Ionosphere Passive Monitoring Data . . . . . . . . . . . . . . . . . . . . . . . . . 130
    Dmitry M. Markov and Alexander F. Chipiga
A Fuzzy Model for Identifying Significant Subtle Effects within a System of Objects’ Responses . . . . . . 139
    Dmitry M. Nazarov, Dmitry A. Azarov and Viktor P. Ivanitsky
Image Recognition by a Second-Order Convolutional Neural Network with Dynamic Receptive Fields             . . 147
    Roman Nemkov, Oksana Mezentseva, Dmitriy Mezentsev and Maksim Brodnikov
An Intelligent System for Content Generation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
    Evgeny I. Nikolaev, Pavel V. Dvoryaninov, Nikita S. Drozdovsky and Yaroslav Y. Lensky
A Method of Forming Code Sets for CDMA in Communication, Navigation and Control Systems . . . . . 158
   Dmitrii Orel, Aleksandr Zhuk, Elena Zhuk and Liudmila Luganskaia
Generic Mining of Condensed Pattern Representations under Constraints . . . . . . . . . . . . . . . . . . 168
   Sergey Paramonov, Tao Chen and Tias Guns
Mathematical Modelling of the Process for Impact on Automated Information System Security of
Threats Access to Restricted Information . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
    Alexandr P. Rosenko and Evgenya A. Nekrasova
Data Type Detection for Choosing an Appropriate Correlation Coefficient in the Bivariate Case         . . . . . 188
    Anastasiia Yu. Timofeeva
The GPU-Oriented Tree Representation Based on the Method of Finding the Remainder . . . . . . . . . 195
    Vladimir Voronkin, Andrey Malikov, Elmira Azarova and Aleksey Shchegolev
The Implementation of Information and Communication Technologies with the Use of Modular Codes . . 206
    Dmitriy Yurdanov, Maksim Kalmikov, Dmitriy Gostev and Igor Kalmykov


                                                         6

</pre>