• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Книги
  • Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 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
  • еще
Тематика
Новости
10 сентября 2026 г.
<a>В НИУ ВШЭ выяснили, что личный интерес к теме диссертации сильнее всего связан с уверенностью в защите
Исследователь из НИУ ВШЭ проанализировал данные 1539 аспирантов из 161 российского университета и выяснил, какие особенности диссертационной темы связаны с успешностью и вовлеченностью в обучение. Самым важным фактором оказался личный интерес к исследованию: он был связан практически со всеми ключевыми сторонами аспирантской жизни — от взаимодействия с научным руководителем до исследовательской активности и уверенности в будущей защите. Результаты опубликованы в журнале Higher Education.
11 сентября 2026 г.
Интересы России и Африки совпадают: в НИУ ВШЭ стартовала конференция по вопросам развития континента
В Центре культур НИУ ВШЭ на Покровском бульваре 10 сентября начала работу двухдневная научно-практическая конференция, посвященная развитию Африки и сотрудничеству стран континента с Россией. Эксперты обсуждают вопросы образования, инвестиций, цифровизации. Одним из ключевых событий конференции стала презентация доклада «Африка 2027. Возможности и риски».
10 сентября 2026 г.
Как возвратить смысл коммуникациям
Современные вызовы в сфере коммуникаций требуют для стратегического планирования и налаживания эффективного взаимодействия с партнерами и контрагентами для поиска новых и возвращения прежних смыслов. Программа дополнительного образования НИУ ВШЭ «Мастер стратегических коммуникаций» провела на дизайн-заводе «Флакон» встречу-дискуссию «Кризис больших нарративов: как найти новые смыслы в коммуникациях». Подробности — в материале IQ Media.

 

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

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

?

Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)

