?
On structural proof theory of the modal logic K+ extended with infinitary derivations
We consider an extension of the modal logic of transitive closure K+ with some inifinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs. For the given calculus, we obtain the cut-elimination theorem following the lines of so called continuous cut elimination. Our consideration also covers ordinary proofs of K+ since they correspond to cyclic cut-free proofs of the presented sequent calculus.
Priority areas:
mathematics
Language:
English
Medvedev V., Annals of Global Analysis and Geometry 2026 Vol. 70 No. 2 P. 8–23
This paper studies three-dimensional compact static manifolds with boundary and positive scalar curvature. We prove that, under a suitable bound on the Ricci curvature, the orientable quotient of the Nariai static manifold with boundary is the only such manifold with connected boundary, provided that the zero-level set of the potential is connected and does not intersect ...
Added: September 19, 2026
Aleksei Samarin, Alexander Savelev, Aleksei Toropov et al., Pattern Recognition and Image Analysis 2026 Vol. 36 No. 2 P. 323–334
In this paper, an improved approach for automatic wildlife detection in natural environments based on the integration of a neural network architecture with a two-stream attention mechanism and a novel preclassification step based on infrared data has been presented. The proposed method addresses one of the key challenges in environmental monitoring: the need for scalable ...
Added: September 19, 2026
Aleksei Samarin, Nazarenko A., Kotenko E. et al., Proceedings of the ACM on Management of Data, USA 2026 Vol. 4 No. 1 P. 1–28
Modern knowledge and large volumes of data are increasingly encoded within neural networks, making the task of simplifying their structures and reducing the number of parameters especially relevant, both to improve efficiency and to facilitate deployment in resource-constrained environments. This paper presents a novel approach to neural network compression that addresses redundancy at both the ...
Added: September 19, 2026
Aleksei Samarin, Alexander Savelev, Aleksei Toropov et al., Pattern Recognition and Image Analysis 2025 Vol. 35 No. 2 P. 148–158
This paper describes our research on creating classifiers for microbial images (micrococci microscopy images) obtained from pictures of unfixed microscopic scenes. In our work, we propose an AutoML approach based on the automatic generation and analysis of the feature space for constructing the most optimal descriptors of microorganism images for subsequent classification. This makes it ...
Added: September 19, 2026
Aleksei Samarin, Alexander Savelev, Aleksei Toropov et al., Pattern Recognition and Image Analysis 2026 Vol. 36 No. 2 P. 302–312
The lack of annotated microscopic datasets remains a major obstacle to training robust deep learning models for microbial classification. In this paper, a novel data augmentation pipeline that uses visual–linguistic large-scale models to generate synthetic microscopic images of six different bacterial and nonbacterial classes has been proposed. Synthetic samples have gradually been added to the ...
Added: September 19, 2026
Springer, Cham, 2026.
computer vision ...
Added: September 19, 2026
Springer, Cham, 2026.
Added: September 19, 2026
FRUCT Oy, 2024.
Added: September 19, 2026
FRUCT Oy, 2024.
Added: September 19, 2026
FRUCT Oy, 2025.
Added: September 19, 2026
FRUCT Oy, 2026.
Added: September 19, 2026
Aleksei Samarin, Nazarenko A., Kotenko E. et al., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 8 P. 1–26
This paper presents a novel method for pruning deep neural networks based on the concept of flow, derived from the continuous modeling of signal propagation across layers. We derive flow functions for fully connected, convolutional, and self-attention architectures, and we propose a new iterative pruning algorithm, Iterative Flow-Aware Pruning (IFAP), that leverages these measures to ...
Added: September 19, 2026
Kuzyutin D., Smirnova N., Veselkov A., Bulletin of the South Ural State University, Series: Mathematical Modelling, Programming and Computer Software 2026 Vol. 19 No. 3 P. 40–49
We consider spatial dynamic fishery management problem taking into account the resource migration process between an open-access fishing area and no-take marine protected area. The introduced extension of a standard single-criterion fish war game implies that each player aims to maximize simultaneously two performance criteria which present an economic benefit and an environmental conservation goal ...
Added: September 18, 2026
Шиповалова Л. В., Социология власти 2026 Vol. 38 No. 1 P. 224–243
This article examines the integration of large language model based chatbots into educational practices in Russian higher education through the lens of critical theory and curriculum ideologies. Drawing on Ivan Illich’s concept of convivial tools and Jürgen Habermas’s distinction between instrumental and communicative rationality, the authors conceptualize large language models as technologies capable of operating ...
Added: September 18, 2026
Ероховец Николай Юрьевич, Математический сборник 2026 Т. 217 № 5 С. 45–89
Toric topology assigns to each simple convex n-polytope P with m facets an n-dimensional real moment-angle manifold RZP with a canonical action of Zm2=(Z/2Z)m. We consider (not necessarily free) actions of subgroups H⊂Zm2 on RZP. The orbit space N(P,H)=RZP/H carries an action of Zm2/H. For general n we introduce the notion of Hamiltonian C(n,k)-subcomplex in the boundary of an ...
Added: September 17, 2026
Kuninets A., Malygina E., Cryptography and Communications 2026
In this paper, we determine explicit bases for Riemann–Roch spaces associated with various families of elliptic codes. We establish the feasibility and provide exact algorithms for constructing bases of Riemann–Roch spaces corresponding to arbitrary divisors on elliptic curves, including the non-effective case. These results are subsequently applied to derive bases for quasi-cyclic elliptic codes and ...
Added: September 17, 2026
Жигунов А. Ю., Patria 2026 Т. 3 № 3 С. 12–28
The study is devoted to the identification of the specifics of humanism and mercy as
traditional spiritual and moral values of modern Russia. The special role of these axiological
attitudes, frankly virtuous nature suggests their dominant position. Avoiding discussion about
the interpretation of these categories, an attempt is made to identify the implementation of
virtuous actions, which can be ...
Added: September 17, 2026
Zhukova O., Вопросы философии (Российская Федерация) 2026 № 8 С. 51–64
The article is a critical and philosophical analysis of a new book by the Russian philosopher and political scientist Aleksei A. Kara-Murza. His fundamental work “Selected Works on Russian Philosophy, Politics and Culture” (2024) contains articles in the field of philosophy of Russian history, completed by the author over the course of ten years. Essays, ...
Added: September 17, 2026
Моисеев Г. В., Гуманитарные исследования в Восточной Сибири и на Дальнем Востоке 2026 № 2 (76) С. 58–68
The article presents a philosophical analysis of the transformation of labor in the context of the spread of AI technologies. Criticizing the notion of AI as an autonomous and neutral technology leading to the replacement of human labor, the author proposes to analyze the social consequences of AI development within the framework of automation processes ...
Added: September 17, 2026
Poddiakov A., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Clarity of knowledge and reasoning is necessary in many cases. Yet vagueness in scientific thinking related to surprise, curiosity, "ability to engage with not-knowing" (de Freitas) and abductive reasoning is also a crucially important source of scientific creativity which supplements combinatorial logic when dealing with the already known. Starting from studies by C. S. Peirce ...
Added: September 15, 2026
Glutsyuk A., / Series arXiv "math". 2026.
B.Josephson (Nobel Prize, 1973) predicted a tunnelling effect for a system of two superconductors separated by a narrow dielectric (such a system is called Josephson junction): existence of a supercurrent through it and equations governing it. The overdamped Josephson junction is modeled by the family of differential equations on the 2-torus, dθdτ=1ω(cosθ+B+Acosτ), which is known as ...
Added: September 8, 2026
Pochinka O., Shmukler V., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.
Anosov flows have a long and rich history, firstly motivated by the
study of geodesic flows in negative curvature surface by Anosov and Sinai.
Not every closed manifold admits an Anosov flow for well-known reasons:
the fundamental group of a 3-manifold M admitting an Anosov flow must
have exponential growth, and M must be universally covered by R3. Nevertheless,
there ...
Added: August 31, 2026
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
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