Keyword:computational model

Papers
Quantum Generators: an Evolution-Enabled Reconfigurable Cell Shape Optimizer for Crop Production. Poondru Prithvinath Reddy EasyChair Preprint no. 7504
Algorithm Design for Tensor Units Rezaul Chowdhury, Francesco Silvestri and Flavio Vella EasyChair Preprint no. 6442
Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application Kazuko Takahashi, Shizuo Yoshimaru and Mizuki Goto In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science