• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
28 апреля 2026 г.
Почему слабые участники соревнований сдаются - и как это изменить
Доцент факультета экономических наук НИУ ВШЭ Анастасия Анцыгина разработала модель распределения призов, которая максимально стимулирует активность участников соревнований. Она предложила пересмотреть классический принцип «победитель получает все» и в некоторых случаях предлагать небольшую награду даже проигравшему. По ее мнению, это может повысить мотивацию участников и сделать соревнование более конкурентным. Результаты исследования опубликованы в журнале Economic Theory.
28 апреля 2026 г.
Исследователи НИУ ВШЭ собрали научную базу данных для изучения пищевых привычек у детей
Созданная в Высшей школе экономики база данных может стать основой для изучения пищевых привычек у детей. Об этом говорится в исследовании «Влияние возрастных, гендерных и социально-ролевых факторов на соответствие пищевого выбора детей возрастным нормам: экспериментальное исследование с веб-приложением Dish-I-Wish». Работа выполнена в рамках Программы фундаментальных исследований НИУ ВШЭ. Исследование было представлено в рамках XXVI Апрельской международной научной конференции.
27 апреля 2026 г.
«Уезжаешь с чемоданом новых идей и гипотез»
Апрельская международная научная конференция ежегодно привлекает молодых исследователей из разных регионов России. С 2019 года они могут принять участие в конкурсе, организованном НИУ ВШЭ, по итогам которого им компенсируются расходы на проезд и проживание в Москве. В этом году на конкурс поступило 17 заявок, было отобрано 8. Своими впечатлениями от конференции поделились его победители.

 

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

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Soundness-preserving composition of synchronously and asynchronously interacting workflow net components

