Knowledge discovery in temporal databases: the initial step (1995)
Presentation / Conference
Saraee, M., & Theodoulidis, B. (1995, December). Knowledge discovery in temporal databases: the initial step. Presented at KDOOD/TDOOD 1995, Singapore

Review of heuristics for generalisation (1995)
Journal Article
Vadera, S. (1995). Review of heuristics for generalisation. Software engineering journal, 10(4), 118-123

Proof by induction plays a central role in showing that recursive programs satisfy their specification. Sometimes a key step is to generalise a lemma so that its inductive proof is easier. Existing heuristics for generalisation for induction are... Read More about Review of heuristics for generalisation.

Ultrabroad-bandwidth multifrequency Raman soliton pulse trains (1995)
Journal Article
McDonald, G. (1995). Ultrabroad-bandwidth multifrequency Raman soliton pulse trains. Optics Letters, 20(8), 822-824. https://doi.org/10.1364/OL.20.000822

I have discovered that in the coherent regime of ultrabroad-bandwidth Raman generation, a large number of long-lived soliton pulse trains are spontaneously generated. This novel solution of the dispersionless and highly transient regime, involving mo... Read More about Ultrabroad-bandwidth multifrequency Raman soliton pulse trains.

DataMariner, a commercially available data mining package, and its application to a chemistry domain (1995)
Presentation / Conference
Bryant, C., Adam, A., Taylor, D., Conroy, G., & Rowe, R. (1995, March). DataMariner, a commercially available data mining package, and its application to a chemistry domain. Presented at Data Mining, London, UK

Discovering knowledge hidden in a chemical database using a commercially available data mining tool (1995)
Presentation / Conference
Bryant, C., Adam, A., Taylor, D., Conroy, G., & Rowe, R. (1995, February). Discovering knowledge hidden in a chemical database using a commercially available data mining tool. Presented at IEE Colloquium on Knowledge Discovery in Databases, London, UK

Describes DataMariner, a commercially available tool that is designed to facilitate the discovery of knowledge hidden in databases. The potential of the tool for scientific applications is illustrated via a case study. This is both the first applicat... Read More about Discovering knowledge hidden in a chemical database using a commercially available data mining tool.

Knowledge discovery in temporal databases (1995)
Presentation / Conference
Saraee, M., & Theodoulidis, B. (1995, February). Knowledge discovery in temporal databases. Presented at IEE Colloquium on Knowledge Discovery in Databases, London, UK

Knowledge discovery in databases is the process of applying statistical, machine learning and other techniques to conventional database systems. Our survey in knowledge discovery systems has indicated that up to date there is no knowledge discovery s... Read More about Knowledge discovery in temporal databases.

Proof by analogy in mural (1995)
Journal Article
Vadera, S. (1995). Proof by analogy in mural. Formal Aspects of Computing, 7(2), 183-206. https://doi.org/10.1007/BF01211605

One of the most important advantages of using a formal method of developing software is that one can prove that development steps are correct with respect to their specification. Conducting proofs by hand, however,can be time consuming to the ex... Read More about Proof by analogy in mural.

TheMD shell and its use to develop Dust-Expert(TM) (1995)
Journal Article
Vadera, S., & Nechab, S. (1995). TheMD shell and its use to develop Dust-Expert(TM). Expert Systems, 12(3), 231-237. https://doi.org/10.1111/j.1468-0394.1995.tb00112.x

In this paper we describe TheMD (The Methods Designer) shell and its use in the development of an expert system, known as Dust-Expert, for the relief of dust explosions. We begin by providing the motivation for the development of TheMD Shell by evalu... Read More about TheMD shell and its use to develop Dust-Expert(TM).

Ferritin - A model superparamagnet (1995)
Journal Article
Kilcoyne, S., & Cywinski, R. (1995). Ferritin - A model superparamagnet. Journal of Magnetism and Magnetic Materials, 140, 1466-1467. https://doi.org/10.1016/0304-8853%2894%2900626-1

It is shown that ferritin follows N6el-Arrhenius behavior over eight orders of magnitude in frequency. A pre-exponential relaxation time of % ~ 10-Us and an anisotropy energy of Ea/k B = 318 K are obtained. A net core moment of 300g B, in agreement... Read More about Ferritin - A model superparamagnet.

The optimization of profiled diffusers (1995)
Journal Article
Cox, T. (1995). The optimization of profiled diffusers. ˜The œJournal of the Acoustical Society of America (Online), 97(5), 2928-2936. https://doi.org/10.1121/1.412972

Methods have been developed to produce profiled diffusers that create a large amount of diffusion. The methods are iterative and required the development of a new parameter to measure diffusion. Achieving scattering independent of angle has been atte... Read More about The optimization of profiled diffusers.

Heat transfer analysis of components of construction exposed to fire (1995)
Thesis
Wang, H. Heat transfer analysis of components of construction exposed to fire. (Thesis). University of Salford

This thesis describes a theoretical, numerical and experimental heat transfer study of components of construction exposed to fire. Within the computational aspects of the work, one and two-dimensional finite difference and finite element methods h... Read More about Heat transfer analysis of components of construction exposed to fire.