• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Two Types of Filtrations for wK4 and Its Relatives
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
17 июня 2026 г.
Биоинформатики НИУ ВШЭ обнаружили 20 опасных мутаций в гене, связанном с легочной артериальной гипертензией
Ученые НИУ ВШЭ совместно с коллегами из российских университетов выяснили, какие мутации в гене ACVRL1 опасны для пациентов с легочной артериальной гипертензией. Они смоделировали, как изменения в гене влияют на связывание АТФ с белком — процесс, от которого зависит передача сигналов, необходимых для работы сосудов. Оказалось, что 20 из 32 вариантов могут нарушать передачу сигнала и провоцировать болезнь. Результаты опубликованы в Journal of Structural Biology.
17 июня 2026 г.
Интеллектуальная робототехника: кадровый голод и масса возможностей
Пока на рынке мало кадров, способных заниматься разработкой интеллектуальных робототехнических систем. Между тем именно к этому идет робототехника. Как учат ее проектированию и каково будущее отрасли, в интервью IQ Media рассказал заведующий Проектно-учебной лабораторией робототехники НИУ ВШЭ Вадим Моргачев.
17 июня 2026 г.
Каким должно быть образование, чтобы готовить кадры для экономики будущего
Эти вопросы обсудят на форуме HR EXPO PRO ЛЮДЕЙ, который состоится 18-19 июня в Москве. В его работе примет участие ректор НИУ ВШЭ Никита Анисимов, федеральные министры, HR-директора компаний, ректоры вузов, эксперты. На форуме будет представлен стенд, посвященный программам ДПО НИУ ВШЭ.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Two Types of Filtrations for wK4 and Its Relatives

