• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 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
  • еще
Тематика
Новости
25 сентября 2026 г.
«Климатический переход - это необязательно ограничение для бизнеса»
Линара Хадимуллина работает в сфере низкоуглеродного развития. В интервью проекту «Молодые ученые Вышки» она рассказала, почему природа для нее не просто красивый фон, зачем исследовать роль устойчивого корпоративного управления в снижении выбросов парниковых газов и как выращивание урожая становится источником вдохновения.
25 сентября 2026 г.
Окно в организм: российские ученые создали нейросеть, которая определяет риск заболеваний по глазам
Российские университеты с участием НИУ ВШЭ, Сбер и концерн ИИ Z-union разработали нейросеть, которая по фотографии сетчатки может одновременно оценивать риск 15 видов патологий, включая не только глазные болезни, но и сердечно-сосудистые заболевания. ИИ-система помогает врачу заметить тревожные изменения на ранней стадии, признаки, которые отражаются на состоянии сосудов сетчатки, и понять, нужно ли человеку пройти дополнительное обследование. Работа опубликована в журнале Frontiers in Medicine.
23 сентября 2026 г.
В НИУ ВШЭ испытали робота с ИИ для распознавания окружающей среды
Инженеры и исследователи Института робототехнических систем НИУ ВШЭ провели первые испытания нейросетевой модели для распознавания среды непосредственно на роботе-собаке. Робот передвигался по зданию НИУ ВШЭ на Покровке, а также по Покровскому бульвару, анализируя окружающую обстановку и определяя, в какой сцене и локации он находится.

 

