?
21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings. Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. (LNCS, volume 15764)
Cham :
Springer, 2025.
Under the general editorship: A. Beckmann, I. Oitavem, F. Manea
This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic, CiE 2025, held in Lisbon, Portugal, during July 14–18, 2025.
The 27 full papers included in this book were carefully reviewed and selected from 49 submissions. They focus on computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2025 had
as its motto Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, drawing on the numerous interconnections between computability research and broader logical methodologies, considering both well-established perspectives as well as recent innovations.
Chapters
Bruno Bauwens, Marchenko M., , in: 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings. Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. (LNCS, volume 15764).: Cham: Springer, 2025. P. 133–142.
Abstract. The even online Kolmogorov complexity of a string x =
x1x2 · · · xn is the minimal length of a program that for all i ≤ n/2,
on input x1x3 · · · x2i−1 outputs x2i. The odd complexity is defined similarly. The sum of the odd and even complexities is called the dialogue
complexity. In ...
Added: December 17, 2025
Flamarion M. V., Pelinovsky E., Wave Motion 2027 Vol. 148 Article 103867
We consider the interaction of two solitary waves in the modified Benjamin–Bona–Mahony
(mBBM) equation in a regime where a small parameter measures the departure from the classical
modified Korteweg–de Vries (mKdV) equation. A regular perturbation method is used to
analyze the modification of the two-soliton wave field induced by the weak non-integrability of
the mBBM equation. We show that, ...
Added: October 23, 2026
Obsie E. Y., Zhan Y., Liu Y., Engineering Research Express 2026 Article 7
Maintaining plant health is crucial for crop quality, food security, and agricultural productivity. Although deep learning methods have shown strong potential for species, disease, and severity classification, most existing approaches tackle these tasks separately, failing to exploit shared representations and interdependencies among them. Furthermore, the variability of disease symptoms, such as subtle differences in size, ...
Added: October 22, 2026
Lev Pyatko, Sergey Aksenov, Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 794–813
In the circular restricted three-body problem, families of periodic and quasi-periodic orbits exist in the vicinity of the libration points and are of significant interest for practical applications. This work presents a neural network-based algorithm for orbit construction and station-keeping, applicable to both periodic and quasi-periodic orbits near collinear libration points. The method employs a ...
Added: October 19, 2026
Vorontsova T., М.: Академия, 2025.
The textbook has been prepared in accordance with the requirements of the federal state educational standards for secondary vocational education and is intended for studying the professional modules “Information Security in Information and Telecommunication Systems and Networks Using Software and Hardware‑Software Tools, Including Cryptographic Protection Tools” and “Information Security in Automated Systems Using Software and ...
Added: October 19, 2026
Naumov A., Рубцов А. С., Samsonov S. et al., Успехи математических наук 2026 Т. 81 № 4 (490) С. 161–162
Краткое сообщение рассматривает Моментные оценки для стохастической аппроксимации ...
Added: October 17, 2026
Roman Avdeev, Yulia Zaitseva, Mediterranean Journal of Mathematics 2026 Vol. 23 No. 7 Article 224
We provide an infinite series of commutative finite-dimensional Gorenstein local algebras A_n for n ≥ 2. We give an elementary proof that the maximal ideal of every algebra A_n possesses a one-dimensional subspace that is different from the socle and invariant under the automorphism group of A_n. The latter implies that the algebras A_n fail ...
Added: October 17, 2026
Gordin V. A., Efremenko D., Boundary-Layer Meteorology 2026 Vol. 192 No. 51
An inverse problem of reconstructing the turbulent exchange tensor from large archives of observed wind profiles within the Åkerblom–Ekman (A-E) model framework is investigated using high-vertical-resolution radiosonde observations. The reconstructed tensor provides improved agreement between modeled and observed wind profiles compared to classical formulations based on real turbulent exchange coefficient. Instead of the classical A-E ...
Added: October 16, 2026
Kuznetsov A. P., Sedova Y. V., Stankevich N., Chaos, Solitons and Fractals 2026 Vol. 213 No. 12 Article 119309
We analyze the interaction of a quasi-periodic subsystem, in which two-, three-, and four- frequency quasi-periodic oscillations are possible, with a chaotic subsystem. A discrete version is obtained via the Euler scheme from the corresponding flow model. The dynamics of individual subsystems are discussed, including quasi-periodic bifurcations of invariant tori and the occur rence of ...
Added: October 16, 2026
Aleksei Samarin, Nazarenko A., Nazarenko D. et al., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 10 Article 330
Automated microscopic image analysis is essential for quantitative microbiology, yet manual acquisition and generic recognition models struggle with morphological variability and scene artifacts. We address both ends of this pipeline. First, we present a low-cost, open-source acquisition system, based on an Arduino UNO R3 microcontroller and NEMA 17 stepper motors, that automates focusing, magnification, and ...
Added: October 14, 2026
Parkhomenko V., Kulikova S., Buzmakov A. V., Lobachevskii Journal of Mathematics 2026 Vol. 47 No. 6 P. 2979–2992
The stability of formal concepts and its generalization as robustness are considered in the paper. We use an approximation of stability in the form of Δ-measure for fast calculations. A computationally efficient method for calculating robustness based on subcontexts is presented. We also present a new method to analytically evaluate the number of preimages for ...
Added: October 14, 2026
Kuznetsov A. P., Sedova Y. V., Sataev I. R. et al., Mathematics and Computers in Simulation 2027 Vol. 2 P. 574–592
Universal bifurcation structures on the parameter plane of nonlinear systems, known as shrimps, are discussed. An overview of numerous examples from various fields of science is given. Shrimps are typical for both maps of different dimensions and flows. The varieties of shrimp are discussed and relevant examples are given. The similarity property on the parameter ...
Added: October 14, 2026
Springer, 2026.
This book highlights cutting-edge research in the field of network science, offering scientists, researchers, students and practitioners a unique update on the latest advances in theory and a multitude of applications. It presents the peer-reviewed proceedings of the XIV International Conference on Complex Networks and their Applications (COMPLEX NETWORKS 2025). The carefully selected papers cover ...
Added: October 13, 2026
Springer, 2026.
This book offers a comprehensive overview of the latest research, innovations, and practical applications in the field of sustainability, with a focus on construction materials and their use in building and civil engineering structures. As an outcome of the 3rd International Conference on Sustainability: Developments and Innovations (ICSDI 2026), this book presents a selection of ...
Added: October 13, 2026
Dmitriev A., Kornilov V., Batienkov R., Lecture Notes in Civil Engineering 2026 Vol. 886 P. 249–255
Numerous studies have provided compelling evidence that the probability distribution of avalanche sizes follows a power law, and that 1/f noise is present in the stochastic dynamics of landslides. We present a theoretical explanation of these phenomena within the framework of self-organized criticality theory, proposing a discrete-time model in the form of a sandpile cellular ...
Added: October 13, 2026
Dmitriev A., Shulman I., Lebedev A., Studies in Computational Intelligence 2026 Vol. 1265 P. 266–273
A discrete-time model is presented for the self-organization of the X/Twitter social network to the edge of a phase transition, characterized by avalanche-like propagation of information in the network. The model is based on the analogy between the critical dynamics of the X social network and sandpile cellular automata with Manna rule on the Chung-Lu ...
Added: October 13, 2026
Makarov D. M., Kalikin N., Fashchevsky K. A. et al., Electrochimica Acta 2026 Vol. 579 Article 150159
Machine learning (ML) has become a powerful tool for accelerating the development of carbon-based supercapacitors;
however, most published models assume that a single predictive framework can describe both conventional
porous carbons and hybrid carbon electrodes. Here, we test this assumption using a comprehensive
benchmark dataset and an extended literature-curated dataset enriched with synthesis- and electrolyte-related
descriptors. Three ML algorithms ...
Added: October 13, 2026
Leibniz International Proceedings in Informatics (LIPIcs), 2024.
Added: November 23, 2024
Amirdjanov G. P., Gurevich I. B., Kostyuk F. V. et al., Pattern Recognition and Image Analysis 2023 Vol. 33 No. 4 P. 988–1049
The review presents the history of the creation and work of the Scientific Council “Cybernetics” (SCC)—the center for development of cybernetics in the USSR and Russia. The Council’s activity is covered as a structure that coordinates scientific and technical activity in cybernetics in the country via a system of sections: about 16 public and professional ...
Added: March 13, 2024
M.: [б.и.], 2021.
The Logical Perspectives Summer School and Workshop Series aims at giving advanced introductions into various branches of logic, and providing researchers — including early career scientists — with an opportunity to present their work.
In particular, LP 2021 Summer School (June 14–16) and Workshop (June 17–19) will focus on computational proof theory, broadly understood. The programme will comprise three ...
Added: December 14, 2021
Kikot S., Kurucz A., Podolskii V. V. et al., , in: PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems.: NY: Association for Computing Machinery (ACM), 2021. P. 370–387.
Added: September 8, 2021
Maslov V., Russian Journal of Mathematical Physics 2018 Vol. 25 No. 4 P. 525–530
We show that the statistical approach to quantum mechanics allows to define a factor related to numeration theory in mathematical logic, and to apply this factor to the study of the nucleus of helium-5 and other light nuclei. In particular, the use of the hidden factor of numbering gives us, instead of the quantum picture ...
Added: December 9, 2018
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018.
Added: August 28, 2018
Savateev Y., Shamkanov D. S., / Series arXiv "math". 2018.
We present a sequent calculus for the Grzegorczyk modal logic Grz allowing cyclic and other non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs. As an application, we establish the Lyndon interpolation property for the logic Grz proof-theoretically. ...
Added: April 4, 2018
Avdoshin S. M., Набебин А. А., М.: ДМК Пресс, 2018.
The textbook contains the basic information of formal logical systems. It is Boolean functions, Post’s theorem on functional completeness, the k-valued logic, derivatives of Boolean functions, axiomatic calculi for propositions, for predicates, for sequentions, for resolutions. Programming language Prolog and axiomatic programming language OBJ3 are introduced. Problems of monadic logic, of finite automata and of ...
Added: December 2, 2017