1 item Summary of meeting of B.S.I. Committee DPE/12 (Computer Standard Interfaces) at N.P.L. Teddington.
Linear Algebra & Latent Roots. Paper: The Calculation of the Eigenvectors of Codiagonal Matrices by J.H. Wilkinson, Reprinted from The Computer Journal, Vol. 1. Paper: NPL. Stability of the Reduction of a Matrix to Almost Triangular and Triangular forms by Elementary Similarity Transformations by J.H. Wilkinson, No. Ma/43. Paper: 3. Solution of Eigenvalue Problems With the LR-Transformation by Heinz Rutishauser. Paper: NPL. "Elimination" Methods in Matrix Eigenvalue Problems by J. Francis. Paper: The evaluation of the zeros of ill-conditioned polynomials. Part 1 and Part II. by J.H. Wilkinson. Nunerische Mathematik 1, 150-180(1959)Paper: Error Analysis of Direct Methods of Matrix Inversion by J.H. Wilkinson. Reprinted from Journal of the Association for Computing Machinery, Volume 8, Number 3, July 1961. Paper: Rigorous Error Bounds for Computed Eigensystems by J.H. Wilkinson. Reprinted from The Computer Journal, Vol. 4, No. 3. Paper: An Efficient Scheme for the Co-diagonalization of a Symmetric Matrix by Given's Method in a Computer with a Two -Level Store by J.S. Rollett and J.H. Wilkinson. Reprinted from The Computer Journal, Vol. 4, No. 2. Folder entitled Linear Algebra & Latent Roots
. Advisory Services Programming Languages, File MA 1/15/01. Papers of historical Interest, period 1965 - 1975, M. Woodger. Various correspondence and papers.
File begins October 1956. Miscellaneous small jobs for Aero Division. Paper for discussion No. 14, Computing Machines Input and Output by R. Bird. Paper No. 16, Serial Digital Adders for a Variable Radix of Notation by R. Townsend. Paper; The Harwell Computer by E.H. Cooke-Yarborough, A.E.R.E. EL/M.78. Paper: No. 35, The A.P.E.(X). C. A low cost electronic calculator by Andrew D. Booth. Paper No. 18, Symposium on Automatic Digital Computation by J.H. Wilkinson. Paper No. 20, Solution of partial differential equations by automatic calculating machines by N.E. Hoskin. Paper No. 21, Mathematical tables by E.T. Goodwin. Paper No. 22, Applications of electronic Machines in Pure Mathematics by J.C.P. Miller. Paper: "Motte Carlo" methods for the iteration of linear operations by J.H. Curtiss. Paper No. 6, "Nicholas" by N.D.Hill (a high-speed digital computer made at Elliott Bros. Research Laboratories, Borehamwood.) Technical Memo No. MS.19, RAE, Advance Notes on RASCAL by E.J. Petherrick. Paper No. 9, Optimum Coding by G.G. Alway. Paper No. 28, Cathode Ray Tube Storage by T. Kilburn. Paper No. 30, Preventive or Curative Maintenance by E.A. Newman. Paper No. 31, Experience with marginal checking and automatic routing of the EDSAC by Maurice V. Wilkes. Paper No. 32, Diagnostic Programmes by R.L. Grimsdale. NPL Papers. Paper 1-2, Operational aspects of Intellect by DR. D.M. Mackay, Paper 1-3, Two theorems of Statistical Separability in the Perceptron by Dr. F. Rosenblatt, Paper 1-4, Some methods of artificial intelligence and Heuristic Programming by Dr. Marvin L. Minsky, Paper 1-5, Conditional Probability Computing in a Nervous System by Dr. A. M. Uttley. Paper 2-3, Automatic Programming Properties and Performance of Fortran Systems I and II by J.W. Backus. Paper 2-4, Tigris and Euphrates - A comparison between human and machine translation by R.H. Richens. Paper 2-5, Pronoun reference in German by L. Brandwood. Paper 2-6, Sensory Mechanisms and sensation by Dr. I.C. Whitfield. Paper 3-1, An analogue of the speech recognition process by Prof. D.B. Fry. Paper 3-3, Medical diagnosis and cybernetics by Dr. Francois Paycha. Paper 3-4, Pandemonium: A paradigm for learning by Dr. O.G. Selfridge. Paper 3-5, Automation in the legal world by Dr. Lucien Mehl. Paper 3-6, Learning Machines by Dr. A. M. Andrew. Paper 4-1, Sensory Mechanisms, the reduction of redundancy, and intelligence by Dr. H.B. Barlow. Paper 4-2, Stimulus analysing mechanism by Dr. N.S. Sutherland. Paper 4-3, Agathe Tyche of nervous nets - the lucky reckoners by Dr. W.S. McCulloch. Paper 4-4 , The mechanism of habituation by Dr. w. Ross Ashby. Paper 4.5, Models and the localisation of function in the central nervous system by R.L. Gregory. Paper 4-6, Some questions concerning the explanation of learning in animals by A.J. Watson. Paper 4-7, information, redundancy and decay of the memory trace by Dr. John Brown. Paper 4-8, The mechanization of literature searching by Prof. Y. Bar-Hillel. Paper 4-10, Possibilities for the practical utilisation of learning process by Dr. S. Gill. Paper 4-11, Automatic control by visual signals by Dr. W.K. Taylor. Paper 4-12, An analysis of Non-Mathematical Data Processing by E.A. Newman. Paper 4-13, Physical analogues to the growth of a concept by Gordon Pask. File of small jobs for Aero Division
British Computer Society. Advisory Committee on Notation for Automatic Coding, File MA 8/17/02, Dr. Robertson. Paper: Technical Memorandum No. 61/5. Some proposals for improving the efficiency of ALGOL 60 by C. Strachey and M.V. Wilkes, July 1961 Folder of material from British Computer Society
. ACM Sigplan. History of programming languages conference Los Angeles, California, June 1978. Three monochrome photographs of attendees at the Algol 60 preparatory meeting in Paris, November 1959
ALGOL 60 Examples. File No. C1216, Part 5. Paper: Handbook Series Special Functions, Algorithms for Special Functions I, contributed by C.W. Clenshaw, Numerische Mathematik 4, 403-419(1963) Paper: Householder's method for symmetric matrices contributed by J.H. Wilkinson, Numerische Mathematik 4, 354-361(1962) Folder of ALGOL 60 examples
Folder containing notes of NPL exhibition at Orleans House Gallery, Twickenham , May 1977. Includes six monochrome contact prints (CS/C 1434) of ACE Pilot computer. Four additional monochrome prints of CHeap Input Terminal and a girl operator. Print Nos. CS/ 19101/5, CS/19200/10, CS19290/2 and CS/19292/4. Folder containing notes of NPL exhibition at Orleans House Gallery
Interpretive and Assembly Schemes File No. MA. C. 1216. Research Note 12 , Communication between independently translated blocks by Peter Wegner. Paper: On the design of machine Independent Programming Languages, EWD25-1. Paper: Artificial Intelligence Project - RLE and MIT Computation Centre, Memo 16 - A Question - Answering Routine by Anthony Valiant Phillips. Foreign developments in machine translation and information processing by YU. I. Yanov, No. 33. The works of the computing centre of the Academy of Sciences of the USSR in the field of Automatic Programming by A. P. Ershov. Users Guide to the EDSAC Autocode, Cambridge University, 1960 Interpretive and Assembly Schemes File No MA C 1216
Rome Symposium on Symbolic Languages in Data Processing. File MA 44/023. Report on visit to Rome to attend a Symposium on Symbolic Languages. Abstract of paper on The Description of Computing Processes by M. Woodger. Various notes and correspondence. Rome Symposium on Symbolic Languages in Data Processing. File MA 44/023. Report on visit to Rome to attend a Symposium on Symbolic Languages. Abstract of paper on The Description of Computing Processes by M. Woodger. Various notes and correspondence.
Hardcover book titled Gill, 1947 containing equations. Hard cover book titled Test Assembly, Hours Run, October 1949- December 1952. Hard cover book titled Practical Notes, M. Woodger, May 1948- 4th July 1950. (Valve Test Data Later) Hardcover book Diary 1952, Pilot Model Day Book. Notebook entitled Gill 1947
Automatic Programming Information Centre, File No. 8/30/01. ABS14 Russian "Input Language" and Hockney's ABS12 ALGOL. The Input Language System of Automatic Programming by A.P. Ershov, Siberian Branch of the Academy of Science of the U.S.S.R. Folder entitled Automatic Programming Information Centre
1965-66 Roberts Culham Egdon. User's manual for the Culham Laboratory KD F9 Computer. KDF9 Egdon Programming System. Atomic Energy Establishment, Winfrith. Culham Operating System - Note No. 4/65. Techniques in System Programming I. Probable Path Analysis. The Input Language for the Egdon Computing System by K.V. Roberts, CLM-P100. Scientific Computing and Operational Research by K.V. Roberts, CLM-R45. Culham Operating System Note 1/66, The input language for the KDF9 Computing System by K.V. Roberts. The South-East Regional Computing Centre and National Computing Authority by K.V. Roberts. Notes on Computing Policy by K.V. Roberts. Various other handwritten notes. 1965-66 Roberts Culham Egdon. User's manual for the Culham Laboratory KD F9 Computer. KDF9 Egdon Programming System. Atomic Energy Establishment, Winfrith. Culham Operating System - Note No. 4/65. Techniques in System Programming I. Probable Path Analysis. The Input Language for the Egdon Computing System by K.V. Roberts, CLM-P100. Scientific Computing and Operational Research by K.V. Roberts, CLM-R45. Culham Operating System Note 1/66, The input language for the KDF9 Computing System by K.V. Roberts. The South-East Regional Computing Centre and National Computing Authority by K.V. Roberts. Notes on Computing Policy by K.V. Roberts. Various other handwritten notes.
Computing Laboratory Technical Report No. 91: The Origins of digital computers: Supplementary Bibliography by B. Randell. Computing Laboratory Technical Report No. 91: The Origins of digital computers: Supplementary Bibliography by B. Randell.
. Revised Report on the Algorithmic Language ALGOL 60 by J.W. Backus, et al. International Federation for Information Processing.
Proceedings of a Symposium held at the National Physical Laboratory Proceedings of a Symposium held at the National Physical Laboratory
Files N30/17 to /30. Desk calculating machines, The National and other Accounting Machines, The Log-A-Bax Accounting Machine. Modifications to circuits, F. Colebrook. Programming and coding for the Pilot ACE by J.H. Wilkinson. Uses of the ACE (NPL High Speed Computer) Also "The work of Mathematics Division" ACE Programmes and notes on maintenance. Laplace's equation by relaxation, forward integration, method of characteristics for vibrating string. etc. Files relating to accounting machines
. EULER: A Generalization of ALGOL and its Formal Definition by Niklaus Wirth and Helmut Weber. Technical Report CS 20. Stanford University.
National Engineering Laboratory. Automatic Design, Sub-Committee. File MA 8/38/01. Ferranti Manual: Computer Aided Drawing & Design prepared by C. Allen, March 1965. Ferranti Manual: Notes on APT System, June 1964. Ferranti Manual : Provisional Procedure for the Preparation of Tapes and Drawings on the Drawing and Generating Machines, T.N. (E) 70. NEL: Machinery Group . Index of Subject-Headings included in the Bibliography on Computer-Aided Design by A.S. Gregory. March 1966. NEL Report No. 187, Programming of Numerically Controlled Machine Tools. NEL Report No. 242, Computer-aided Design. Report No. IITRI H9523. APT System Capabilities and Analysis N/C Manufacturing Study. Visit report to Project MAC, Cambridge, Massachusetts, May 1965. Various correspondence National Engineering Laboratory. Automatic Design, Sub-Committee. File MA 8/38/01. Ferranti Manual: Computer Aided Drawing & Design prepared by C. Allen, March 1965. Ferranti Manual: Notes on APT System, June 1964. Ferranti Manual : Provisional Procedure for the Preparation of Tapes and Drawings on the Drawing and Generating Machines, T.N. (E) 70. NEL: Machinery Group . Index of Subject-Headings included in the Bibliography on Computer-Aided Design by A.S. Gregory. March 1966. NEL Report No. 187, Programming of Numerically Controlled Machine Tools. NEL Report No. 242, Computer-aided Design. Report No. IITRI H9523. APT System Capabilities and Analysis N/C Manufacturing Study. Visit report to Project MAC, Cambridge, Massachusetts, May 1965. Various correspondence
. An extended role for the Knuth Parsing Machine by Bryan Higman and N. Dyson. University of London. Report ICSI 173
Electronic Computers in the Aircraft Industry, File MA 8/8/02. Minutes of meetings with The Society of British Aircraft Constructors, Ltd. London, July 1953 to June 1964. Electronic Computers in the Aircraft Industry, File MA 8/8/02. Minutes of meetings with The Society of British Aircraft Constructors, Ltd. London, July 1953 to June 1964.
. Nonpareil: A Machine-Level Machine-Independent Programming Language for the Study of Semantics by Bryan Higman. University of London. Report ICSI 170
Manchester Mark II computer. Inaugural Conference July 1951. Folder containing: Printed conference report. Provisional Programme. Notes by M. Woodger on the conference, the computer, the magnetic drum, square root. Papers relating to Manchester Mark II Conference
A Course of Datalogy and Datamatics, Computer and Programming Languages, Copenhagen. Paper: The Design of large data systems by Peter Naur, April 1968. Paper: Concise survey of Computer Methods by Peter Naur. Paper: Data and their Application by Peter Naur. Paper: Forslag till Tilfolelser Edb-Ordbog Dansk Standard DS 2049-1970 by Peter Naur. Paper: Proposals for additions to vocabulary of electronic data processing , Jorgen Hilden, Gustav Leunbach and Peter Naur. Paper: Datalogy, The Science of Data and Data Processes, and Its Place in Education by Peter Naur. Paper: Design of Source Data Formats by Peter Naur. Peter Naur correspondence. A Course of Datalogy and Datamatics, Computer and Programming Languages, Copenhagen. Paper: The Design of large data systems by Peter Naur, April 1968. Paper: Concise survey of Computer Methods by Peter Naur. Paper: Data and their Application by Peter Naur. Paper: Forslag till Tilfolelser Edb-Ordbog Dansk Standard DS 2049-1970 by Peter Naur. Paper: Proposals for additions to vocabulary of electronic data processing , Jorgen Hilden, Gustav Leunbach and Peter Naur. Paper: Datalogy, The Science of Data and Data Processes, and Its Place in Education by Peter Naur. Paper: Design of Source Data Formats by Peter Naur. Peter Naur correspondence.
N.R.D.C. Development of High Speed Computers File MA 25/011. Notes for discussion at a meeting in Millbank. Attendees: British Tabulating Machine Co., British Thomson-Houston Co, Electrical & Musical Ind. Ltd, Elliott Bros, English Electric, Ferranti, General Electric, Metropolitan-Vickers Electrical, Powers-Samas Accounting Machines, Radio Communications and Electronic Engineering Association and Standard Telephones & Cable. NRDC file relating to high speed computers