On maximal subgroups of the group of recursive permutations

Kolmakov E.A.; Marchenkov S. S.

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

3 ноября 2026 г.

Физики научили ИИ настраивать пучок частиц в ускорителе

Исследователи Института искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ и Института ядерной физики СО РАН разработали RLABC — программу, которая помогает подбирать оптимальные настройки ускорителя частиц с помощью обучения с подкреплением. В компьютерном эксперименте программа настроила модель так, что до конца ускорителя доходило около 70% частиц. Исследование опубликовано в журнале Computer Physics Communications.

3 ноября 2026 г.

«Органы на чипе позволяют проверять лекарства без экспериментов на животных»

Лаборатория молекулярной физиологии факультета биологии и биотехнологии НИУ ВШЭ изучает, как молекулярные регуляторы (микроРНК) управляют работой генов и влияют на развитие болезней — онкологических, вирусных и воспалительных, а также осложнений беременности. В Вышке выращивают модели органов человека на чипе: крошечные устройства с живыми клетками, воспроизводящие работу, например, плаценты или кишечника. Модели помогают понять, как возникают болезни и как на них действуют лекарства. «Вышка.Главное» побеседовала с заведующим лабораторией Евгением Князевым.

3 ноября 2026 г.

В НИУ ВШЭ выяснили, почему опытные читатели ошибаются в нестандартных фразах

Ученые Центра языка и мозга НИУ ВШЭ проверили, как люди понимают предложения, когда грамматика подсказывает одно, а жизненный опыт — другое. Участники эксперимента читали фразы о двух персонажах и отвечали, кто из них выполнил действие. Результаты показали, что более начитанные люди лучше справлялись с заданиями, в которых персонаж выполнял ожидаемое действие, но ошибались, когда действие персонажа шло вразрез с ожиданиями.Исследование опубликовано в журнале Quarterly Journal of Experimental Psychology. Работа выполнена при поддержке гранта РНФ.

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

Публикации

?

On maximal subgroups of the group of recursive permutations

Moscow University Computational Mathematics and Cybernetics. 2016. Vol. 40. No. 3. P. 128–132.

Kolmakov E.A., Marchenkov S. S.

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

Ключевые слова: теория алгоритмов general recursive functions and predicates общерекурсивные функции и предикаты computability theory

The normalized algorithmic information distance can not be approximated

Баувенс Б. Ф., Блинников И. А., , in: Computer Science – Theory and Applications 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, ProceedingsVol. 12159.: Springer, 2020. P. 130–141.

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

Complexity of Equivalence Relations and Preorders from Computability Theory

Яновский Е. А., Miller R., Ng K. M. и др., Journal of Symbolic Logic 2014 Vol. 3 No. 79 P. 859–881

Добавлено: 25 февраля 2019 г.

Computability and Complexity

Day A., Fellows M., Greenberg N. и др., Berlin: Springer, 2017.

Добавлено: 26 октября 2018 г.

Дискретная математика. Алгоритмы: теория и практика.

Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2019.

Книга содержит необходимые сведения из теории алгоритмов, теории графов, комбинаторики. Рассматриваются частично рекурсивные функции, машины Тьюринга, приводятся некоторые варианты алгоритмов (ассоциативные исчисления, системы подстановок, грамматики, продукции Поста, нормальные алгоритмы Маркова, операторные алгоритмы). Описываются основные типы графов (мультиграфы, псевдографы, эйлеровы графы, гамильтоновы графы, деревья, двудольные графы, паросочетания, сети Петри, планарные графы, транспортные сети). Приводятся некоторые часто ...

Добавлено: 24 августа 2018 г.

Обучение алгоритмизации: первый язык программирования высокого уровня

Сутырин П. Г., Вылиток А. А., В кн.: Сборник научных трудов SWorld по материалам международной научно-практической конференцииТ. 1. Вып. 3.: [б.и.], 2014. С. 57–60.

В работе рассматриваются вопросы последовательного изучения теории и практики алгоритмизации и программирования, дается обзор основных теоретических формализомов и некоторых широко используемых языков программирования. ...

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