?
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.
Academic editor: S. Zbigniew, L. Czaja
Chapters
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.
We present an efficient equivalence-checking algorithm for a propositional model of programs with semantics based on (what we call) progressive monoids on the finite set of statements generated by relations of a specific form. We consider arbitrary set of relations for commutativity (relations of the form ab=ba for statements a, b) and left absorption (relations ...
Added: October 10, 2016
Gordin V. A., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Statistical evaluation of three-dimensional auto- and cross-correlation functions for increments from the first guess was performed to interpolate the complex forecast (postprocessing) of geopotential height and temperature to regular grid points. The forecast fields from the ICON model were used as the first guess. Positive definiteness was provided in the evaluation. The verification of the ...
Added: February 17, 2026
Stepanyants V., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Transportation systems are complicated and deal with significant problems. With the pool of possible solutions being wide, extensive transportation planning has to be involved. However, planning based on expert opinions is significantly limited in terms of rapidity, accuracy, and confidence. Computer-aided design and automated decision-making systems are the next step to ensure transportation system development ...
Added: October 3, 2025
Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68
The structure of a process model discovered from an event log of a multi-agent system often does not reflect the system architecture with respect to agent interactions. The existing conformance checking quality dimensions mainly evaluate the extent to which the behavior a discovered model corresponds to event sequences recorded in an event log. These behavioral ...
Added: September 21, 2025
Poplavsky E., Kuznetsova A., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239
This paper presents an analysis of a new method for retrieving the parameters of the atmospheric boundary layer in hurricanes. This method is based on the approximation of the upper parabolic part of the wind speed profile and the retrieval of the lower logarithmic part. Based on the logarithmic part, the friction velocity, near-surface wind ...
Added: December 10, 2024
Cham: Springer, 2024.
This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024. ...
Added: November 22, 2024
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 is a field of computer science that deals with the discovery and analysis of process models based on automatically generated event logs. Currently, many companies are using this technology to optimize and improve their business processes. However, a discovered process model may be too detailed, sophisticated, and difficult for experts to understand. In ...
Added: September 14, 2024
Mikhail Romashikhin, Romanov A., , in: 2023 International Russian Automation Conference (RusAutoCon) 10-16 Sept. 2023.: Sochi: IEEE, 2023. P. 330–334.
This article describes a hardware and software complex for prototyping networks on a chip (NoCs) using multiple FPGAs. The rationale for using FPGAs to verify the RTL model of NoCs is given. The necessary software has been developed to automate the generation of configuration files (bitstream) for FPGA. The software divides the description of the ...
Added: June 13, 2024
Shanghai: IEEE Computer Society, 2023.
The IEEE International Conference on Data Mining (ICDM) has established itself as the world’s premier research conference in data mining. It provides an international forum for presentation of original research results, as well as exchange and dissemination of innovative and practical development experiences. The conference covers all aspects of data mining, including algorithms, software, systems, ...
Added: March 20, 2024
D'yakonov A., Головина А. М., Прикладная математика и информатика 2023 Т. 61 № 74 С. 91–108
A methodology for finding patterns by solving machine learning problems with a teacher is described and applied to the analysis of national victimization survey data. Important features for machine learning models, interesting patterns and inconsistencies in the data are found. Experiments on estimating feature importance using different methods are described. ...
Added: March 18, 2024
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.
Trading systems are software platforms that support the exchange of securities (e.g., company shares) between participants. In this paper, we present a method to search for deviations in trading systems by checking conformance between colored Petri nets and event logs. Colored Petri nets (CPNs) are an extension of Petri nets, a formalism for modeling of ...
Added: January 31, 2024
Lomazova I. A., Mitsyuk A. A., 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.
Object-centric processes have become increasingly popular in the last years mainly due to the establishment of object-centric process mining. One of the most popular formalisms for describing lifecycles of objects and capturing relationships between them are object-centric Petri nets. An important feature of such nets is the ability to transfer an arbitrary number of same-typed ...
Added: January 17, 2024
Анташева М. С., Lobanova P., Isaeva J. K. et al., Социология: методология, методы, математическое моделирование 2023 № 57 С. 7–41
The information agenda broadcast by Chinese media resources is a source of up-to-date data on public opinion on key issues of social welfare. Due to the technical peculiarities of the organization of Chinese websites and the need to attract additional resources for automatic processing (parsing) of texts in Chinese, this topic is not widely represented in domestic and foreign studies. The ...
Added: November 9, 2023
A. A. Sherstyugina, R. A. Nesterov, Proceedings of the Institute for System Programming of the RAS 2023 Vol. 35 No. 3 P. 11–32
The structure of a process model directly discovered from an event log of a multi-agent system often does not reflect the behavior of individual agents and their interactions. We suggest analyzing the relations between events in an event log to localize actions executed by different agents and involved in their asynchronous interaction. Then, a process ...
Added: October 31, 2023
Fedotov I. A., A. S. Khritankov, Obidare M. D., Programming and Computer Software 2023 Vol. 49 No. 5 P. 448–454
Multi-party agreements are used in distributed ledger systems and blockchain networks to reach an agreement on changes in the system. When one of the network participants proposes a transaction to be recorded, it should be first confirmed by certain network participants. A multi-party agreement or consensus determines who exactly these participants are. Based on the ...
Added: October 9, 2023
Springer, 2023.
This book presents the state-of-the-art in the emerging field of data science and includes models for layered security with applications in the protection of sites—such as large gathering places—through high-stake decision-making tasks. Such tasks include cancer diagnostics, self-driving cars, and others where wrong decisions can possibly have catastrophic consequences. Additionally, this book provides readers with ...
Added: August 31, 2023
Springer, 2023.
This book constitutes the extended and revised versions of a set of selected papers from the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2021, on October 25–27, 2021. The conference was held virtually due to the COVID-19 crisis.
The 9 full papers included in this book were carefully reviewed and ...
Added: July 8, 2023
Золотухина М. А., Zykov S. V., Вестник Российского нового университета 2023 № 1 С. 20–28
Зачастую именно человеческий фактор ведет к распространению угроз на предприятиях. Если техническое устройство представляет собой четко работающий и слаженный механизм с возможностью при помощи диагностического оборудования проводить замеры параметров неисправностей и устранять их, то для исследования скрытых атак необходим новый компонент системы. Предприятия и промышленность в целом нуждаются в интеллектуальной системе защиты и обнаружения скрытых ...
Added: April 11, 2023
Springer, 2023.
This book constitutes the proceedings of Third International Conference on Information Systems and Design, ICID 2022, which took place in Tashkent, Uzbekistan, in September 2022.
The 12 papers presented in this volume were carefully reviewed and selected from 35 submissions. They were organized in topical sections as follows: methodological support of analysis and management tools: theoretical-focused ...
Added: March 31, 2023
Vasilev V. S., A. I. Legalov, Zykov S. V., Automatic Control and Computer Sciences, Latvia 2022 Vol. 56 No. 7 P. 815–827
The functional dataflow paradigm of parallel programming is focused on the development
of parallel portable programs. The source code of functional dataflow programs is translated into a set of graphs reflecting information and control dependences. The main method of their execution is interpretation, which makes it impossible to perform calculations efficiently on real parallel computing systems ...
Added: February 20, 2023
Samoylova K., Zamyatina E., Proceedings of the Institute for System Programming of the RAS 2022 Vol. 34 No. 2 P. 67–76
Nowadays, in order for a company to remain competitive, efficient and attractive to investors it needs to have reliable and threat-resistant business processes. The question of methods for building such business processes remains relevant. This paper proposes a software system, which involves the use of methods and tools of DSM (Domain Specific Modeling), ontological approach, ...
Added: February 13, 2023
Ignatov D. I., Khvorykh G., Khrunin A. et al., , in: Recent Trends in Analysis of Images, Social Networks and Texts. 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020 Revised Supplementary ProceedingsVol. 12602.: Springer, 2021. P. 185–204.
© 2021, Springer Nature Switzerland AG.Missing genotypes can affect the efficacy of machine learning approaches to identify the risk genetic variants of common diseases and traits. The problem occurs when genotypic data are collected from different experiments with different DNA microarrays, each being characterised by its pattern of uncalled (missing) genotypes. This can prevent the ...
Added: November 1, 2022
Egurnov D., Точилкин Д. С., Ignatov D. I., , in: Complex Data Analytics with Formal Concept Analysis.: Springer, 2022. P. 239–258.
In this paper, we describe versions of triclustering algorithms adapted for efficient calculations in distributed environments with MapReduce model or parallelisation mechanism provided by modern programming languages. OAC-family of triclustering algorithms shows good parallelisation capabilities due to the independent processing of triples of a triadic formal context. We provide time and space complexity of the ...
Added: November 1, 2022