< back to main site

Publications

Items where Subject is "Mathematics and Scientific Computing"

Up a level
Export as [feed] RSS
Group by: Authors | Item Type
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | P | R | S | T | V | W | Y | Z
Number of items at this level: 368.

A

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

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; 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.

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.

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

B

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 (2005) Software review of a self-calibrating instrument. In: BEMC 2005 - British Electromagnetic Measurements Conference, 14-17 November 2005, NPL, UK.

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

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

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

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.

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.

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

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

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 and Usability: a new framework. In: Achieving software product quality, van Veenendaal, E, and McMullan J (eds). Tutein Nolthenius, Netherlands.

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 (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; 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.

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.

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.

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

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 (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 (1994) The reconstruction of workpiece surfaces from probe centre data. In: Design and application of curves and surfaces. Oxford, Clarendon Press, pp. 99-116.

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; 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 (1993) An algorithm for combining data sets having different frames of reference. Numer. Algorithms, 5 (1-4). pp. 467-477.

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; 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.

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

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.

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

C

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.

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

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.

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.

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.

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 (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 (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 (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 (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 (2007) The area under a curve specified by measured values. Metrologia, 44 (5). pp. 365-378.

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 (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 (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; 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) 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; 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; 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 (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) Challenges for mathematical and statistical modelling for metrology. PAMM, 7 (1). pp. 1150305-1150306.

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 (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; 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 (2014) GUM anniversary issue. Foreword. Metrologia, 51 (4). S141-S143

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 (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 (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 (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 (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 (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. NPL Report. DITC 220/93

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; 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 (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; 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; 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; Harris, P M; Smith, I M (2011) Software for GUM supplement 1: user manual. NPL Report. MS 1

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; Michotte, C*; Pearce, A (2007) Measurement modelling of the International Reference System (SIR) for gamma emitting radionuclides. Technical Report. BIPM.

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* (2001) The role of Monte Carlo simulations in uncertainty evaluation. In: National Measurement Conference (NMC) 2001, 6-8 November 2001, Harrogate, UK.

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

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

D

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

E

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.

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.

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.

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 (2016) Investigating dynamic measurement applications though modelling and simulation. tm - Technisches Messen, 83 (10). pp. 557-564.

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 (2015) Efficient updating of PDE models for metrology. Measurement, 79. pp. 267-275.

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.

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

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.

F

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 (2015) Empirical functions with pre-assigned correlation behaviour. Advances in Mathematics for Applied Sciences, 86. pp. 17-28.

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 (2012) An MCMC algorithm based on GUM Supplement 1 for uncertainty evaluation. Measurement, 45 (5). pp. 1188-1199.

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 (1999) Software support for metrology: Interim status report on the length area. NPL Report. CISE 29/99

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 (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 (1994) Validation of software for dimensional metrology. NPL Report. DITC 225/94

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

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.

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

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.

G

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.

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

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

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

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

H

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 (2014) On a monte Carlo method for measurement uncertainty evaluation and its implementation. Metrologia, 51 (4). S176-S182

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

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; 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.

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; 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.

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

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.

I

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

J

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

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.

K

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 (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.

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

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.

L

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

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 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.

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.

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

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

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

M

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 (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 (1992) An introduction to usability evaluation. NPL Report. DITC 202/92

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

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

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

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.

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.

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

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.

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

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

N

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

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.

P

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; Wichmann, B (1993) Conformity clause for VDM-SL. In: Proc. FME '93 (Formal Methods Europe), April 1993, Odense, Denmark.

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

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

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.

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

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

R

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

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) 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.

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

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.

S

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, I M (2010) Software for determining polynomial calibration functions by generalised least squares: user manual. NPL Report. MS 11

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

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

T

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

V

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.

W

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 (1997) High Integrity Ada. In: Safecomp '97, 7-10 September 1997, York, UK.

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

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 (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 (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 (1993) Programming critical systems: the Ada 9X solution. Comput. Bull., 5 (5). p. 15.

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.

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

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 (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

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

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; Esward, T J (2013) Fit for purpose models for metrology: a model selection methodology. J. Phys.: Conf. Ser., 459. 012039

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

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

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.

Y

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 (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.

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

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

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* (2011) Computational optimization: an overview. In: Computational Optimization, Methods and Algorithms. Springer, pp. 1-11. ISBN 9783642208584

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.

Z

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.

This list was generated on Mon Feb 17 12:37:38 2025 GMT.