Gerald L. Mathai

  • Citations Per Year
Learn More
A detailed study of the performance of the bidirectional associative memory (BAM) for the classification of power spectral density (PSD) functions is presented. The BAM has error-correcting properties and is capable of generating a successful recall, even with noisy and incomplete patterns. Suitable pattern coding schemes are utilized to enhance the(More)
A logical calculus, not unlike Gentzen's sequent calculus for intuitionist logic, is described which is sound for polynomial-time realizability as deened by Crossley and Remmel. The sequent calculus admits cut elimination, thus giving a decision procedure for the propositional fragment. 0 Introduction In 4], a restricted notion of realizability is(More)
  • 1