?
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
Vol. 13027.
Springer, 2021.
Zakharyaschev M., Kurucz A., Savateev Y., Ryzhikov V.
We prove that, similarly to known PSPACEPSPACE-completeness of recognising 𝖥𝖮(<)FO(<)-definability of the language 𝐿(𝔄)L(A) of a DFA 𝔄A, deciding both 𝖥𝖮(<,≡)FO(<,≡)- and 𝖥𝖮(<,𝖬𝖮𝖣)FO(<,MOD)-definability (corresponding to circuit complexity in AC0AC0 and ACC0ACC0) are PSPACEPSPACE-complete. We obtain these results by first showing that known algebraic characterisations of FO-definability of 𝐿(𝔄)L(A)can be captured by ‘localisable’ properties of the transition monoid of 𝔄A. Using our criterion, we then generalise the known proof of PSPACEPSPACE-hardness of 𝖥𝖮(<)FO(<)-definability, and establish the upper bounds not only for arbitrary DFAs but also for 2NFAs.
Publication based on the results of:
Khodadoust J., Kulikova S., Khodadoust F., Biomedical Signal Processing and Control 2027 Vol. 129 P. 111284–111284
Acute ischemic stroke (AIS) analysis from two-dimensional (2D) clinical imaging is hindered by uncontrolled slice tilt and geometric inconsistencies that violate the assumptions of pose-agnostic deep learning (DL) models. This paper proposes a unified geometry-aware, frequency-domain framework for tilted slice localization and ischemic stroke segmentation that explicitly decouples pose estimation from lesion analysis. The method ...
Added: September 2, 2026
IEEE, 2026.
On behalf of the Organizing Committee, it is my great pleasure to extend a warm
welcome to all participants of the Fourth International IEEE Conference on
Distributed Computing and High-Performance Computing (DCHPC 2026), held
in Tehran from May 10–11, 2026. This conference is jointly organized by the
School of Computer Science at the Institute for Research in Fundamental
Sciences (IPM) ...
Added: September 2, 2026
Avdoshin S.M., Patrushev K. A., Proceedings of the Institute for System Programming of the RAS 2026 No. 4 часть 2 P. 245–256
The cardinality-constrained Markowitz problem is NP-hard and traditionally solved with commercial MIQP solvers. Following the 2022 export restrictions that rendered both commercial MIQP software and cloud quantum platforms (IBM Quantum, D-Wave Leap) inaccessible from the Russian Federation, practitioners require open-source alternatives. This paper systematically compares three solver families for the discrete mean-variance problem: two open-source ...
Added: August 27, 2026
Zaikin A., Vlasenko D., Zakharov D. et al., Diagnostics 2026 Vol. 16 No. 17 P. 1–15
Background/Objectives: Synolitic graphs (SGs) were developed for task-based fMRI, where
edge weights encode the discriminative power of pairwise regional features; whether similar
information can be recovered from resting-state data was untested. We benchmarked
SGs for autism spectrum disorder (ASD) classification using the multisite ABIDE-I dataset
(871 subjects: 403 subjects with ASD, 468 typical controls; 17 sites; CC200 atlas). Methods:
Using ...
Added: August 27, 2026
Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2025.
Сборник содержит материалы, представленные на XXIV Международной конференции «Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории», посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова. Материалы конференции будут полезны научным работникам, ...
Added: August 27, 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
Джонов А. Т., Avdoshin S. M., Информационные технологии 2026 Т. 32 № 8 С. 421–427
This systematic review presents an analysis of the "Vibe Coding" methodology — a contemporary approach to the iterative software development process using Large Language Models (LLMs). Code generation tools are transforming software development by enabling programmers to formulate tasks and describe the desired behavior of software in natural language, while LLMs generate source code corresponding ...
Added: August 25, 2026
Melman A., Evsyutin O., Journal of the Franklin Institute 2026 Vol. 363 No. 15 Article 109005
Open access to images creates opportunities for violation of the authors' rights. Digital watermarks can be used to securely publish images online. They are invisibly added into the images before publication and can be extracted at any time to verify ownership. However, achieving a balance between embedding imperceptibility and robustness to image processing operations is ...
Added: August 25, 2026
IEEE, 2026.
It is with great pleasure that we welcome all the participants of the 12th Conference on Control, Decision and Information Technologies (CoDIT 2026) at the Polytechnic University of Bari – Orabona Street 4, 70125 Bari, Italy, July 13-16, 2026. CoDIT has grown to become one of the largest conferences organized in Europe and in the ...
Added: August 24, 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
CEUR-WS.org, 2026.
The second edition of the Generative Code Intelligence Workshop (GeCoIn 2026) was held in conjunction with the 35th International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2026), in Bremen, Germany, August 16, 2026. The workshop arose from the desire to bring together a research community that has, in recent years, witnessed rapid progress in the application ...
Added: August 20, 2026
Ryumina E., Aksenov A., Koryakovskaya D. et al., IEEE Access 2026 Vol. 14 P. 124759–124778
Psychological characteristic estimation from multimodal in-the-wild behavior is usually studied using separate corpora, each annotated for a single target task. Such annotation fragmentation limits cross-task learning and cross-domain generalization across affective, dispositional, and interactional phenomena. To address this problem, we use emotion, apparent personality trait, and ambivalence recognition as representative tasks and introduce MM-PSYCHE, a ...
Added: August 20, 2026
Association for Computational Linguistics, 2026.
19th Conference of the European Chapter of the Association for Computational Linguistics, Workshop on Linguistic Analysis for Health (2026) ...
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
Moshkin A., Fedorov M., Arlazarov V. et al., Algorithms 2026 Vol. 19 No. 7 Article 523
Artificial intelligence (AI) technologies, which are being actively developed in modern medicine today, increase the speed and quality of patient care. This article mainly seeks to demonstrate the use of various options of computer analysis of clinical images to solve practical problems of increasing the efficiency of routine diagnostics using retrospective analysis, as well as ...
Added: August 17, 2026
Springer, 2026.
The Smart Innovation, Systems and Technologies book series encompasses the topics of knowledge, intelligence, innovation and sustainability. The aim of the series is to make available a platform for the publication of books on all aspects of single and multi-disciplinary research on these themes in order to make the latest results available in a readily-accessible ...
Added: August 16, 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 No. 2326 Article 20250103
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
Cham: Springer, 2026.
This book constitutes the proceedings of the 10th International Workshop Empowering Novel Geometric Algebra for Graphics and Engineering, ENGAGE 2025, held in conjunction with Computer Graphics International conference, CGI 2025, in Hong Kong, China, on July 14, 2025.
The 14 full papers included in this volume were carefully reviewed and selected from 16 submissions. The papers ...
Added: August 13, 2026
Badarin A., Ratnikov F., Andreev A., European Physical Journal: Special Topics 2026 P. 1–10
EEG recordings are often affected by the loss or corruption of individual channels due to electrode detachment, poor scalp contact, or external interference. Such channels must be accurately reconstructed before further analysis. In this study, we investigate Next-Generation Reservoir Computing (NG-RC) as a data-driven approach for reconstructing corrupted EEG channels and compare its performance with ...
Added: August 12, 2026
Sergey Dudakov, Karlov B., Theory of Computing Systems 2021 Vol. 65 No. 3 P. 462–478
This paper is dedicated to studying decidability properties of theories of regular languages with classical operations: union, concatenation, and the Kleene star. The theory with union only is a theory of some Boolean algebra, so it is decidable. We prove that the theory of regular languages with the Kleene star only is decidable. If we ...
Added: November 12, 2023
Galatenko A. V., Кузовихина В. А., Программная инженерия 2021 № 3 С. 150–156
We propose an automata model of computer system security. A system is represented by a finite automaton with states partitioned into two subsets: "secure" and "insecure". System functioning is secure if the number of consecutive insecure states is not greater than some nonnegative integer k. This definition allows one to formally reflect responsiveness to security ...
Added: June 16, 2021
Rybakov M., Shkatov D., , in: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. P. 45–45.
We discuss an example of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames. ...
Added: October 7, 2019
Rybakov M., Чагрова Л. А., Программные продукты и системы 2018 Т. 31 № 3 С. 591–597
It is common to use the first-order language as a formal tool for describing properties of various (computational) structures. On the one hand, this language is well understood and easy to use; on the other, many questions that are im-portant from the applications point of view related to this language are algorithmically undecidable, i.e., cannot ...
Added: October 6, 2019