| Vol-1837 urn:nbn:de:0074-1837-1 Copyright © 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.

# YSIP2 2017
Young Scientist's International Workshop on Trends in Information Processing

### YSIP2 – Proceedings of the Second Young Scientist's International Workshop on Trends in Information Processing

### Dombai, Russian Federation, May 16-20, 2017.

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

## Table of Contents

- Preface

- Invited Talk: Enabling Smart Data Services for Behavioural Change 7-12
  Anna Fensel
- Invited Talk: Challenges in Knowledge-Intensive Processes. Mining from Semi-Structured Information and Providing Run-time Automated Adaptation 13-14
  Massimo Mecella
- Invited Talk: Deep Learning in Biometry 15-15
  Peter Peer
- Invited Talk: Research Assessment: A Contribution to Solving the Publication Credit Allocation Problem 16-16
  Marco Schaerf
- An Abstract Dual Propositional Model Counter 17-26
  Armin Biere, Steffen Hölldobler, Sibylle Möhle
- User Interface Design for a Web-based Image Processing and Analysis System 27-31
  Aleksey Bragin, Alexander Dubanov, Alexander Rechitskiy
- A Mathematical Model of a Trusted Download Violator Process “Hardware Thin Client” 32-37
  Kirill A. Butsik, Evgeniy N. Tishchenko
- Splitting Features of Rotation Shapes in the External Finite-Element Approximations Method 38-44
  Mikhail Chizhov, Andrei Uspehov, Alexander Trotsenko
- Monadic Reasoning using Weak Completion Semantics 45-54
  Ana Oliveira Da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler
- Obligation versus Factual Conditionals under the Weak Completion Semantics 55-64
  Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha
- The Complexity of Contextual Abduction in Human Reasoning Tasks 65-74
  Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, 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-83
  Vitaliy Grankin, Gennady Linets, Roman Taranov
- Mathematical Modeling for Systems of Large Dimension Through a Modification of the Method of Iterative Aggregation 84-91
  Tatyana Grobova, Alexey Troyanov, Vladislav Lysov, Vladimir Antonov
- Lessons Learned from AlphaGo 92-101
  Steffen Hölldobler, Sibylle Möhle, Anna Tigunova
- An Application of the Cellular Automaton Method in Autowave Process Modeling of the Surface Layer of Magnetic Fluid 102-106
  Natalya Kandaurova, Vladimir Chekanov, Sergey Mirzakhanov, Andrey Makovsky, Yury Kuznetsov
- A Model for Transformation of Self-Similar Traffic into Poisson's Arrival Packets 107-114
  Gennadiy I. Linets, Svetlana V. Govorova, Sergey V. Melnikov, Viktor V. Medenec
- The Use of Redundant Modular Codes for Improving the Fault Tolerance of Special Processors for Digital Signal Processing 115-122
  Alyona V. Makarova, Elena P. Stepanova, Ekaterina V. Toporkova, Igor A. Kalmykov
- The Solution to the Problem of Optimal Control in an Unstable Economic System 123-129
  Aleksandr S. Marahovskiy, Evgeni L. Toropcev, Anna V. Shadchneva, Evgenya A. Nekrasova
- Processing Principles of Ionosphere Passive Monitoring Data 130-138
  Dmitry M. Markov, Alexander F. Chipiga
- A Fuzzy Model for Identifying Significant Subtle Effects within a System of Objects' Responses 139-146
  Dmitry M. Nazarov, Dmitry A. Azarov, Viktor P. Ivanitsky
- Image Recognition by a Second-Order Convolutional Neural Network with Dynamic Receptive Fields 147-151
  Roman Nemkov, Oksana Mezentseva, Dmitriy Mezentsev, Maksim Brodnikov
- An Intelligent System for Content Generation 152-157
  Evgeny I. Nikolaev, Pavel V. Dvoryaninov, Nikita S. Drozdovsky, Yaroslav Y. Lensky
- A Method of Forming Code Sets for CDMA in Communication, Navigation and Control Systems 158-167
  Dmitrii Orel, Aleksandr Zhuk, Elena Zhuk, Liudmila Luganskaia
- Generic Mining of Condensed Pattern Representations under Constraints 168-177
  Sergey Paramonov, Tao Chen, Tias Guns
- Mathematical Modelling of the Process for Impact on Automated Information System Security of Threats Access to Restricted Information 178-187
  Alexandr P. Rosenko, Evgenya A. Nekrasova
- Data Type Detection for Choosing an Appropriate Correlation Coefficient in the Bivariate Case 188-194
  Anastasiia Yu. Timofeeva
- The GPU-Oriented Tree Representation Based on the Method of Finding the Remainder 195-205
  Vladimir Voronkin, Andrey Malikov, Elmira Azarova, Aleksey Shchegolev
- The Implementation of Information and Communication Technologies with the Use of Modular Codes 206-212
  Dmitriy Yurdanov, Maksim Kalmikov, Dmitriy Gostev, Igor Kalmykov

2017-05-12: submitted by Christoph Wernhard, metadata incl. bibliographic data published under Creative Commons CC0
2017-05-13: published on CEUR-WS.org |valid HTML5|