[Higher Order Logic (HOL)-Haskell-Erlang FFI-Erlang Yanni Machine Learning Library]-Based Mechanisms to Implement Cryo-EM Image Processing Framework/s in the Context of Electron Microscopy Heterogeneous Computing and Informatics R&D Environment/s-An Interesting Insight and Short Technical Communication (International journal of applied research on information technology and computing)