?
Two Types of Filtrations for wK4 and Its Relatives
Studia Logica. 2025. P. 1–25.
Кудинов А. В., Shapirovsky I.
Прокофьев В. В., Забродин А. В., 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 г.
Шиманогов И. Н., Вялый М. Н., Дискретный анализ и исследование операций 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 г.
Springer, 2027.
Добавлено: 8 июля 2026 г.
Маликов М. А., Монахова Э. А., Рзаев Э. Р. и др., Ученые записки Казанского университета. Серия: Физико-математические науки 2026 Т. 168 № 2 С. 269–286
В качестве топологий сетей на кристалле рассмотрены серии семейств оптимальных по диаметру двумерных циркулянтных сетей с прямоугольным контуром укладки на плоскости. Прямоугольный контур укладки графа межмодульных соединений даёт возможность компоновки
элементов в сетях на кристалле с минимальным количеством пересечений связей и ограниченной
длиной максимальной из них, не зависящей от размера сети. Для серий семейств циркулянтных сетей с ...
Добавлено: 8 июля 2026 г.
Пиле Я. Э., Щур Л. Н., Deng Y., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 Article 014101
Добавлено: 6 июля 2026 г.
Irkutsk: ISDCT SB RAS, 2026.
Добавлено: 5 июля 2026 г.
М.: Наука и технологии, 2026.
«Телекоммуникации» ежемесячный рецензируемый производственный, информационно-аналитический и учебно-методический журнал выходит в свет с июля 2000 г.
Для руководителей и работников промышленности, научно-исследовательских и проектно-конструкторских институтов, высших учебных заведений, аспирантов и студентов, а также для специалистов, разрабатывающих, выпускающих и эксплуатирующих средства телекоммуникаций.
Новости разработок и производства, прогнозы развития, защита информации, Нормативные, справочные, аналитические и учебно-методические материалы.
Переход к глобальному информационному ...
Добавлено: 4 июля 2026 г.
МФТИ, 2025.
абота редакции научного журнала «Труды Московского физико-технического института» (кратко «Труды МФТИ»), редакционной коллегии и редакционного совета осуществляется в соответствии с Положением, утвержденным ректором института. В состав редакционной коллегии входят руководители института, факультетов, институтских и факультетских кафедр. Главный редактор журнала —президент МФТИ, член-корр. РАН Кудрявцев Н.Н.
Журнал «Труды МФТИ» входит в базу данных РИНЦ (Российский Индекс Научного Цитирования) и доступен в электронной ...
Добавлено: 4 июля 2026 г.
Шехтман В. Б., Gagarin A., , in: Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)Vol. 66.: Springer, 2026. Ch. 17 P. 419–450.
Добавлено: 30 июня 2026 г.
Springer, 2026.
Добавлено: 30 июня 2026 г.
Починка О. В., Баринова М. К., Journal of Geometry and Physics 2026 Vol. 228 P. 1–8
Добавлено: 30 июня 2026 г.
Герман О. Н., Илларионов А. А., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 3–18
Пусть симплекс с целочисленными вершинами - содержащий ровно одну целочисленную точку, отличную от своих вершин. В работе доказывается, что если точка находится во внутренности симплекса или в относительной внутренности некоторой гиперграни симплекса, то объем симплекса ограничен величиной, зависящей только от размерности, в противном случае объем симплекса может быть сколь угодно большим. Этот результат применяется для вывода асимптотической формулы для среднего числа вершин полиэдров ...
Добавлено: 29 июня 2026 г.
Исаев М. Р., Бобров П. Д., Журнал высшей нервной деятельности им. И.П. Павлова 2022 Т. 72 № 5 С. 728–738
В работе предлагается алгоритм работы интерфейса мозг–компьютер, основанного на регистрации гемодинамической активности с помощью спектрометрии в ближнем инфракрасном диапазоне (БИКС), который адаптирован для применения в целях реабилитации двигательных нарушений. Алгоритм включает способ фильтрации, учитывающий частоту предъявления инструкций с целью минимизации временной задержки в целевом частотном диапазоне, последовательную классификацию состояния покоя и выполняемых мысленных задач, а ...
Добавлено: 18 марта 2026 г.
Грефенштейн А. В., Сперанский С. О., Математический сборник 2024 Т. 215 № 3 С. 37–69
Разрабатывается кванторная версия пропозициональной модальной логики BK из статьи С. П. Одинцова и Х. Вансинга, в основе которой лежит (немодальная) система Белнапа–Данна; мы будем обозначать эту версию через QBK. Сначала с помощью метода канонических моделей будет доказано, что QBK — как и некоторые важные её расширения — сильно полна относительно подходящей семантики возможных миров. Затем мы ...
Добавлено: 26 декабря 2025 г.
Зотов Л. В., Логинов А. В., Ольховский А. А. и др., В кн.: ВОПРОСЫ ТЕОРИИ И ПРАКТИКИ ГЕОЛОГИЧЕСКОЙ ИНТЕРПРЕТАЦИИ ГРАВИТАЦИОННЫХ, МАГНИТНЫХ И ЭЛЕКТРИЧЕСКИХ ПОЛЕЙ 51-я сессия Международного семинара им. Д.Г. Успенского - В.Н. Страхова. Москва, 2025.: Пермский государственный университет, 2025.
Одной из основных составляющих движения полюса Земли является Чандлеровское колебание с периодом 433 сут. Для его выделения из наблюдений необходима узкополосная частотная фильтрация. Мы разработали метод, заключающийся в параллельной работе процедуры фильтрации Калмана и необходимой полосовой фильтрации в прямом времени, с последующей коррекцией фазы фильтрацией в обратном времени. Использование в качестве фильтра уравнения Эйлера-Лиувилля, генерирующего ...
Добавлено: 10 декабря 2025 г.
Латышев А. В., В кн.: Государственное управление в СССР в годы Второй мировой войны. Фронт и тыл: Материалы XVII Международной научной конференции. Екатеринбург, 19–22 июня 2025 г.: М.: Издательство "Политическая энциклопедия", 2025. С. 490–498.
В статье анализируются институциональные, организационные и идеологические аспекты работы государства с вернувшимися из плена военнослужащими после боев с Японией на Халхин-Голе, войны с Финляндией, в ходе и по завершении Великой Отечественной войны. Выясняются приоритеты государства и органов госбезопасности, логика работы последних. Суммируются доступные данные о масштабов арестов в ходе фильтрационных мероприятий. Делаются выводы об изменении отношения власти к ...
Добавлено: 2 декабря 2025 г.
Кудинов А. В., Мясников К. М., Математика и теоретические компьютерные науки 2025 Т. 3 № 2 С. 58–84
В работе доказывается, что для слабо транзитивных логик с универсальной модальностью, проверку выполнимости формулы для которых можно произвести в PSPACE}, добавление аксиомы связности не увеличивает сложность этой проверки, причем строится явный алгоритм, который решает эту задачу. ...
Добавлено: 14 октября 2025 г.
Лескина Э. И., Журнал российского права 2025 Т. 29 № 8 С. 50–65
Эволюция понимания свободы слова происходит в том числе в связи с развитием информационно-коммуникационных технологий, тех способов, которыми люди фактически реализуют свободу слова. Развитие платформ, социальных сетей, в которых ключевую роль играют большие данные, открывает новую эпоху возможностей и рисков. Сосредоточение данных на крупных платформах, управление данными частным сектором на основании собственных правил и политики приводят ...
Добавлено: 4 сентября 2025 г.
Рыбаков М. Н., Щербаков М. И., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 46–49.
Логики с аксиомой конвергентности: сложность при малом числе переменных в языке ...
Добавлено: 21 июня 2025 г.