YSIP2
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.
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 Universitat 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 scienti c 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.
YSIP2 was organized jointly by the Institute for Information Processing and Telecommunication of NorthCaucasus Federal University and the International Center for Computational Logic of Technische Universitat Dresden.
Isara Anantavrasilp Victorija Drozdova Anna Fensel Ulrich Furbach Ste en Holldobler
Igor Mandriza Massimo Mecella German Michalconok Sergei Obiedkov Sergey Porshnev Josef Schneeberger Chattrakul Sombattheera Pavol Tanuska Sergio Tessaris Khang Tran Dinh Aleksei Tselykh Gennady Tsibulsky Christoph Wernhard Technische Universitat Dresden, Germany and North-Caucasus Federal University, Russian Federation North-Caucasus Federal University, Russian Federation Technische Universitat Dresden, Germany
King Mongkut's Institute of Technology Ladkrabang, Thailand North-Caucasus Federal University, Russian Federation University of Innsbruck, Austria Universitat Koblenz-Landau, Germany Technische Universitat Dresden, Germany and North-Caucasus Federal University, Russian Federation North-Caucasus Federal University, Russian Federation North-Caucasus Federal University, Russian Federation Sapienza - Universita di Roma, Italy Slovak University of Technology, Slovak Republic Higher School of Economics, Russian Federation Ural Federal University, Russian Federation University of Applied Science Deggendorf, Germany Mahasarakham University, Thailand Slovak University of Technology, Slovakia Free University of Bozen-Bolzano, Italy Hanoi University of Science and Technology, Vietnam Southern Federal University, Russian Federation Siberian Federal University, Russian Federation Technische Universitat Dresden, Germany
Invited Talk: Enabling Smart Data Services for Behavioural Change . . . . . . . . . . . . . . . . . . . . .
Anna Fensel Invited Talk: Challenges in Knowledge-Intensive Processes. Mining from Semi-Structured Information and Providing Run-time Automated Adaptation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Massimo Mecella Invited Talk: Deep Learning in Biometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Peter Peer Invited Talk: Research Assessment: A Contribution to Solving the Publication Credit Allocation Problem
Marco Schaerf An Abstract Dual Propositional Model Counter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Armin Biere, Ste en Holldobler and Sibylle Mohle User Interface Design for a Web-based Image Processing and Analysis System . . . . . . . . . . . . . . . .
Aleksey Bragin, Alexander Dubanov and Alexander Rechitskiy A Mathematical Model of a Trusted Download Violator Process \Hardware Thin Client" . . . . . . . . .
Kirill A. Butsik and Evgeniy N. Tishchenko Splitting Features of Rotation Shapes in the External Finite-Element Approximations Method . . . . . .
Mikhail Chizhov, Andrei Uspehov and Alexander Trotsenko Monadic Reasoning using Weak Completion Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Ana Oliveira Da Costa, Emmanuelle-Anna Dietz Saldanha and Ste en Holldobler Obligation versus Factual Conditionals under the Weak Completion Semantics . . . . . . . . . . . . . . .
Emmanuelle-Anna Dietz Saldanha, Ste en Holldobler and Isabelly Lour^edo Rocha The Complexity of Contextual Abduction in Human Reasoning Tasks . . . . . . . . . . . . . . . . . . . .
Emmanuelle-Anna Dietz Saldanha, Ste en Holldobler 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 . . . . . . . . . . . . . . . . . . . . . . . . . .
Vitaliy Grankin, Gennady Linets and Roman Taranov Mathematical Modeling for Systems of Large Dimension Through a Modi cation of the Method of Iterative Aggregation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Tatyana Grobova, Alexey Troyanov, Vladislav Lysov and Vladimir Antonov Lessons Learned from AlphaGo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Ste en Holldobler, Sibylle Mohle and Anna Tigunova 7 13 15 16 17 27 32 38 45 55 65 75 84 92 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 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 Coe cient in the Bivariate Case . . . . . 188
Anastasiia Yu. Timofeeva