A formal selection and pruning algorithm for feedforward artificial neural network optimization | IEEE Journals & Magazine | IEEE Xplore