Devices based on the spin as the fundamental computing unit provide a promising beyond-complementary metal-oxide-semiconductor (CMOS) device option, thanks to their energy efficiency and compatibility with CMOS. One such option is a magnetoelectric spin-or ...
We study the decision problem for the existential fragment of the theory of power structures. We prove complexity results that parallel the decidability results of Feferman-Vaught for the theories of product structures thereby showing that the construction ...
Let Gamma be an irreducible lattice in a product of n infinite irreducible complete Kac–Moody groups of simply laced type over finite fields. We show that if n>2, then each Kac–Moody groups is in fact a simple algebraic group over a local field and Gamma i ...
Hard-wired carry chains in FPGAs are designed to improve efficiency of important arithmetic primitives. Although they are proven to be effective for arithmetic-rich functions, there are very few studies on the optimization opportunities of carry chains for ...
We show that Li's criterion equivalent to the Riemann hypothesis, i.e., the statement that the sums k(n) = Sigma(rho)(1-(1-1/rho)(n)) over zeros of the Riemann xi-function and the derivatives lambda(n) equivalent to 1/(n-1)! d(n)/dz(n)(z(n-1) ln (xi(z)))ve ...