Vol. 66. Springer, 2026.
Под общей редакцией: J. van Benthem, F. Liu
Главы книги
Modal Products and Around
Шехтман В. Б., 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 г.
Научное направление: Математика Компьютерные науки
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: теория игрфильтрацияразрешимостьmodal logicfiltrationBisimulationdecidability game theoryбисимуляция
Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)
Похожие публикации
What Do Text-to-Image Models Know About the Languages of the World?
Фирсанова В. И., Journal of Mathematical Sciences 2024 Vol. 285 No. 1 P. 112–125
Добавлено: 9 сентября 2026 г.
Многокритериальные задачи с упорядоченными по важности группами критериев (II). Решающие правила
Подиновский В. В., Нелюбин А. П., Автоматика и телемеханика 2026 № 8 С. 110–123
Для многокритериальных задач принятия решений по аналогии с качественной вероятностью введены понятия полной и частичной качественной важности как бинарных отношений, обладающих постулируемыми свойствами. Предложено новое определение отношения нестрогого предпочтения на множестве вариантов решений, порождаемое качественной важностью. Исследованы его свойства. Указаны аналитические правила, позволяющие попарно сравнивать варианты по предпочтительности. Проведено сравнение новых отношений предпочтения с разработанными ранее для задач, ...
Добавлено: 9 сентября 2026 г.
Теоретические основы и методы анализа решений в условиях неопределенности при качественных оценках вероятностей и предпочтений
Подиновский В. В., Нелюбин А. П., Автоматика и телемеханика 2026 № 7 С. 113–126
Рассматриваются задачи принятия решений, когда предпочтения оцениваются в порядковой шкале, а возможности реализации значений неопределенного фактора описываются качественной вероятностью (полной или только частичной). Вводятся определения отношений предпочтения и безразличий на множестве стратегий. Предлагаются простые решающие правила, позволяющие сравнивать стратегии по предпочтительности, и приводятся иллюстративные примеры. ...
Добавлено: 9 сентября 2026 г.
Разработка интерфейса виртуального ассистента преподавателя на основе технологий вызова функций и инженерии инструкций для больших языковых моделей
Фирсанова В. И., Человек: образ и сущность. Гуманитарные аспекты 2025 Vol. 2 No. 62 P. 203–214
Статья посвящена промпт-инжинирингу для снижения плагиата и повышения заинтересованности студентов. Было проведено интервью преподавателей, разработана первая коллекция пресетов для промпт-инжиниринга в академической среде, создан интерфейс виртуального ассистента. Качественный анализ результатов интервью показал, что сотрудники сферы образования скорее заинтересованы в применении больших языковых моделей при разработке форм контроля, адаптации учебного материала с целью предоставления доступности и ...
Добавлено: 9 сентября 2026 г.
Degree-based topological co-indices for QSPR modelling of benzenoid hydrocarbons: a comparative computational study
Chemical Papers 2026
Добавлено: 8 сентября 2026 г.
On phase-lock area parquet in a special slow-fast limit of model of Josephson junction.
Глуцюк А. А., / Series arXiv "math". 2026.
Добавлено: 8 сентября 2026 г.
On exotic rationally integrable dual billiards I. Complex geometry and type of dynamics.
Глуцюк А. А., / Series arXiv "math". 2026.
Добавлено: 8 сентября 2026 г.
Dynamical systems on torus related to general Heun equations: phase-lock areas and constriction breaking
Александров А. А., Глуцюк А. А., Journal of Differential Equations 2026 Vol. 465 Article 114178
Добавлено: 8 сентября 2026 г.
On rationally integrable planar dual and projective billiards
Глуцюк А. А., Inventiones Mathematicae 2026 Vol. 245 P. 977–1058
Добавлено: 8 сентября 2026 г.
Анализ согласованности голосования стран ЕАЭС и ОДКБ в ГА ООН с помощью иерархической кластеризации
Вохминцев И. В., Вестник международных организаций: образование, наука, новая экономика 2026 Т. 21 № 2
ЕАЭС и ОДКБ – главные региональные международные организации для России. Понимание, оценка и анализ внешнеполитических позиций стран, которые туда входят — это вопрос национальных интересов страны. Из этого вытекает цель работы: выявление уровня и формы согласованности голосования стран ЕАЭС и ОДКБ в ГА ООН. Уровень согласованности – оценка уровня близости стран при голосовании. Форма согласованности ...
Добавлено: 7 сентября 2026 г.
Rational p-adic Hodge theory for d-de Rham-proper stacks
Prikhodko Artem, Kubrak D., Compositio Mathematica 2026 Vol. 162 No. 6 P. 1377–1438
Добавлено: 7 сентября 2026 г.
Lower Bounds on the Measure of the Support of Positive and Negative Parts of Trigonometric Polynomials
Исмаилов А. Р., Constructive Approximation 2026
Добавлено: 7 сентября 2026 г.
Pupillometry and autonomic nervous system responses to cognitive load and false feedback: an unsupervised machine learning approach
Alshanskaia E., Portnova G., Liaukovich K. и др., Frontiers in Neuroscience 2024 Vol. 18
Добавлено: 7 сентября 2026 г.
Oil Spill Segmentation in SAR Data Using ViT-UNet: Performance and Practical Insights
Зуенко Д. О., Трофимова Е. А., Хайдарова И., IEEE Access 2026 Vol. 14 P. 121339–121357
Добавлено: 7 сентября 2026 г.
Variational representation of weighted divergencies and error exponent function
Кельберт М. Я., Statistics 2026 Vol. 60
Добавлено: 7 сентября 2026 г.
Конечные последовательности и перестановки, ими порождаемые
Кучерявый П. А., Математические заметки 2026 Т. 2026 № 120 С. 380–401
В работе изучаются перестановки, возникающие при упорядочивании по возрастанию дробных долей произведений элементов фиксированной целочисленной последовательности на вещественный параметр. Исследуется количество различных перестановок, которые можно получить таким образом при изменении этого параметра от нуля до единицы. ...
Добавлено: 7 сентября 2026 г.
Scalable machine learning approach to disordered s-wave superconductors
Неверов В. Д., Красавин А. В., Вагов А. В. и др., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 113 P. 1–6
Добавлено: 5 сентября 2026 г.
On the rate of Gaussian approximation for online linear regression problems
Шешукова М. Е., Durmus A., Khusainov M. и др., Statistics 2026 P. 1–25
Добавлено: 4 сентября 2026 г.
Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
Рыбаков М. Н., Annals of Pure and Applied Logic 2026 Vol. 177 No. 10 Article 103811
Добавлено: 11 июля 2026 г.
Modal Products and Around
Шехтман В. Б., 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 г.
Об устройстве целевого приёма в России.
Нестеров А. С., Журнал Новой экономической ассоциации 2026
В этой статье рассматривается целевой приём в вузы в России с точки зрения науки об устройстве рынков сочетания и экономических механизмов (matching market and mechanism design), ключевого направления современной теории игр. Мы изучаем механизм целевого приёма -- набор правил, по которым устраивается трёхстороннее сочетание между абитуриентом, заказчиком и образовательной программой. Используемый в России механизм имеет ...
Добавлено: 16 июня 2026 г.
B3Emo: Quantifying Affect as a Double-Edged Sword in Strategic LLM Interactions
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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору