First-order rewritability of ontology-mediated queries in linear temporal logic

Материалы сборника Шестнадцатой Международной конференции «Новые информационные технологии в исследовании сложных структур» (Москва, 21–25 сентября 2026 г.) ориентированы на широкий круг специалистов, работающих на стыке теории информации, системного анализа и прикладных предметных областей. В издание вошли результаты исследований, посвящённые моделированию дискретных и стохастических структур управления и связи, разработке высокопроизводительных вычислительных и телекоммуникационных систем, а также вопросам цифровой трансформации образования, архитектурно-градостроительного проектирования, экологического ...

Добавлено: 6 октября 2026 г.

To spike or not to spike: the whims of the Wonham filter in the strong noise regime

Бернардан С. Ж., Chhaibi R., Najnudel J. и др., Probability Theory and Related Fields 2026 Vol. 195 P. 1823–1875

Добавлено: 5 октября 2026 г.

Цепная дробь Аски–Вильсона при qN=1

Исмаилов А. Р., Спиридонов В. П., Успехи математических наук 2026 Т. 81 № 5 С. 183–184

Получена новая формула для цепной дроби Аски–Вильсона в форме отношения двух q-гипер-геометрических рядов. ...

Добавлено: 5 октября 2026 г.

Оптимизация энергопотребления предприятия с использованием методов многокритериальной оптимизации

Серебренников Д. А., Белов А. В., Информационные технологии и вычислительные системы 2026 № 3 С. 157–169

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

Добавлено: 5 октября 2026 г.

Explicit Formula for Inverse and Determinant in Geometric Algebras over Odd-dimensional Vector Spaces

Абдулхаев К. С., Широков Д. С., Advances in Applied Clifford Algebras 2026 Vol. 36 P. 1–21

Добавлено: 4 октября 2026 г.

On Practical Aspects of Constructing Quasi-Cyclic Subfield Subcodes of Dual Elliptic Codes and Their Application in McEliece-type Cryptosystems

Кунинец А. А., IEEE Transactions on Information Theory 2026 P. 1–1

Добавлено: 3 октября 2026 г.

Инкрементальный метод обновления многомерного куба по неупорядоченному потоку событий журналов информационных систем

Зыков С. В., Уфимцев Г. А., Моделирование, оптимизация и информационные технологии 2026 Т. 14 № 8 С. 1–13

Информационные системы формируют большие объёмы событийных журналов, которые используются для анализа работы приложений и сервисов. При этом события могут поступать в аналитический контур позже момента их фактического возникновения и не в исходном порядке. Такая рассинхронизация приводит к ошибкам при построении агрегированных временных показателей, а регулярный полный пересчёт многомерного аналитического куба требует значительных вычислительных затрат. Целью ...

Добавлено: 2 октября 2026 г.

Polarization of opinions in the group: a modeling algorithm considering the dynamics of social bonds

Chebotarev V., Andreyuk D., Elizarova Anastasiya и др., Procedia Computer Science 2022 Vol. 213 No. C P. 596–601

Добавлено: 2 октября 2026 г.

Enhancing Boundary Stability in Decision Trees and Random Forests: A Weighted Sample Duplication Approach

Konstantinov A., Elizarova Anastasiya P., Utkin L., Computing, Telecommunications and Control 2026 Vol. 19 No. 1 P. 16–25

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

Добавлено: 2 октября 2026 г.

Graphon spin systems as exactly solvable models

Medvedev G., Alexandrov Artem, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 2026 Vol. 114 Article 044102

Добавлено: 2 октября 2026 г.

A tetrachotomy of ontology-mediated queries with a covering axiom

Герасимова О. А., Kikot S., Подольский В. В. и др., Artificial Intelligence 2022 Vol. 309 Article 103738

Our concern is the problem of efficiently determining the data complexity of answering queries mediated by description logic ontologies and constructing their optimal rewritings to standard database queries. Originated in ontology-based data access and datalog optimisation, this problem is known to be computationally very complex in general, with no explicit syntactic characterisations available. In this ...

Добавлено: 30 мая 2022 г.

On complexity of propositional linear-time temporal logic with finitely many variables

Рыбаков М. Н., Shkatov D., , in: Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists.: NY: ACM, 2018. P. 313–316.

Добавлено: 6 октября 2019 г.

The complexity of ontology-based data access with OWL2QL and bounded treewidth queries

Подольский В. В., Захарьящев М. В., Bienvenu M. и др., , in: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems* F127745.: ACM, 2017. P. 201–216.

Добавлено: 17 сентября 2017 г.