Journal of Parallel and Distributed Computing. 2023. Vol. 179. Article 104704.
Bernardinello L., Irina Lomazova, Roman Nesterov, Pomello L.
Научное направление: Компьютерные науки
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: interactionsoundnesscompositionworkflow netsmorphisms
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Синтез, спецификация и верификация формальных моделей процессов в компьютерных системах (2023)
Похожие публикации
Influence of the Normal Magnetic Component to Magnetotail Current Sheet Forma
Domrin V. I., Malova H. V., V. Yu. Popov и др., Cosmic Research 2026 Vol. 64 No. 2 P. 238–252
Добавлено: 27 апреля 2026 г.
Asymmetric Equilibrium Structures of Superthin Current Sheets: The Asymmetry of Plasma Sources
Tsareva O. O., Malova H. V., V. Yu. Popov и др., Plasma Physics Reports 2026 Vol. 52 No. 2 P. 179–185
Добавлено: 27 апреля 2026 г.
WWW '26: The ACM Web Conference 2026
NY: Association for Computing Machinery (ACM), 2026.
Добавлено: 23 апреля 2026 г.
Разработка микросервиса ADP для идентификации источников выбросов на основе машинного обучения с подкреплением
Кычкин А. В., Черницин И. А., Прикладная информатика 2026 Т. 21 № 1 С. 40–58
Представлены результаты разработки программного микросервиса, встраиваемого в системы мониторинга качества атмосферного воздуха для поддержки процессов идентификации промышленных источников загрязнений. Выброс и последующее распространение вредных веществ в приземистых слоях атмосферы происходит в динамике и характеризуется высокой неопределенностью из‑за особенностей технологических установок, их режимов работы, влияния рельефа местности, зданий и метеофакторов. Зависимости между местоположением источника выброса и ...
Добавлено: 23 апреля 2026 г.
2026 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA)
IEEE, 2026.
Добавлено: 21 апреля 2026 г.
What Drives Multi-Chain Crypto Forecasting: Model Choice, Feature Selection, and Transferability
Wang M., Xiao Y., Браславский П. И. и др., Mathematics 2026 Vol. 14 No. 8 Article 1286
Добавлено: 20 апреля 2026 г.
Cross-influence of two societies in deterministic evolutionary game
Щур Л. Н., Antonov D., Burovski E., International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 2026 P. 1–9
Добавлено: 20 апреля 2026 г.
Проектирование сети Интернета вещей на основе многокритериальной оптимизации и информационного моделирования здания
Эбрахим А., Информационные процессы 2025 Т. 25 № 4 С. 787–798
В статье предложен метод планирования расположения точек доступа и шлюзов внутри зданий для построения сетей Интернета вещей. Основа метода — использование информации из информационой модели здания, что даёт возможность легко учитывать как геометрию, так и физико-технические характеристики строительных элементов при расчёте распространения радиосигнала. В данной работе для решения задач оптимизации применяется генетический алгоритм U-NSGA-III. Расчёты ...
Добавлено: 19 апреля 2026 г.
Modeling cosolvent effects on solubility in supercritical CO2 using data-driven approaches
Makarov D. M., Каликин Н. Н., Gurikov P. и др., Journal of Supercritical Fluids 2026 Vol. 235 Article 106979
Добавлено: 19 апреля 2026 г.
2026 28th International Conference on Digital Signal Processing and its Applications (DSPA)
IEEE, 2026.
Добавлено: 18 апреля 2026 г.
WWW '26: Proceedings of the ACM Web Conference 2026
NY: Association for Computing Machinery (ACM), 2026.
Добавлено: 17 апреля 2026 г.
Сопоставление номенклатур товаров ресторанов и поставщиков с помощью LLM — Case Study для ресторанного холдинга
Джин С., Панфилов П. Б., Сулейкин А. С., Труды Института системного программирования РАН 2025 Т. 37 № 6 С. 163–176
В современном ресторанном бизнесе точное сопоставление номенклатуры продуктов между ресторанами и поставщиками является критически важной задачей. Эффективное управление запасами и оптимизация закупок напрямую влияют на прибыльность бизнеса. С ростом числа поставщиков и ассортимента продукции традиционные методы сопоставления становятся менее эффективными. В данном исследовании предлагается использовать большие языковые модели (LLM) для автоматизации и повышения точности сопоставления ...
Добавлено: 17 апреля 2026 г.
Имитационное моделирование. Теория и практика (ИММОД 2025)
СПб.: АО "ЦТСС", 2025.
В научном издании представлены труды Двенадцатой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» (ИММОД-2025) по следующим направлениям: - теоретические основы и методология имитационного и комплексного моделирования; - методы исследования и оценки качества моделей, валидация и верификации моделей; - методы и системы распределенного моделирования; - ...
Добавлено: 17 апреля 2026 г.
Proceedings of the 2025 INTERNATIONAL CONFERENCE "QUALITY MANAGEMENT, DIGITAL SECURITY, INFORMATION TECHNOLOGIES" (2025 QM&DS&IT)
IEEE, 2025.
Добавлено: 17 апреля 2026 г.
«Человек в гармонии с природой»: итоги исследовательской экспедиции по изучению взаимодействия школ Республики Бурятия с особо охраняемыми природными территориями
Обухов А. С., В кн.: Учебно-исследовательская деятельность в системе общего, дополнительного и профессионального образования: материалы XVI Всероссийской научно-практической конференции с международным участием, посвященной 30-летию классического университетского образования в Республике Бурятия (Улан-Удэ, 27–28 ноября 2025 г.).: Улан-Удэ: Издательство Бурятского госуниверситета им. Д. Банзарова, 2026. С. 10–21.
Летом 2025 года на территории Республики Бурятия была проведена студенческая исследовательская экспедиция НИУ ВШЭ по теме «Человек в гармонии с природой: взаимодействие школ Республики Бурятия с особо охраняемыми природными территориями». Экспедиция реализована в сотрудничестве с БГУ имени Д. Банзарова. В статье представлены первичные результаты обобщений экспедиционных материалов по ключевым исследовательским фокусировкам. Применяя маршрутный и мультиметодный ...
Добавлено: 2 апреля 2026 г.
К ВОПРОСУ О СОВЕРШЕНСТВОВАНИИ ПРОКУРОРСКОЙ ДЕЯТЕЛЬНОСТИ ПО ВЗАИМОДЕЙСТВИЮ С ОРГАНАМИ МЕСТНОГО САМОУПРАВЛЕНИЯ В СФЕРЕ ПРАВОТВОРЧЕСТВА
Крамаренко Л. В., Вестник Университета прокуратуры Российской Федерации 2024 № 3 С. 136–143
Автором анализируются направления взаимодействия органов прокуратуры с органами местного самоуправления в сфере правотворчества, обозначаются возникающие на практике проблемы, выявляются недостатки нормативно-правового регулирования, вырабатываются предложения по его совершенствованию. ...
Добавлено: 21 января 2026 г.
Институциализация психологической помощи в системе высшего образования Российской Федерации
Метелькова Е. И., Вестник практической психологии образования 2024 Т. 21 № 1 С. 34–49
В статье психологическая помощь в системе высшего образования анализируется в контексте ее становления и развития как социального института — с учетом различных научных подходов к определению понятия «социальный институт», — в том числе в рамках экономической концепции выращивания социальных институтов и направленных институциональных изменений, поскольку это определяет роль и место психологической помощи в жизни общества ...
Добавлено: 21 ноября 2025 г.
Telegram-канал Главы Республики Мордовия «Здунов здесь» как инструмент медиа
Дементьева К. В., Казин А. В., Виртуальная коммуникация и социальные сети 2025 Т. 3 № 4(12) С. 342–349
Республика Мордовия – небольшая национальная республика, где уровень конфликтности среди различных субъектов можно охарактеризовать как низкий. При небольшом количестве СМИ цифровые источники информации занимают важное место в жизни граждан региона. Цель – проанализировать Telegram-канал Главы Республики Мордовия «Здунов здесь», который выступает для жителей Мордовии источником информации и коммуникации. Методом сплошной выборки проанализированы записи канала с ...
Добавлено: 7 октября 2025 г.
Evaluating Structural Complexity of Workflow Nets Modeling Asynchronous Agent Interactions
Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68
Добавлено: 21 сентября 2025 г.
Психология общения: учебник и практикум для среднего профессионального образования
Корягина Н. А., Антонова Н. В., Овсянникова С. В., М.: Юрайт, 2025.
В курсе рассматриваются основные теоретические и практические подходы к общению. Ценность общения в настоящее время обусловлена его значимостью практически для всех сфер жизнедеятельности человека. Курс основан на изложении фундаментальных научных знаний отечественной психологической школы, а также материалов новейших российских и зарубежных исследований, практических наработок в области психологии общения. Особый акцент сделан на деловом общении как ...
Добавлено: 1 августа 2025 г.
Discovering hierarchical process models: an approach based on events partitioning
A. K. Begicheva, I. A. Lomazova, R. A. Nesterov, Modeling and Analysis of Information Systems 2024 Vol. 31 No. 3 P. 294–315
Process mining — это область компьютерных наук, которая занимается синтезом и анализом моделей процессов на основе автоматически генерируемых журналов событий. В настоящее время многие организации используют эту технологию для оптимизации и совершенствования бизнес-процессов. Однако синтезированная модель процесса может быть слишком подробной, сложной и трудной для понимания экспертами. В работе мы рассматриваем задачу синтеза иерархической модели ...
Добавлено: 14 сентября 2024 г.
Организация интерактивного взаимодействия обучающихся на занятиях по иностранному языку
Давыдова Е. А., В кн.: ОБУЧЕНИЕ ИНОСТРАННОМУ ЯЗЫКУ: СОВРЕМЕННОСТЬ И ПЕРСПЕКТИВЫ сборник научных статей региональной научно-методической конференции, посвященной 55-летию Юго-Западного государственного университета и кафедры ин.языков. Юго-Западный государственный университет.: Курск: [б.и.], 2019. С. 105–115.
Автор статьи обосновывает актуальность и проблемный характер рассматриваемой темы, рассматривает основные характеристики интерактивного взаимодействия, преимущества и условия организации интерактивного взаимодействия на занятиях по иностранному языку. В статье также приведены примеры интерактивных приемов обучения иностранному языку, даны методические рекомендации по планированию и оценке эффективности интерактивного взаимодействия на занятии. ...
Добавлено: 24 января 2024 г.
Социальная и профессиональная идентичность личности в психологических исследованиях: проблема соотношения
Иванова Н. Л., Булгаков И. А., Мир психологии. Научно-методический журнал 2023 № 3(114) С. 216–230
В статье приведен обзор современных исследований по теме соотношения категорий социальной и профессиональной идентичности личности - актуальной проблеме в отечественной и зарубежной психологии. Определены ключевые направления исследования феномена социальной идентичности. В ходе анализа определяется категория профессиональной идентичности как одного из основных элементов социальной идентичности личности. Отражены перспективные направления дальнейшего изучения феномена. ...
Добавлено: 2 ноября 2023 г.
Профессиональная идентичность личности и феномен выгорания: проблема соотношения в современных исследованиях
Булгаков И. А., В кн.: Человек, субъект, личность: перспективы психологических исследований: Материалы Всероссийской научной конференции, посвященной 90-летию со дня рождения А. В. Брушлинского и 300-летию основания Российской академии наук, 12–14 октября 2023 г., Москва.: Институт психологии РАН, 2023. С. 692–695.
В статье представлен теоретический обзор соотношения понятий профессиональной идентичности личности и феномена выгорания, представленного в современных психологических исследованиях. Отмечается неоднозначная, комплексная структура профессиональной идентичности как ключевого элемента социальной идентичности личности. Отмечается значимая роль профессиональной идентичности человека в определении его отношения как к профессиональной деятельности, так и к иным сферам жизни. Отдельно выдвинуты предположения о наличии ...
Добавлено: 27 октября 2023 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору