The not all equal (NAE) 3-SAT problem is known to be NP-complete even in the absence of negated variables (see [11]), a variant known as positive (or monotone) NAE 3-SAT. In this article, we investigate a related category, dubbed positive NAE LE3SAT (PNAE LE3-SAT), in which each clause has at most three variables, none of which is negated, and an assignment is sought that will satisfy such an e...

A mathematical model is presented for the lithium intercalation of a single spinel particle as a microelectrode under the stimulus of a cyclic linear potential sweep. The model includes both lithium diffusion within the particle and kinetics at the particle/electrolyte interface. The model is used to predict that peak current densities depend linearly on the scan rate to a certain power with a ...