Protocol / s Verification in the context of IoT based on E Theorem Prover
Nucleic Acids Data Sequencing using Higher Order Logic-A Suggestion of Basic Computational Framework Towards Bio-Sensors and Gene-Chips Design, Implementation and Verification *
Haskell-Java-JikesRVM/ImageJ Nano-Bio Informatics Framework based Cryo-Electron Microscopy/TEM/SEM Image Processing in the Context of Haskell Image Processing Libraries
Intrinsic Motivation and Academic Achievement What Does Their Relationship Imply for the Classroom Teacher ?
On ImageJ / Fiji / ActogramJ / JikesRVM Based Actigraphy Informatics Platform – A Simple Suggestion to Perform Actigraphy Analysis Using JikesRVM as the Java Virtual Machine ( JVM )
for Cryo-EM Image Processing involving Gröbner Bases Using C + + / Java / HOL / Scala / Scalalab / ImageJ Software Environments – A Short Communication on Gröbner Bases With Applications in Signals and Systems Using JikesRVM / JVM