Practical application of formal methods requires more than advanced technology and tools; it requires an appropriate methodology. A verification methodology for data-path-dominated hardware combines ...

The recent surge of interest in explainability in artificial intelligence (XAI) is propelled by not only technological advancements in machine learning but also by regulatory initiatives to foster ...

In this paper, an improved ant colony optimization (ICMPACO) algorithm based on the multi-population strategy, co-evolution mechanism, pheromone updating strategy, and pheromone diffusion mechanism is ...

This paper presents a new supervised classification algorithm for remotely sensed hyperspectral image (HSI) which integrates spectral and spatial information in a unified Bayesian framework. First, we ...

Sliding mode control is widely used to enhance the speed control performance of permanent magnet synchronous motors (PMSM). However, the slow reaching onto the sliding surface and chatting phenomena ...

The load unbalance and the nonlinear loads result in a significant neutral current in the three-phase four-wire distribution power system. The Zig-Zag transformer has been proposed to attenuate the ...

A framework for the analysis and control of manipulator systems with respect to the dynamic behavior of their end-effectors is developed. First, issues related to the description of end-effector tasks ...

Since the publication of the original paper on power system stability definitions in 2004, the dynamic behavior of power systems has gradually changed due to the increasing penetration of converter ...

Over the last several years, the field of natural language processing has been propelled forward by an explosion in the use of deep learning models. This article provides a brief introduction to the ...

Convergence of the value-iteration-based heuristic dynamic programming (HDP) algorithm is proven in the case of general nonlinear systems. That is, it is shown that HDP converges to the optimal ...

The purpose of this article is to examine the impact of firms’ intellectual capability on adoption of emerging technology (ET), and the influence of supply chain resilience on firm performance (FP).

Wide bandgap semiconductors are extremely attractive for the gamut of power electronics applications from power conditioning to microwave transmitters for communications and radar. Of the various ...