Typed Relational Conversion

Лозов П.

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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

17 июня 2026 г.

Биоинформатики НИУ ВШЭ обнаружили 20 опасных мутаций в гене, связанном с легочной артериальной гипертензией

Ученые НИУ ВШЭ совместно с коллегами из российских университетов выяснили, какие мутации в гене ACVRL1 опасны для пациентов с легочной артериальной гипертензией. Они смоделировали, как изменения в гене влияют на связывание АТФ с белком — процесс, от которого зависит передача сигналов, необходимых для работы сосудов. Оказалось, что 20 из 32 вариантов могут нарушать передачу сигнала и провоцировать болезнь. Результаты опубликованы в Journal of Structural Biology.

17 июня 2026 г.

Интеллектуальная робототехника: кадровый голод и масса возможностей

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

17 июня 2026 г.

Каким должно быть образование, чтобы готовить кадры для экономики будущего

Эти вопросы обсудят на форуме HR EXPO PRO ЛЮДЕЙ, который состоится 18-19 июня в Москве. В его работе примет участие ректор НИУ ВШЭ Никита Анисимов, федеральные министры, HR-директора компаний, ректоры вузов, эксперты. На форуме будет представлен стенд, посвященный программам ДПО НИУ ВШЭ.

Нашли опечатку?
Выделите её, нажмите 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 г.