Effective anomaly detection in multivariate time series data is critical to ensuring the security of Internet of Things (IoT) devices and systems. However, building a high precision and low false positive rate anomaly detection model for the ...

• Dual graph attention networks model both time and feature dimensions.
• The joint optimization uses a unified network for prediction and reconstruction.
• Data is processed with multi-scale discrete wavelet decomposition.
• MAML is ...

The IFDS algorithm is pivotal in solving field-sensitive data-flow problems. However, its conventional use of access paths for field sensitivity leads to the generation of a large number of data-flow facts. This causes scalability challenges in larger ...

Timing determinism in embedded real-time systems requires meeting timing constraints not only for individual tasks but also for chains of tasks that involve multiple messages. End-to-end analysis is a commonly used approach for solving such ...

Context-free language reachability (CFL-reachability) is a fundamental formulation for program analysis with many applications. CFL-reachability analysis is computationally expensive, with a slightly subcubic time complexity concerning the number of ...

Context-free language (CFL) reachability is a fundamental framework for formulating program analyses. CFL-reachability analysis works on top of an edge-labeled graph by deriving reachability relations and adding them as labeled edges to the graph. ...

To enhance deep learning-based automated interictal epileptiform discharge (IED) detection, this study proposes a multimodal method, vEpiNet, that leverages video and electroencephalogram (EEG) data. Datasets comprise 24 931 IED (from 484 ...

• Propose a multimodal deep learning-based diagnosis model to extract features from both EEG and video signals.
• Introduce a novel patient detection algorithm that is able to accurately identify patient targets in videos/images.
• ...

Web frameworks play an important role in modern web applications, providing a wide range of configurations to streamline the development process. However, the intricate semantics, facilitated by framework configurations, present substantial ...

Causal effect estimation aims to determine the influence of treatment on outcomes, playing an essential role in various domains. As causal effects may vary across different individuals, increasing interest is being paid to heterogeneous causal effect ...

The node importance evaluation of the Internet of drones, also called unmanned aerial vehicle swarm network, can assist network administrators in implementing security protection for important nodes, slowing down attacks on important nodes and providing ...

Generic programming has found widespread application in object-oriented languages like Java. However, existing context-sensitive pointer analyses fail to leverage the benefits of generic programming. This paper introduces <italic>generic sensitivity</...

The constraint action of the unbound aggregate layer underneath plays an important role in affecting the temperature strains in the top asphalt layer. The focus of the present paper is to investigate the interactive thermal contraction ...

The IFDS (Inter-procedural, Finite, Distributive, Subset) algorithms are popularly used to solve a wide range of analysis problems. In particular, many interesting problems are formulated as multi-solver IFDS problems which expect multiple interleaved ...

Context-free language (CFL) reachability is a fundamental framework for formulating program analyses. CFL-reachability analysis works on top of an edge-labeled graph by deriving reachability relations and adding them as labeled edges to the graph. ...

The existing researchers generalize the decision-theoretic rough sets (DTRSs) model from the viewpoint of the cost function, whether the information system is complete, and so on. Few of them consider multiple different strategies to rank the expected ...

Generic programming has been extensively used in object-oriented programs such as Java. However, existing context-sensitive pointer analyses perform poorly in analyzing generics. This paper introduces generic sensitivity, a new context customization ...

Missing- Permission-Check (MPC) vulnerability is a type of bug where permission checks are not enforced for privileged operations. MPC vulnerability is prevalent and can cause severe security impacts. This paper proposes the first tool to detect MPC ...

Wind energy is an important green energy. The use of wind energy can alleviate the pressure caused by the shortage of traditional energy. The wind speed is affected by many factors, which makes it difficult to forecast accurately. Most wind speed ...

Deep learning has been widely adopted in industry and has achieved great success in a wide range of application areas. Bugs in deep learning programs can cause catastrophic failures, in addition to a serious waste of resources and time.

This paper aims ...

Sampling is a fundamental method for generating data subsets. As many data analysis methods are developed based on probability distributions, maintaining distributions when sampling can help to ensure good data analysis performance. However, ...

Go, a fast growing programming language, is often considered as "the programming language of the cloud". The language provides a rich set of synchronization primitives, making it easy to write concurrent programs with great parallelism. However, the ...