Up a level |

- NPL Research Areas (480)
**Mathematics and Scientific Computing**(480)- Biometrics (3)

- Modelling (153)

- Signal Processing (13)

- Software Engineering (91)

Group by: Authors | Item Type

Number of items at this level: **368**.

Abackerli, A J; Butler, B P; Cox, M G
(1999)
*Application of data fusion techniques to thermometry data.*
NPL Report.
CISE 20/99

Anthony, G T; Anthony, H M; Bittner, B*; Butler, B P; Cox, M G; Drieschner, R*; Elligsen, R*; Forbes, A B; Grob, H*; Hannaby, S A; Harris, P M; Kok, J*
(1993)
*Chebyshev best-fit geometric elements.*
NPL Report.
DITC 221/93

Anthony, G T; Bittner, B*; Butler, B P; Cox, M G; Drieschner, R*; Elligsen, R*; Forbes, A B; Gross, H*; Hannaby, S A; Harris, P M; Kok, J*
(1993)
*Chebyshev reference software for the evaluation of coordinate measuring machine data.*
Technical Report.
European Communities Commission, Luxembourg.

Ashford, S
(1993)
*Automatic test case generation using prolog.*
NPL Report.
DITC 215/93

Barker, R M
(2000)
*Software re-use: guide to METROS. (Software Support for Metrology Best Practice Guide No. 5).*
Technical Report.
NPL. UK, Teddington.

Barker, R M
(2006)
*XML for data curation.*
NPL Report.
DEM-ES 008

Barker, R M; Brady, F A
(1995)
*Experiences in the use of formal methods in the standardisation of a complex OSI protocol.*
NPL Report.
CISE 1/95

Barker, R M; Cox, M G; Forbes, A B; Harris, P M
(2007)
*Software Support for Metrology Best Practice Guide No. 4. Discrete modelling and experimental data analysis.*
NPL Report.
DEM-ES 018

Barker, R M; Cox, M G; Harris, P M; Smith, I M
(2003)
*Testing algorithms in standards and METROS.*
NPL Report.
CMSC 18/03

Barker, R M; Forbes, A B
(2001)
*Discrete model validation. (Software Support for Metrology Best Practice Guide No. 10).*
Technical Report.
NPL.

Barker, R M; Harris, P M; Parkin, G I
(2000)
*Development and testing of spreadsheet applications. (Software for Metrology Best Practice Guide No. 7).*
Technical Report.
NPL, UK, Teddington.

Barker, R M; Harris, P M; Parkin, G I
(2006)
*Software Support for Metrology Best Practice Guide No 7 - development and testing of spreadsheet applications.*
NPL Report.
DEM-ES 013

Barker, R M; Harris, P M; Wright, L
(2005)
*Software Support for Metrology - Good Practice Guide No. 16 - Testing algorithms and software.*
NPL Report.
DEM-ES 003

Barker, R M; Morgan, G*
(2000)
*Design of the metrology software environment (METROS).*
NPL Report.
CISE 43/00

Barker, R M; Morgan, G*
(2000)
*Specification of the METROS key function.*
NPL Report.
CISE 44/00

Barker, R M; Parkin, G I
(2006)
*Software Support for Metrology Good Practice Guide No. 19 - Internet-enabled metrology systems.*
NPL Report.
DEM-ES 012

Barker, R M; Parkin, G I
(2004)
*Techniques for validation of measurement software - without specialised tools.*
NPL Report.
CMSC 43/04

Barker, R M; Parkin, G I
(2003)
*Use of the Internet for calibration services - protecting the data - final report.*
NPL Report.
CMSC 28/03

Barrett, J; Dainton, M P
(2000)
*Testing spreadsheets and other packages used in Metrology.
Testing the intinsic functions of S-PLUS.*
NPL Report.
CMSC 06/00

Barrett, J; Dainton, M P
(2000)
*Testing spreadsheets and other packages used in metrology.
Testing the intrinsic functions of MathCAD.*
NPL Report.
CMSC 05/00

Bartholomew-Biggs, M L*; Forbes, A B
(1996)
*A robust search strategy in a Non-linear Least Squares Solver.*
Technical Report.
University of Hertfordshire.

Beckett, R E; Cox, M G; Dainton, M P; Harris, P M; Johnson, E G; Parkin, G I
(2004)
*Testing methods of Java libraries.*
NPL Report.
CMSC 35/04

Boudjemaa, R; Cox, M G; Forbes, A B; Harris, P M
(2003)
*Automatic differential techniques and their application in metrology.*
NPL Report.
CMSC 26/03

Boudjemaa, R; Forbes, A B
(2004)
*Parameter estimation methods in data fusion.*
NPL Report.
CMSC 38/04

Boudjemaa, R; Forbes, A B; Harris, P M; Langdell, S*
(2003)
*Multivariate empirical models and their use in metrology.*
NPL Report.
CMSC 32/03

Butler, B P
(1998)
*Report to the National Measurement System Policy Unit, DTI. Initial status report on software activity worldwide. From the UK software support for metrology programme.*
NPL Report.
CISE 17/98

Butler, B P; Cox, M G; Forbes, A B; Harris, P M; Lord, G
(1999)
*Model validation in the context of metrology: a survey.*
NPL Report.
CISE 19/99

Butler, B P; Cox, M G; Harris, P M
(1999)
*Testing spreadsheets and other packages used in Metrology. Report on discussions with other National Measurement Institutes (1998/1999).*
NPL Report.
CISE 21/99

Butler, B P; Forbes, A B; Harris, P M
(1994)
*Algorithms for geometric tolerance assessment.*
NPL Report.
DITC 228/94

Butler, B P; Forbes, A B; Kenward, P D
(1998)
*Position calibration software: Fortran implementation of algorithms to determine frame of reference from measurements of registration points.*
NPL Report.
CISE 14/98

Butler, B P; Harris, P M
(1999)
*Software Support for Metrology: interim status report on the acoustics area.*
NPL Report.
CISE 37/99

Byng, M*; Langdell, S*
(2004)
*Classification techniques and the application to metrology.*
NPL Report.
CMSC 37/04

Chapman, L; Matthews, C E; Roberts, S; Wright, L; Yang, X-S
(2010)
*Tools for Continuous Modelling Case Study 1: the laser flash experiment.*
NPL Report.
MS 4

Chorley, B J
(1999)
*Software Support for Metrology: interim status report on the time and frequency area.*
NPL Report.
CISE 36/99

Cook, H R; Cox, M G; Dainton, M P; Harris, P M
(1999)
*Testing spreadsheets and other packages used in metrology: a case study.*
NPL Report.
CISE 26/99

Cook, H R; Cox, M G; Dainton, M P; Harris, P M
(1999)
*Testing spreadsheets and other packages used in metrology: testing the intrinsic functions of Excel.*
NPL Report.
CISE 27/99

Cook, H R; Cox, M G; Dainton, M P; Harris, P M
(1999)
*A methodology for testing spreadsheets and other packages used in metrology.*
NPL Report.
CISE 25/99

Cooper, A
(1999)
*Guidance and tools for interactive web pages.*
NPL Report.
CISE 41/99

Cowen, S; Ellison, S*
(2003)
*New directions - software issues in bioinformatics: recommendations for the Software Support for Metrology programme 2004-2007.*
NPL Report.
CMSC 23/03

Cox, M G
(1999)
*Software Support for Metrology: interim status report on the software activities world-wide.*
NPL Report.
CISE 40/99

Cox, M G
(2007)
*Statistics standards to support metrology 2006-2007.*
NPL Report.
DEM-ES 025

Cox, M G
(1999)
*A discussion of approaches for determining a reference value in the analysis of key-comparison data.*
NPL Report.
CISE 42/99

Cox, M G; Dainton, M; Harris, P M; Wichmann, B
(1999)
*Survey report on testing spreadsheets and other packages used in metrology from the UK software support for metrology programme.*
NPL Report.
CISE 22/99

Cox, M G; Dainton, M P; Harris, P M
(2001)
*Software specifications for uncertainty calculation and associated statistical analysis.*
NPL Report.
CMSC 10/01

Cox, M G; Dainton, M P; Harris, P M
(2000)
*Testing functions for linear regression.*
NPL Report.
CMSC 08/00

Cox, M G; Dainton, M P; Harris, P M
(2000)
*Testing functions for the calculation of standard deviation.*
NPL Report.
CMSC 07/00

Cox, M G; Dainton, M P; Harris, P M
(2001)
*Uncertainty and statistical modelling. (Software Support for Metrology Best Practice Guide No. 6).*
Technical Report.
NPL, UK.

Cox, M G; Forbes, A B
(1999)
*Strategies for testing form assessment software.*
NPL Report.
DITC 211/92

Cox, M G; Forbes, A B; Fossati, P M; Harris, P M; Smith, I M
(2003)
*Techniques for the efficient solution of large scale calibration problems.*
NPL Report.
CMSC 25/03

Cox, M G; Forbes, A B; Harris, P M
(2007)
*Discrete modelling.(Software Support for Metrology Best Practice Guide No. 4).*
Technical Report.
NPL, UK, Teddington.

Cox, M G; Forbes, A B; Harris, P M; Peggs, G N
(1998)
*Determining CMM behaviour from measurements of standard artefacts.*
NPL Report.
CISE 15/98

Cox, M G; Forbes, A B; Harris, P M; Smith, I M
(2004)
*The classification and solution of regression problems for calibration.*
NPL Report.
CMSC 24/03

Cox, M G; Harris, P M
(2000)
*Guidelines to help users select and use software for their metrology applications.*
NPL Report.
CMSC 04/00

Cox, M G; Harris, P M
(2010)
*Software Support for Metrology Best Practice Guide No. 6. Uncertainty evaluation.*
NPL Report.
MS 6

Cox, M G; Harris, P M
(2004)
*Software specifications for uncertainty evaluation.*
NPL Report.
CMSC 40/04

Cox, M G; Harris, P M
(2006)
*Software specifications for uncertainty evaluation.*
NPL Report.
DEM-ES 010

Cox, M G; Harris, P M
(2004)
*Statistical error modelling.*
NPL Report.
CMSC 45/04

Cox, M G; Harris, P M
(2000)
*Testing spreadsheets and other packages used in metrology, report on discussions with other national measurement institutes (1999-2000).*
NPL Report.
CMSC 03/00

Cox, M G; Harris, P M
(2001)
*Testing spreadsheets and other packages used in metrology: report on discussions with other National Measurement Institutes (2000/2001).*
NPL Report.
CMSC 09/01

Cox, M G; Harris, P M; Humphreys, D A
(1993)
*An algorithm for the removal of noise and jitter in signals and its application to picosecond electrical measurement.*
NPL Report.
DITC 220/93

Cox, M G; Harris, P M; Johnson, E G; Kenward, P D; Parkin, G I
(2004)
*Testing the numerical correctness of software.*
NPL Report.
CMSC 34/04

Cox, M G; Harris, P M; Kenward, P D
(2002)
*Fixed- and free-knot univariate least-squares data approximation by polynomial splines.*
NPL Report.
CMSC 13/02

Cox, M G; Harris, P M; Kenward, P D; Smith, I M
(2004)
*Exploratory data analysis.*
NPL Report.
CMSC 47/04

Cox, M G; Harris, P M; Kenward, P D; Smith, I M
(2003)
*Extracting features from experimental data.*
NPL Report.
CMSC 22/03

Cox, M G; Harris, P M; Kenward, P D; Woolliams, E
(2003)
*Spectral characteristic modelling.*
NPL Report.
CMSC 27/03

Cox, M G; Harris, P M; Lazzari, A*
(2004)
*The applicability of non-parametric methods of statistical analysis to metrology.*
NPL Report.
CMSC 46/04

Cox, M G; Harris, P M; Milton, M J T; Woods, P T
(2002)
*Method for evaluating trends in ozone concentration data and its application to data from the UK Rural Ozone Monitoring Network.*
NPL Report.
CMSC 15/02

Cox, M G; Harris, P M; Smith, I M
(2011)
*Software for GUM supplement 1: user manual.*
NPL Report.
MS 1

Cox, M G; Michotte, C*; Pearce, A
(2007)
*Measurement modelling of the International Reference System (SIR) for gamma emitting radionuclides.*
Technical Report.
BIPM.

Cox, M G; Stevens, M J
(2004)
*International activities during the second SSfM programme, 2001 - 2004.*
NPL Report.
CMSC 36/04

Cox. M G,, ; Harris, P M
(2006)
*Software Support for Metrology Best Practice Guide No 6 - uncertainty evaluation.*
NPL Report.
DEM-ES 011

Dainton, M P
(1999)
*Software Support for Metrology: interim status report on the photonics area.*
NPL Report.
CISE 32/99

Data Security Group,
(1993)
*Standards and conformance testing in data security: Results of initial programme of investigation.*
NPL Report.
DITC 218/93

Data Security Group,
(1995)
*The final progress report on the programme: A new approach to testing of IT security.*
NPL Report.
DITC 233/95

Esward, T J; Forbes, A B; Mansfield, A J
(2003)
*New directions - future directions in mathematics and scientific computing: recommendations for the Software Support for Metrology programme 2004-2007.*
NPL Report.
CMSC 16/03

Esward, T J; Johnson, E G; Wright, L
(2004)
*Testing continuous modelling software.*
NPL Report.
CMSC 41/04

Esward, T J; Knox, S; Wright, L
(2010)
*Tools for Continuous Modelling Case Study 2: organic light-emitting diodes.*
NPL Report.
MS 5

Esward, T J; Lees, K; Sayers, D*; Wright, L
(2004)
*Testing continuous modelling software: three case studies.*
NPL Report.
CMSC 42/04

Esward, T J; Lord, G*; Wright, L
(2003)
*Model validation in continuous modelling.*
NPL Report.
CMSC 29/03

Esward, T J; Matthews, C E; Wright, L; Yang, X-S
(2010)
*Sensitivity analysis, optimisation, and sampling methods applied to continuous models.*
NPL Report.
MS 2

Esward, T J; Matthews, C E; Wright, L; Yang, X-S
(2010)
*Sensitivity analysis, optimisation, and sampling methods applied to continuous models: three test problems.*
NPL Report.
MS 3

Esward, T J; McCormick, N J; Lawrence, K M; Stevens, M J
(2007)
*Software Support for Metrology - Good Practice Guide No.17. Distributed computing for metrology applications.*
NPL Report.
DEM-ES 006

Esward, T J; Wright, L
(2007)
*Deriving uncertainties when using simulation in metrology.*
NPL Report.
DEM-ES 017

Esward, T J; Wright, L
(2003)
*Guide to the use of finite element and finite difference software.*
NPL Report.
CMSC 30/03

Esward, T J; Wright, L
(2007)
*Software Support for Metrology - Good Practice Guide No. 15 - Continuous modelling.*
NPL Report.
DEM-ES 026

Forbes, A B
(1999)
*Geometric tolerance assessment.*
NPL Report.
DITC 210/92

Forbes, A B
(1991)
*Least-squares best-fit geometric elements.*
NPL Report.
DITC 140/89

Forbes, A B
(1999)
*Software support for metrology: Interim status report on the length area.*
NPL Report.
CISE 29/99

Forbes, A B
(1994)
*Validation of software for dimensional metrology.*
NPL Report.
DITC 225/94

Forbes, A B; Harris, P M
(2000)
*Simulated instruments and uncertainty estimation.*
NPL Report.
CMSC 01/00

Forbes, A B; Harris, P M
(1995)
*A comparison of methods used for the calculation of effective area in the calibration of pressure balances.*
NPL Report.
CISE 2/95

Gardner, S C
(2005)
*Software Support for Metrology Good Practice Guide No. 14 - guidance and tools for interactive web pages.*
NPL Report.
DEM-ES 002

Gilby, J*; Walton, J*; Esward, T J; Harris, P M; Wright, L
(2006)
*Software Support for Metrology good practice guide No.13: data visualisation.*
NPL Report.
DEM-ES 009

Goodman, T M; Rayner, D
(1999)
*Software Support for Metrology: interim status report on the optical radiation area.*
NPL Report.
CISE 33/99

Goulding, J*
(2003)
*New directions- the status of mathematics and software in legal metrology: recommendations for the Software Support for Metrology programme 2004-2007.*
NPL Report.
CMSC 19/03

Gélat, P N; Esward, T J; Wright, P S
(2003)
*New directions - digital signal processing: recommendations for the Software Support for Metrology programme 2004-2007.*
NPL Report.
CMSC 17/03

Hannaby, S A
(1997)
*The solution of ordinary differential equations arising from stress transfer mechanics of general symmetric laminates.*
NPL Report.
CISE 13/97

Hannaby, S A
(1993)
*The solution of ordinary differential equations arising from stress transfer mechanics.*
NPL Report.
DITC 223/93

Hardcastle, W A; Ellison, S L R*; Rayner, D
(1999)
*Software Support for Metrology: interim status report on the valid analytical measurements area.*
NPL Report.
CISE 39/99

Harris, P M
(1999)
*Software Support for Metrology: interim status report for the mass area.*
NPL Report.
CISE 30/99

Harris, P M
(1999)
*Software Support for Metrology: interim status report on the electrical area.*
NPL Report.
CISE 31/99

Harris, P M
(2015)
*Traceability for computationally-intensive metrology: benchmark reference pairs for measurement uncertainty evaluation.*
NPL Report.
MS 17

Harris, P M
(2015)
*Traceability for computationally-intensive metrology: benchmark reference pairs for principal components analysis.*
NPL Report.
MS 18

Harris, P M; Cox, M G; Smith, I M
(2010)
*Software specifications for uncertainty evaluation.*
NPL Report.
MS 7

Harris, P M; Hayman, G; Robinson, S P; Smith, I M
(2010)
*Uncertainty evaluation for the calibration of an underwater acoustic transducer by the method of free-field reciprocity.*
NPL Report.
MS 9

Harris, P M; Leach, R K; Giusca, C
(2010)
*Uncertainty evaluation for the calculation of a surface texture parameter in the profile case.*
NPL Report.
MS 8

Harris, P M; Lines, K J; Smith, I M
(2006)
*Testing the numerical correctness of software.*
NPL Report.
DEM-ES 004

Harris, P M; Lord, G J; Smith, I M; Robinson, S P
(2001)
*The application of wavelets and other techniques to the calibration of underwater electroacoustic transducers in reverberant laboratory tanks.*
NPL Report.
CMSC 11/01

Harris, P M; Parkin, G I; Stevens, M J
(2007)
*Best practice in software development - a case study illustrated by the softgauges project.*
NPL Report.
DEM-ES 022

Harris, P M; Smith, I M
(2011)
*Software for GUM supplement 2: user manual.*
NPL Report.
MS 13

Harris, P M; Smith, I M
(2015)
*Software for calculating areal surface texture function and feature parameters: User manual.*
NPL Report.
ENG 56

Harris, P M; Smith, I M
(2004)
*Testing algorithms for free-knot spline approximation.*
NPL Report.
CMSC 48/04

Harry, A
(1995)
*Z and RAISE: A case study and comparison.*
NPL Report.
DITC 230/95

Hehir, S
(1995)
*A security target for the X.435 protocol.*
NPL Report.
CISE 3/95

Hehir, S*
(1996)
*Secure-EDI workshop report.*
NPL Report.
CISE 7/96

Hehir, S*
(1995)
*Test suite structure and test purposes for the security features of the X.435 protocol.*
NPL Report.
CISE 6/95

Ives, D J; Parkin, G I; Smith, J; Stevens, M; Taylor, J A F; Wicks, M C
(2004)
*Use of Internet by calibration services: demonstration of technology.*
NPL Report.
CMSC 49/04

Kelly, G
(1997)
*Formal specification in VDM-SL of the secure EDIFACT reference implementation.*
NPL Report.
CISE 12/97

Kelly, G
(2001)
*Links to the INTErSECT Faraday Partnership - 3rd annual report from software support for metrology programme.*
NPL Report.
CMSC 12/01

Lampard, R
(1995)
*Security target and test purposes for EDIFACT.*
NPL Report.
CISE 5/95

Lampard, R
(1993)
*The requirements for a methodology to test secure open systems.*
NPL Report.
DITC 222/93

Lau, E; Livina, V N
(2015)
*Carbon savings of demand side response of a UK energy aggregator.*
NPL Report.
MS 19

Lines, K J; Onakunle, F O; Smith, I M
(2007)
*Testing functions for calculating the discrete Fourier transform and its inverse.*
NPL Report.
DEM-ES 016

Lord, G J
(1999)
*Software Support for Metrology: interim status report on the ionising radiation area.*
NPL Report.
CISE 34/99

Lord, G J
(1999)
*Software support for metrology. Interim status report on the thermal area.*
NPL Report.
CISE 35/99

Lord, G J; Pardo-Iguzquiza, E; Smith, I M
(2000)
*A practical guide to wavelets for metrology.*
NPL Report.
CMSC 02/00

Lord, G J; Wright, L
(2003)
*Uncertainty evaluation in continuous modelling.*
NPL Report.
CMSC 31/03

Lovering, A
(1995)
*Formal methods, structured techniques, and security - A unified methodology.*
NPL Report.
DITC 235/95

Lovering, A
(1993)
*Issues in using formal methods for specifying security systems.*
NPL Report.
DITC 224/93

Macleod, M
(1992)
*An introduction to usability evaluation.*
NPL Report.
DITC 202/92

Manning, R; Szczygiel, B; Harry, A
(1993)
*Testability of data security standards.*
NPL Report.
DITC 217/93

Mansfield, A J; Wayman, J L*
(2002)
*Best practices in testing and reporting performance of biometric devices.*
NPL Report.
CMSC 14/02

Matthews, C E; Esward, T J
(2013)
*Simulation of complex, modern, computer-based measuring systems for evaluation of measurement uncertainty: case study in digital imaging and uncertainty analysis.*
NPL Report.
MS 16

Mukherjee, P*; Wichmann, B
(1993)
*STV: a case study of the use of VDM.*
NPL Report.
DITC 219/93

Paton, R*
(1999)
*Software support for metrology interim status report on the flow area.*
NPL Report.
CISE 38/99

Pointer, M R
(2003)
*New directions - soft metrology requirements for support from mathematics, statistics and software: recommendations for the Software Support for Metrology programme 2004-2007.*
NPL Report.
CMSC 20/03

Rayner, D
(1999)
*Interim status report on the foundation metrology area from the Software Support for Metrology Programme.*
NPL Report.
CISE 28/99

Rayner, D
(1999)
*Report to the National Measurement System Policy Unit, DTI. Initial report on status of software and mathematics in each metrology area from the software support for metrology programme.*
NPL Report.
CISE 18/99

Rayner, D
(2003)
*Survey of international activities in Internet-enabled metrology.*
NPL Report.
CMSC 21/03

Smith, I M
(2010)
*Software for determining polynomial calibration functions by generalised least squares: user manual.*
NPL Report.
MS 11

Szczygiel, B
(1995)
*Issues in secure Electronic Data Interchange (EDI).*
NPL Report.
CISE 4/95

Szczygiel, B
(1995)
*The results of the new approach consultation exercise.*
NPL Report.
DITC 234/95

Szczygiel, B; Harry, A
(1993)
*Security clauses in the writing and analysis of standards.*
NPL Report.
DITC 216/93

Szczygiel, B; Kelly, G P*
(1996)
*Further issues in EDI security.*
NPL Report.
CISE 10/96

Szczygiel, B; Lampard, R
(1995)
*A strict conformance test suite for ISO/IEC 9798-4.*
NPL Report.
DITC 231/95

Szczygiel, B; Lampard, R; Barker, R M
(1995)
*The application of quality assurance procedures to security evaluation.*
NPL Report.
DITC 236/95

Thomas, C; Daly-Jones, O; Harry, A
(1997)
*Human factors in measurement and calibrations.*
Measurement Good Practice Guide.
8

Wichmann, B
(1998)
*Objective test criteria, some proposals for bespoke software.*
NPL Report.
CISE 16/98

Wichmann, B
(1993)
*PostScript - A study in conformity.*
NPL Report.
DITC 214/93

Wichmann, B
(1997)
*Software in scientific computing.*
Measurement Good Practice Guide.
5

Wichmann, B
(1994)
*Strategy on the use of SPARK.*
NPL Report.
DITC 227/94

Wichmann, B
(1997)
*Testing Ada fixed point operations.*
NPL Report.
CISE 11/97

Wichmann, B A; Barker, R M; Cox, M G; Harris, P M
(2000)
*Measurement systems validation: validation of measurement software. (Software Support for Metrology Best Practice Guide No. 1).*
Technical Report.
NPL, UK, Teddington.

Wichmann, B*; Parkin, G I; Barker, R M
(2007)
*Validation of software in measurement systems (Software for Metrology Best Practice Guide No. 1).*
NPL Report.
DEM-ES 014

Wright, L
(2007)
*An Introduction to the parallel coordinate technique applied to measurement data.*
NPL Report.
DEM-ES 015

Wright, L
(2007)
*Testing automatic mesh generation software.*
NPL Report.
DEM-ES 021

Wright, L
(2004)
*Visualisation, uncertainties and continuous modelling.*
NPL Report.
CMSC 39/04

Wright, L; Turnbull, A
(2015)
*FE analysis of stress and strain localisation associated with microtopographical features in corrosion pits.*
NPL Report.
MAT 78

Wright, L; Yang, X-S
(2012)
*Finite element optimisation and uncertainty toolbox test results.*
NPL Report.
MS 15

Adamatzky, A*; Yang, X-S; Zhao, Y-X*
(2013)
*Slime mould imitates transport networks in China.*
Int. J. Intell. Comput. Cyber., 6 (3).
pp. 232-251.

Allard, A*; Fischer, N*; Ebrard, G*; Hay, B*; Harris, P M; Wright, L; Rochais, D*; Mattout, J*
(2016)
*A multi-thermogram-based Bayesian model for the determination of the thermal diffusivity of a material.*
Metrologia, 53 (1).
S1-S9.

Anderson, I J*; Cox, M G; Mason, J C*
(1993)
*Tensor-product spline interpolation to data on or near a family of lines.*
Numer. Algorithms, 5 (1-4).
pp. 193-204.

Barker, R M; Wichmann, B
(2000)
*Guidance for accredited laboratories on the use of computers.*
Accreditation and Quality Assurance, 5 (7).
pp. 287-288.

Bartholomew-Biggs, M L*; Forbes, A B
(2000)
*A robust search strategy in a Non-linear Least Squares Solver.*
J. Optim. Theory Appl., 104 (1).
pp. 215-234.

Bevan, N
(1995)
*Human-computer interaction standards.*
Advances in Human Factors Ergonomics, 20B.
pp. 885-890.

Bevan, N
(1997)
*Usability Issues in web site design.*
Advances in Human Factors Ergonomics, 21B.
pp. 803-806.

Bevan, N
(1995)
*Usability is quality of use.*
Advances in Human Factors Ergonomics, 20B.
pp. 349-354.

Bevan, N; Macleod, M
(1994)
*Usability measurement in context.*
Behav. Inf. Technol., 13 (1-2).
pp. 132-145.

Bhansali, P V*; Burns, A*; Carre, B*; Craigen, D*; Johnson, N*; Michell, S*; Motet, G*; Romanski, G*; Saaltink, M*; Rowlands, G*; Tacy, A*; Thornley, J P*; Tombs, D*; Vardanega, T*; Wichmann, B
(1998)
*Guidance for the use of the Ada programming language in high integrity systems.*
Ada Letters, 18 (4).
pp. 47-94.

Bich, W*; Cox, M G; Dybkaer, R*; Elster, C*; Estler, W T*; Hibbert, B*; Imai, H*; Kool, W*; Michotte, C*; Nielsen, L*; Pendrill, L*; Sidney, S*; van der Veen, A M H*; Woumlger, W*
(2012)
*The revision of the 'Guide to the expression of uncertainty in measurement'.*
Metrologia, 49 (6).
pp. 702-705.

Bich, W*; Cox, M G; Harris, P M
(2006)
*Evolution of the 'Guide to the Expression of Uncertainty in Measurement'.*
Metrologia, 43.
S161-S166

Bich, W*; Cox, M G; Harris, P M
(1994)
*Uncertainty modelling in mass comparisons.*
Metrologia, 30 (5).
pp. 495-502.

Bich, W*; Cox, M G; Michotte, C*
(2016)
*Towards a new GUM - an update.*
Metrologia, 53 (5).
S149-S159

Bochman, G V*; Rayner, D; West, C H*
(2010)
*Some notes on the history of protocol engineering.*
Comput. Networks, 54 (18).
pp. 3197-3209.

Bogdanov, A*; Mysovsky, A*; Pickard, C J*; Kimmel, A V
(2016)
*Modelling the structure of Zr-rich Pb(Zr1-xTix)0-3, x=0.4 by a multiphase approach.*
Phys. Chem. Chem. Phys., 18 (40).
pp. 28316-28324.

Butler, B P; Forbes, A B
(1993)
*An algorithm for combining data sets having different frames of reference.*
Numer. Algorithms, 5 (1-4).
pp. 467-477.

Butler, B P; Thomas, G P*
(1993)
*The diffraction of water waves by an array of circular cylinders in a channel.*
Ocean Eng., 20 (3).
pp. 295-311.

Chretien, S; Corset, F*
(2016)
*A lower bound on the expected optimal value of certain random linear programs and application to shortest paths in directed acyclic graphs and reliability.*
Statistics & Probability Letters, 117.
pp. 221-230.

Chretien, S; Guyeux, C*; Conesa, B*; Delage-Mouroux, R*; Jouvenot, M*; Huetz, P*; Descotes, F*
(2016)
*A Bregman-proximal point algorithm for robust non-negative matrix factorization with possible missing values and outlines- application to gene expression analysis.*
BMC Bioinformatics, 17 (8).
p. 284.

Clarke, TA*; Forbes, A B
(2001)
*How to tell if your large volume measurement system is suitable for a given task.*
Qual. Today (Septem).
pp. 24-27.

Clarkson, P; Esward, T J; Harris, P M; Smith, A A*; Smith, I M
(2010)
*Software simulation of a lock-in amplifier with application to the evaluation of uncertainties in real measuring systems.*
Meas. Sci. Technol., 21 (4).
045106

Collett, M; Esward, T J; Harris, P M; Matthews, C E; Smith, I M
(2013)
*Simulating distributed measurement networks in which sensors may be faulty, noisy and interdependent: a software tool for sensor network design, data fusion and uncertainty evaluation.*
Measurement, 46 (8).
pp. 2647-2660.

Collett, M A; Matthews, C E; Esward, T J; Whibberley, P B
(2010)
*Measurement and simulation of clock errors from resource-constrained embedded systems.*
Meas. Sci. Technol., 21 (7).
075203

Collett, M A*; Cox, M G; Esward, T J; Harris, P M; Sousa, J A*
(2007)
*Aggregating measurement data influenced by common effects.*
Metrologia, 44 (5).
pp. 308-318.

Coman, C D; Bassom, A P*
(2016)
*Singularities and wrinkling: the case of a concentrated force.*
Int. J. Eng. Sci., 106.
pp. 229-244.

Cox, M G
(2009)
*Propagation of distributions by a Monte Carlo method, with an application to ratio models.*
Eur. Phys. J. Special Topics, 172.
pp. 153-162.

Cox, M G
(1993)
*Reliable determination of interpoling polynominals.*
Numer. Algorithms, 5 (1-4).
pp. 133-154.

Cox, M G
(2007)
*The area under a curve specified by measured values.*
Metrologia, 44 (5).
pp. 365-378.

Cox, M G
(2002)
*The evaluation of key comparison data.*
Metrologia, 39.
pp. 589-595.

Cox, M G
(2007)
*The evaluation of key comparison data: determining a largest consistent subset.*
Metrologia, 44.
pp. 187-200.

Cox, M G; Desenfant, M*; Harris, P M; Siebert, B*
(2003)
*Model-based measurement uncertainty evaluation with applications in testings.*
Accred. Qual. Assur., 8 (12).
pp. 548-554.

Cox, M G; Eio, C P; Mana, G*; Pennecchi, F*
(2006)
*The generalized weighted mean of correlated quantities.*
Metrologia, 43.
S268-S275

Cox, M G; Elster, C*; Wöger, W*
(2007)
*Draft GUM Supplement 1 and Bayesian analysis.*
Metrologia, 44.
L31-L32

Cox, M G; Forbes, A B; Harris, P M
(2007)
*Challenges for mathematical and statistical modelling for metrology.*
PAMM, 7 (1).
pp. 1150305-1150306.

Cox, M G; Forbes, A B; Harris, P M
(2013)
*Discussion of five examples of assessment and expression of measurement uncertainty by Antonio Possolo.*
Applied Stochastic Models in Business and Industry, 29 (1).
pp. 24-26.

Cox, M G; Harris, P M
(2014)
*GUM anniversary issue. Foreword.*
Metrologia, 51 (4).
S141-S143

Cox, M G; Harris, P M
(2006)
*Measurement uncertainty and traceability.*
Meas. Sci. Technol., 17 (3).
pp. 533-540.

Cox, M G; Harris, P M
(2015)
*Polynomial calibration functions revisited: numerical and statistical issues.*
Advances in Mathematics for Applied Sciences, 86.
pp. 9-16.

Cox, M G; Harris, P M
(2004)
*Technical aspects of guidelines for the evaluation of key comparison data.*
Izmeritelnaya Technika, 47 (1).
pp. 102-111.

Cox, M G; Harris, P M
(1997)
*Trust in Software.*
Laboratory Technology International.

Cox, M G; Harris, P M
(2014)
*Validating the applicability of the GUM procedure.*
Metrologia, 51 (4).
S167-S175

Cox, M G; Harris, P M
(1998)
*The design and use of reference data sets for testing scientific software.*
Anal. Chim. Acta, 380 (2-3).
pp. 339-352.

Cox, M G; Harris, P M
(2012)
*The evaluation of key comparison data using key comparison reference curves.*
Metrologia, 49 (4).
pp. 437-445.

Cox, M G; Harris, P M
(2005)
*An outline of supplement 1 to the 'Guide to the expression of uncertainty in measurement on numerical methods for the propagation of distributions'.*
Meas. Tech., 48 (4).
pp. 336-345.

Cox, M G; Harris, P M; Humphreys, D A
(1993)
*An algorithm for the removal of noise and jitter in signals and its application to picosecond electrical measurement.*
Numer. Algorithms, 5 (1-4).
pp. 491-508.

Cox, M G; Harris, P M; Siebert, B R L*
(2003)
*Evaluation of measurement uncertainty based on the propagation of distributions using Monte Carlo simulation.*
Meas. Tech., 46 (9).
pp. 824-833.

Cox, M G; Rossi, G B*; Harris, P M; Forbes, A B
(2009)
*Reply to the comment on 'A probabilistic approach to the analysis of measurement processes'.*
Metrologia, 46 (1).
L9-L10

Cox, M G; Rossi, G B*; Harris, P M; Forbes, A B
(2008)
*A probabillistic approach to the analysis of measurement processes.*
Metrologia, 45 (5).
pp. 493-502.

Cox, M G; Shirono, K*
(2017)
*Informative Bayesian Type A uncertainty evaluation for a small number of observations.*
Metrologia, 54 (5).
pp. 642-652.

Cox, M G; Siebert,B R L*,
(2006)
*The use of Monte Carlo method for evaluating uncertainty and expanded uncertainty.*
Metrologia, 43.
S178-S188

Eichstaumldt, S*; Link, A*; Harris, P M; Elster, C*
(2012)
*Efficient implementation of a Monte Carlo method for uncertainty evaluation in dynamic measurements.*
Metrologia, 49 (3).
pp. 401-410.

Eichstädt, S*; Elster, C*; Esward, T J; Hessling, J P*
(2010)
*Deconvolution filters for the analysis of dynamic measurement processes: a tutorial.*
Metrologia, 47 (5).
pp. 522-533.

Ellison, S L R*; Cox, M G; Forbes, A B; Butler, B P; Hannaby, S A; Harris, P M; Hodson, S M
(1994)
*Development of data sets for the validation of analytical instrumentation.*
J. AOAC Int., 77 (3).
p. 777.

Elster, C*; Wöger, W*; Cox, M G
(2005)
*Analysis of key comparison data: unstable travelling standards.*
Measurement, 48.
pp. 883-893.

Elster, C*; Wöger, W*; Cox, M G
(2005)
*Analysis of key comparison data: unstable travelling standards.*
Izmer. Tekh., 9.
pp. 33-39.

Eng Tseng Lau*,, ; Qingping Yang*,, ; Forbes, A B; Livina, V N
(2015)
*Application of ensemble Kalmen filter in forecasting the electricity grid carbon factor.*
Int. J. Elect. Energy, 3 (4).
pp. 209-212.

Esward, T J
(2016)
*Investigating dynamic measurement applications though modelling and simulation.*
tm - Technisches Messen, 83 (10).
pp. 557-564.

Esward, T J; Wright, L
(2015)
*Efficient updating of PDE models for metrology.*
Measurement, 79.
pp. 267-275.

Esward, T J; de Ginestous, A*; Harris, P M; Hill, I D*; Salim, S G R; Smith, I M; Wichmann, B A; Winkler, R; Woolliams, E R
(2007)
*A Monte Carlo method for uncertainty evaluation implemented on a distribution computing system.*
Metrologia, 44 (5).
pp. 319-326.

Forbes, A B
(2015)
*Empirical functions with pre-assigned correlation behaviour.*
Advances in Mathematics for Applied Sciences, 86.
pp. 17-28.

Forbes, A B
(2012)
*An MCMC algorithm based on GUM Supplement 1 for uncertainty evaluation.*
Measurement, 45 (5).
pp. 1188-1199.

Forbes, A B
(2006)
*Uncertainty evaluation associated with fitting geometric surfaces to coordinate data.*
Metrologia, 43.
S282-S290

Forbes, A B
(1993)
*Validation of assessment software in dimensional metrology.*
Proc. SPIE - Int. Soc. Opt. Eng., 2088.
pp. 27-36.

Forbes, A B
(2016)
*A hierarchical model for the analysis of inter-laboratory comparison data.*
Metrologia, 53 (6).
pp. 1295-1305.

Forbes, A B; Hughes, B; Sun, W J
(2009)
*Comparison of measurements in co-ordinate metrology.*
Measurement, 42 (10).
pp. 1473-1477.

Forbes, A B; Minh, H D
(2013)
*Design of linear calibration experiments.*
Measurement, 46 (9).
pp. 3730-3736.

Forbes, A B; Smith, I M; Hartig, F*; Wendt, K*
(2015)
*Overview of EMRP Joint Research Project NEW06 "Traceability for Computationally Intensive Metrology".*
Advances in Mathematics for Applied Sciences, 86.
pp. 164-170.

Forbes, A B; Sousa, J A*
(2011)
*The GUM, Bayesian inference and the observation and measurement equations.*
Measurement, 44 (8).
pp. 1422-1435.

Forbes, A B; Tomlins, P; Gurdak, E; Illsely, M*; James, S*; James, E*
(2010)
*Methodology for assessing local surface texture features that are relevant to cell attachment.*
J. Mater. Sci. Mater. Med., 21 (8).
pp. 2463-2477.

Gandomi, A H*; Yang, X-S
(2012)
*Evolutionary boundary constraint handling scheme.*
Neural Comput. Appl., 21 (6).
pp. 1449-1462.

Gandomi, A H*; Yang, X-S; Alavi, A H*
(2013)
*Cuckoo search algorithm: a metaheuristic approach to solve structural optimization problems.*
Eng. Comput., 29 (1).
pp. 17-35.

Gandomi, A H*; Yang, X-S; Alavi, A H*
(2013)
*Erratum to: Cuckoo algorithm: a metaheuristic approach to solve structural optimization problem.*
Eng. Comput., 29 (2).
p. 245.

Gandomi, A H*; Yang, X-S; Alavi, A H*; Talatahari, S*
(2013)
*Bat algorithm for constrained optimization tasks.*
Neural Comput. App, 22 (6).
pp. 1239-1255.

Greif, N*; Parkin, G I
(2010)
*Development of an international guide for measurement software.*
Measurement, 43 (5).
pp. 694-701.

Harris, P M; Cox, M G
(2014)
*On a monte Carlo method for measurement uncertainty evaluation and its implementation.*
Metrologia, 51 (4).
S176-S182

Harris, P M; Matthews, C E; Cox, M G; Forbes, A B
(2014)
*Summarising the output of a Monte Carlo method for uncertainty evaluation.*
Metrologia, 51 (3).
pp. 243-252.

Heidenreich, S*; Gross, H*; Bar, M*; Wright, L
(2017)
*Uncertainty progagation in computationally expensive models: a survey of sampling methods and application to scatterometry.*
Measurement, 97.
pp. 79-87.

Huntingford, C*; Jones, P D*; Livina, V N; Lenton, T M*; Cox, P M*
(2013)
*No increase in global temperature variability despite changing regional patterns.*
Nature, 500 (7462).
pp. 327-330.

Jiang, X*; Zeng, G*; Smith, I M; Scott, P*; Malétras, F-X*
(2007)
*The detection of transient behaviour in environmental vibration for the Watt balance.*
Meas. Sci. Technol., 18 (5).
pp. 1487-1494.

Jones, A; Cipcigan, F*; Sokhan, V P; Crain, J; Martyna, G J*
(2013)
*Electronically coarse-grained model for water.*
Phys. Rev. Lett., 110 (22).
227801

Jones, A P*; Craine, J*; Sokhan, V P; Whitfield, T W*; Martyna, G J*
(2013)
*Quantum Drude oscillator model of atoms and molecules: many-body polarization and dispersion interactions for atomistic simulation.*
Phys. Rev. B, 87 (14).
144103

Kacker, R N*; Forbes, A B; Kessel, R*; Sommer, K D*
(2008)
*Bayesian posterior predictive p-value of statistical consistency in interlaboratory evaluations.*
Metrologia, 45 (5).
pp. 512-523.

Kacker, R N*; Forbes, A B; Kessel, R*; Sommer, K D*
(2008)
*Classical and Bayesian interpretation of the Birge test of consistency and its generalized version for correlated results from interlaboratory evaluations.*
Metrologia, 45 (3).
pp. 257-264.

Kefi, S*; Guttal, V*; Brock, W A*; Carpenter, S R*; Ellison, A M*; Livina, V N; Seekell, D A*; Scheffer, M*; van Nes, E H*; Dakos, V*
(2014)
*Early warning signals of ecological transitions: methods for spatial patterns.*
PLOS One, 9 (3).
e92097

Kelly, G; Barker, R M; Parkin, G I; Stevens, M
(1998)
*SCT: Building testing into standards.*
Comput. Stand. Interfaces, 19 (2).
pp. 129-141.

Klauenberg, K*; Wubbeler, G*; Mickan, B*; Harris, P M; Elster, C*
(2015)
*A tutorial on Bayesian normal linear regression.*
Metrologia, 52 (6).
pp. 878-892.

Kok, G J P*; Harris, P M; Smith, I M; Forbes, A B
(2016)
*Reference data sets for testing metrology software.*
Metrologia, 53 (4).
pp. 1091-1100.

Kok, G J P*; Smith, I M
(2015)
*Approaches for assigning numerical uncertainty to reference data sets for software validation.*
Advances in Mathematics for Applied Sciences, 86.
pp. 195-202.

Kok, G J P*; van der Veen, A M H*; Harris, P M; Smith, I M; Elster, C*
(2015)
*Bayesian analysis of a flow meter calibration problem.*
Metrologia, 52 (2).
pp. 392-399.

Lau, E T*; Yang, Q*; Forbes, A B; Wright, P S; Livina, V N
(2014)
*Modelling carbon emissions in electrical systems.*
Energy Convers. Manage., 80.
pp. 573-581.

Lau, E T*; Yang, Q*; Forbes, A B; Wright, P S; Livina, V N
(2014)
*Modelling carbon emissions in electrical systems.*
Energy Convers. Manage., 80.
pp. 573-581.

Lau, E T*; Yang, Q*; Taylor, G S*; Forbes, A B; Wright, P S; Livina, V N
(2016)
*Optimisation of costs and carbon savings in relation to the economic dispatch problem as associated with power system operation.*
Electr. Power Syst. Res., 140.
pp. 173-183.

Lebecki, K M*; Kazakova, O; Gutowski, M W*
(2008)
*Micromagnetic simulations of hysteresis in an array of cobalt nanotubes.*
Physica B, 403 (2-3).
pp. 360-363.

Livina, V; Perry, M*
(2017)
*Structural health monitoring of infrastructure with sensors: from detection to prevention.*
Proc. Inst. Civil Eng. - Civil Eng., 170 (2).
p. 52.

Livina, V N; Lenton, T M*
(2013)
*A recent tipping point in the Artic sea-ice cover: abrupt and persistent increase in the seasonal cycle since 2007.*
Cryosphere, 7 (1).
pp. 275-286.

Livina, V N; Lohmann, G*; Mudelsee, M*; Lenton, T M*
(2013)
*Forecasting the underlying potential governing the time series of a dynamical system.*
Physica A, 392 (18).
pp. 3891-3902.

Livina, V N; Vaz Martins, T M*; Forbes, A B
(2015)
*Tipping point analysis of atmospheric oxygen concentration.*
Chaos: an Interdisciplinary Journal of Nonlinear Science, 25 (3).
036403

Macleod, M
(1994)
*Usability evaluation in practice.*
Interfaces - the Newsletter of the British HCI Group (A specialist group of the British Computer Society) (25).
2 - 8.

Macleod, M*; Bowden, R*; Bevan, N; Curson, I
(1997)
*The MUSiC performance measurement method.*
Behav. Inf. Technol., 16 (4-5).
pp. 279-293.

Manzin, A*; Nabaei, V*; Corte-Leon, H*; Kazakova, O; Krzysteczko, P*; Schumacher, H W*
(2014)
*Modeling of anisotropic magnetoresistance properties of permalloy nanostructures.*
IEEE Trans. Magn., 50 (4).
7100204

Martin, D*; McKenna, H*; Livina, V N
(2017)
*The human physiological impact of global deoxygenation.*
J. Physiol. Sci., 67 (1).
pp. 97-106.

Mazin, A*; Nabaei, V*; Kazakova, O
(2012)
*Modelling and optimization of submicron Hall sensors for the detection of superparamagnetic beads.*
J. Appl. Phys., 111 (7).
07E513

Minh, H D; Smith, I M; Forbes, A B
(2015)
*Determination of numerical uncertainty associated with numerical artefacts for validating coordinate metrology software.*
Advances in Mathematics for Applied Sciences, 86.
pp. 273-278.

Muelaner, J E*; Wang, Z*; Jamshidi, I*; Maropoulos, P G*; Mileham, A R*; Hughes, E B*; Forbes, A B
(2009)
*Study of the uncertainty of angle measurement for a rotary-laser automatic theodolite (R-LAT).*
Proc. Inst. Mech. Eng. B, J. Eng. Manuf., 223 (3).
pp. 217-229.

Nabaei, V*; Rajkumar, R K; Manzin, A*; Kazakova, O; Tzalenchuk, A
(2013)
*Optimization of Hall bar response to localized magnetic and electric fields.*
J. Appl. Phys., 113 (6).
064504

Nabaei, V*; Rajkumar, R K*; Manzin, A*; Kazakova, O; Tzalenchuk, A
(2013)
*Optimization of Hall bar response to localized magnetic and electric fields.*
J. Appl. Phys., 113 (6).
064504

Papananias, M*; Fletcher, S*; Longstaff, A P*; Forbes, A B
(2017)
*Uncertainty evaluation associated with versatile automated gauging influenced by process variations through design of experiments approach.*
Precision Eng., 49.
pp. 440-455.

Parkin, G I
(1995)
*Complex systems improved and proved.*
Electrotechnology (June/J).
10 - 11

Parkin, G I
(1993)
*Survey of formal methods in software engineering.*
Software Reliability and Metrics Club Newsletter, 11.
pp. 2-3.

Parkin, G I
(1994)
*Survey of formal methods in software engineering.*
LOTOS News, 1 (Februa).
pp. 18-20.

Parkin, G I
(1994)
*Virtual terminal and open systems testing.*
Rail Bulletin (April/).
20 - 21

Parkin, G I
(1993)
*Why are afraid of formal methods?*
Comput. Weekly (14 Oct).
p. 28.

Parkin, G I
(1994)
*The programming language standards scene, ten years on: Paper 15: Vienna Development Method Specification Language (VDM-SL).*
Comput. Stand. Interfaces, 16.
527 -530

Parkin, G I; Austin, S M
(1994)
*Overview: survey of formal methods in industry.*
IFIP Trans. C, Commun. Syst. (Netherlands), C - 22.
189 - 203

Perry, M*; Livina, V N; Niewczas, P*
(2016)
*Tipping point of cracking in reinforced concrete.*
Smart Mater. Struct., 25 (1).
015027

Ribeiro, A S*; Sousa, J A E*; Cox, M G; Forbes, A B; Matias, L C*; Martins, L L*
(2015)
*Uncertainty analysis of thermal comfort parameters.*
Int. J. Thermophysics, 36 (8).
pp. 2124-2149.

Scott, P J*; Forbes, A B
(2012)
*Mathematics for modern precision engineering.*
Philos. Trans. R. Soc. Lond. A, Math. Phys. Eng. Sci., 370 (1973).
pp. 4066-4088.

Silva Ribeiro, A*; Alves e Sousa, J*; Olivera Costa, C*; Pimenta Castro, M*; Cox, M G
(2008)
*Uncertainty evaluation and validation of a comparison methodology to perform in-house calibration of platinum resistance thermometers using a Monte Carlo method.*
Int. J. Thermophysics, 29 (3).
pp. 902-914.

Smith, N A S; Knoerzer, K*; Ramos, A M*
(2014)
*Evaluation of the differences of process variables in vertical and horizontal configurations of high pressure thermal (HPT) processing systems through numerical modelling.*
Innov. Food Sci. Emerg. Technol., 22.
pp. 51-62.

Smith, N A S; Mitchell, S L*; Ramos, A M*
(2014)
*Analysis and simplification of a mathematical model for high-pressure food processes.*
Appl. Math. Comput., 226.
pp. 20-37.

Sokhan, V P; Jones, A P*; Cipcigan, F S*; Crain, J; Martyna, G J*
(2015)
*Signature properties of water: their molecular electronic origins.*
Proc. Natl. Acad. Sci. USA, 112 (20).
pp. 6341-6346.

Sokhan, V P; Jones, A*; Cipcigan, F S*; Crain, J; Martyna, G J*
(2015)
*Molecular-scale remnants of the liquid-gas transition in supercritical polar fluids.*
Phys. Rev. Lett., 115 (11).
117801

Sokhan, V P; Quirke, N*
(2008)
*Slip coefficient in nanoscale pore flow.*
Phys. Rev. E, 78 (1).
015301

Sousa, J A*; Forbes, A B; Ribeiro, A S*; Harris, P M; Carvalho, F*; Bacelar, L*
(2013)
*The evaluation of uncertainty in mass calibration: possible approaches in a comparison study.*
J. Phys.: Conf. Ser., 459.
012033

Wayman, J L*; Possolo, A*; Mansfield, A J
(2013)
*Modern statistical and philosophical framework for uncertainty assessment in biometric performance testing.*
IET Biometrics, 2 (3).
pp. 85-96.

Wichmann, B
(1994)
*Contribution of standard programming languages to software quality.*
Softw. Eng. J., 9 (1).
pp. 3-12.

Wichmann, B
(1993)
*Document quality.*
Quality News, 19 (5).
pp. 227-228.

Wichmann, B
(1999)
*Guide for the validation of measurement software.*
IEE Colloq. Dig., 160.
5/1-5.

Wichmann, B
(1993)
*Microprocessor design faults.*
Microprocess. Microsyst., 7 (7).
pp. 399-400.

Wichmann, B
(1993)
*Programming critical systems: the Ada 9X solution.*
Comput. Bull., 5 (5).
p. 15.

Wichmann, B
(1993)
*Software certification and testing.*
IEE Colloq. Dig., 208.
7/1-7/3

Wichmann, B
(1993)
*Why are there no measurement standards for software testing?*
Comput. Stand. Interfaces, 15.
pp. 361-364.

Wichmann, B
(1995)
*Why it is difficult producing safety critical software?*
Ingenuity, 10 (May).
pp. 96-104.

Wichmann, B
(1993)
*A review of a safety-critical software standard.*

Wichmann, B; Canning, A A*; Clutterbuck, D L*; Winsborrow, L A*; Ward, N J*; Marsh, D W R*
(1995)
*An industrial perspective on static analysis.*
Softw. Eng. J., 10 (2).
69 - 75

Wright, L; Esward, T J
(2013)
*Fit for purpose models for metrology: a model selection methodology.*
J. Phys.: Conf. Ser., 459.
012039

Wubbeler, G*; Harris, P M; Cox, M G; Elster, C*
(2010)
*A two-stage procedure for determining the number of trials in the application of a Monte Carlo method for uncertainty evaluation.*
Metrologia, 47 (3).
pp. 317-324.

Yang, X S
(2012)
*Efficiency analysis of swarm intelligence and radomization techniques.*
J. Comput. Theor. Nanosci., 9 (2).
pp. 189-198.

Yang, X S
(2012)
*Special Issue on Metaheuristics and swarm intelligence in engineering and industry (Editorial).*
Int. J. Bio-inspired Comput., 4 (4).
pp. 197-199.

Yang, X-S
(2012)
*Cuckoo search for inverse problems and simulated-driven shape optimization.*
J. Comput. Methods Sci. Eng., 12 (1-2).
pp. 129-137.

Yang, X-S
(2012)
*Free lunch or no free lunch: that is not just a question?*
Int. J. Artif. Intell. Tools, 21 (3).
1240010

Yang, X-S
(2013)
*Metaheuristic algorithm for inverse problems.*
Int. Innovative Comput. Appl., 5 (2).
pp. 76-84.

Yang, X-S
(2011)
*Metaheuristic optimization: alogorithm analysis and open problems.*
Lect. Notes Comput. Sci., 6630.
pp. 21-32.

Yang, X-S; Gandomi, A H*
(2012)
*Bat algorithm: a novel approach for global engineering optimization.*
Eng. Comput., 29 (5).
pp. 464-483.

Yang, X-S; Koziel, S*; Leifsson, L*
(2011)
*Computational optimization, modelling and simulation: recent advances and overview.*
Procedia Computer Science, 4.
pp. 1230-1233.

Yang, X-S; Koziel, S*; Leifsson, L*
(2012)
*Computational optimization, modelling and simulation: smart algorithms and better models.*
Procedia Comput. Sci., 9.
pp. 852-856.

Yang, X-S; Luan, T*
(2012)
*Modelling of a pulsating heat pipe and startup asymptotics.*
Procedia Comput. Sci., 9.
pp. 784-791.

Zhang, X C*; Jiang, X Q*; Forbes, A B; Hoang, M D; Scott, P J*
(2013)
*Evaluating the form errors of spheres, cylinders and cones using the primal-dual interior point method.*
Proc. Inst. Mech. Eng. B, J. Eng. Manuf., 227 (B5).
pp. 720-725.

Anderson, I J*; Cox, M G; Forbes, A B; Mason, J C*; Turner, D A*
(1997)
*An efficient and robust algorithm for solving the foot point problem.*
In: Proc. 4th International Conference on Mathematical Methods for Curves and Surfaces, 3-8 July 1997, Lillehammer, Norway.

Barker, R M; Parkin, G I
(2005)
*Software review of a self-calibrating instrument.*
In: BEMC 2005 - British Electromagnetic Measurements Conference, 14-17 November 2005, NPL, UK.

Barker, R M; Reid, I*
(2001)
*Numerical algorithm for metrology.*
In: National Measurement Conference (NMC) 2001, 6-8 November 2001, Harrogate, UK.

Bevan, N
(1996)
*Integrating usability into the development lifecycle.*
In: International Conference on Advances in Applied Ergonomics, May 1996, Istanbul, Turkey.

Bevan, N
(1997)
*NPL usability services.*
In: Interact 97. International Conference on Human Computer Interaction, July 1997, Sydney, Australia.

Bevan, N
(1997)
*Quality in use: Incorporating human factors into the software engineering lifecycle.*
In: Proc. 3rd International Symposium and Forum on Software Engineering Standards, ISESS '97, August 1997, Walnut Creek, CA, USA.

Bevan, N; Curson, I
(1997)
*Methods for measuring usability.*
In: Interact 97 International Conference on Human-Computer Interaction, July 1997, Sydney, Australia.

Bevan, N; Curson, I
(1997)
*Planning and implementing user-centred design using ISO 13407.*
In: Proc. 6th IFIP Conference on human-computer interaction, July 1997, Sydney, Australia.

Bevan, N; Curson, I
(1997)
*Who needs usability metrics?*
In: Interact 97 International Conference on Human Computer Interaction, July 1997, Sydney, Australia.

Brennan, J K*; Crampton, A*; Jiang, X*; Leach, R K; Harris, P M
(2006)
*Propagation of uncertainty in discretely sampled surface roughness profiles.*
In: Proceedings of the International Workshop on Advanced Mathematical and Computational Tools in Metrology VII, 2006.

Butler, B P; Cox, M G; Forbes, A B; Hannaby, S A; Harris, P M
(1996)
*A methodology for testing classes of approximation and optimisation software.*
In: Proceedings of the IFIP TC2/WG2.5, 8-12 July 1996, Oxford.

Butler, B P; Forbes, A B; Harris, P M
(1993)
*Geometric tolerance assessment problems.*
In: Advanced mathematical tools in metrology: proceedings of the international workshop, 20 - 22 October 1993, Torino, Italy.

Chambers, T
(1994)
*The PEPS unified performance strategy.*
In: Proc. Performance Evaluation and Benchmarking of Parallel Systems, 2nd PEPS Workshop, 15 - 16 December 1994, University of Warwick.

Chretien, S; Harris, P M; Tawil, R*
(2016)
*Total Variation minimization for Compressed Sensing with "smoothly'' varying covariates.*
In: 19th IEEE International Conference on Computational Science and Engineering (CSE), IEEE 14th International Conference on Embedded and Ubiquitous Computing (EUC) and 15th International Symposium on Distributed Computing and Applications for Business Engine, 24-26 August 2016, Paris, France.

Clarke, T A*; Wang, X; Cross, N R; Forbes, A B; Fossati, P M
(2001)
*Performance verification for large volume metrology systems.*
In: LAMPDAMP 2001 5th International Conference on Laser Metrology and Machine Performance, 2001, Brighton, UK.

Cox, M G
(1999)
*Roundness measurement to ultra-high accuracy mathematical-modelling techniques.*
In: National Measurement Conference (NMC) 1999, 2-4 November 1999, Brighton, UK.

Cox, M G
(1993)
*Survey of numerical methods and metrology applications: discrete processes.*
In: Advanced mathematical tools in metrology: proceedings of the international workshop, 20 - 22 October 1993, Torino, Italy.

Cox, M G
(2008)
*Systematic-error modelling, with an application to permittivity measurement.*
In: 16th IMEKO TC4 Symposium - Exploring new frontiers of instrumentation and methods for electrical and electronic measurements., 22-24 September 2008, Florence, Italy.

Cox, M G
(1993)
*A classification of mathematical software for metrology.*
In: Advanced mathematical tools in metrology: proceedings of the international workshop, 20 - 22 October 1993, Torino, Italy.

Cox, M G; Dainton, M P; Harris, P M
(2001)
*Testing the numerical correctness of software for the calculation of sample standard deviation.*
In: National Measurement Conference (NMC) 2001, 6-8 November 2001, Harrogate, UK.

Cox, M G; Harris, P M; Milton, M J T; Woods, P T
(1996)
*Method for evaluating trends in ozone concentration data and its application to data from the UK Rural Ozone Monitoring Network.*
In: Advanced mathematical tools in metrology III, 25-28 September 1996, Singapore.

