Typed Relational Conversion

Лозов П.

doi:10.1007/978-3-319-89719-6_3

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

15 июля 2026 г.

«Наука всемирна, она не знает границ»

Разработанные ординарным профессором, директором Международного центра анализа и выбора решений НИУ ВШЭ Фуадом Алескеровым и его коллегами методы сетевого анализа в библиометрии позволили определить особенности появления, взаимного влияния и цитирования публикаций в научных журналах. Частое цитирование разными изданиями одного или нескольких исследований означает высокое качество работы, а перекрестные ссылки внутри ограниченного круга журналов повышают вероятность формирования сети хищнических изданий.

16 июля 2026 г.

Российские ученые создали открытую базу данных для изучения концентрации внимания

Команда российских исследователей при участии ученых НИУ ВШЭ в Санкт-Петербурге разработала первую открытую мультимодальную базу данных с записями активности мозга, работы сердца и видеонаблюдения, которая поможет ученым понять, что происходит с мозгом человека во время глубокой концентрации. В будущем эта разработка позволит ускорить создание нейроинтерфейсов, технологий реабилитации и систем искусственного интеллекта. Статья опубликована в журнале Scientific Data.

15 июля 2026 г.

«Тело саботирует мозг»: ученые НИУ ВШЭ - Санкт-Петербург объяснили физиологическую природу компульсивного переедания

Исследователи НИУ ВШЭ — Санкт-Петербург совместно с экспертами Тюменского государственного медицинского университета доказали, что при расстройствах пищевого поведения (РПП) организм теряет способность адаптироваться к стрессу. Попытки пациентов взять себя в руки при переедании часто не приносят результата: нервная система перестает реагировать на команды мозга.

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

Публикации

?

Typed Relational Conversion

P. 39–58.

Булычев Д. Ю., Лозов П.

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

DOI

Ключевые слова: relational programming

В книге

18th International Symposium on Trends in Functional Programming

Springer, 2018.

Реляционное программирование с мемоизацией и отрицанием

Моисеенко Е. А., Подкопаев А. В., Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление 2018 Т. 11 № 2 С. 35–46

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

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

НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. ИНФОРМАТИКА. ТЕЛЕКОММУНИКАЦИИ. УПРАВЛЕНИЕ

Федеральное государственное автономное образовательное учреждение высшего образования «Санкт-Петербургский политехнический университет Петра Великого», 2019.

«Информатика,телекоммуникации и управление» – журнал открытого доступа, имеющий широкую тематику в области информационных технологий, телекоммуникационных систем, радиотехники и связи. Журнал учрежден и издается Санкт-Петербургским политехническим университетом Петра Великого, одним из ведущих учебных и научно-исследовательских центров России. Это позволяет отображать в журнале самые актуальные научные результаты, в том числе, созданные в международных научных коллаборациях. ...

Добавлено: 29 октября 2019 г.

Improving Refutational Completeness of Relational Search via Divergence Test

Булычев Д. Ю., Розплохас Д., , in: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming.: [б.и.], 2018. P. 1–13.

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