?
Universality of regular realizability problems
Lecture Notes in Computer Science. 2013. Vol. 7913. P. 271–282.
Язык:
английский
Ключевые слова: regular realizability problem
Запрягаев А. А., Пахомов Ф. Н., Logic Journal of the IGPL 2026 Vol. 34 No. 4 Article 12
Добавлено: 16 июля 2026 г.
Веретенников А. Ю., Веретенникова М. А., Reliability: Theory & Applications 2022 Vol. 17 No. 3(69) P. 273–291
Добавлено: 16 июля 2026 г.
Веретенников А. Ю., Stochastics and Partial Differential Equations: Analysis and Computations 2022 Vol. 10 P. 1165–1179
Добавлено: 15 июля 2026 г.
Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 2026 Vol. 114 No. 1 P. 014217–014217
Добавлено: 15 июля 2026 г.
Прокофьев В. В., Забродин А. В., Proceedings of the Steklov Institute of Mathematics 2020 Vol. 309 P. 225–239
Добавлено: 14 июля 2026 г.
Прокофьев В. В., Забродин А. В., Journal of Physics A: Mathematical and Theoretical 2021 Vol. 54
Добавлено: 14 июля 2026 г.
Прокофьев В. В., Забродин А. В., Theoretical and Mathematical Physics 2021 Vol. 208 P. 1093–115
Добавлено: 14 июля 2026 г.
Прокофьев В. В., Забродин А. В., Теоретическая и математическая физика 2023 Т. 217 № 2 С. 299–316
Продолжено изучение иерархии B-Тоды (решетки Тоды со связью типа B), которую можно рассматривать как дискретизацию иерархии Кадомцева–Петвиашвили типа B. Вводится тау-функция для иерархии B-Тоды и получены билинейные уравнения для нее. В явном виде даны примеры солитонных тау-функций. ...
Добавлено: 14 июля 2026 г.
Силаков Д. В., Системный администратор 2026 № 5 С. 46–51
В предыдущей статье про Open Source в КНР [1] мы рассказали про Alibaba – крупную корпорацию, занимающую тридцатое место в рейтинге самых значимых мировых брэндов за 2025 год [2]. Место почетное, но не первое среди китайских компаний – на тринадцатом месте расположилась Tencent, разработчик WeChat и ряда других продуктов, широко используемых нашими восточными соседями. Tencent ...
Добавлено: 14 июля 2026 г.
IEEE, 2026.
Добавлено: 13 июля 2026 г.
Switzerland: Springer, 2026.
Добавлено: 12 июля 2026 г.
Шиманогов И. Н., Вялый М. Н., Дискретный анализ и исследование операций 2025 Т. 32 № 4 С. 213–230
Хорошо изученным классом алгоритмических задач являются задачи регулярной реализуемости: проверка непустоты пересечения регулярного языка с заданным языком. Данная задача имеет естественную алгебраическую интерпретацию: проверка принадлежности элемента булевой алгебры ядру определенного гомоморфизма. Это мотивирует рассмотрение аналогичной задачи бесконечной регулярной реализуемости: проверка бесконечности пересечения регулярного языка с заданным. В работе рассматриваются задачи регулярной реализуемости для разрешимых языков ...
Добавлено: 12 июля 2026 г.
Рыбаков М. Н., Annals of Pure and Applied Logic 2026 Vol. 177 Article 103811
Добавлено: 11 июля 2026 г.
Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.
Добавлено: 9 июля 2026 г.
Добавлено: 8 июля 2026 г.
Springer, 2027.
Добавлено: 8 июля 2026 г.
Маликов М. А., Монахова Э. А., Рзаев Э. Р. и др., Ученые записки Казанского университета. Серия: Физико-математические науки 2026 Т. 168 № 2 С. 269–286
В качестве топологий сетей на кристалле рассмотрены серии семейств оптимальных по диаметру двумерных циркулянтных сетей с прямоугольным контуром укладки на плоскости. Прямоугольный контур укладки графа межмодульных соединений даёт возможность компоновки
элементов в сетях на кристалле с минимальным количеством пересечений связей и ограниченной
длиной максимальной из них, не зависящей от размера сети. Для серий семейств циркулянтных сетей с ...
Добавлено: 8 июля 2026 г.
Добавлено: 11 июня 2026 г.
Добавлено: 19 мая 2026 г.