Procedia computer science

?

Procedia computer science

Vol. 192: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES2021. Elsevier, 2021.

Kovalev A.

Interaction with digital text permeates practically all types of educational, professional and leisure activities of modern life. The effective working with digital instructions and materials determines the success in solving a number of real problems. At the same time, the negative impact of overly complex digital environments on learning outcomes, work efficiency, and subjective well-being has been proven in numerous empirical studies. In this work, an attempt is made to study the navigational characteristics of a digital text that are significant for solving practical problems from the standpoint of the Cognitive Load Theory. A total of 20 subjects (13F; 7M) took part in the experiment with intra-individual plan and 2x2 factorial design. Information retrieval was considered as a task, and the navigation characteristics of the text were varied under controlled experimental conditions in order to determine the optimal combination of navigational cues. Digital text environments with different navigation characteristics were designed. The indicators of oculomotor activity and performance data were analysed to determine the conditions causing the greatest excess cognitive load. A computational approach was applied to assess the relative effectiveness of conditions. It was found that information search in digital environments with less navigational cues provoke increase in scan-path complexity, searching time and number of fixations. These observations support the general hypothesis of this study, according to which a lack of navigation cues affect directly on the cognitive load growth during information search in digital texts.

Research target: Psychology Computer Science

Interpretable GNN with Stable Concepts as Neurons

Kuznetsov S., CEUR Workshop Proceedings 2026 Vol. Vol-4247 P. 27–32

A method for constructing interpretable graph neural networks based on an ordered subsets of "interesting" formal concepts is proposed. Interestingness indices for selecting concepts are compared, namely frequency (extent size) and Δ-stability. The experimental results demonstrate that Δ-stability provides superior performance of the generated networks at the inference stage. ...

Added: November 2, 2026

The dark and bright sides of being alone: Moderators and covariates of general loneliness

Lynch M. F., Leontiev D., Osin E. N., Social Sciences & Humanities Open 2026 Vol. 14 Article 103910

Background: Solitude is often associated with loneliness and is therefore commonly viewed as a negative state, despite studies showing its potential benefits. Drawing on existential and self-determination theory perspectives, we propose a Prism Model in which attitudes toward solitude – Solitude Intolerance and Solitude Appreciation – measured using the Differential Test of Aloneness moderate the associations of General ...

Added: November 1, 2026

Trusting the tag: electrophysiological signatures of source credibility in fact-checking

Morozova A., Monahhova E., Gorodnicheva Y. et al., Scientific Reports 2026

As misinformation spreads rapidly on social media, understanding the efficacy of corrective interventions is a key challenge for cognitive science. We investigated behavioral and neurophysiological responses to fact-checking labels addressing medical and healthcare news. While EEG was recorded, 53 participants rated headlines on trust and willingness to share, both at baseline and after receiving ‘Truth’ ...

Added: November 1, 2026

О длине адаптивной различающей последовательности для семейства наблюдаемых автоматов

Бурдонов И. Б., Evtushenko N. V., Косачев А. С., Труды Института системного программирования РАН 2025 Т. 37 № 6-1 С. 7–20

В статье исследуется длина адаптивной различающей последовательности для семейства инициальных полностью определенных наблюдаемых, возможно, недетерминированных автоматов. Приводится верхняя оценка длины такой последовательности и показывается ее достижимость. Обсуждается, каким образом полученные результаты можно применить при построении адаптивных диагностических тестов на основе конечно-автоматной модели. ...

Added: October 31, 2026

К организации системы запросов в распределенной сети с кластерами диаметра не больше 2

Бурдонов И. Б., Evtushenko N. V., Косачев А. С. et al., Труды Института системного программирования РАН 2026 Т. 38 № 4-1 С. 7–24

В статье усовершенствуется предложенная в предыдущей статье авторов модель кластеризованной распределённой сети с опросом, соответствующая сервис-ориентированной архитектуре. Целью опроса является нахождение ближайшего узла, готового оказать требуемую услугу (сервис) как можно раньше. Предлагаемые алгоритмы обеспечивают достижимость узлов, отсутствие дублирования сообщений, и обмен сообщениями с найденным узлом по кратчайшему пути. Кластеризованность сети означает, что в графе сети ...

Added: October 31, 2026

Идентификация финального состояния в автоматах с таймаутами

Твардовский А. С., Бурдонов И. Б., Evtushenko N. V., Труды Института системного программирования РАН 2026 Т. 38 № 4-2 С. 7–22

В статье вводятся понятия установочной и синхронизирующей последовательностей для конечных автоматов с временными ограничениями и таймаутами. Такие последовательности широко используются для идентификации финального состояния исследуемого автомата как при синтезе тестов на основе формальных моделей, так и при обучении конечно-автоматных моделей. Метод синтеза установочных и синхронизирующих последовательностей основан на использовании конечно-автоматной абстракции временного автомата, поскольку методы ...

Added: October 31, 2026

К организации системы запросов в распределенной сети с кластерами-кликами

Бурдонов И. Б., Evtushenko N. V., Косачев А. С. et al., Труды Института системного программирования РАН 2026 Т. 38 № 3-1 С. 7–32

В статье предложена модель кластеризованной распределённой сети для обработки запросов. В такой сети узлы являются вычислительными единицами, и каждый узел может запросить ту или иную услугу, которая может быть оказана каким-то другим, но заранее неизвестным, узлом сети. Для этого осуществляется опрос сети аналогичный поиску в ширину для того, чтобы найти ближайший узел с необходимыми свойствами. ...

Added: October 31, 2026

Кластеризация услуг распределенной системы, в которой хосты могут выполнять функцию коммутации сообщений

Бурдонов И. Б., Evtushenko N. V., Косачев А. С. et al., Труды Института системного программирования РАН 2025 Т. 37 № 5 С. 7–32

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

Added: October 30, 2026

Модель распределенной системы, в которой хосты могут выполнять функцию коммутации сообщений.

Бурдонов И. Б., Evtushenko N. V., Косачев А. С. et al., Труды Института системного программирования РАН 2025 Т. 37 № 4-1 С. 7–30

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

Added: October 30, 2026

Improving system survivability by path duplication

Бурдонов И. Б., Evtushenko N. V., Косачев А. С., Programming and Computer Software 2025 Vol. 51 No. 4 P. 224–241

In this paper, the problem of distributed network survivability is investigated. A distributed system is modeled by a finite connected undirected graph the nodes of which are divided into two types: hosts and switches. Hosts perform computational functions, while switches are used for message passing between hosts. The survivability of the system is understood as ...

Added: October 30, 2026

Улучшение живучести системы с помощью дублирования путей

Бурдонов И. Б., Evtushenko N. V., Косачев А. С., Программирование 2025 № 4 С. 11–32

Исследуется проблема живучести распределенных сетей. Распределенная система моделируется конечным связным неориентированным графом, вершины которого делятся на два типа: хосты и коммутаторы. Хосты выполняют вычислительные функции, а коммутаторы обеспечивают доставку сообщений между хостами. Под живучестью системы понимается ее способность выполнять свои основные функции по передаче сообщений после выхода из строя некоторых ребер графа. Решение проблемы живучести ...

Added: October 30, 2026

Programming and Computer Software

M.: Pleiades Publishing, Ltd. (Плеадес Паблишинг, Лтд), 2025.

Programming and Computer Software is a peer-reviewed journal devoted to various problems in all areas of computer science: operating systems, compiler technology, software engineering, artificial intelligence, etc. The journal publishes original manuscripts submitted in English, as well as works translated from several other journals. The sources of content are indicated at the article level. The ...

Added: October 30, 2026

Методология создания информационных систем

Karminsky A. M., Chernikov B. V., М.: НИЦ Инфра-М, 2026.

Рассмотрены методологические вопросы создания финансово-экономических информационных систем, проблемы информатизации производственной и дистрибьютерской деятельности, темы адаптации типовых систем в бизнес-структурах, в том числе систем поддержки офисной деятельности. Для студентов учреждений среднего профессионального образования, обучающихся по укрупненным группам специальностей 09.02.00 «Информатика и вычислительная техника», 38.02.00 «Экономика и управление», экономистов, юристов, предпринимателей и финансистов, а также специалистов и ...

Added: October 30, 2026

2025 Seventh International Conference Neurotechnologies and Neurointerfaces (CNN)

Андерсон С. О., Zinchenko O., Shevtsov O. et al., IEEE, 2025.

This paper introduces an automated, hands-free feeding system designed to overcome manual stimulus delivery limitations in consumer neuroscience taste studies, integrating seamlessly with fNIRS, EEG, EDA, EMG, PsychoPy, and TTL triggers. ...

Added: October 29, 2026

Mean-field reduction of networks of bursting neurons

Guerreiro I., Sergey Skorokhod, di Volo M. et al., Communications in Nonlinear Science and Numerical Simulation 2027 Vol. 164 Article 110954

