Typed Relational Conversion

Лозов П.

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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

27 мая 2026 г.

Нейросетевое отображение как метод создания математических моделей

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

26 мая 2026 г.

Нейролингвисты НИУ ВШЭ помогли врачам провести операцию с пробуждением 11-летнему мальчику с эпилепсией

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

26 мая 2026 г.

Гибкость рынка труда как новая норма: ее формы и адаптация работников

Гибкий рынок труда, который наблюдается сегодня, — не временная тактика или вынужденная мера, а системный ответ на ряд вызовов. Как меняется карьера, какие формы гибкости встречаются и как работникам адаптироваться к ним, в колонке для IQ Медиа размышляет директор Института занятости и профессий НИУ ВШЭ Федор Прокопов.

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