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|