Algorithm and hardware design of discrete-time spiking neural networks based on back propagation with binary activations | IEEE Conference Publication | IEEE Xplore