?
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Cham :
Springer, 2015.
Under the general editorship: A. Voronkov, M. Mazzara
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.
The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.
Chapters
Verbitskaia E., Grigorev S., Avdyukhin D., , in: Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers.: Cham: Springer, 2015. P. 291–302.
We present a technique for syntax analysis of a regular set of input strings. This problem is relevant for the analysis of string-embedded languages when a host program generates clauses of embedded language at run time. Our technique is based on a generalization of RNGLR algorithm, which, inherently, allows us to construct a finite representation ...
Added: January 29, 2019
Keywords: software engineeringStatic Verificationparsingcolored Petri netsscientific computingformal verificationconstraint systeminformal retrievalmodel-driven architectureadaptive reusecomputable analysisdocumentation reusemodel verificationquality requirementsrequirements engineeringsecurity modelstate machinestring analysisstring-embedded languagesworkflows
Teregulov T., Loubenets E. R., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
We develop a new three-party quantum secret-sharing (QSS) protocol based on a three-qubit W state. This protocol encodes the secret-sequence bits using X gates and employs randomly selected Hadamard operations and measurement bases to generate information and security-test rounds. We evaluate the efficiency of the proposed protocol and analyze its security against an internal adversary ...
Added: September 28, 2026
Shabanov N., Kuricheva O., Kurbatova J. et al., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
The carbon balance of an ecosystem is the difference between Gross Primary Productivity (GPP) and Ecosystem Respiration (Reco) as expressed by Net Ecosystem Exchange (NEE). While remote sensing retrievals of GPP have reached maturity, Reco estimation remains underexplored and ultimately cast bias on NEE. Here we present an end-to-end multi-scale analysis of the mechanism of ...
Added: August 21, 2026
Ponomarenko A., / Series Computer Science "arxiv.org". 2025.
This paper addresses the challenge of merging hierarchical navigable small world (HNSW) graphs, a critical operation for distributed systems, incremental indexing, and database compaction. We propose three algorithms for this task: Naive Graph Merge (NGM), Intra Graph Traversal Merge (IGTM), and Cross Graph Traversal Merge (CGTM). These algorithms differ in their approach to vertex selection ...
Added: July 30, 2026
Piontkovski D., / Series arXiv "math". 2026.
A noncommutative projective variety is defined, following Artin and Zhang, by a graded coherent algebra 𝐴. The category of coherent sheaves is then the quotient qgr(𝐴) of the category of finitely presented graded modules by the subcategory of torsion modules. We consider the categorical and polynomial entropies of the Serre twist, that is, of the ...
Added: June 23, 2026
Piontkovski D., / Series arXiv "math". 2025.
If a symmetric multilinear algebra is weakly nil, then it is Engel. This result may be regarded as an infinite-dimensional analogue of the well-known Jacobian theorem, which states that if a polynomial mapping has a polynomial inverse, then its Jacobian matrix is invertible. This refines a theorem of Gerstenhaber and partially answers a question posed ...
Added: June 23, 2026
Shipilov F., Barnyakov A., Ivanov A. et al., / Series Physics "arxiv.org". 2026.
A fast simulation of the detector response is a vital task in high-energy physics (HEP). Traditional Monte-Carlo methods form the backbone of modern particle physics simulation software but are computationally expensive. We present a machine-learning-based approach to fast simulation of the Focusing Aerogel Ring Imaging Cherenkov (FARICH) detector response. Given a particle track and momentum, ...
Added: May 19, 2026
Derkacheva A., Sakirkina M., Kraev G. et al., /. 2026.
Comprehensive data on natural hazards and their consequences are crucial for effective for risk assessment, adaptation planning, and emergency response. However, many countries face challenges with fragmented, inconsistent, and inaccessible data, particularly regarding local-scale events. To address this data gap in Russia, we developed an end-to-end processing pipeline that scrapes news from various online sources, ...
Added: April 28, 2026
Pilé I., Deng Y., Shchur L., / Series arXiv "math". 2026. No. 2604.10254.
We investigate the spatial overlap of successive spin configurations in Markov chain Monte Carlo simulations using the local Metropolis algorithm and the Svendsen-Wang and Wolff cluster algorithms. We examine the dynamics of these algorithms for two models in different universality classes: the Ising model and the Potts model with three components. The overlap of two ...
Added: April 20, 2026
Gabdullin N., Androsov I., / Series Computer Science "arxiv.org". 2026.
Label prediction in neural networks (NNs) has O(n) complexity proportional to the number of classes. This holds true for classification using fully connected layers and cosine similarity with some set of class prototypes. In this paper we show that if NN latent space (LS) geometry is known and possesses specific properties, label prediction complexity can ...
Added: April 2, 2026
Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean
Obozov M., Diskin M., Beznosikov A. et al., , in: Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025).: Suzhou: Association for Computational Linguistics, 2025. Ch. 15 P. 195–202.
Modern mathematical reasoning benchmarks primarily focus on answer finding rather than proof verification, creating a gap in evaluating the proving capabilities of large language models (LLMs). We present a methodology for generating diverse mathematical proof tasks using formal tools. Our approach combines Lean-based synthetic problem generation with a Tool-Integrated Reasoning (TiR) framework for partial (sampling-based) ...
Added: February 26, 2026
Sorokin K., Beketov M., Онучин А. et al., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Community detection in complex networks is a fundamental problem, open to new approaches in various scientific settings. We introduce a novel community detection method, based on Ricci flow on graphs. Our technique iteratively updates edge weights (their metric lengths) according to their (combinatorial) Foster version of Ricci curvature computed from effective resistance distance between the ...
Added: January 15, 2026
Petrovanov I., Sergeev A., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Transport coding reduces message delay in packet-switched networks by introducing controlled redundancy at the transport layer: original packets are encoded into coded packets, and the message is reconstructed after the first successful deliveries, effectively shifting latency from the maximum packet delay to the -th order statistic. We present a concise, reproducible discrete-event implementation of transport coding in OMNeT++, including ...
Added: December 24, 2025
Kovaleva N. N., Zhirnova N., Закон 2025 № 9 С. 61–68
The study is devoted to a comprehensive analysis of legal conflicts that arise during the processing of personal data on social networks. Based on a systematic study of Russian legislation and the evolution of case law, key problems of qualifying the status of such data have been identified. The erroneous identification of the concepts of ...
Added: October 1, 2025
B. A. Pozin, Tsiperman G. N., 2022 Vol. 34 No. 1 P. 23–34
The paper deals with the formation and transformation of stakeholder requirements for the information system throughout the entire life cycle. It is shown how the seamless architecture provides traceability of requirements from the level of the business process, to the functional and logical architectures of systems, to the selection of criteria and identification of microservices. ...
Added: July 7, 2025
Lebedev S., Maksimenkova O. V., Pozdnyakov D., В кн.: Текущие вызовы в подготовке кадров. Обучение специалистов по современным направлениям информационных технологий, кибербезопасности и ИКТ-электроники, актуальным для экономики данных: сборник научных трудов.: Тверь: Издательство Тверского государственного университета, 2024. С. 106–108.
The report considers the issues of training computer games development specialists. The authors analyze the global and Russian educational landscape in this area and discuss the experience of design systematic training within the framework of the "Software Engineering" training direction. In addition, the authors consider the issues of scientific and applied projects related to the ...
Added: February 20, 2025
Мустафина Н. И., Plaksin M. A., В кн.: BIG DATA и анализ высокого уровня = BIG DATA and Advanced Analytics : сборник научных статей X Международной научно-практической конференции в двух частях, Часть 1 (Республика Беларусь, Минск, 13 марта 2024 года).: Мн.: БГУИР, 2024. С. 457–469.
Added: February 18, 2025
Mustafina N. I., Plaksin M. A., Mikisheva P. A., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 2 P. 47–58
The article discusses the issues of planning and resource management in the process of testing
software systems. The paper presents the ACC analysis method used at Google to optimize the distribution of
efforts for testing different parts of the system. Extending the method by adding a fourth characteristic - actors
(roles of system users) – allows for a ...
Added: February 17, 2025
С. М. Авдошин, А. М. Литвиненко, Информационные технологии 2025 Т. 31 № 1 С. 42–55
Smart contracts are software algorithms that represent an agreement in digital form with a mechanism for forcing the parties to fulfill their obligations. Smart contracts are already firmly entrenched in the fields of finance, but this is not the only possible field of application. The disadvantage of such a digital agreement is that smart contracts ...
Added: January 23, 2025
Sergey V. Zykov, Singapore: Springer, 2024.
The book focuses on modeling real-world crisis management in digital product development. This includes models and methods for forecasting, responding, and agile engineering/managing for sustainable product development. This book suggests an approach that contains principles, formal models, and semi-formal practice-oriented methods, patterns and techniques to efficiently manage these crises and provide sustainable development. The book ...
Added: March 10, 2024
Мустафина Н. И., Plaksin M. A., Афанасье Н. В., Современные информационные технологии и ИТ-образование 2023 Т. 19 № 1 С. 189–200
Introduction to the modern technologies of development of software systems is of great importance in the training of students of programming specialties. When studying them, lectures and seminars are not enough. Reinforcement with their practice is required. But, firstly, it is impossible to organize internships for all students in real firms, and secondly, the goals ...
Added: February 29, 2024
Plaksin M. A., В кн.: Методы и технологии обучения в вузе в условиях цифровой трансформации образования. Сборник статей по материалам Всероссийской (с международным участием) научно-методической конференции.: Пермь: Пермский государственный национальный исследовательский университет, 2023. С. 735–740.
The role of business games in the educational process is considered. Business games allow you to cheaply and quickly gain practical experience, demonstrate the meaning of theoretical concepts. Compared with the real production process, business games allow you to repeat training activities many times, consider possible deviations from the norm, emergency situations. The application of ...
Added: February 29, 2024
Мустафина Н. И., Plaksin M. A., В кн.: Актуальные проблемы математики, механики и информатики 2022: Сборник статей по материалам студенческой конференции (г. Пермь, ПГНИУ, 25 мая – 10 июня 2022 г.).: Пермь: ПГНИУ, 2022. С. 83–88.
The attitude of students of a number of computer specialties of two universities (Perm State University and the Perm branch of the Higher School of Economics) to the use of business games in the course of software engineering was studied. The form of the business game is assessed by all students as interesting and useful, ...
Added: February 29, 2024
Springer, 2024.
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.
The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern ...
Added: January 31, 2024