Robot Calibration Using Artificial Neural Networks (1995)
Thesis
Zhong, X. Robot Calibration Using Artificial Neural Networks. (Thesis). Napier University. http://researchrepository.napier.ac.uk/Output/2254583

Robot calibration is an integrated procedure of measurement and data processing to improve and maintain robot positioning accuracy. Existing robot calibration techniques require extensive human intervention and off-line processing, which preclude the... Read More about Robot Calibration Using Artificial Neural Networks.

One-bit adder design based on Reed-Muller expansions (1995)
Journal Article
Guan, Z., & Almaini, A. E. A. (1995). One-bit adder design based on Reed-Muller expansions. International Journal of Electronics, 79(5), 519-529. https://doi.org/10.1080/00207219508926289

It has been claimed for some time that the Reed-Muller technique can yield a simpler arithmetic circuit if it is employed in the design procedure. In fact, no practical application in this field can be found in the open literature. This paper attempt... Read More about One-bit adder design based on Reed-Muller expansions.

Using genetic algorithms for the variable ordering of Reed-Muller binary decision diagrams (1995)
Journal Article
Almaini, A. E. A., & Zhuang, N. (1995). Using genetic algorithms for the variable ordering of Reed-Muller binary decision diagrams. Microelectronics Journal, 26(5), 471-480. https://doi.org/10.1016/0026-2692%2895%2998949-R

Results are reported of the use of genetic algorithms for the variable ordering problem in Reed-Muller binary decision diagrams. Tests carried out on benchmark examples and randomly generated functions are very encouraging and compare favourably with... Read More about Using genetic algorithms for the variable ordering of Reed-Muller binary decision diagrams.

Logic synthesis and optimisation using Reed-Muller expansions (1995)
Thesis
McKenzie, L. M. Logic synthesis and optimisation using Reed-Muller expansions. (Thesis). Edinburgh Napier University. http://researchrepository.napier.ac.uk/id/eprint/4276

This thesis presents techniques and algorithms which may be employed to represent, generate and optimise particular categories of Exclusive-OR SumOf-Products (ESOP) forms. The work documented herein concentrates on two types of Reed-Muller (RM) expre... Read More about Logic synthesis and optimisation using Reed-Muller expansions.