English
Related papers

Related papers: A Formally Verified HOL4 Algebra for Event Trees

200 papers

By adequate employing of complex event processing (CEP), valuable information can be extracted from the underlying complex system and used in controlling and decision situations. An example application area is management of IT systems for…

Software Engineering · Computer Science 2012-08-02 Istvan David

As one type of machine-learning model, a "decision-tree ensemble model" (DTEM) is represented by a set of decision trees. A DTEM is mainly known to be valid for structured data; however, like other machine-learning models, it is difficult…

Software Engineering · Computer Science 2020-05-25 Naoto Sato , Hironobu Kuruma , Yuichiroh Nakagawa , Hideto Ogawa

This paper presents a systematic approach to detecting High Impedance Faults (HIFs) in medium voltage distribution networks using recurrence plots and machine learning. We first simulate 1150 internal faults, including 300 HIFs, 1000…

Signal Processing · Electrical Eng. & Systems 2025-03-06 Pallav Kumar Bera , Samita Rani Pani , Rajesh Kumar

With the increasing frequency of natural disasters, operators must prioritize improvements in the existing electric power grid infrastructure to enhance the resilience of the grid. Resilience to extreme weather events necessitates lowering…

Systems and Control · Electrical Eng. & Systems 2023-11-28 Abodh Poudyal , Shishir Lamichhane , Anamika Dubey , Josue Campos do Prado

Complexity has gained recent attention in machine learning for its ability to extract synthetic information from large datasets. Complex dynamical systems are characterized by temporal complexity associated with intermittent birth-death…

Computational Physics · Physics 2026-05-27 Marco Cafiso , Paolo Paradisi

We define EVL, a minimal higher-order functional language to deal with generic events. The notion of generic event extends the well-known notion of event traditionally used in a variety of areas, such as database management, concurrency,…

Logic in Computer Science · Computer Science 2021-11-01 Sandra Alves , Maribel Fernández , Miguel Ramos

A method is derived for the quantitative analysis of signals that are composed of superpositions of isolated, time-localized "events". Here these events are taken to be well represented as rescaled and phase-rotated versions of generalized…

Methodology · Statistics 2017-04-20 J. M. Lilly

The neuromorphic event cameras, which capture the optical changes of a scene, have drawn increasing attention due to their high speed and low power consumption. However, the event data are noisy, sparse, and nonuniform in the…

Computer Vision and Pattern Recognition · Computer Science 2021-03-23 Chang Liu , Xiaojuan Qi , Edmund Lam , Ngai Wong

Most of the engineering and physical systems are generally characterized by differential and difference equations based on their continuous-time and discrete-time dynamics, respectively. Moreover, these dynamical models are analyzed using…

Logic in Computer Science · Computer Science 2021-11-22 Muhammad Ahmed , Adnan Rashid

Modern power systems are at risk of largely reducing the inertia of generation assets and prone to experience extreme dynamics. The consequence is that, during electromechanical transients triggered by large contingencies, transmission of…

Systems and Control · Electrical Eng. & Systems 2019-06-27 Asja Derviškadić , Guglielmo Frigo , Mario Paolone

Usually gradual and continuous changes in entities will lead to appear events. But usually it is supposed that an event is occurred at once. In this research an integrated framework called continuous occurrence theory (COT) is presented to…

Artificial Intelligence · Computer Science 2016-11-14 Abdorrahman Haeri

Importance measures provide a systematic approach to scrutinize critical system components, which are extremely beneficial in making important decisions, such as prioritizing reliability improvement activities, identifying weak-links and…

Formal Languages and Automata Theory · Computer Science 2019-04-04 Waqar Ahmed , Shahid Ali Murtza , Osman Hasan , Sofiene Tahar

This review comprehensively examines the integration of artificial intelligence (AI) in enhancing the dynamic security assessments of modern power systems. It highlights the pivotal role of AI in facilitating scenario generation, incident…

Systems and Control · Electrical Eng. & Systems 2024-08-20 Runhao Zhang

Event-driven programming is widely used for implementing user interfaces, web applications, and non-blocking I/O. An event-driven program is organized as a collection of event handlers whose execution is triggered by events. Traditional…

Programming Languages · Computer Science 2019-10-30 Ming-Ho Yee , Ayaz Badouraly , Ondřej Lhoták , Frank Tip , Jan Vitek

As power quality becomes a higher priority in the electric utility industry, the amount of disturbance event data continues to grow. Utilities do not have the required personnel to analyze each event by hand. This work presents an automated…

Machine Learning · Computer Science 2023-09-11 Jonathan D. Boyd , Joshua H. Tyler , Anthony M. Murphy , Donald R. Reising

Event data is the basis for all process mining analysis. Most process mining techniques assume their input to be an event log. However, event data is rarely recorded in an event log format, but has to be extracted from raw data. Event log…

Data Structures and Algorithms · Computer Science 2022-11-09 Dirk Fahland

Event temporal relation extraction~(ETRE) is usually formulated as a multi-label classification task, where each type of relation is simply treated as a one-hot label. This formulation ignores the meaning of relations and wipes out their…

Computation and Language · Computer Science 2023-05-30 Quzhe Huang , Yutong Hu , Shengqi Zhu , Yansong Feng , Chang Liu , Dongyan Zhao

Process mining methods often analyze processes in terms of the individual end-to-end process runs. Process behavior, however, may materialize as a general state of many involved process components, which can not be captured by looking at…

Databases · Computer Science 2022-11-02 Bianka Bakullari , Wil M. P. van der Aalst

Our work combines aspects of three promising paradigms in machine learning, namely, attention mechanism, energy-based models, and associative memory. Attention is the power-house driving modern deep learning successes, but it lacks clear…

The sporadic large fluctuations are seen in the stock market due to changes in fundamental parameters, technical setups, and external factors. These large fluctuations are termed as Extreme Events (EE). The EEs may be positive or negative…

Statistical Finance · Quantitative Finance 2023-08-09 Anish Rai , Salam Rabindrajit Luwang , Md Nurujjaman , Chittaranjan Hens , Pratyay Kuila , Kanish Debnath