CEUR Workshop Proceedings. Val. 1492

?

CEUR Workshop Proceedings

Vol. 1492: Proceedings of the 24th International Workshop on Concurrency, Specification and Programming. Rzeszow, Poland, September 28-30, 2015. CEUR Workshop Proceedings, 2015.

Научный редактор: S. Zbigniew, L. Czaja

An Afficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements

Vladislav Podymov, , in: CEUR Workshop ProceedingsVol. 1492: Proceedings of the 24th International Workshop on Concurrency, Specification and Programming. Rzeszow, Poland, September 28-30, 2015.: CEUR Workshop Proceedings, 2015. P. 85–96.

Добавлено: 10 октября 2016 г.

Язык: английский

Текст на другом сайте

Ключевые слова: formal specifications data mining verification Petri nets rough sets program analysis

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 г.

Профессиональная верификация: Руководство по продвинутой функциональной верификации

Уилкокс П., Романов А. Ю., М.: ДМК Пресс, 2025.

Книга, которую вы держите в руках, продолжает серию «Книжная полка истового инженера», которая издается при поддержке компании YADRO. Данная книга представляет собой учебник по теоретическим основам продвинутой функциональной верификации и содержит лучшие практики, используемые в настоящее время. В ней подробно описана унифицированная методология верификации (UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное покрытие, утверждения, формальная верификация, тестбенчи, косимуляция, эмуляция, аппаратное ...

Добавлено: 30 июля 2026 г.

The hidden machinery of entrepreneurial culture: a data mining approach of ecosystem-level drivers

Chieregato Vicentin D., Salati Marcondes de Moraes G. H., Fischer B. и др., Journal of Intellectual Capital 2026 Vol. 27 No. 4 P. 951–974

Добавлено: 11 марта 2026 г.

Evaluation of Correlation Functions and Multi-model Forecasting of Geopotential Height and Temperature in the Troposphere and Lower Stratosphere

Гордин В. А., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028

Для интерполяции комплексного прогноза геопотенциала и температуры в точки регулярной сетки проводилась статистическая оценка трехмерных авто- и кросс-кореляционных функций для инкрементов от первого приближения. В качестве первого приближения использованы поля прогноза по модели ICON. ...

Добавлено: 17 февраля 2026 г.

InGrid: Towards a Simulation-Based Automated Decision-Making System for Transportation

Степанянц В. Г., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.

Добавлено: 3 октября 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 г.

Wind Speed Analysis Method within WRF-ARW Tropical Cyclone Modeling

Poplavsky E., Кузнецова А. М., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239

В данной работе представлен анализ нового метода восстановления параметров пограничного слоя атмосферы в ураганах. Данный метод основан на аппроксимации верхней параболической части профиля скорости ветра и восстановлении нижней логарифмической части. На основе логарифмической части получены скорость трения, скорость приземного ветра и коэффициент аэродинамического сопротивления. Полученные данные используются для верификации данных моделирования в модели WRF-ARW. Изучен ...

Добавлено: 10 декабря 2024 г.

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track. European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part X. LNCS, volume 14950

Cham: Springer, 2024.

Добавлено: 22 ноября 2024 г.

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 г.

Hardware-Software Complex for Prototyping NoCs Using a Few FPGA Chips

Mikhail Romashikhin, Романов А. Ю., , in: 2023 International Russian Automation Conference (RusAutoCon) 10-16 Sept. 2023.: Sochi: IEEE, 2023. P. 330–334.

Добавлено: 13 июня 2024 г.

2023 IEEE International Conference on Data Mining Workshops (ICDMW) 1–4 December 2023, Shanghai, China

Shanghai: IEEE Computer Society, 2023.

Добавлено: 20 марта 2024 г.

Поиск закономерностей и важности признаков в данных виктимизационного опроса

Дьяконов А. Г., Головина А. М., Прикладная математика и информатика 2023 Т. 61 № 74 С. 91–108

Описана методика поиска закономерностей с помощью решения задач машинного обучения с учителем, которая применялась при анализе данных национального виктимизационного опроса. Найдены важные признаки для моделей машинного обучения, интересные закономерности и несоответствия в данных. Описаны эксперименты по оцениванию важностей признаков разными методами. ...

Добавлено: 18 марта 2024 г.

Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives

Julio C. Carrasquel, Irina A. Lomazova, , in: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Tools and Methods of Program AnalysisVol. 1559: CCIS .: Springer, 2024. P. 94–106.

Добавлено: 31 января 2024 г.

Typed Petri Nets with Variable Arc Weights

Ломазова И. А., Мицюк А. А., Rivkin A., , in: Business Process Management Workshops. BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected PapersVol. 492.: Switzerland: Springer, 2024. P. 483–495.

Добавлено: 17 января 2024 г.

Сентимент-анализ как метод исследования информационной повестки и общественного мнения (на примере СМИ и социальных сетей КНР)

Анташева М. С., Лобанова П. А., Исаева Ю. К. и др., Социология: методология, методы, математическое моделирование 2023 № 57 С. 7–41

Информационная повестка, транслируемая китайскими медиаресурсами, является источником актуальных данных о мнении общества в отношении ключевых вопросов социального благосостояния. Вследствие технических особенностей организации китайских веб-сайтов и необходимости привлечения дополнительных ресурсов для автоматической обработки (парсинга) текстов на китайском языке, данная тематика не представлена достаточно широко в отечественных и зарубежных исследованиях. Целью настоящей работы является демонстрация методологии и ...

Добавлено: 9 ноября 2023 г.

Discovering Process Models from Event Logs of Multi-Agent Systems Using Event Relations

A. A. Sherstyugina, R. A. Nesterov, Proceedings of the Institute for System Programming of the RAS 2023 Vol. 35 No. 3 P. 11–32

Добавлено: 31 октября 2023 г.

Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems

Fedotov I. A., A. S. Khritankov, Obidare M. D., Programming and Computer Software 2023 Vol. 49 No. 5 P. 448–454

Добавлено: 9 октября 2023 г.

Data Analysis and Optimization. In Honor of Boris Mirkin's 80th Birthday

Springer, 2023.

Добавлено: 31 августа 2023 г.

Knowledge Discovery, Knowledge Engineering and Knowledge Management: 13th International Joint Conference, IC3K 2021, Virtual Event, October 25–27, 2021, Revised Selected Papers

Springer, 2023.

Добавлено: 8 июля 2023 г.

Исследование и определение признаков скрытых атак на предприятии для алгоритмов машинного обучения

Золотухина М. А., Зыков С. В., Вестник Российского нового университета 2023 № 1 С. 20–28

Зачастую именно человеческий фактор ведет к распространению угроз на предприятиях. Если техническое устройство представляет собой четко работающий и слаженный механизм с возможностью при помощи диагностического оборудования проводить замеры параметров неисправностей и устранять их, то для исследования скрытых атак необходим новый компонент системы. Предприятия и промышленность в целом нуждаются в интеллектуальной системе защиты и обнаружения скрытых ...

Добавлено: 11 апреля 2023 г.

Information Systems and Design. Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12–13, 2022, Revised Selected Papers

Springer, 2023.

Добавлено: 31 марта 2023 г.

Transformation of Functional Dataflow Parallel Programs into Imperative Programs

Vasilev V. S., A. I. Legalov, Зыков С. В., Automatic Control and Computer Sciences, Latvia 2022 Vol. 56 No. 7 P. 815–827

Добавлено: 20 февраля 2023 г.