The collective dynamics of spiking networks of neurons has been of central interest to both computational neuroscience and network science. Over the past years, a new generation of neural population models based on exact reductions (ER) of spiking networks have been developed. However, most of these efforts have been limited to networks of neurons with simple dynamics (e.g. the ...

Added: October 29, 2026

Психометрические свойства опросника профессиональной депрессии (the Occupational Depression Inventory, ODI)

Чернявский А. А., Психиатрия 2026 Т. 24 № 2 С. 131–151

Background: existing tools for assessing depression do not take into account its contextualized nature. One of the prevailing spheres of human activity is labor activity, which may cause the occurrence of depression associated with professional activity. Occupational depression is a depressive state associated with chronic work stress. Because occupational activity may be a significant factor ...

Added: October 28, 2026

Proceedings of the 11th Workshop on Automated Knowledge Base Construction (AKBC 2026)

Association for Computational Linguistics, 2026.

While Large Language Models (LLMs) have revolutionized NLP, they remain prone to hallucinations, reasoning “mode-collapse” in open-ended generation, and a lack of factual provenance. The Automated Knowledge Base Construction (AKBC) workshop addresses a key missing piece of the generative era: structured knowledge. Knowledge Bases (KBs) serve as ground truth for fact verification, the semantic backbone ...

Added: October 28, 2026

Molecular dynamics and machine learning insights into oil-brine interfacial tension: Uncovering roles of dissolved gases and salinity

Nikitiuk B., Lenev D., Pisarev V. et al., Journal of Colloid and Interface Science 2026 Vol. 718 Article 140444

Hypothesis:Accurate determination of interfacial tension values is crucial for many modeling applications in the oil and gas industry. However, many of the presently used empirical and theoretical models show poor prediction accuracy and do not allow for direct consideration of the concentrations of gases and salts dissolved in the system as well as the specific ...

Added: October 28, 2026

Predicting multi-component oil viscosity using machine learning methods

Deshchenya V., Nikolay D. Kondratyuk, Sivakova A. et al., Chemical Engineering Sciences 2027 Vol. 337 Article 124616

Accurate prediction of complex formulation viscosity is crucial for the lubricant industry and engineering processes. However, developing generalizable models remains challenging due to the complexity of industrial mixtures and the scarcity of public experimental data, often resulting from corporate proprietary restrictions. This study presents a machine-learning workflow for viscosity estimation from a proprietary pseudonymized dataset, ...

Added: October 28, 2026

PARSE: Physical attribute representativity and stationarity evaluator open-source library for 3D images using scalar and vector metrics

Zubov A., Zubov A., Малявко, Я. et al., Computer Physics Communications 2025 Vol. 317 Article 109860

The concept of representative volume (REV, or RVE in material sciences) is the cornerstone of continuum scale models – one needs to get the volume big enough so that it could be represented with an averaged value (scalar, vector or tensorial, etc.). While REV should be established in all larger scale simulations, this is rarely ...

Added: October 28, 2026

Presentation modality and comprehension of a factually dense educational text: The role of cognitive load and metacognitive calibration

Ju Y., Matveev M. O., Matveeva E. A. et al., Novosibirsk State Pedagogical University Bulletin 2026 Vol. 16 No. 4 P. 199–222

Introduction. The article addresses the scientific problem of whether a more vivid and engaging presentation modality necessarily supports more accurate comprehension of the same educational content. This problem is especially important for factually dense educational texts that require learners to retain proper names, chronological order, cultural references and causal relations. The aim of the study ...

Added: September 22, 2026

Self-Monitoring Skills in Online Learning and the Role of Metacognitive Prompts: An Exploratory Study

Anastasia A. Koval, Anna Y. Gorbunov, Podolsky A. I. et al., Psychology in Russia: State of the Art 2026 Vol. 19 No. 3 P. 89–105

Background. Self-monitoring is critical for online learning, yet many students struggle due to cognitive load. Students with higher self-monitoring skills man- age this demand better, but which load types they handle effectively remains unknown. Metacognitive prompts are a common support tool, but it is unclear whether they amplify or compensate for skill differences. Objective. To examine ...

Added: September 10, 2026

Pupillometry and autonomic nervous system responses to cognitive load and false feedback: an unsupervised machine learning approach

Alshanskaia E., Portnova G., Liaukovich K. et al., Frontiers in Neuroscience 2024 Vol. 18

Added: September 7, 2026

Cognitive engagement and video watching behaviours in learner-controlled environments: A cognitive load perspective

Gorbunova A., Getman A., Savelyev A. et al., Innovations in Education and Teaching International 2026 P. 1–13

Research on video-based learning often relies on behavioural indicators to infer engagement, yet it remains unclear whether these behaviours reflect meaningful cognitive engagement or mere activity. To address this gap the present study analysed relationships between time-on-video, click frequency, playback speed manipulation, and learners’ intrinsic, extraneous, and germane cognitive load in a learner-controlled video environment ...

Added: June 14, 2026