Cox, M G; Harris, P M; Woolliams, E R
(2005)
*Data evaluation of key comparisons involving several artefacts.*
In: Proceedings of AMCTM 2005, June 2005, Lisbon, Portugal.

Cox, M G; Siebert, B*
(2001)
*The role of Monte Carlo simulations in uncertainty evaluation.*
In: National Measurement Conference (NMC) 2001, 6-8 November 2001, Harrogate, UK.

Eio, C P; Cox, M G
(2006)
*Problems of correlation in key comparisons.*
In: CPEM 2006 Conference on Precision Electromagnetic Measurements, 9-14 July 2006, Torino, Italy.

Eng Tseng Lau*,, ; Qingping Yang*,, ; Taylor, G*; Stokes, L*; Forbes, A B; Livina, V N
(2015)
*The UK electricity demand side response: Carbon savings analysis.*
In: 12th International Conference on the European Energy Market (EEM), 19-22 May 2015, Lisbon, Portugal.

Esward, T J; Wright, L
(2001)
*Finite element optimisation for problems in acoustics.*
In: National Measurement Conference (NMC) 2001, 6-8 November 2001, Harrogate, UK.

Fister, I Jr*; Fister, I*; Brest, J*; Yang, X-S
(2012)
*Memetic firefly algorithm for combinatorial optimization.*
In: 5th International Conference on Bioinspired Optimization Methods and their Applications, BIOMA 2012, 24-25 May 2012, Bohinj, Solvenia.

Forbes, A B
(1993)
*Mathematical software for metrology: meeting the needs of the metrologist.*
In: Advance mathematical tools in metrology:proceedings of the international workshop, 20 - 22 October 1993, Torino, Italy.

Forbes, A B
(2001)
*Model validation in metrology.*
In: National Measurement Conference (NMC) 2001, 6-8 November 2001, Harrogate, UK.

Forbes, A B
(2003)
*Towards an industrial uncertainty methodology.*
In: UNCERT 2003 International Conference on the Uncertainty of Measurement - Technical Conference, 9-10 April 2003, St Catherine's College, Oxford, UK.

Forbes, A B; Cooper, P*; Mason, J*
(2006)
*Approximation with asymptotic polynomials.*
In: Algorithms for Approximation: Proceedings of the 5th International Conference., July 2005, Chester, UK.

Harris, P M; Leach, R K; Giusca, C
(2011)
*Uncertainty evaluation for the calculation of a surface texture parameter in the profile case.*
In: 13th International Conference on Metrology and Properties of Engineering Surfaces., 12-15 April 2011, Twickenham Stadium, UK.

Jones, A*; Cox, M G
(2001)
*Industrial methodology for uncertainty in quality and process improvement.*
In: National Measurement Conference (NMC) 2001, 6-8 November 2001, Harrogate, UK.

Kelly, G
(1999)
*Data fusion: from primary metrology to process measurement.*
In: IMTC/99 Proc. 16th IEEE Instrumentation and Measurement Technology Conf., 24-26 May 1999, Venice, Italy.

Lau, E T*; Yang, Q*; Taylor, G A*; Forbes, A B; Wright, P S; Livina, V N
(2014)
*Optimization of carbon emissions in smart grids.*
In: 49th International Universities Power Engineering Conference (UPEC), 2-5 September 2014, Cluj-Napoca, Romania.

Macleod, M
(1994)
*Usability in context: improving quality of use.*
In: Proc. International Ergonomics Association 4th International Symposium on Human Factors in Organizational Design and Management, May 29 - June 1 1994, Stockholm, Sweden.

Macleod, M; Kirakowski, J*
(1994)
*Usability testing in context.*
In: Tutorial notes, BCS HCI Conference, August 1994, Glasgow, UK.

Matovski, D S*; Nixon, M*; Mahmoodi, S*; Mansfield, A J
(2012)
*On including quality in applied automatic gait recognition.*
In: 21st International Conference on Pattern Recognition (ICPR 2012), 11-15 November 2012, Tsukuba, Japan.

Nakamura, R Y M*; Pereira, L A M*; Costa, K A*; Rodrigues, D*; Papa, J P*; Yang, X-S
(2012)
*BBA: A binary bat algorithm for feature selection.*
In: 2012 XXV SIBGRAPI - Conference on Graphics, Patterens and Images (SIBGRAPI 2012), 22-25 August 2012, Ouro, Brazil.

Parkin, G; Wichmann, B
(1993)
*Conformity clause for VDM-SL.*
In: Proc. FME '93 (Formal Methods Europe), April 1993, Odense, Denmark.

Pennecchi, F*; Cox, M G; Bich, W*
(2003)
*Order statistics and uncertainty evaluation.*
In: UNCERT 2003 International Conference on the Uncertainty of Measurement - Technical Conference, 9-10 April 2003, St Catherine's College, Oxford, UK.

Rayner, D
(1999)
*Overview of the Software Support for Metrology programme from weal-link to best-practice.*
In: National Measurement Conference (NMC) 1999, 2-4 November 1999, Brighton, UK.

Venturi, A*; Dolan, M J*; Clarkson, P; Wright, P S; Forbes, A B; Yang, X-S; Roscoe, A J*; Ault, G W*; Burt, G M*
(2013)
*Evaluating the robustness of an active network management function in an operational environment.*
In: 22nd International Conference and Exhibition on Electricity Distribution (CIRED 2013), 10-13 June 2013, Stockholm, Sweden.

Wichmann, B
(1997)
*High Integrity Ada.*
In: Safecomp '97, 7-10 September 1997, York, UK.

Wichmann, B
(1994)
*Modularization for assurance: gauging safety and quality.*
In: Proc. Conf. Safety through quality. British Computer Society Modular Languages Special Interest Group, 6 - 7 June 1994.

Wichmann, B
(1993)
*Quality assurance for test and measurement software.*
In: 6th British Electromagnetic Measurements Conference Digest (BEMC 93), 2-4 November 1993, NPL, Teddington, UK.

Yang, X-S
(2012)
*Metaheuristic algorithms for self-organizing systems: a tutorial.*
In: IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), 10-14 September 2012, Lyon, France.

Yang, X-S
(2012)
*Metaheuristic optimization with applications: Demonstration via bat algorithm.*
In: 5th International Conference on Bioinspired Optimization Methods and their Applications, BIOMA 2012, 24-25 May 2012, Bohinj, Slovenia.

Bevan, N
(1997)
*Quality and Usability: a new framework.*
In:
Achieving software product quality, van Veenendaal, E, and McMullan J (eds).
Tutein Nolthenius, Netherlands.

Bevan, N; Macleod, M
(1994)
*Usability assessment and measurement.*
In:
Kelly, M, ed. The management and measurement of software quality.
London: Ashgate Technical/ Gower Press.

Butler, B P; Cox, M G; Forbes, A B
(1994)
*The reconstruction of workpiece surfaces from probe centre data.*
In:
Design and application of curves and surfaces.
Oxford, Clarendon Press, pp. 99-116.

Gandomi, A M*; Yang, X-S
(2011)
*Benchmark problems in structural optimization.*
In:
Computational Optimization, Methods and Algorithms.
Springer, pp. 259-281.
ISBN 9783642208584

Harris, P M; Cox, M G; Korczynski, J*
(2006)
*Convolution and uncertainty evaluation.*
In:
Advanced Mathematical and Computational Tools in Metrology.
World Scientific Publishing, pp. 188-195.
ISBN 9812566740

Mukherjee, P*; Wichmann, B
(1995)
*Formal specification of the STV Algorithm.*
In:
Applications of Formal Methods.
UNSPECIFIED.
ISBN 0-013-3669494-1

Rayner, D
(1997)
*Future directions for protocol testing, learning lessons from the past.*
In:
Testing of Communicating Systems Volume 10.
UNSPECIFIED.

Wichmann, B
(1994)
*Producing critical systems: the Ada 9X solution.*
In:
Redmill, F, and Anderson, T, eds. Technology and assessment of safety-critical systems.
Springer-Verlag.

Wichmann, B A
(2001)
*Software validation.*
In:
Calibration in the Pharmaceutical Laboratory.
IHS Health Group, pp. 101-155.
ISBN 1574910922

Wright, L; Yang, X-S; Matthews, C; Chapman, L; Roberts, S
(2011)
*Parameter estimation from laser flash experiment data.*
In:
Computational Optimization and Applications in Engineering and Industry.
Springer, pp. 205-220.
ISBN 9783642209857

Yang, X-S
(2011)
*Optimization algorithms.*
In:
Computational Optimization, Methods and Algorithms.
Springer, pp. 13-31.
ISBN 9783642208584

Yang, X-S; Koziel, S*
(2011)
*Computational optimization: an overview.*
In:
Computational Optimization, Methods and Algorithms.
Springer, pp. 1-11.
ISBN 9783642208584