Mathematician lurking in the tech underworld, fixing gaps and carving out new routes over the obstacles. Mathematician lurking in the tech underworld, fixing gaps and carving out new routes over the ...

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

Abstract: This paper compares the performance of activation function hardware under exponential function approximation techniques. The activation function is a key component of deep neural networks, ...