Design rational for semi-automated theorem provers. (1998)
Journal Article
Lowe, H., Jackson, M., & Benyon, D. (1998). Design rational for semi-automated theorem provers. Formal Aspects of Computing,

Exact Algebraic Pole-Zero cancellation using Symbolic Mathematical Computation. (1998)
Presentation / Conference Contribution
Larcombe, P., Woodham, C. A., & Brown, I. C. (1998, September). Exact Algebraic Pole-Zero cancellation using Symbolic Mathematical Computation. Presented at Control '98. UKACC International Conference on (Conf. Publ. No. 455)

Modern symbolic computational systems which perform automated manipulation of mathematical variables offer insights during modelling and problem solving which remain otherwise partially or wholly obscured to the analyst. The classic inverted pendulum... Read More about Exact Algebraic Pole-Zero cancellation using Symbolic Mathematical Computation..

Training and Adaption of a Neuro-Fuzzy System for Navigation in an Unknown Environment (1998)
Presentation / Conference Contribution
Nefti, S., Soufian, M., Pontnau, J., & Soufian, M. (1998, July). Training and Adaption of a Neuro-Fuzzy System for Navigation in an Unknown Environment. Presented at Recent Advances in Soft Computing

No abstract available.

The Effect of a Dynamical Layer in Neural Network Prediction of Biomass in a Fermentation Process (1998)
Presentation / Conference Contribution
Soufian, M., Soufian, M., & Dempsey, M. (1998, June). The Effect of a Dynamical Layer in Neural Network Prediction of Biomass in a Fermentation Process. Presented at The 11th international conference on Industrial and engineering applications of artificial intelligence and expert systems: methodology and tools in knowledge-based systems

In this paper, computational intelligence has been considered as a tool (software sensor) for state-estimation and prediction of biomass concentration in a simulated fermentation process. Two different paradigms of an artificial neural networks have... Read More about The Effect of a Dynamical Layer in Neural Network Prediction of Biomass in a Fermentation Process.

A vector Chebysev algorithm. (1998)
Journal Article
Roberts, D. (1998). A vector Chebysev algorithm. Numerical Algorithms, 17(1/2), 33-50. https://doi.org/10.1023/A%3A1011633327892

We consider polynomials orthogonal relative to a sequence of vectors and derive their recurrence relations within the framework of Clifford algebras. We state sufficient conditions for the existence of a system of such polynomials. The coefficients i... Read More about A vector Chebysev algorithm..

On a vector q-d algorithm. (1998)
Journal Article
Roberts, D. (1998). On a vector q-d algorithm. Advances in computational mathematics, 8(3), 193-219. https://doi.org/10.1023/A%3A1018944213562

Using the framework provided by Clifford algebras, we consider a noncommutative quotient-difference algorithm for obtaining the elements of a continued fraction corresponding to a given vector-valued power series. We
demonstrate that these elements... Read More about On a vector q-d algorithm..