?
Descriptional Complexity of Formal Systems. 26th IFIP WG 1.02 International Conference, DCFS 2025 Loughborough, UK, July 22–24, 2025. Proceedings
Springer, 2025.
Academic editor: L. Prigioniero, A. Malcher
The 26th International Conference on Descriptional Complexity of Formal Systems (DCFS 2025) was held in Loughborough, UK, on July 22–24, 2025 and was organized by the Department of Computer Science at Loughborough University, in association with the IFIP Working Group 1.02 “Descriptional Complexity”. DCFS is an annual international conference concerning the descriptional complexity of formal systems and structures (and its applications). Topics of interest are related to all aspects of descriptional complexity, including but not limited to the following
–Automata, grammars, languages and other formal systems; various modes of operation and complexity measures;
- Succinctness of description of objects, state-explosion-like phenomena;
- Circuit complexity of Boolean functions and related measures;
- Size complexity of formal systems;
- Structural complexity of formal systems;
- Trade-offs between computational models and mode of operation;
- Applications of formal systems—for instance in software and hardware testing, in dialogue systems, in systems modeling or in modeling natural languages—and their complexity constraints;
- Co-operating formal systems;
- Size or structural complexity of formal systems for modeling natural languages;
- Complexity aspects related to the combinatorics of words;
- Complexity in resource-bounded or structure-bounded environments;
- Structural complexity as related to descriptional complexity;
- Frontiers between decidability and undecidability;
-Universality and reversibility;
- Nature-motivated (bio-inspired) architectures and unconventional models of computing ;
-Blum Static (Kolmogorov/Chaitin) complexity, algorithmic information.
Chapters
Ivanov N., Rubtsov A. A., Vyalyi M., , in: Descriptional Complexity of Formal Systems. 26th IFIP WG 1.02 International Conference, DCFS 2025 Loughborough, UK, July 22–24, 2025. Proceedings.: Springer, 2025. P. 137–150.
Added: August 24, 2025
Keywords: formal systems
Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2025.
Сборник содержит материалы, представленные на XXIV Международной конференции «Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории», посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова. Материалы конференции будут полезны научным работникам, ...
Added: August 27, 2026
Nesterenko A., Чирский В. Г., Матвеев В. Ю., Чебышевский сборник 2026 Т. 27 № 2 С. 118–127
The article presents the results of a practical study of the statistical properties of some sequences that are values of functions of a special type. ...
Added: August 26, 2026
Eduard Sopin, Nazarin A., Begishev V. et al., IEEE Transactions on Vehicular Technology 2026 Vol. 75 No. 6 P. 10995–11007
Aimed at rate-greedy applications having extreme requirements for the data rate at the air interface, 5G New Radio (NR) systems may experience problems when the number of user equipment (UE) in the coverage of the cell increases due to limited capacity of the physical downlink control channel (PDCCH).The aim of this study is to explore ...
Added: August 26, 2026
Блудов М. В., Journal of Fixed Point Theory and Applications 2026 No. 28 Article 73
In this paper, we study a construction of homotopy invariants of open or closed covers, where the homotopy class is defined relative to a pair (V, r), with V a finite set of points in and r a point in the interior of their convex hull. We show that the simplicial complex of non-balanced subsets associated with (V, r) has the homotopy ...
Added: August 25, 2026
L.I. Kuzmina, Osipov , Y. V., Kolokoltseva, T. N., Advances in Water Resources 2026 Vol. 213 Article 105335
We study 1D transport of mobilized particles, detached from the solid matrix, in porous media (so-called fines migration). Three types of colloidal-suspension flow models are considered: (i) averaged model for multicomponent colloids with distributed properties; (ii) flow of binary colloids with interacting particles; (iii) discrete system for multicomponent low-concentration colloid. These models account for distributed ...
Added: August 25, 2026
Liudmila I. Kuzmina, Osipov, Y. V., International Journal for Computational Civil and Structural Engineering 2026 Vol. 22 No. 2 P. 138–148
Modeling the transport and sedimentation of small particles of suspensions and colloids in porous rocks is an important problem in subsurface hydromechanics. Particles entrained in fluid are transported and retained in the rock pores. The filtration process is determined by the number and size of pores and is characterized by porosity—the ratio of the void ...
Added: August 25, 2026
L.I.Kuzmina, Osipov Y. V., Mathematical notes, ISSN 0001-4346 2025 Vol. 116 No. 6 P. 1251–1261
We consider the displacement of oil by water with active chemical reagents in porous media. A one-dimensional model of reagent transport and deposition is defined by a hyperbolic system of first-order equations. The purpose of the article is to find the conditions for the existence of a continuous solution with discontinuous boundary and initial conditions. ...
Added: August 25, 2026
Лукьяненко Д. В., Ragimova A., Мухорина А. et al., European Physical Journal: Special Topics 2026 P. 1–24
Electronic health records (EHRs) contain vast volumes of clinical information that encode complex relationships between diseases. Traditional approaches to the analysis of interrelated or co-occurring diseases have focused on pairwise associations between diagnoses, missing the higher-order structures that characterise multimorbid patients. The present paper offers a narrative review of existing statistical, machine-learning, and artificial intelligence ...
Added: August 20, 2026
Chernov A., European Journal of Mathematics 2026 Vol. 12 Article 48
An induced additive action on a projective variety is a regular action of the group G_a^n on X in P^n with an open orbit that can be extended to a regular action on P^n. Such actions are known to correspond to pairs (A, U), where A is a local algebra and U is a generating subspace lying in the maximal ideal. This paper ...
Added: August 19, 2026
IEEE Advancing Technology for Humanity, 2025.
Dynamics of Systems, Mechanisms and Machines (Dynamics) ...
Added: August 19, 2026
Vlasenko D., Saranskaia I., Zakharov D., European Physical Journal: Special Topics 2026 P. 1–16
Hypergraphs provide a natural framework for representing neurophysiological interactions distributed across sets of sensors. A key methodological question is how hyperedges should be defined from frequency-resolved electroencephalography/magnetoencephalography (EEG/MEG) data. We demonstrate a construction strategy in which hyperedges are obtained from canonical coherence (caCOH), an extension of coherence that estimates coupling between multidimensional signal spaces. To ...
Added: August 18, 2026
Borisov D., Katzarkov Ludmil, Sheshmani A. et al., American Journal of Mathematics 2026 Vol. 148 No. 4 P. 1075–1101
It is shown that there are globally defined Lagrangian distributions on the stable loci of derived \mathrm{Quot}-stacks of coherent sheaves on Calabi--Yau four-folds. Dividing by these distributions produces perfectly obstructed smooth stacks with globally defined -1-shifted potentials, whose derived critical loci give back the stable loci of smooth stacks of sheaves in global Darboux form. ...
Added: August 18, 2026
Богатырев А. Б., Математический сборник 2023 Т. 214 № 3 С. 106–119
Рассматривается клеточное разбиение пространства модулей вещественных кривых рода 2 с отмеченной точкой на единственном вещественном овале. Клетки перечисляются определенными графами, веса которых описывают комплексную структуру на кривой. Показано, что стягивание ребра графа приводит к корневой особенности естественного отображения из весов графа в пространство модулей кривых. ...
Added: August 14, 2026
Богатырев А. Б., Gendron Q., Успехи математических наук 2023 Т. 78 № 1 С. 209–210
Уравнение Пелля-Абеля — это функциональное уравнение вида P²-DQ² = 1, с заданным многочленом D, свободным от квадратов, и неизвестными многочленами P и Q. Мы показываем, что пространство уравнений Пелля-Абеля с фиксированными степенями D и примитивным решением P является комплексным многообразием. Мы описываем его связные компоненты с помощью эффективно вычислимого инварианта. ...
Added: August 14, 2026
Богатырев А. Б., Transactions of the Moscow Mathematical Society 2024 Vol. 85 No. 2 P. 323–337
The best uniform rational approximation of the Sign function on two intervals separated by zero was explicitly found by E. I. Zolotarëv in 1877. The natural extension of this problem to three bands was solved by E. Stiefel in 1961. We indicate the solutions overlooked by the prominent geometer and study their properties. ...
Added: August 14, 2026
Богатырев А. Б., Успехи математических наук 2026 Т. 81 № 3(489) С. 159–160
Предложена простая и эффективно реализуемая формула для изменения абелевых интегралов (включая их периоды) при вариации образующих классической группы Шоттки, представляющей риманову поврехность. ...
Added: August 14, 2026
Gendron Q., Compositio Mathematica 2025 Vol. 161 No. 7 P. 1483–1511
A Pell–Abel equation is a functional equation of the form P^2-DQ^2=1 , with a given polynomial D free of squares and unknown polynomials P and Q. We show that the space of Pell–Abel equations with the degrees of D and of the primitive solution P fixed is a complex manifold. We describe its connected components ...
Added: August 14, 2026
Khorunzheva K., Postnikov E., Zakharov D., Chaos, Solitons and Fractals 2026 Vol. 212 No. 2 P. 1–12
Identification of coherent states of spiking neural networks is a fundamental problem of
synchronization theory but conventional methods are computationally expensive. We apply
the crystallographic ideas of processing periodic structures to the analysis of various
states of spiking neuronal networks. In particular, the introduced approach is based on
the application of two-dimensional Fourier transform to rasterplots. By the position ...
Added: August 13, 2026
Yu Z., Wang J., Wang Z. et al., Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2026 Vol. 384 P. 1–16
The integration of data-driven and knowledge-driven approaches in generative geospatial modelling (GGM) is often hindered by their mathematical incompatibilities. Here, we propose a geometric algebra (GA)-based framework that employs a unified multi-vector representation to fuse heterogeneous data and diverse knowledge. The framework facilitates structured reasoning and hypothesis generation through a task-adaptable, five-stage cycle: representation, reasoning, ...
Added: August 13, 2026
Speranski S. O., Математические заметки 2026 Т. 120 № 3 С. 470–483
We show that, in terms of closure ordinals, many infinitary calculi for ‘first-order’ logics of probability (i.e., for languages similar to those in [Abadi & Halpern 1994]) are as hard as possible: the corresponding closure ordinals coincide with the least non-constructive ordinal, denoted by $\omega_1^{\mathrm{CK}}$. ...
Added: August 12, 2026
Ali S., Bocharnikov V., Ratnikov F. et al., Sensors 2026 Vol. 26 No. 16 Article 5024
Large distributed sensor arrays require repeated recalibration as radiation damage, material aging, gain variation, and readout drift alter channel responses. We studied a high-granularity calorimeter as a large sensor array and addressed unsupervised recalibration from two unpaired datasets: a nominal reference response and an aged response with attenuated cell-wise signals. Aging was modeled by a ...
Added: August 11, 2026
Kulev Y., Maksaev A., Promyslov V., Linear Algebra and its Applications 2026 Vol. 730 P. 51–72
The notion of λ-th upper scrambling index was introduced by Huang and Liu in 2010, as a generalization of a notion considered by Akelbek and Kirkland in 2009. For a primitive digraph D, it is defined as the smallest positive integer k such that for every λ vertices of D there exist directed paths of lengths k from these vertices to a common vertex. This ...
Added: August 7, 2026
Kanunnikov A., Valentin V.Promyslov, Vassilieva E., Electronic Journal of Combinatorics 2024 Vol. 31 No. 3 Article P3.6
Introduced by Goulden and Jackson in their 1996 paper, the matchings-Jack conjecture and the hypermap-Jack conjecture (also known as the b-conjecture) are two major open questions relating Jack symmetric functions, the representation theory of the symmetric groups and combinatorial maps. They show that the coefficients in the power sum expansion of some Cauchy sum for ...
Added: August 7, 2026
Kanovich M., Kirigin T. B., Nigam V. et al., , in: Protocols, Strands, and Logic Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday.: Switzerland: Springer, 2021. P. 251–275.
This paper develops a Multiset Rewriting language with explicit time for the specification and analysis of Time-Sensitive Distributed Systems (TSDS). Goals are often specified using explicit time constraints. A good trace is an infinite trace in which the goals are satisfied perpetually despite possible interference from the environment. In our previous work [14], we discussed two ...
Added: February 6, 2022