?
Modal Products and Around
Ch. 17. P. 419–450.
Шехтман В. Б., Gagarin A.
Ключевые слова: теория игрgame theoryфильтрацияразрешимостьmodal logicмодальная логикаfiltrationBisimulation decidabilityбисимуляция
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 66. , Springer, 2026.
Springer, 2026.
Добавлено: 30 июня 2026 г.
Нестеров А. С., Журнал Новой экономической ассоциации 2026
В этой статье рассматривается целевой приём в вузы в России с точки зрения науки об устройстве рынков сочетания и экономических механизмов (matching market and mechanism design), ключевого направления современной теории игр. Мы изучаем механизм целевого приёма -- набор правил, по которым устраивается трёхстороннее сочетание между абитуриентом, заказчиком и образовательной программой. Используемый в России механизм имеет ...
Добавлено: 16 июня 2026 г.
Stepin A., Mozikov M., Kabanov A. и др., IEEE Access 2026 Vol. 14 P. 48127–48144
Добавлено: 16 июня 2026 г.
Исаев М. Р., Бобров П. Д., Журнал высшей нервной деятельности им. И.П. Павлова 2022 Т. 72 № 5 С. 728–738
В работе предлагается алгоритм работы интерфейса мозг–компьютер, основанного на регистрации гемодинамической активности с помощью спектрометрии в ближнем инфракрасном диапазоне (БИКС), который адаптирован для применения в целях реабилитации двигательных нарушений. Алгоритм включает способ фильтрации, учитывающий частоту предъявления инструкций с целью минимизации временной задержки в целевом частотном диапазоне, последовательную классификацию состояния покоя и выполняемых мысленных задач, а ...
Добавлено: 18 марта 2026 г.
Сперанский С. О., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Алгебра и логика 2011 Т. 50 № 4 С. 533–546
Язык для рассуждений о вероятности обобщается за счёт добавления в него кванторов по пропозициональным формулам. Далее рассматриваются соответствующие вопросы разрешимости. В частности, представленные результаты демонстрируют неразрешимость проблемы общезначимости для довольно слабого фрагмента нового языка. С другой стороны, устанавливается разрешимость ограниченной проблемы общезначимости для АЕ-предложений. ...
Добавлено: 27 декабря 2025 г.
Грефенштейн А. В., Сперанский С. О., Математический сборник 2024 Т. 215 № 3 С. 37–69
Разрабатывается кванторная версия пропозициональной модальной логики BK из статьи С. П. Одинцова и Х. Вансинга, в основе которой лежит (немодальная) система Белнапа–Данна; мы будем обозначать эту версию через QBK. Сначала с помощью метода канонических моделей будет доказано, что QBK — как и некоторые важные её расширения — сильно полна относительно подходящей семантики возможных миров. Затем мы ...
Добавлено: 26 декабря 2025 г.
Зотов Л. В., Логинов А. В., Ольховский А. А. и др., В кн.: ВОПРОСЫ ТЕОРИИ И ПРАКТИКИ ГЕОЛОГИЧЕСКОЙ ИНТЕРПРЕТАЦИИ ГРАВИТАЦИОННЫХ, МАГНИТНЫХ И ЭЛЕКТРИЧЕСКИХ ПОЛЕЙ 51-я сессия Международного семинара им. Д.Г. Успенского - В.Н. Страхова. Москва, 2025.: Пермский государственный университет, 2025.
Одной из основных составляющих движения полюса Земли является Чандлеровское колебание с периодом 433 сут. Для его выделения из наблюдений необходима узкополосная частотная фильтрация. Мы разработали метод, заключающийся в параллельной работе процедуры фильтрации Калмана и необходимой полосовой фильтрации в прямом времени, с последующей коррекцией фазы фильтрацией в обратном времени. Использование в качестве фильтра уравнения Эйлера-Лиувилля, генерирующего ...
Добавлено: 10 декабря 2025 г.
Кузнецов А. В., Федянин Д. Н., Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии 2025 № 3 С. 101–109
Разработана модель для агентов, посещающих общую точку (или точки) интереса. Агенты делятся на тех, удовлетворение от посещения которых уменьшается при наличии других посетителей, и тех, удовлетворение которых растет в этом случае. Для агентов первого типа увеличение числа агентов выше определенного препятствует посещению этой точки агентами. Агенты имеют переменные параметры своего желания посещать точку и терпеть ...
Добавлено: 3 декабря 2025 г.
Латышев А. В., В кн.: Государственное управление в СССР в годы Второй мировой войны. Фронт и тыл: Материалы XVII Международной научной конференции. Екатеринбург, 19–22 июня 2025 г.: М.: Издательство "Политическая энциклопедия", 2025. С. 490–498.
В статье анализируются институциональные, организационные и идеологические аспекты работы государства с вернувшимися из плена военнослужащими после боев с Японией на Халхин-Голе, войны с Финляндией, в ходе и по завершении Великой Отечественной войны. Выясняются приоритеты государства и органов госбезопасности, логика работы последних. Суммируются доступные данные о масштабов арестов в ходе фильтрационных мероприятий. Делаются выводы об изменении отношения власти к ...
Добавлено: 2 декабря 2025 г.