Abstract is missing.
- Invited Talk: Enabling Smart Data Services for Behavioural ChangeAnna Fensel. 7-12 [doi]
- An Abstract Dual Propositional Model CounterArmin Biere, Steffen Hölldobler, Sibylle Möhle. 17-26 [doi]
- User Interface Design for a Web-based Image Processing and Analysis SystemAleksey Bragin, Alexander Dubanov, Alexander Rechitskiy. 27-31 [doi]
- A Mathematical Model of a Trusted Download Violator Process "Hardware Thin Client"Kirill A. Butsik, Evgeniy N. Tishchenko. 32-37 [doi]
- Splitting Features of Rotation Shapes in the External Finite-Element Approximations MethodMikhail Chizhov, Andrei Uspehov, Alexander Trotsenko. 38-44 [doi]
- Monadic Reasoning using Weak Completion SemanticsAna Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler. 45-54 [doi]
- Obligation versus Factual Conditionals under the Weak Completion SemanticsEmmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha. 55-64 [doi]
- The Complexity of Contextual Abduction in Human Reasoning TasksEmmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp. 65-74 [doi]
- A Calculator Model for the Estimation of Noise Immunity of Trans-Ionospheric Communication Channels, Based on the Theory of Residue Number SystemsVitaliy Grankin, Gennady Linets, Roman Taranov. 75-83 [doi]
- Mathematical Modeling for Systems of Large Dimension Through a Modification of the Method of Iterative AggregationTatyana Grobova, Alexey Troyanov, Vladislav Lysov, Vladimir Antonov. 84-91 [doi]
- Lessons Learned from AlphaGoSteffen Hölldobler, Sibylle Möhle, Anna Tigunova. 92-101 [doi]
- An Application of the Cellular Automaton Method in Autowave Process Modeling of the Surface Layer of Magnetic FluidNatalya Kandaurova, Vladimir Chekanov, Sergey Mirzakhanov, Andrey Makovsky, Yury Kuznetsov. 102-106 [doi]
- A Model for Transformation of Self-Similar Traffic into Poisson's Arrival PacketsGennadiy I. Linets, Svetlana V. Govorova, Sergey V. Melnikov, Viktor V. Medenec. 107-114 [doi]
- The Use of Redundant Modular Codes for Improving the Fault Tolerance of Special Processors for Digital Signal ProcessingAlyona V. Makarova, Elena P. Stepanova, Ekaterina V. Toporkova, Igor A. Kalmykov. 115-122 [doi]
- The Solution to the Problem of Optimal Control in an Unstable Economic SystemAleksandr S. Marahovskiy, Evgeni L. Toropcev, Anna V. Shadchneva, Evgenya A. Nekrasova. 123-129 [doi]
- Processing Principles of Ionosphere Passive Monitoring DataDmitry M. Markov, Alexander F. Chipiga. 130-138 [doi]
- A Fuzzy Model for Identifying Significant Subtle Effects within a System of Objects' ResponsesDmitry M. Nazarov, Dmitry A. Azarov, Viktor P. Ivanitsky. 139-146 [doi]
- Image Recognition by a Second-Order Convolutional Neural Network with Dynamic Receptive FieldsRoman Nemkov, Oksana Mezentseva, Dmitriy Mezentsev, Maksim Brodnikov. 147-151 [doi]
- An Intelligent System for Content GenerationEvgeny I. Nikolaev, Pavel V. Dvoryaninov, Nikita S. Drozdovsky, Yaroslav Y. Lensky. 152-157 [doi]
- A Method of Forming Code Sets for CDMA in Communication, Navigation and Control SystemsDmitrii Orel, Aleksandr Zhuk, Elena Zhuk, Liudmila Luganskaia. 158-167 [doi]
- Generic Mining of Condensed Pattern Representations under ConstraintsSergey Paramonov 0001, Tao Chen, Tias Guns. 168-177 [doi]
- Mathematical Modelling of the Process for Impact on Automated Information System Security of Threats Access to Restricted InformationAlexandr P. Rosenko, Evgenya A. Nekrasova. 178-187 [doi]
- Data Type Detection for Choosing an Appropriate Correlation Coefficient in the Bivariate CaseAnastasiia Yu. Timofeeva. 188-194 [doi]
- The GPU-Oriented Tree Representation Based on the Method of Finding the RemainderVladimir Voronkin, Andrey Malikov, Elmira Azarova, Aleksey Shchegolev. 195-205 [doi]
- The Implementation of Information and Communication Technologies with the Use of Modular CodesDmitriy Yurdanov, Maksim Kalmikov, Dmitriy Gostev, Igor Kalmykov. 206-212 [doi]