Studia Logica. 2025. P. 1–25.
Кудинов А. В., Shapirovsky I.
Научное направление: Математика
Язык: английский
Полный текст
DOI
Текст на другом сайте
Ключевые слова: фильтрацияfinite model propertyмодальная логикафинитная аппроксимируемостьfiltrationlocal tabularityModal Logicлокальная табличностьPretransitive logicSubframe logicпредтранзитивная логикасабфреймовая логика
Похожие публикации
Optimal Extraction with an Impact on Diffusion-Jump Pricing
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 г.
On the Ramsey Number R(K_{1,s},P_t)
Kh. Kh. Abdullin, D. B. Mokeev, D. S. Taletskii, Mathematical notes 2026 Vol. 119 No. 1 P. 3–7
Добавлено: 10 июня 2026 г.
Innovations in Information and Decision Sciences. Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 4
Springer, 2026.
Добавлено: 8 июня 2026 г.
Wave dynamics within the Whitham-Ostrovsky equation
Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784
Добавлено: 5 июня 2026 г.
On structural stability of 3-diffeomorphisms with the Smale solenoid attractor–repeller dynamics
Медведев Т. В., Починка О. В., Chaos 2026 Vol. 36 No. 6 Article 063107
Добавлено: 4 июня 2026 г.
A model exhibiting all possible types of hyperbolic chaos on the 2-torus
Казаков А. О., Минц Д. И., Петрова Ю. Э. и др., Chaos 2026 Vol. 36 No. 6 Article 063112
Добавлено: 4 июня 2026 г.
Об эквивалентности по надстройке декартовых произведений регулярных гомеоморфизмов с гомеоморфизмами Данжуа
Ноздринова Е. В., Починка О. В., Шмуклер В. И., Математический сборник 2026 Т. 217 № 6 С. 71–89
Гомеоморфизмы топологических пространств называются эквивалентными по надстройке, если надстройки над ними топологически эквивалентны. В частности, топологически сопряженные гомеоморфизмы эквивалентны по надстройке. Известно, что для гомологически неприводимых гомеоморфизмов их топологическая сопряженность является необходимым и достаточным условием их эквивалентности по надстройке. Тогда как инварианты топологической сопряженности гомологически приводимых гомеоморфизмов во многих случаях являются избыточными для эквивалентности по ...
Добавлено: 3 июня 2026 г.
Случайные блуждания на симметрических пространствах некомпактного типа ранга 1
Гнетов Ф. А., Конаков В. Д., Успехи математических наук 2026 Т. 81 № 3 (489) С. 161–162
Пусть M обозначает симметрическое пространство некомпактного типа ранга 1. Опираясь на фундаментальную работу [1], в [2] было показано, что плотность соответствующим образом нормированной суммы независимых Hn-значных случайных величин, определенная через сложение Мёбиуса в модели шара Пуанкаре, сходится к фундаментальному решению соответствующего уравнения теплопроводности. Пределом являлся нормальный закон на Hn, соответствующий ядру теплопроводности, определяемому оператором Лапласа–Бельтрами. ...
Добавлено: 2 июня 2026 г.
Влияние выбора стратегии формирования обучающего множества и способа фильтрации на эффективность ИМК, основанного на спектрометрии в ближнем инфракрасном диапазоне
Исаев М. Р., Бобров П. Д., Журнал высшей нервной деятельности им. И.П. Павлова 2022 Т. 72 № 5 С. 728–738
В работе предлагается алгоритм работы интерфейса мозг–компьютер, основанного на регистрации гемодинамической активности с помощью спектрометрии в ближнем инфракрасном диапазоне (БИКС), который адаптирован для применения в целях реабилитации двигательных нарушений. Алгоритм включает способ фильтрации, учитывающий частоту предъявления инструкций с целью минимизации временной задержки в целевом частотном диапазоне, последовательную классификацию состояния покоя и выполняемых мысленных задач, а ...
Добавлено: 18 марта 2026 г.
О кванторной версии модальной логики Белнапа–Данна
Грефенштейн А. В., Сперанский С. О., Математический сборник 2024 Т. 215 № 3 С. 37–69
Разрабатывается кванторная версия пропозициональной модальной логики BK из статьи С. П. Одинцова и Х. Вансинга, в основе которой лежит (немодальная) система Белнапа–Данна; мы будем обозначать эту версию через QBK. Сначала с помощью метода канонических моделей будет доказано, что QBK — как и некоторые важные её расширения — сильно полна относительно подходящей семантики возможных миров. Затем мы ...
Добавлено: 26 декабря 2025 г.
Фильтр Калмана с полосовой частотной фильтрацией для выделения Чандлеровского колебания полюса.
Зотов Л. В., Логинов А. В., Ольховский А. А. и др., В кн.: ВОПРОСЫ ТЕОРИИ И ПРАКТИКИ ГЕОЛОГИЧЕСКОЙ ИНТЕРПРЕТАЦИИ ГРАВИТАЦИОННЫХ, МАГНИТНЫХ И ЭЛЕКТРИЧЕСКИХ ПОЛЕЙ 51-я сессия Международного семинара им. Д.Г. Успенского - В.Н. Страхова. Москва, 2025.: Пермский государственный университет, 2025.
Одной из основных составляющих движения полюса Земли является Чандлеровское колебание с периодом 433 сут. Для его выделения из наблюдений необходима узкополосная частотная фильтрация.  Мы разработали метод, заключающийся в параллельной работе процедуры фильтрации Калмана и необходимой полосовой фильтрации в прямом времени, с последующей коррекцией фазы фильтрацией в обратном времени. Использование в качестве фильтра уравнения Эйлера-Лиувилля, генерирующего ...
Добавлено: 10 декабря 2025 г.
Изменения государственной политики и практик фильтрации военнослужащих Красной армии, вернувшихся из плена. 1939–1946 гг.
Латышев А. В., В кн.: Государственное управление в СССР в годы Второй мировой войны. Фронт и тыл: Материалы XVII Международной научной конференции. Екатеринбург, 19–22 июня 2025 г.: М.: Издательство "Политическая энциклопедия", 2025. С. 490–498.
В статье анализируются институциональные, организационные и идеологические аспекты работы государства с вернувшимися из плена военнослужащими после боев с Японией на Халхин-Голе, войны с Финляндией, в ходе и по завершении Великой Отечественной войны. Выясняются приоритеты государства и органов госбезопасности, логика работы последних. Суммируются доступные данные о масштабов арестов в ходе фильтрационных мероприятий. Делаются выводы об изменении отношения власти к ...
Добавлено: 2 декабря 2025 г.
Влияние аксиомы связности на сложность модальной логики.
Кудинов А. В., Мясников К. М., Математика и теоретические компьютерные науки 2025 Т. 3 № 2 С. 58–84
В работе доказывается, что для слабо транзитивных логик с универсальной модальностью, проверку выполнимости формулы для которых можно произвести в PSPACE}, добавление аксиомы связности не увеличивает сложность этой проверки, причем строится явный алгоритм, который решает эту задачу. ...
Добавлено: 14 октября 2025 г.
Проблемы реализации права на свободу слова в эпоху Big Data
Лескина Э. И., Журнал российского права 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 г.
Products of Horn modal logics
Гагарин А. А., , in: Advances in Modal Logic 2024. Short Papers.: [б.и.], 2024. P. 21–26.
Добавлено: 15 августа 2024 г.
On real analogues of the Poincaré series
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 г.
Filtration in Porous Medium with Particle Release
Кузьмина Л. И., Osipov Y., , in: The 7th International Technical Conference on Frontiers of Hydraulic and Civil Engineering Technology (HCET 2022). Volume 31.Vol. 31: of Advances in Transdisciplinary Engineering.: IOS Press, 2022. P. 40–48.
Добавлено: 31 октября 2023 г.
Single Jump Filtrations: Preservation of the Local Martingale Property with Respect to the Filtration Generated by the Local Martingale
Гущин А. А., Zhunussova A., , in: Operator Theory and Harmonic Analysis* 2: Probability-Analytical Models, Methods and Applications.: Cham: Springer, 2021. P. 219–231.
Добавлено: 25 декабря 2022 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору