Table of Contents

• The Spectrum of Information ProcessingA. Walther. 3-8
• The Impact of Information Processing on MankindIsaac L. Auerbach. 9-13
• Towards a Mathematical Science of ComputationJohn McCarthy. 21-28
• Digital Computers, Mathematical Logic and Principal Limitations of ComputabilityHeinz Gumin. 29-32
• Integrated Information Processing for Management of Nationalized IndustriesD. W. Hopper. 40-44
• Data Processing in English BanksR. Hindle. 45-50
• Computer Uses at Lamp Department, Canadian General ElectricA. Leigh. 51-56
• Standardized Comparisons of Computer PerformanceJohn A. Gosden, Roger L. Sisson. 57-61
• Mathematical Analysis of Merge-Sorting TechniquesWilliam C. Carter. 62-66
• The Construction of Class-Teacher Time-TablesC. C. Gotlieb. 73-77
• Extending Management Capability by Electronic ComputersA. Vazsonyi. 78-82
• Panel on Business SystemsR. W. Starreveld. 83-89
• On a Modification of the QD-Algorithm with Graeffe-Type ConvergenceHeinz Rutishauser. 93-96
• Sur certains procédés itératifs non linéaires de résolution de systèmes d équations du premier degréN. Gastinel. 97-101
• Strategy for Multidimensional Neutron Group Diffusion ComputationsEugene L. Wachspress. 112-115
• On Some Methods for Computing the Roots of PolynominalsJ. L. Howland. 116-121
• Partial Differential Equations of the Mixed Type and Methods of Their SolutionA. A. Dorodnicyn. 122-125
• Automatic Calculation and Programming of Difference Equations for Elliptic Boundary Value ProblemsMax E. Engeli, Peter Läuchli. 126-131
• Numerical Studies of Implicit Iterative Methods for Solving Elliptic Difference EquationsD. J. Evans. 132-140
• Numerical Calculation of Shock WavesL. Guerri. 141-144
• Acceleration Techniques in Numerical Analysis, with Particular Reference to Problems in One Independent VariableP. Wynn. 149-156
• Recherche des solutions d une équation de convolutionJacques J. Arsac. 163-168
• A Difference Method for the Approximate Solution of the Initial Value Problem for Systems of Quasi-Linear Partial Differential Equations of the First OrderR. Albrecht, W. Urich. 169-172
• Large Linear ProgramsAlan J. Hoffman. 173-176
• The Method of Sequential Analysis of Variants for Determination of Optimal SolutionsV. S. Michalevitch. 177-179
• The Use of Approximation Methods in Linear ProgrammingJ. Habr. 180-184
• Application of the Steepest Ascent Method to Concave ProgrammingTomasz Pietrzykowski. 185-189
• A Breakpoint Technique for Network ProblemsJohn M. Bennett. 190-194
• Application de la programmation linéaire en nombres entiers à un problème de découpeFrançoise Gallouedec Genuys. 195-197
• Symposium on Matrix ComputationsAlston S. Householder. 198-206
• Symposium on Stability of Numerical CalculationsGermund Dahlquist. 207-212
• Symposium on Industrial SimulationG. Bretschneider. 213-217
• Symposium on Data ReductionBörje Langefors. 218-222
• Vue d ensemble des problèmes fondamentaux du traitement des informations en temps réelF. H. Raymond. 225-230
• The Control of Traffic Signals with an Electronic Computer - A New Application of Real-Time Data ProcessingL. Casciato. 231-235
• Nouvelle méthode de calcul du Dispatching Economique d un réseau de transport d enérgieJ. Carpentier. 247-251
• Symposium on Mixed Analog-Digital SystemsJ. Carteron. 252-257
• Panel on Numerical ControlDouglas T. Ross. 258-264
• Information Retrieval - Review and ProspectusA. Kent. 267-272
• The Multi-List System for Real-Time Storage and RetrievalNoah S. Prywes, Harry J. Gray. 273-278
• Le SYNTOL (Syntagmatic Organization Language)J. C. Gardin, F. Levy. 279-283
• Interrogating a Computer in Natural LanguageDon R. Swanson. 288-293
• Symposium on Advanced Methods in Information Storage and RetrievalJ. G. Santesmases. 294-298
• The Use of Computers in Research on Machine TranslationOlga F. Koulagina. 301-305
• On Some Axiomatic Systems for Formal Grammars and LanguagesKarel Culík. 313-317
• Machine Translation and/or an International LanguageK. G. Sellin. 323-325
• A Survey of Several Aspects of Data CommunicationE. P. G. Wright. 341-346
• Computer-to-Computer Communication at 2.5 Megabits.secN. Clark, A. C. Gannet. 347-353
• Dependence of Speech Quality on Transmitted Information Rate in a Band Compression SystemE. Rothauser, F. Lenk. 354-358
• Message Protection Features of the DATACOM ProgramA. E. Miller, A. B. Shafritz, J. R. Smith. 367-372
• Toward a Theory of Automata Based on more Realistic Primitive ElementsArthur W. Burks. 379-385
• Fundamentals of a Theory of Asynchronous Information FlowC. A. Petri. 386-390
• Finite and Combinatorial Automata. Turing Automata with a Programming TapeJirí Becvár. 391-394
• Generalization of an Elementary Perceiving and Memorizing MachineEdward A. Feigenbaum, Herbert A. Simon. 401-406
• Learning, Generality and Problem SolvingAllen Newell. 407-412
• Computer Simulations of a Perceptual Learning Model for Sensory Pattern Recognition, Concept Formation and Symbol TransformationC. Vossler, Leonard Uhr. 413-418
• Self-Organizing Grouping - A Learning StructureViktor Kudielka. 419-422
• Simulation of a Learning Machine for Playing GOHorst Remus. 428-432
• Digital Computer Usage in Analysis of Electroencephalograph and Similar Quasi-Rhythmic PatternsM. G. Saunders. 433-438
• Towards the Automation of Binocular Depth PerceptionB. Julesz. 439-444
• The Phonetic TypewriterT. Sakai, Shuji Doshita. 445-450
• Un système analogique-digital pour la reconnaissance de caractèresMorton Nadler. 456-461
• Symposium on Pattern RecognitionArthur L. Samuel. 467-470
• Symposium on Biological and Psychological Aspects of Pattern RecognitionT. A. Kalin. 471-477
• Symposium on Artificial IntelligenceMarvin Minsky. 478-484
• Programming Languages and their ProcessingKlaus Samelson. 487-492
• ALGOL 60 Processors and a Processor GeneratorManfred Paul. 493-497
• An Algorithm for the Translation of ALGOL StatementsW. M. Keese Jr., Harry D. Huskey. 498-502
• A Proposed ALGOL 60 Matrix SchemeS. J. M. Denison. 503-508
• On Table Operating AlgorithmsA. L. Lombardi. 509-512
• Symposium on Languages for Processor ConstructionJulien Green. 513-517
• Symposium on Programming LanguagesRobert W. Bemer. 518-523
• Panel on Techniques for Processor ConstructionHeinz Rutishauser. 524-531
• Some Meditations on Advanced ProgrammingEdsger W. Dijkstra. 535-538
• Program Organization and Record Keeping for Dynamic Storage AllocationAnatol W. Holt. 539-544
• Programmed Control of Multi-Computer SystemsRobert Perkins, William C. McGee. 545-549
• Automatic Translation of Programs from one Computer to AnotherAscher Opler, D. Farbman, M. Heit, W. King, E. O Connor, Roy Goldfinger, H. Landow, J. Ogle, D. Slesinger. 550-555
• Requirements on a Language for Logical Data ProcessingPeter Lucas. 556-560
• Symposium on Advance Computer OrganizationWalter F. Bauer. 561-569
• Symposium on Multi-Programming (Concurrent Programs)P. Dreyfus. 570-575
• High-Speed MemoriesWalter E. Proebster. 579-584
• Some Problems in the Design of Magnetic Film Storage Systems Operating at MillimicrosecondsJ. D. R. McQuillan. 590-596
• A Read-Out Circuit for High-Speed Non-Destructively Read StoresG. H. Perry, E. W. Shallow. 597-602
• A Tunnel-Diode High-Speed MemoryS. Takahashi, K. Nakazawa, K. Murata, Osamu Ishii. 603-607
• Past and Future of Digital Computer CircuitryJ. A. Brustman. 608-611
• Size and Speed of Thin-Magnetic-Film Computer UnitsH. J. Harloff. 612-616
• New Components for Ferroresonant CircuitsM. Alique, J. L. Lloret, I. Santos, M. A. Eced. 625-631
• Hydraulic and Pneumatic Switching ElementsH. H. Glaettli. 632-635
• Symposium on Fast Memory TechnologyJ. A. Rajchman. 636-642
• Symposium on Advanced ComponentsAmbros P. Speiser. 643-647
• A Very Small Electronic Digital Computer with Stored Program ControlHeinz Gumin, F. K. Kroos. 651-656
• The Central Control Unit of the "Atlas" ComputerF. H. Sumner, G. Haley, E. C. Y. Chen. 657-663
• On a Flexible Implementation of Digital Computer ArithmeticAlgirdas Avizienis. 664-670
• An Experimental System for Logic Design Data Accumulation and RetrievalR. J. Preiss. 678-683
• The KT Pilot Computer - A Micro-Programmed Computer with a Phototransistor Fixed MemoryHiroshi Hagiwara, Kohei Amo, S. Matsushita, H. Yamauchi. 684-689
• System Design of the ETL Mk-6 ComputerS. Takahashi, H. Nishino, K. Yoshihiro, Kazuhiro Fuchi. 690-693
• Design of an Arithmetic Unit Incorporating a Nesting StoreR. H. Allmark, J. R. Lucking. 694-698
• Modern Programming Methods and Problems and their Influence on the Design of Computing InstrumentsImmo O. Kerner. 699-703
• Panel on Ultra-High-Speed ComputersGene M. Amdahl. 704-710
• Panel on Priority Problems in Computer SystemsMaurice V. Wilkes. 711-715
• Symposium on Optimum Routing in Large NetworksMario L. Juncosa. 716-721
• Fundamental Mode and Pulse Mode Operations of Sequential CircuitsEdward J. McCluskey. 725-730
• Application of a Finite Set Covering Theorem to the Simplification of Boolean Function ExpressionsMark B. Wells. 731-735
• Digital Filters with Threshold ElementsGünter Hotz. 736-740
• Threshold Logic with One or more than One ThresholdPaolo Ercoli, L. Mercurio. 741-746
• Some Theorems Useful in Threshold Logic for Enumerating Boolean FunctionsEiichi Goto, H. Takahasi. 747-752
• Panel on University Education in Information ProcessingLouis Fein. 763-765