Typed Relational Conversion

Лозов П.

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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

28 мая 2026 г.

Карманные деньги, интерес и семья: что влияет на экономическую грамотность студентов

Экономическая грамотность студентов зависит не только от профильного образования, но и от интереса к экономике, учебной среды и финансовых практик в семье. Так, студенты, получавшие карманные деньги нерегулярно, в среднем лучше справляются с тестами по экономической грамотности, чем их сверстники с постоянной финансовой поддержкой. Это показало исследование НИУ ВШЭ на выборке более 1100 студентов из пяти российских университетов. Результаты работы опубликованы в журнале Cakrawala Pendidikan.

27 мая 2026 г.

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

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

26 мая 2026 г.

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

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

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