?
Two Types of Filtrations for wK4 and Its Relatives
Studia Logica. 2025. P. 1–25.
Кудинов А. В., Shapirovsky I.
Калужский печатный двор, 2026.
Сборник трудов конференции "Математические идеи академика
П.Л. Чебышёва, их приложения в естественных науках и технологиях искусственного интеллекта» ...
Добавлено: 20 июня 2026 г.
Джанбекова А. Р., Шведов А. С., Математическое моделирование 2026 Т. 38 № 3 С. 159–176
Краевые задачи для уравнения Блэка–Шоулза с частными производными, описывающего стоимость финансового инструмента, могут содержать условие на свободной границе, если предусмотрена возможность раннего исполнения финансового инструмента. В настоящей статье рассматриваются краевые задачи со свободной границей для уравнения Блэка–Шоулза и уравнения конвекции-диффузии. Для уравнения конвекции-диффузии представлена разностная схема, являющаяся обобщением известной разностной схемы второго порядка точности на ...
Добавлено: 20 июня 2026 г.
We give a natural definition of open Hurwitz numbers, where the weight of each ramified covering includes an integer parameter N taken to the power that is equal to the number of boundary components of a Riemann surface with boundary mapping to . We prove that the resulting sequence of partition functions, depending on , is a tau-sequence of ...
Добавлено: 19 июня 2026 г.
Буряк А. Ю., Rossi P., Communications in Mathematical Physics 2025 Vol. 406 Article 205
Of the two approaches to integrable systems associated to semisimple cohomological field theories (CohFTs), the one suggested by Dubrovin and Zhang and the more recent one using the geometry of the double ramification (DR) cycle, the second has the advantage of being very explicit. The Poisson operator of the DR hierarchy is , where is the metric ...
Добавлено: 19 июня 2026 г.
Cham: Springer Publishing Company, 2026.
Добавлено: 18 июня 2026 г.
Поддьяков А. Н., Троицкий вариант. Наука 2026 № 12 С. 24–25
В научно-популярной заметке представлен обзор содержания поста филдсовского медалиста Тимоти Гауэрса о возможностях ИИ в математике и содержания комментариев под постом. Обзор сделан в основном чат-ботом DeepSeek. В заключение обсуждается возможность не только решения задач искусственным интеллектом, но и их постановки. ...
Добавлено: 18 июня 2026 г.
Garzón J., Mora Rodríguez J., Морено Ф. Г., Applied Mathematics and Optimization 2026 Vol. 94 No. 10 P. 1–43
Добавлено: 17 июня 2026 г.
Нестеров А. С., Журнал Новой экономической ассоциации 2026
В этой статье рассматривается целевой приём в вузы в России с точки зрения науки об устройстве рынков сочетания и экономических механизмов (matching market and mechanism design), ключевого направления современной теории игр. Мы изучаем механизм целевого приёма -- набор правил, по которым устраивается трёхстороннее сочетание между абитуриентом, заказчиком и образовательной программой. Используемый в России механизм имеет ...
Добавлено: 16 июня 2026 г.
Добавлено: 10 июня 2026 г.
Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784
Добавлено: 5 июня 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 г.
Кудинов А. В., Рыбаков М. Н., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 36–39.
Показано, что каждая модальная логика, содержащая классическую логику высказываний и содержащаяся в слабой логике Гжегорчика, имеет NP-трудную проблему выполнимости для константного фрагмента. В частности, константные фрагменты ненормальных модальных логик E, EM, EN и EMN являются coNP-полными. ...
Добавлено: 21 июня 2025 г.
Сурова С. В., Фурманов К. К., Известия Дальневосточного федерального университета. Экономика и управление 2024 № 1 С. 80–90
Рассматривается система массового обслуживания с ограничением на длину очереди и разнородным потоком входящих заявок (клиентов), которые делятся на два типа. Заявки первого типа терпеливы: они встают в очередь, если это позволяет ёмкость системы и дожидаются обслуживания. Заявки второго типа нетерпеливы: они отказываются вставать в очередь, если время ожидания обслуживания оказывается слишком велико. Показывается, что если заявки второго типа приносят меньшую ...
Добавлено: 12 ноября 2024 г.
Л.И. Кузьмина, Осипов Ю. В., Строительные материалы 2024 № 8 С. 63–68
Фильтрация суспензий и коллоидов в пористых материалах встречается при строительстве и эксплуатации гидросооружений, туннелей и подземных хранилищ. Модели фильтрации используются при расчете проникновения укрепителя в рыхлый грунт, при очистке питьевой воды и промышленных стоков. В процессе фильтрации взвешенные частицы проходят через крупные поры и застревают на входе пор малого диаметра. Задержанные частицы образуют неподвижный осадок. ...
Добавлено: 31 октября 2024 г.
Гагарин А. А., , in: Advances in Modal Logic 2024. Short Papers.: [б.и.], 2024. P. 21–26.
Добавлено: 15 августа 2024 г.
Campillo A., Delgado F., Sabir M. Gusein-Zade, Bulletin of the London Mathematical Society 2024 Vol. 56 No. 1 P. 449–459
Добавлено: 5 декабря 2023 г.
Л. И. Кузьмина, Осипов Ю. В., Строительные материалы 2023 № 9 С. 89–93
Фильтрация взвешенных твердых частиц в пористом материале моделирует процессы укрепления фундаментов, создания водонепроницаемых стен в горной породе, строительстве и реконструкции дорог, кольматацию (осаждение частиц) в призабойной зоне скважины компонентами бурового раствора при нефтедобыче, работу фильтрующих элементов очистных сооружений и многое другое. Целью настоящей работы явилось исследование фильтрации монодисперсной суспензии высокой концентрации в однородной пористой среде, ...
Добавлено: 31 октября 2023 г.