Skip to main content

Research Repository

Advanced Search

All Outputs (2326)

A Relational Derivation of a Functional Program (1992)
Presentation / Conference Contribution
Hutton, G. A Relational Derivation of a Functional Program. Presented at Proceedings of the STOP Summer School on Constructive Algorithmics

This article is an introduction to the use of relational calculi in deriving programs. Using the relational caluclus Ruby, we derive a functional program that adds one bit to a binary number to give a new binary number. The resulting program is uns... Read More about A Relational Derivation of a Functional Program.

Making Functionality More General (1992)
Presentation / Conference Contribution
Hutton, G., & Voermans, E. Making Functionality More General. Presented at Proceedings of the 1991 Glasgow Workshop on Functional Programming

The definition for the notion of a "function" is not cast in stone, but depends upon what we adopt as types in our language. With partial equivalence relations (pers) as types in a relational language, we show that the functional relations are preci... Read More about Making Functionality More General.

Functional Programming With Relations (1991)
Presentation / Conference Contribution
Hutton, G. Functional Programming With Relations. Presented at Proceedings of the 1990 Glasgow Workshop on Functional Programming

While programming in a relational framework has much to offer over the functional style in terms of expressiveness, computing with relations is less efficient, and more semantically troublesome. In this paper we propose a novel blend of the function... Read More about Functional Programming With Relations.

`Electronic Publishing' -- Practice and Experience (1990)
Presentation / Conference Contribution
Brailsford, D. F., Evans, D. R., & Granger, G. `Electronic Publishing' -- Practice and Experience. Presented at International Conference on Electronic Publishing, Document Manipulation and Typography (EP90)

Electronic Publishing -- Origination, Dissemination and Design (EP-odd) is an academic journal which publishes refereed papers in the subject area of electronic publishing. The authors of the present paper are, respectively, editor-in-chief, system s... Read More about `Electronic Publishing' -- Practice and Experience.

Electronic Publishing -- a Journal and its Production (1989)
Journal Article
Brailsford, D. F., & Beach, R. (1989). Electronic Publishing -- a Journal and its Production. https://doi.org/10.1093/comjnl/32.6.482

The use of the term "Electronic Publishing" transcends any notions of the paperless office and of a purely electronic transfer and dissemination of information over networks. It now encompasses all computer-assisted methods for the production of d... Read More about Electronic Publishing -- a Journal and its Production.

On the noise immunity and legibility of Lucida fonts (1989)
Presentation / Conference Contribution
Bowden, P. R., & Brailsford, D. F. On the noise immunity and legibility of Lucida fonts. Presented at Raster Imaging and Digital Typography (RIDT 89)

Modern digital typography often has to contend with output devices such as workstation screens and laser-printers which have a much lower resolution than metal type or phototypesetter machines. In this paper we present results of some legibility inve... Read More about On the noise immunity and legibility of Lucida fonts.

The MUSE Machine -- an Architecture for Structured Data Flow Computation (1985)
Journal Article
Brailsford, D. F., & Duckworth, R. J. (1985). The MUSE Machine -- an Architecture for Structured Data Flow Computation. New Generation Computing, 3(2),

Computers employing some degree of data flow organisation are now well established as providing a possible vehicle for concurrent computation. Although data-driven computation frees the architecture from the constraints of the single program counter,... Read More about The MUSE Machine -- an Architecture for Structured Data Flow Computation.

In-house Preparation of Examination Papers using troff, tbl, and eqn. (1984)
Presentation / Conference Contribution
Brailsford, D. F. In-house Preparation of Examination Papers using troff, tbl, and eqn. Presented at Protext I International Conference/Workshop on Text Processing Systems

Starting in December 1982 the University of Nottingham decided to phototypeset almost all of its examination papers `in house' using the troff, tbl and eqn programs running under UNIX. This tutorial lecture highlights the features of the three progra... Read More about In-house Preparation of Examination Papers using troff, tbl, and eqn..

Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP (1977)
Presentation / Conference Contribution
Brailsford, D. F., Foxley, E., Mander, K. C., & Morgan, D. J. Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP. Presented at 1977 Algol 68 Conference: ACM SIGPLAN Notices

Information concerning the run-time behaviour of programs ("program profiling") can be of the greatest assistance in improving program efficiency. Two software devices have been developed for use on
ICL 1900 Series machines to provide such informati... Read More about Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP.

Algol 68 Dialect Conversion -- a Syntactic Approach (1976)
Presentation / Conference Contribution
Brailsford, D. F., & Knott, R. D. Algol 68 Dialect Conversion -- a Syntactic Approach. Presented at Applications of Algol 68

A syntax directed package for converting Revised Algol 68 programs into Algol 68-R form, (where possible) is being developed at Nottingham. The package makes use of J.M. Foster's Syntax Improving Device (SID) [1]. The experience gained has underlined... Read More about Algol 68 Dialect Conversion -- a Syntactic Approach.