Нашли опечатку?
Выделите её, нажмите 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)
Похожие публикации
Inverse quickest path problem on networks under weighted l_\infty norm
Qian X., Guan X., Zhang B. и др., Journal of Global Optimization 2026
Добавлено: 27 сентября 2026 г.
Navigating Complexity: Statistical Methods, Data Analysis, and Machine Learning for Actionable Insights
Switzerland: Springer Cham, 2026.
Добавлено: 25 сентября 2026 г.
An early warning system for emerging markets
Краевский А. А., Соколовский Е. И., Prokhorov A., Emerging Markets Review 2026 No. 74 P. 1–19
Добавлено: 25 сентября 2026 г.
Экспериментальное сравнение HTTP/2 и HTTP/3 в условиях программно моделируемой сетевой деградации
Дубич Е. В., Щагин Д. В., Славянский форум 2026 № 2 (52) С. 560–565
В статье сравниваются протоколы HTTP/2 и HTTP/3 при передаче статических файлов в условиях программно моделируемой сетевой деградации. Эксперимент показал, что HTTP/3 не является универсально более быстрым, но устойчивее проявляет себя при росте задержки и потерь пакетов. ...
Добавлено: 25 сентября 2026 г.
Synthesis of Acyclic Models for Processes Without Repeating Events
Joulitov A.K., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 4(2) P. 215–224
В майнинге процессов (process mining) графы непосредственного следования (Directly-Follows Graph, DFG) популярны благодаря своей простоте и наглядности. Однако, если процесс является ациклическим, но содержит параллельные события, стандартные алгоритмы построения DFG-моделей могут генерировать «ложные» циклы, которыe не представлены в журнале событий. Такие циклы мешают анализу информационных процессов, значительно снижая интерпретируемость и точность (precision) модели. Эта проблема ...
Добавлено: 24 сентября 2026 г.
Анализ протокола выработки общего ключа для управления микросхемой интеллектуальной карты
Добрина Д. Н., Нестеренко А. Ю., Прикладная дискретная математика. Приложение 2026 № 19 С. 151–159
Работа содержит результаты формального анализа криптографических механизмов, входящих в состав проекта методических рекомендаций «Защищенный универсальный протокол передачи данных и управления микросхемой интеллектуальной карты» (протокол SECUNDA). Получена формальная модель и перечень трудноразрешимых математических задач, трудоёмкостью решения которых можно оценить стойкость используемых криптографических механизмов. ...
Добавлено: 24 сентября 2026 г.
Discovering object-centric Petri nets with parametric arcs
I.I. Sergeev, I.A. Lomazova, Modeling and Analysis of Information Systems 2026 Vol. 33 No. 3 P. 394–419
Объектно-ориентированный process mining сформировался как эффективная парадигма анализа событийных данных, включающих несколько взаимодействующих бизнес-объектов. Существующие методы обнаружения моделей часто опираются на объектно-ориентированные сети Петри с фиксированными кратностями дуг, что ограничивает их способность представлять параметрические закономерности потребления и производства ресурсов, а также отражать количественные зависимости между взаимодействующими типами объектов. В данной работе предлагается метод обнаружения объектно-ориентированных ...
Добавлено: 24 сентября 2026 г.
Hybrid Graph Retrieval-Augmented Language Agents for Collaborative Recommendation
Ivan Bulychev, Савченко А. В., AI 2026 Vol. 7 No. 9 Article 380
Добавлено: 24 сентября 2026 г.
Risks and the image of the future in the study of AI technologies prospects
Снегирев А. Ю., Сычев С. В., Futures 2026 Vol. 183 P. 1–22
Добавлено: 23 сентября 2026 г.
Choosing Between AI Responses: How Valence, Arousal, and Dominance Shape User Preference
Паршаков П. А., Паклина С. Н., International Journal of Human-Computer Interaction 2026 P. 1–17
Добавлено: 23 сентября 2026 г.
A Two-Stage Deep Reinforcement Learning Framework for Radio Resource Management and Network Slicing in 5G Heterogeneous Networks
Андраби У. М., Wadood E., Ojha S. K. и др., IEEE Access 2026 Vol. 14 P. 103358–103375
Добавлено: 23 сентября 2026 г.
LLM-assisted writing and citation advantage: evidence from scientific publications before and after ChatGPT release
Паклина С. Н., Паршаков П. А., Elena Rapoport, Scientometrics 2026 P. 1–26
Добавлено: 23 сентября 2026 г.
Label-Free Quantification in the Crux Toolkit
Кертес-Фаркаш А., Аквей Ф. Л., Journal of Proteome Research 2026 Vol. 25 P. 3764–3768
Добавлено: 23 сентября 2026 г.
Risk Assessment Models for Heated Tobacco Products
Maddalena L., Yildiz B., Del Vecchio Blanco F. и др., Risk Analysis 2026 Vol. 46 No. 4 P. 1–26
Добавлено: 22 сентября 2026 г.
Segmentation of the Iris and Pupil of the Human Eye in Images from an Infrared Camera
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 855–862
Добавлено: 21 сентября 2026 г.
A Model Based on Universal Filters for Image Color Correction
Aleksei Samarin, Назаренко А. А., Alexander Savelev и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 844–854
Добавлено: 21 сентября 2026 г.
Streptococci Recognition in Microscope Images Using Taxonomy-based Visual Features
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Optical Memory and Neural Networks (Information Optics) 2024 Vol. 33 P. 424–434
Добавлено: 21 сентября 2026 г.
Соприсутствие без коммуникации: тактики избегания речевого взаимодействия с собачниками во время выгула собаки
Котельников М. П., Пути России. Журнал cоциальных и этнографических исследований 2026 Т. 4 № 3 С. 80–95
В статье рассматриваются стратегии избегания нежелательного речевого взаимодействия с собачниками во время выгула собак. Исследование основано на авто-этнографическом опыте автора, а также на интервью с «интровертными» владельцами собак. В центре обсуждения — пять тактик, направленных на снижение уровня социаль-ного дискомфорта «собачника-интроверта»: активное комментирование действий своей собаки, физическое дистанцирование от места собачьей игры, использование мобиль-ного телефона, ...
Добавлено: 26 августа 2026 г.
Итоги экспедиции «Человек в гармонии с природой: взаимодействие школ Республики Бурятия с особо охраняемыми природными территориями»
Обухов А. С., Исследователь/Researcher 2025 № 3-4 С. 83–131
Описан опыт подготовки и реализации студенческой исследовательской экспедиции в Бурятию в рамках программы «Открываем Россию заново» НИУ ВШЭ на тему «Человек в гармонии с природой: взаимодействие школ Республики Бурятия с особо охраняемыми природными территориями». Экспедиция подготовлена и реализована в сотрудничестве с БГУ имени Д. Банзарова в четырех локациях Республики Бурятии, где разные типы особо охраняемых ...
Добавлено: 2 июня 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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору