In this paper various methods for computing the support weight enumerators of binary, linear, even, isodual codes are described. It is shown that there exist relationships between...
Abstract— Least-squares policy iteration is a useful reinforcement learning method in robotics due to its computational efficiency. However, it tends to be sensitive to outliers...
- In this paper, we are presenting a bionic approach towards real-time systems research. Observing that a cell is both real-time computing and real-time manufacturing system, the w...
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
While modern evolutionary theory has emphasized the role of neutral evolution, protein biochemistry and biophysics has interpreted the properties of proteins as largely resulting f...