• 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
  • еще
Тематика
Новости
7 сентября 2026 г.
В НИУ ВШЭ пройдет конференция для представителей наук, изучающих медицину и здоровье
С 3 по 5 декабря в Москве состоится междисциплинарная научная конференция с международным участием «Коморбидное поле 3.0: социальное благополучие, здоровье и медицина во множественных контекстах», которая будет организована Центром сравнительных исследований социального благополучия НИУ ВШЭ при участии факультета гуманитарных наук и Санкт-Петербургской школы гуманитарных наук и искусств НИУ ВШЭ, Европейского университета в Санкт-Петербурге и Сеченовского университета. Заявки на участие принимаются до 4 октября.
4 сентября 2026 г.
Сотрудники НИУ ВШЭ - Санкт-Петербург разработали ИИ-инструмент для анализа человеческого поведения
Сотрудники и студенты НИУ ВШЭ совместно с экспертами из Санкт-Петербургского Федерального исследовательского центра РАН и Центра практического ИИ Сбера разработали нейросеть, способную одновременно распознавать эмоции, оценивать видимые черты личности и выявлять амбивалентность (неуверенность или противоречивость поведения). Результаты исследования опубликованы в журнале IEEE Access.
3 сентября 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)
Похожие публикации
On the rate of Gaussian approximation for online linear regression problems
Шешукова М. Е., Durmus A., Khusainov M. и др., Statistics 2026 P. 1–25
Добавлено: 4 сентября 2026 г.
Proceedings of the 42nd Conference on Uncertainty in Artificial Intelligence (UAI), PMLR Volume 337, 17-21 August 2026, KIT, Amsterdam, the Netherlands
Proceedings of Machine Learning Research , 2026.
Добавлено: 4 сентября 2026 г.
A unified frequency-domain framework for tilted slice localization and ischemic stroke detection
Khodadoust J., Куликова С. П., Khodadoust F., Biomedical Signal Processing and Control 2027 Vol. 129 P. 111284–111284
Анализ острого ишемического инсульта (ОИИ) по двухмерным (2D) клиническим изображениям затруднен из-за неконтролируемого наклона срезов и геометрических несоответствий, нарушающих предположения моделей глубокого обучения (ГБО), не зависящих от положения. В данной статье предлагается унифицированная, учитывающая геометрию, частотно-доменная структура для локализации наклонных срезов и сегментации ишемического инсульта, которая явно разделяет оценку положения и анализ поражения. Метод сначала ...
Добавлено: 2 сентября 2026 г.
Proceedings of the 2026 Fourth International Conference on Distributed Computing and High Performance Computing (DCHPC)
IEEE, 2026.
Добавлено: 2 сентября 2026 г.
Discrete Markowitz Portfolio Optimization with Open-Source Classical and Quantum-Inspired Solvers: A Cross-Market Walk-Forward Study
Avdoshin S.M., Patrushev K. A., Proceedings of the Institute for System Programming of the RAS 2026 No. 4 часть 2 P. 245–256
Добавлено: 27 августа 2026 г.
Benchmarking Synolitic Graphs for Autism Classification from Multisite Resting-State fMRI
Заикин А. А., Власенко Д. В., Захаров Д. Г. и др., Diagnostics 2026 Vol. 16 No. 17 P. 1–15
Добавлено: 27 августа 2026 г.
Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование. Современные проблемы, приложения и проблемы истории. Материалы XXIV Международной конференции, посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова
Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2025.
Сборник содержит материалы, представленные на XXIV Международной конференции «Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории», посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова. Материалы конференции будут полезны научным работникам, ...
Добавлено: 27 августа 2026 г.
Соприсутствие без коммуникации: тактики избегания речевого взаимодействия с собачниками во время выгула собаки
Котельников М. П., Пути России. Журнал cоциальных и этнографических исследований 2026 Т. 4 № 3 С. 80–95
В статье рассматриваются стратегии избегания нежелательного речевого взаимодействия с собачниками во время выгула собак. Исследование основано на авто-этнографическом опыте автора, а также на интервью с «интровертными» владельцами собак. В центре обсуждения — пять тактик, направленных на снижение уровня социаль-ного дискомфорта «собачника-интроверта»: активное комментирование действий своей собаки, физическое дистанцирование от места собачьей игры, использование мобиль-ного телефона, ...
Добавлено: 26 августа 2026 г.
Characterizing the Scheduling Performance of 5G NR Base Stations Under Signaling and Data Traffic Constraints
Eduard Sopin, Назарьин А. И., Бегишев В. О. и др., IEEE Transactions on Vehicular Technology 2026 Vol. 75 No. 6 P. 10995–11007
Добавлено: 26 августа 2026 г.
Генерация исходного кода с использованием больших языковых моделей: систематический обзор методологии Вайб-кодинг
Джонов А. Т., Авдошин С. М., Информационные технологии 2026 Т. 32 № 8 С. 421–427
В данном систематическом обзоре представлен анализ методологии Вайб-кодинг (Vibe Coding) — современно-го подхода к итеративному процессу разработки программного обеспечения с помощью больших языковых моделей (БЯМ). Инструменты генерации кода транформируют написание ПО, позволяя программисту формулировать задачи и описывать желаемое поведение кода на естественном языке, в то время как БЯМ генерирует соответ-ствующий запросам исходный код. Обзор систематиматизирует ...
Добавлено: 25 августа 2026 г.
An adaptive image watermarking scheme using cooperation of HBA and RSA metaheuristics
Мельман А. С., Евсютин О. О., Journal of the Franklin Institute 2026 Vol. 363 No. 15 Article 109005
Добавлено: 25 августа 2026 г.
Proceedings of the 2026 12th International Conference on Control, Decision and Information Technologies (CoDIT) (Italy, Bari, July 13–16, 2026)
IEEE, 2026.
Добавлено: 24 августа 2026 г.
From data to knowledge: artificial intelligence methods for studying comorbidity in electronic health records
Лукьяненко Д. В., Рагимова А. А., Мухорина А. и др., European Physical Journal: Special Topics 2026 P. 1–24
Добавлено: 20 августа 2026 г.
Proceedings of the Generative Code Intelligence Workshop (GeCoIn 2026), co-located with the 35th International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2026)
CEUR-WS.org, 2026.
Добавлено: 20 августа 2026 г.
MM-PSYCHE: Multimodal Multitask Psychological Characteristic Estimation Through Cross-Domain Semi-Supervised Learning
Рюмина Е. В., Аксёнов А. А., Коряковская Д. О. и др., IEEE Access 2026 Vol. 14 P. 124759–124778
Добавлено: 20 августа 2026 г.
Proceedings of the 1st Workshop on Linguistic Analysis for Health (HeaLing 2026)
Association for Computational Linguistics, 2026.
Добавлено: 19 августа 2026 г.
Hypergraphs from multivariate connectivity: caCOH-based EEG/MEG representation
Власенко Д. В., Саранская И. М., Захаров Д. Г., European Physical Journal: Special Topics 2026 P. 1–16
Гиперграфы предоставляют естественную систему для представления нейрофизиологических взаимодействий, распределённых по наборам датчиков. Ключевой методический вопрос заключается в том, каким образом следует определять гиперрёбра на основе частотно-разрешающих данных электроэнцефалографии и магнитоэнцефалографии (ЭЭГ/МЭГ). Мы предлагаем стратегию построения гиперграфа, в которой гиперрёбра получаются из канонической когерентности (caCOH) — расширения когерентности, которое оценивает степень связи между многомерными пространствами сигналов. Насколько ...
Добавлено: 18 августа 2026 г.
Localization in Medical Imaging: A Unified AI Approach for Ovaries, Follicles, and Vertebral Arteries
Мошкин А. С., Fedorov M., Arlazarov V. и др., Algorithms 2026 Vol. 19 No. 7 Article 523
Технологии искусственного интеллекта (ИИ), активно развивающиеся в современной медицине, повышают скорость и качество оказания медицинской помощи. Данная статья преимущественно направлена на демонстрацию применения различных вариантов компьютерного анализа клинических изображений для решения практических задач повышения эффективности рутинной диагностики с использованием ретроспективного анализа, а также на показ потенциала его широкого внедрения (благодаря масштабируемости архитектуры) в практическое здравоохранение ...
Добавлено: 17 августа 2026 г.
Innovation in Medicine and Healthcare. Proceedings of 13th KES-InMed 2025, (SIST, volume 487)
Springer, 2026.
Добавлено: 16 августа 2026 г.
Two-dimensional Fourier transform as a tool for identification of coherent patterns in spiking neuronal networks
Khorunzheva K., Postnikov E., Захаров Д. Г., Chaos, Solitons and Fractals 2026 Vol. 212 No. 2 Article 118958
Идентификация когерентных состояний спайковых нейронных сетей является фундаментальной задачей теории синхронизации, при этом традиционные методы требуют больших вычислительных затрат. Мы применяем к анализу различных состояний спайковых нейронных сетей кристаллографические идеи обработки периодических структур. В частности, предложенный нами подход основан на применении двумерного преобразования Фурье к пространственно-временным диаграммам. По положению пиков в обратном пространстве этот метод ...
Добавлено: 13 августа 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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору