Skip to main content

Research Repository

Advanced Search

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.

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.

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.