Abstract: Boolean satisfiability (SAT), the first proven nondeterministic polynominal-complete problem, is crucial in dataintensive applications. Different applications have a wide spectrum of SAT ...

In this paper, we report our recent research aimed at improving the pronunciation-modeling component of a speech recognition system designed for mobile voice search. Our new discriminative learning ...

Abstract: Spin-orbit torque magnetic random-access memory (SOT-MRAM) is a promising candidate for non-volatile logic-in-memory (LIM) computing. In this letter, we present a novel all-electrical ...