In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the complexity of the problem, (2) thorough...
详细信息
Multi-server jobs that request multiple computing resources and hold onto them during their execution dominate modern computing clusters. When allocating the multi-type resources to several co-located multi-server job...
详细信息
Understanding which traffic light controls which lane is crucial to navigate intersections safely. Autonomous vehicles commonly rely on High Definition (HD) maps that contain information about the assignment of traffi...
详细信息
This paper proposes a new color interpolation method which can be used in embedded devices for IoT system. In this work, we use regression approach for generating and designing filters to restore color image. The filt...
详细信息
The new software FEniCS-preCICE is a middle software layer, sitting in between the existing finite-element library FEniCS and the coupling library preCICE. The middle layer simplifies coupling (existing) FEniCS applic...
详细信息
embedded digital devices are progressively deployed in dependable or safety-critical systems. These devices undergo significant hardware ageing, particularly in harsh environments. This increases their likelihood of f...
详细信息
Understanding traffic scenes requires considering heterogeneous information about dynamic agents and the static infrastructure. In this work we propose SCENE, a methodology to encode diverse traffic scenes in heteroge...
详细信息
Limited availability of labeled physiological data often prohibits the use of powerful supervised deep learning models in the biomedical machine intelligence domain. We approach this problem and propose a novel encodi...
Limited availability of labeled physiological data often prohibits the use of powerful supervised deep learning models in the biomedical machine intelligence domain. We approach this problem and propose a novel encoding framework that relies on self-supervised learning with momentum contrast to learn representations from multivariate time-series of various physiological domains without needing labels. Our model uses a transformer architecture that can be easily adapted to classification problems by optimizing a linear output classification layer. We experimentally evaluate our framework using two publicly available physiological datasets from different domains, i.e., human activity recognition from embedded inertial sensory and emotion recognition from electroencephalography. We show that our self-supervised learning approach can indeed learn discriminative features which can be exploited in downstream classification tasks. Our work enables the development of domain-agnostic intelligent systems that can effectively analyze multivariate time-series data from physiological domains.
Numerous industrial sector paradigms have been altered by the necessity to produce more competitive ma-chinery and the introduction of digital technologies from so-called Industry 4.0. This research proposes novel tec...
详细信息
Numerous industrial sector paradigms have been altered by the necessity to produce more competitive ma-chinery and the introduction of digital technologies from so-called Industry 4.0. This research proposes novel technique in electric vehicle fault detection based on monitoring data classification and feature extraction using deep learning architectures. The real Proton exchange membrane fuel cell (PEMFC) experiment dataset has been collected as sustainable electric vehicles data using multi-cell parallel electric vehicle and it has been processed for noise removal, dimensionality reduction and extraction using deep stacking auto gradient descent for-classifyingthrough monte Carlo regressive Gaussian naive bayes *** of experiments demonstrate that suggested model achieves over 99% accuracy in identifying flooding fault of fuel cell under load-varying situations. The experimental analysis has been carried out in terms of accuracy, robustness, reliability, preci-sion, recall. The proposed technique attained 99% of accuracy, 89% of robustness, 85% of Reliability, 95% of precision and 81% of recall.
暂无评论