Abstract: This article presents a method based on graph theory and Boolean algebra, to obtain dynamic zone selection for busbar protection applications. The solution is an offline software-based tool ...

Abstract: Recent developments in formal verification of arithmetic datapaths make efficient use of symbolic computer algebra algorithms. The circuit is modeled as an ideal in polynomial rings, and ...

Abstract: Nonvolatile stateful logic through RRAM is a promising route to build in-memory computing architecture. In this letter, a logic methodology based on 1T1R structure has been proposed to ...

Abstract: This article addresses the fundamental issues of solvability and normalization in singular Boolean networks (SBNs) from a new perspective based on the admissible and normal initial state ...

Abstract: Ever since the technique of the Kalman filter was popularized, there has been a lot of research interest in finding more classes of finite-dimensional recursive filters. In past research, ...

Abstract: Using the derivative of Boolean functions and the e-derivative defined by ourselves as research tools, we study the problem of derivative differential ...

Abstract: The Boolean formula satisfiability problem (SAT) plays a fundamental role in many practical applications, but is computationally challenging due to its NP-hard nature. Leveraging cloud ...

When I decided to go back and review linear algebra, I spent a decent amount of time looking at various options for a text and eventually settled on Axler's book (I had read parts of the 2nd edition ...

This is a solution manual for Paolo Aluffi's ALGEBRA, Chapter 0, a textbook that introduces abstract algebra using the language of categories. I find this approach to be particularly appealing. So I'm ...

Step 1: if you have installed Julia on your computer, you can download this repository using the green Clone or download button above. Once you have Julia installed, you can run all the Julia codes in ...

Abstract: Time-sensitive networking (TSN) is a deterministic network, where failures will seriously affect the quality of the real-time data transmission service. Hence, fault localization is critical ...