[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

摘要

In this R&D project work, we would like to exploit the promising and interesting interfacing mechanisms between Haskell and Erlang in the context of cryo-EM Imaging/IoT/HPC/EM heterogeneous computing environments. The title mentioned above explains the main idea behind functional programming languages used in our R&D project work in simple terms.