Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings. Val. 2.

?

Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings

Vol. 2. University of Rzeszow, 2015.

Under the general editorship: S. Zbigniew, L. Czaja

An efficient equivalence-checking algorithm for a model of programs with commutative and absorptive statements

Vladislav Podymov, , in: Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. ProceedingsVol. 2.: University of Rzeszow, 2015. P. 85–96.

We present an efficient equivalence-checking algorithm for a propositional model of programs with semantics based on (what we call) progressive monoids on the finite set of statements generated by relations of a specific form. We consider arbitrary set of relations for commutativity (relations of the form ab=ba for statements a, b) and left absorption (relations ...

Added: October 11, 2015

Controlling Petri Net Behavior Using Time Constraints

Lomazova I. A., Popova-Zeugmann L., , in: Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. ProceedingsVol. 2.: University of Rzeszow, 2015. P. 19–35.

In this paper we study how it is possible to control Petri net behavior using time constrains. Controlling here means forcing a process to behave in a stable way by associating time intervals to transitions and hence transforming a classic Petri net into a Time Petri net. For Petri net models stability is often ensured ...

Added: October 12, 2015

Priority areas: IT and mathematics mathematics

Language: English

Keywords: concurrency formal specifications programming distributed systems

Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

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

New bound on S1× S2-setting Bell locality of a nonseparable Werner state

Loubenets E. R., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.

In many quantum applications it is important to know whether or not a Bell nonlocal two-qudit state exhibits its nonlocality under correlation scenarios with some given numbers S1,S2≥1 of generalized quantum measurements at two sites. In the present article, we find analytically a new general locality condition sufficient for a nonseparable Werner state with a ...

Added: July 21, 2026

On functional equations for Chow polylogarithms

Bolbachan V., / Series math "arxiv.org". 2024.

Chow polylogarithms are some special functions arising in explicit description of the Beilinson regulator map. The most interesting functional equation for this function reflects its vanishing on the boundary in the Bloch's cycle complex. We show that this functional equation formally follows from more simple ones, namely skew-symmetry, functoriality and multiplicativity. To prove this, we study ...

Added: July 16, 2026

On Goncharov’s conjecture in next to Milnor degree

Bolbachan V., / Series math "arxiv.org". 2024.

Let K be a field of characteristic zero. We prove that its motivic cohomology in degree m−1 and weight m is rationally isomorphic to the cohomology of the polylogarithmic complex. This gives a partial extension of A. Suslin theorem describing the indecomposable K3 of a field. ...

Added: July 16, 2026

Statistical inference based on band-limited kernels: Rational-infinitely divisible distributions and beyond

Panov V., Ryabchenko A., / Series arXiv "stat.ME". 2026. No. 2607.05048.

This paper investigates the problem of statistical inference for a mixture distribution consisting of a discrete and a continuous component, with a particular focus on the class of rational-infinitely divisible distributions. We consider non-parametric estimation of both components of the mixture as well as the quasi-L{é}vy measure, assuming that the mixture belongs to the class ...

Added: July 9, 2026

English for Specific Purposes: Digital Design and Programming

Velikaya E. V., Baranova T., Джахангирова В. С. et al., M.: Национальный книжный центр, 2026.

Учебное пособие предназначено для обучения академическим навыкам чтения, говорения и письма на основе статей из научно-популярных журналов по различным профилям: образование, программирование, лексика гейм-дизайна, продуктовые исследования, создание цифровых продуктов для различных сфер жизни, UX-исследования и юзабилити-тестирование, маркетинг игр и цифровых продуктов. Упражнения, разработанные для каждого урока, ориентированы на развитие профессионального вокабуляра, написание обобщений (summary) и ...

Added: July 3, 2026

Growth in noncommutative algebras and entropy in derived categories

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

Multilinear nilalgebras and the Jacobian theorem

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

Strong Approximations for Markov Chains Weakly Converging to Diffusions

Konakov V., Kucher D., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.

In this paper, we construct strong approximations for discrete-time Markov chains weakly converging to continuous diffusion processes, as well as for their perturbed counterparts. Under the assumption of bounded coefficients, we construct closely coupled versions of these processes on a shared probability space. In particular, for both non-degenerate and degenerate cases, we maximize the probability ...

Added: June 11, 2026

ML-based Fast Simulation of FARICH Responses

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

A High-Level Framework for Distributed Systems with Simulation-Based Testing Support

Yakovlev S., Oleg S., , in: Parallel Computational Technologies, 19th International Conference, PCT 2025, Moscow, Russia, April 8–10, 2025, Revised Selected Papers. (CCIS, volume 2891)Vol. 2891.: Springer, 2026. P. 80–97.

This paper introduces DSBuild, a high-level framework designed to simplify the development of distributed systems with built-in support for simulation-based testing. The framework enables the implementation and execution of production-ready distributed applications that can be tested in deterministic simulations without code translation. By eliminating the need for code translation, our approach avoids common pitfalls such ...

Added: May 19, 2026

Bifurcations and Structural Stability of Generic PC-HC Families

Dorovskiy A., / Series arXiv "math". 2026.

In this paper the structural stability of generic families of vector fields of the PC-HC class on the two-dimensional sphere is proved. A classification of these families up to moderate equivalence in neighborhoods of their large bifurcation supports is presented, based on such invariants as the configuration and the characteristic set. The realization lemma is proved. ...

Added: May 14, 2026

On the minimum number of maximal distance-k independent sets in trees

Taletskii D., / Series arXiv "math". 2026.

A vertex subset of a graph is called a \textit{distance-$k$ independent set} if the distance between any two of its distinct vertices is at least $k + 1$. For all $n,k \geq 1$, we determine the minimum possible number of inclusion-wise maximal distance-$k$ independent sets among all $n$-vertex trees. It equals~$n$ if $n \leq k ...

Added: May 1, 2026

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

Ovcharenko M., / Series arXiv "math". 2026.

We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in n⩽4 variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, ...

Added: April 30, 2026

Natural hazard database from Internet publications: text mining with a large language model

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

Вовлеченность учащихся в изучение программирования: использование мобильных игр в дополнительном образовании

Getman A., Adamovich K., Guliaeva A. et al., Вопросы образования 2026 № 2 С. 99–124

The importance of student engagement in the learning process is widely recognized during the last years. Engagement has shown positive relationships with various crucial aspects of learning both in traditional and online learning environments. However, there exists a research gap pertaining to engagement in non-formal learning contexts. This paper investigates the students' engagement in STEM learning ...

Added: November 20, 2025

Интегрированный алгоритм балансировки нагрузки в распределенных информационных системах на основе методов теории принятия решений

Vishnekov A., Ivanova E., Ладовир А. А. et al., Информационные технологии 2025 Т. 31 № 11 С. 587–595

The paper considers the possibility of applying decision theory methods to solve the problem of load balancing in distributed information systems. A review and analysis of methods for evaluating and comparing multi-criteria alternatives is carried out, their advantages and disadvantages are shown in the context of the problem being solved. The most effective methods have ...

Added: November 11, 2025

Информатика : 9-й класс : базовый уровень: учебное пособие

Shestakova L. V., Семакин И. Г., Залогова Л. А. et al., М.: Просвещение, 2024.

The textbook is intended for studying computer science at the basic level in the 9th grade of general education organizations. The textbook contains the theoretical course material, questions and assignments for consolidation of knowledge. At the end of each chapter, the system of basic concepts of this chapter is presented schematically. The textbook is part ...

Added: July 7, 2025

Программирование на языке ассемблера RISC-V

Смит С., М.: ДМК Пресс, 2025.

Данная книга продолжает серию «Книжная полка Истового инженера», которая издается при поддержке компании YADRO. Издание подготовлено к публикации Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ совместно с издательством «ДМК Пресс». Перед вами переведенная и адаптированная для русскоязычного читателя книга С. Смита «RISC-V Assembly Language Programming», вышедшая в издательстве Apress в серии Maker Innovations в 2024 ...

Added: May 25, 2025

Новый метод оценки алгоритмического мышления на непрограммистских задачах: разведывательное исследование

Popova A., Tyumeneva Y. A., Мир психологии. Научно-методический журнал 2024 № 2(117) С. 268–285

Algorithmic thinking is primarily assessed through standardized tests and professional tasks, limiting the ability to identify the specifics of algorithmization in individuals with varying programming experience. To refine the hypothesis regarding such specificity, we proposed an alternative assessment method that requires algorithmization but not specialized programming knowledge. Using the solution protocols of the task we ...

Added: August 16, 2024

Модели интереса, сложности и воспринимаемой полезности игрового чат-бота c головоломками по типу Wordle для обучения программированию

Varnavsky A., Информационные технологии 2024 Т. 30 № 7 С. 372–381

The task of assessing student perception of the gaming chatbot with Wordle like puzzles for learning programming is considered. An experiment was conducted, the processing of the results of which made it possible to build 3 regression models describing the influence of factors on the interest, difficulty, and perceived usefulness of the gaming chatbot. Recommendations for using the ...

Added: November 10, 2023

Тестирование методов обмена данными между процессами на суперкомпьютере JETSON TX2 в сравнении с другими платформами

Смирнов И. А., КРАВЧЕНКО В. О., Разумов П. В. et al., ГНИИ "НацРазвитие", 2019.

this article will describe the various methods of exchanging data between processes, with the subsequent conclusion about the speed of each. Tests were conducted on different processors and different versions of operating systems. This study was conducted to find out the fastest way to transfer data between processes on a Jetson TX2 supercomputer compared to other platforms. ...

Added: May 11, 2023

22nd International Conference, MMST 2022, Nizhny Novgorod, Russia, November 14–17, 2022, Revised Selected Papers

Springer, 2022.

This book constitutes selected and revised papers from the 22nd International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2022, held in Nizhny Novgorod, Russia, in November 2022. The 20 full papers and 5 short papers presented in the volume were thoroughly reviewed and selected from the 48 submissions. They are organized in topical secions on computational methods ...

Added: December 26, 2022

Towards a General Framework for Studying Resource Management in Large Scale Distributed Systems

Oleg Sukhoroslov, Maxim Gorokhovskii, Roman Ilgovskiy et al., , in: Материалы IV Международного семинара по информационным, вычислительным и управляющим системам для распределенных сред (ICCS-DE 2022).: Иркутск: ИДСТУ СО РАН, 2022. P. 79–96.

Resource management is a critical part of modern large-scale distributed systems and an active area of research. The diversity of systems, workloads and requirements have lead to many domain-specific problem statements, solutions and simulation tools proposed by researchers, which are hard to compare and reuse. In this paper, an overview of related resource management problems ...

Added: October 30, 2022