Table of Contents

• Numerical stability in mathematical analysisIvo Babuska. 11-23
• Achievements and problems in formula manipulationMax E. Engeli. 24-32
• The numerical integration of ordinary differential equationsT. E. Hull. 40-53
• Error-bounds and computer arithmeticKarl Nickel. 54-62
• New directions in mechanical theorem provingJohn Alan Robinson. 63-69
• Rigorous computation and the zeros of the Riemann zeta-functionJ. Barkley Rosser, J. M. Yohe, Lowell Schoenfeld. 70-76
• On the numerical construction and the practical use of interpolating spline-functionsC. Carasso, P. J. Laurent. 86-89
• A comparison of spline approximations with classical interpolation methodsM. J. D. Powell. 95-98
• Solution of the generalized ADI minimax problemEugene L. Wachspress. 99-105
• Bounds for the rank and eigenvalues of a matrixAlan J. Hoffman. 111-113
• On the convergence of a practical QR algorithmBeresford N. Parlett, William Kahan. 114-118
• Stabilizing linear least squares problemsVictor Pereyra. 119-121
• On applying Householder transformations to linear least squares problemsM. J. D. Powell, J. K. Reid. 122-126
• Global convergence of ::::QR:::: algorithmJames Hardy Wilkinson. 130-133
• The numerical solution of the integral equation formulation of the Neumann problemYasuhiko Ikebe, M. Stuart Lynn, William P. Timlake. 134-137
• On the surveillance and control of number range and accuracy in numerical computationDavid M. Young, Alvis E. McDonald. 145-152
• Chebyshev methods for separable partial differential equationsJ. C. Mason. 164-169
• Application of hybrid computers to the integration of partial differential equations of the first and second orderRobert Vichnevetsky. 170-178
• The automatic integration of stiff ordinary differential equationsC. William Gear. 187-193
• A variable-step, variable-order multistep method for the numerical solution of ordinary differential equationsFred T. Krogh. 194-199
• A new method for the integration of stiff systems of ordinary differential equationsMichael R. Osborne. 200-204
• Some (3 ::::p, p::::) codesE. F. Assmus Jr., H. F. Mattson Jr.. 205-209
• Algorithms for finding the maximal elements of a finite universal algebraE. Pichat. 214-218
• Tournaments and handicapsNorman J. Pullman, John W. Moon. 219-223
• Search techniques with adaptive features for certain integer and mixed integer programming problemsMonique Guignard, Kurt Spielberg. 238-244
• Scattered context grammarsSheila A. Greibach, John E. Hopcroft. 260-264
• The number of multiplications involved in computing certain functionsShmuel Winograd. 276-279
• Linear realizations for permutation machinesWayne A. Davis. 283-289
• A semigroup theory for the Maitra cascadeGiuseppe Fantauzzi. 290-299
• Synthesis algorithms for sequential machinesLawrence H. Landweber. 300-304
• Linear and partial-linear realization of automataBernd Reusch. 308-311
• Some considerations of supervisor program design for multiplexed computer systemsFernando J. Corbató, Jerome H. Saltzer. 315-321
• Data structures in two-level storeC. A. R. Hoare. 322-329
• Compilation of arithmetic expressions for parallel computationsJean-Loup Baer, Daniel P. Bovet. 340-346
• On transformation of sequential programs into asynchronous parallel programsVadim E. Kotov, A. S. Narinyani. 351-357
• A meta-semantic language for use with a top-down syntax analyserEric Foxley, P. R. King. 366-372
• Incremental interactive compilationM. Peccoud, M. Griffiths, M. Peltier. 384-387
• The generation and recognition properties of table languagesGordon Whitney. 388-394
• The management of applications programmingA. H. Wright. 414-419
• Formal description of input dataReino Kurki-Suonio. 444-447
• A finite state transducer model for compiler lexical scannersWilliam C. Lynch, H. L. Pierson. 448-455
• Automatic computation of data set definitionsJohn C. Reynolds. 456-461
• Programming generality, parallelism and computer architectureJack B. Dennis. 484-492
• Proposal for a time sharing Command StructureTed A. Dolotta, C. A. Irvine. 493-498
• The Basic Languge ProjectG. G. Scarrott, J. K. Iliffe. 508-513
• A file organization evaluation model (FOREM)Michael E. Senko, Vincent Y. Lum, Philip J. Owens. 514-519
• Software instrumentation systems for optimum performanceRobert W. Bemer, A. L. Ellison. 520-524
• Operating system structuresP. D. Jones. 525-530
• Some aspects of the EGDON 3 operating system for the KDF9Peter C. Poole. 531-535
• An operating system for a small computer providing time-shard data collection, computing and control functionsJ. Standeven, K. F. Bowden, David B. G. Edwards. 536-541
• System evaluation on the Control Data 6600David F. Stevens. 542-547
• A modular operating systemBrian A. Wichmann. 548-556
• Data Structure Programming SystemDavid Evans, Andries van Dam. 557-564
• UL/1: a non-procedural language for retrieving information from data basesT. William Olle. 572-578
• The LEAP language and data structurePaul Rovner, Jerome A. Feldman. 579-585
• A graphical facility for an interactive simulation systemJohn J. Donovan, M. M. Jones, J. W. Alsop. 593-596
• SPARTA, a procedure oriented programming language for the manipulation of arbitrary line drawingsLeslie Mezei. 597-604
• An on-line computer drawing and animation systemJ. Nolan, Lynn Yarbrough. 605-610
• Communication networks to serve rapid-response computersDonald W. Davies. 650-658
• Memory systemsEiichi Goto. 659-664
• Computers: Trends toward the futureEarl C. Joseph. 665-680
• The changing role of analog and hybrid computer systemsWalter J. Karplus, George A. Bekey. 681-691
• Computer graphics communication systemsGordon A. Rose. 692-703
• The synthesis and processing of signals with discontinuities in the time domainG. Cartianu, V. I. Vlad. 744-748
• A modular programmed DDA for real-time computationBrian R. Gaines. 749-755
• A suggestion for an analog function generator of two variablesT. Lamdan, I. Cederbaum. 762-767
• Associative memories in large computer systems ::::and:::: An integrated associateve memory matrixDavid Aspinall II, D. J. Kinniment, David B. G. Edwards. 796-800
• Universal micromachine structure study oriented to simulation of computersG. Bazerque, Jean Ferrié, P. Hugot. 801-805
• A system design proposalT. Kilburn, D. Morris, Jeffrey S. Rohl, F. H. Sumner. 806-811
• Paging studies made on the I.C.T. AtlasM. H. J. Baylis, D. G. Fletcher, D. J. Howarth. 831-837
• Certain analytic results for time-shared processorsLeonard Kleinrock. 838-845
• Optimization studies for computer systems with virtual memoryRichard L. Mattson, Jean-Paul Jacob. 846-852
• Iterative multi-level modelling. A methodology for computer system designF. W. Zurcher, Brian Randell. 867-871
• An experimental self-repairing computerAlgirdas Avizienis. 872-877
• Design of dynamically checked computersWilliam C. Carter, Peter R. Schneider. 878-883
• Computer systems for industrial process control. A review of progress, needs, and expected developmentsTheodore J. Williams. 907-916
• A grafted multi-access networkJ. M. Bennett, Chris S. Wallace, J. W. Winings. 917-922
• Organizational, financial and political aspects of a three-university computing centerFrederick P. Brooks Jr., James K. Ferrell, Thomas M. Gallie. 923-927
• The development of a multi-campus regional computing centerRichard C. Lesser, Anthony Ralston. 939-944
• On calculating the illusion of realityArthur Appel. 945-950
• Real-time display of computer generated half-tone perspective picturesGordon W. Romney, Gary S. Watkins, David C. Evans. 973-978
• Artificial intelligence: themes in the second decadeEdward A. Feigenbaum. 1008-1024
• Computer science and educationGeorge E. Forsythe. 1025-1039
• The computer in literary studiesA. Q. Morton, Michael Levison. 1072-1081
• Search and retrieval experiments in real-time information retrievalGerard Salton. 1082-1093
• Computer-assisted instruction: an overview of operations and problemsPatrick Suppes. 1103-1113
• A survey of formal grammars and algorithms for recognition and transformation in mechanical translationBernard Vauquois. 1114-1122
• Development of a system simulator for a railway marshalling yardT. Nakanishi, A. Sato, Y. Ito. 1145-1150
• The impact of interactive visual display systems on the management planning processMichael Scott Morton, J. A. Stephens. 1178-1184
• Optimal file allocation in a multicomputer information systemWesley W. Chu. 1219-1225
• On the problem of query oriented filing schemes using discrete mathematicsSakti P. Ghosh. 1226-1232
• File structures for generalized data managementWilliam C. McGee. 1233-1239
• Automatic term classification and information retrievalKaren Sparck Jones. 1290-1295
• Information processing for the United States CongressRobert Lee Chartrand. 1304-1309
• The EURATOM automatic indexing projectHermann Fangmeyer, Gerhard Lustig. 1310-1314
• Efforts toward and associative learning instructional systemMichael Scott Morton, Z. S. Zannetos. 1337-1342
• Design of a programming language and system for computer assisted learningFred M. Tonge. 1349-1355
• Computer-aided construction of school timetablesH. C. Johnston, K. Wolfenden. 1368-1376
• Datalogy , the science of data and data processesPeter Naur. 1383-1387
• Languages for programming conversational use of computers in instructionKarl L. Zinn. 1388-1394
• Computer-generated image algebrasWalter F. Freiberger, Ulf Grenander. 1397-1404
• A generalized resolution principle based upon context-free grammarsJohn C. Reynolds. 1405-1411
• The behaviour of subharmonics in a non-linear system and its application to binary storage devicesT. Pearcey, F. Hirst, P. G. Thorne. 1451-1458
• A computer program for optimal routing of printed circuit conductorsKoichi Mikami, Kinya Tabuchi. 1475-1478
• A Monte Carlo investigation of the statistical significance of multidimensional scalingDavid Klahr. 1514-1520
• On-line computer aids for research in linguisticsLouis N. Gross, Donald E. Walker. 1531-1536
• Searching problem-solving and game-playing trees for minimal cost solutionsNils J. Nilsson. 1556-1562
• Computer control of a mechanical arm through visual inputKarl K. Pingle, Jonathan A. Singer, William M. Wichman. 1563-1569
• Realization of a general game-playing programJacques Pitrat. 1570-1574
• Programming a robotBertram Raphael. 1575-1581
• A trainable classifier with piecewise linear separation using the learning-matrixSiegfried Wendt. 1582-1585
• Non-supervised learning in adaptive statistical pattern recognitionPaul W. Cooper. 1586-1591
• Sequential optimization in pattern recognition and pattern descriptionVladimir Kovalevsky. 1603-1607
• Object-predicate reciprocity and its application to pattern recognitionSatosi Watanabe. 1608-1613
• Time sharing: the need for re-orientationAndrei P. Ershov. 1615-1616
• The economics of program productionRobert W. Bemer. 1626-1627
• The economics of program productionA. J. W. Duijvestijn. 1627-1628
• Computer sciences for ages 12 to 18: what to teach, how to teach itH. K. Kesavan. 1638-1641