Tiling problems and complexity of logics

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

15 мая 2026 г.

В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций

Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.

15 мая 2026 г.

Стартовал совместный спецпроект бренд-медиа Вышки IQ Media и iFORA ИСИЭЗ

В мае 2026 года стартовал научно-популярный проект «Искусственный интеллект: технологии, данные и будущее», который стал результатом работы двух команд — проекта iFORA Института статистических исследований и экономики знаний НИУ ВШЭ и редакции бренд-медиа IQMedia. Медийно-аналитический спецпроект посвящен современному развитию искусственного интеллекта и аналитике больших данных.

14 мая 2026 г.

<a>Ученые ФКН ВШЭ представили работы в сфере ИИ и биоинформатики на ICLR 2026

Ученые Института искусственного интеллекта и цифровых наук факультета компьютерных наук ВШЭи студенты трека «ИИ360: Инженерия искусственного интеллекта» бакалаврской программы «Прикладная математика и информатика» приняли участие в международной конференции ICLR — одном из самых авторитетных мировых форумов в области машинного обучения и представления данных. В этом году конференция состоялась в Рио-де-Жанейро (Бразилия).

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

Публикации

?

Tiling problems and complexity of logics

P. 68–70.

Рыбаков М. Н., Serova D.

Язык: английский

Полный текст

Текст на другом сайте

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:

Доказательства и модели (2023)

В книге

SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts

M.: ., 2023.

Sharpening complexity results in quantified probability logic

Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 3 Article jzae114

We shall be concerned with two natural expansions of the quantifier-free ‘polynomial’ probability logic of [Fagin et al. 1990]. One of these, denoted by QPL-e, is obtained by adding quantifiers over arbitrary events, and the other, denoted by p-QPL-e, uses quantifiers over propositional formulas — or equivalently, over events expressible by such formulas. The earlier proofs ...

Добавлено: 26 декабря 2025 г.

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables

Рыбаков М. Н., / Series math "arxiv.org". 2025. No. 2505.00531.

Добавлено: 21 мая 2025 г.

On Decidability of Theories of Regular Languages

Sergey Dudakov, Karlov B., Theory of Computing Systems 2021 Vol. 65 No. 3 P. 462–478

Добавлено: 12 ноября 2023 г.

Tiling problems and complexity of logics (extended version)

Рыбаков М. Н., Серова Д. А., / Series arXiv "math". 2023.

Добавлено: 7 июля 2023 г.

Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness

Рыбаков М. Н., Logic Journal of the IGPL 2024 Vol. 32 No. 3 P. 465–492

Добавлено: 7 июля 2023 г.

The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups

Birget J., Таламбуца А. Л., International Journal of Algebra and Computation 2022 Vol. 32 No. 6 P. 1261–1274

Добавлено: 9 декабря 2022 г.

On the study of ambiguity and the trade-off between measures and ambiguity in insertion-deletion languages

Lakshmanan K., Махендран А., Kamala K. и др., Nano Communication Networks 2011 Vol. 2 P. 106–118

Добавлено: 24 ноября 2021 г.

On the ambiguity of insertion systems

Kuppusamy L., Махендран А., Krithivasan K., International Journal of Foundations of Computer Science 2011 Vol. 22 No. 7 P. 1747–1758

Добавлено: 24 ноября 2021 г.

Собери квадрат

Скопенков М. Б., Малиновская О. А., Дориченко С. А., Квант 2015 № 2 С. 6–11

В этой научно-популярной статье мы определим, когда квадрат можно разрезать на прямоугольники, подобные данному. ...

Добавлено: 16 октября 2015 г.

Two-sided unification is NP-complete

Захаров В. А., Новикова Т. А., , in: Proceedings of the 28th International Workshop on Unification, UNIF 2014. Technical report no. 14-06 in RISC Report Series.: Linz: Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014. P. 55–61.

Добавлено: 13 октября 2015 г.

Двусторонняя унификация программ и ее применение для задач рефакторинга

Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2014 Т. 26 № 2 С. 245–268

Задача унификации пары подстановок θ_1 и θ_2 состоит в вычислении такой пары подстановок η' и η'', чтобы композиции θ_1 η' и θ_2 η'' были равны. По существу, задача унификации подстановок равносильна задаче решения линейных уравнений вида θ_1 X=θ_2 Y в полугруппе подстановок. Но некоторые линейные уравнения над подстановками также можно рассматривать как новые варианты задачи ...

Добавлено: 30 сентября 2015 г.