Floating s- and p-type Gaussian Orbitals (1975)
Journal Article
Brailsford, D. F., Hall, G. G., Hemming, N., & Martin, D. (1975). Floating s- and p-type Gaussian Orbitals. Chemical Physics Letters, 35(4), https://doi.org/10.1016/0009-2614%2875%2985638-7

The advantages of including a small number of p-type gaussian functions in a floating spherical gaussian orbital calculation are pointed out and illustrated by calculations on molecules which previously have proved to be troublesome. These include mo... Read More about Floating s- and p-type Gaussian Orbitals.

Approximate ab initio calculations and the method of molecular fragments (1975)
Presentation / Conference Contribution
Brailsford, D. F. Approximate ab initio calculations and the method of molecular fragments. Presented at Quantum Chemistry - The State of the Art

A two stage approach to performing ab initio calculations on medium and large sized molecules is described. The first step is to perform SCF calculations on small molecules or molecular fragments using the OPIT Program. This employs a small basis set... Read More about Approximate ab initio calculations and the method of molecular fragments.

Fast assembly of fock matrices utilising symmetry properties of the basis set (1973)
Journal Article
Brailsford, D. F., & Hylton, J. (1973). Fast assembly of fock matrices utilising symmetry properties of the basis set. Chemical Physics Letters, 18(4), https://doi.org/10.1016/0009-2614%2873%2980475-0

A method of assembling the elements of the Fock matrix is described which is a modification of that due to Dacre. Lists of symmetry equivalent one-electron integrals are used as pointers to abbreviate the process of collecting two-electron integrals... Read More about Fast assembly of fock matrices utilising symmetry properties of the basis set.

The OPIT system part I. (1973)
Journal Article
Packer, J. C., & Brailsford, D. F. (1973). The OPIT system part I. Computer Physics Communications, 5,

The OPIT program is briefly described. OPIT is a basis-set-optimising, self-consistent field, molecular orbital program for calculating properties of closed-shell ground states of atoms and molecules. A file handling technique is then put forward whi... Read More about The OPIT system part I..

Symmetry properties of one- and two- electron molecular integrals (1971)
Journal Article
Brailsford, D. F., & Hall, G. G. (1971). Symmetry properties of one- and two- electron molecular integrals. International Journal of Quantum Chemistry, V,

The maximum numbers of distinct one- and two-electron integrals that arise in calculating the electronic energy of a molecule are discussed. It is shown that these may be calculated easily using the character table of the symmetry group of the set of... Read More about Symmetry properties of one- and two- electron molecular integrals.

Electric field strengths and ion trajectories in sharp-edge field ionization sources (1970)
Journal Article
Brailsford, D. F. (1970). Electric field strengths and ion trajectories in sharp-edge field ionization sources. Journal of Physics D: Applied Physics, 3,

On the presumption that a sharp edge may be represented by a hyperbola, a conformal transformation method is used to derive electric field equations for a sharp edge suspended above a flat plate. A further transformation is then introduced to give el... Read More about Electric field strengths and ion trajectories in sharp-edge field ionization sources.

Calculated ionization potentials of the linear alkanes (1970)
Journal Article
Brailsford, D. F., & Ford, B. (1970). Calculated ionization potentials of the linear alkanes. Molecular Physics, 18(5),

The equivalent orbital (EO) method is investigated and used for predicting outer and inner ionization potentials of the linear alkanes. The calculated ionization potentials are in good agreement with those observed in photoelectron spectra provided t... Read More about Calculated ionization potentials of the linear alkanes.

Experimental investigation of the use of sharp edges for the production of positive ions in field-ionization mass spectrometry (1968)
Journal Article
Blenkinsop, P., Job, B., Brailsford, D. F., Cross, C., & Robertson, A. (1968). Experimental investigation of the use of sharp edges for the production of positive ions in field-ionization mass spectrometry. International journal of mass spectrometry and ion processes, 1(6), 421-434. https://doi.org/10.1016/0020-7381%2868%2985019-3

Various commercial razor blades have been tested for field ionization performance and compared with edges prepared electrochemically from platinum and tungsten foils. The results are correlated with data obtained from electron micrographs of the vari... Read More about Experimental investigation of the use of sharp edges for the production of positive ions in field-ionization mass spectrometry.

Calculation of electric field strengths at a sharp edge (1968)
Journal Article
Brailsford, D. F., & Robertson, A. J. B. (1968). Calculation of electric field strengths at a sharp edge

Sharp edges were first used for field ionisation mass spectrometry by Beckey. Although Cross and Robertson found that etched metal foils were more effective than razor blades for field ionisation, blades are very convenient for determination of field... Read More about Calculation of electric field strengths at a sharp edge.