Cicely M. Popplewell (Ed.):
Information Processing 1962,
Proceedings of IFIP Congress 62,
Munich,
Germany,
August 27 - September 1,
1962. North-Holland,
1962
Chapter 1:
Opening Session
Chapter 2:
Survey Session
- E. Stiefel:
Some Examples of Numerical Methods and the Philosophy behind them.
17-20
- John McCarthy:
Towards a Mathematical Science of Computation.
21-28
- Heinz Gumin:
Digital Computers, Mathematical Logic and Principal Limitations of Computability.
29-32
Chapter 3:
Business Information Systems
Business Data Processing 1
- Grace M. Hopper:
Business Data Processing - A Review.
35-39
- D. W. Hopper:
Integrated Information Processing for Management of Nationalized Industries.
40-44
- R. Hindle:
Data Processing in English Banks.
45-50
- A. Leigh:
Computer Uses at Lamp Department, Canadian General Electric.
51-56
Business Data Processing 2
Panel
Chapter 4:
Scientific Information Processing
Algebra
- Heinz Rutishauser:
On a Modification of the QD-Algorithm with Graeffe-Type Convergence.
93-96
- N. Gastinel:
Sur certains procédés itératifs non linéaires de résolution de systèmes d'équations du premier degré.
97-101
- A. Korganoff:
Les polynômes d'interpolation de matrices carrées à coefficients matriciels et les méthodes itératives de résolution numérique des équations de matrices carrées de forme quelconque.
102-106
- P. H. Blundell:
A Method for Solving Simultaneous Polynominal Equations.
107-111
- Eugene L. Wachspress:
Strategy for Multidimensional Neutron Group Diffusion Computations.
112-115
- J. L. Howland:
On Some Methods for Computing the Roots of Polynominals.
116-121
Partial Differential Equations
- A. A. Dorodnicyn:
Partial Differential Equations of the Mixed Type and Methods of Their Solution.
122-125
- Max E. Engeli, Peter Läuchli:
Automatic Calculation and Programming of Difference Equations for Elliptic Boundary Value Problems.
126-131
- D. J. Evans:
Numerical Studies of Implicit Iterative Methods for Solving Elliptic Difference Equations.
132-140
- L. Guerri:
Numerical Calculation of Shock Waves.
141-144
- Bella Kotkin:
A Mathematical Model of Drug Distribution and the Solution of Differential-Difference Equations.
145-148
Differential and Integral Equations
- P. Wynn:
Acceleration Techniques in Numerical Analysis, with Particular Reference to Problems in One Independent Variable.
149-156
- J. Kuntzmann:
Nouvelle méthode pour l'integration approchée des équations differentielles.
157-162
- Jacques J. Arsac:
Recherche des solutions d'une équation de convolution.
163-168
- R. Albrecht, W. Urich:
A Difference Method for the Approximate Solution of the Initial Value Problem for Systems of Quasi-Linear Partial Differential Equations of the First Order.
169-172
Optimization Programming
- Alan J. Hoffman:
Large Linear Programs.
173-176
- V. S. Michalevitch:
The Method of Sequential Analysis of Variants for Determination of Optimal Solutions.
177-179
- J. Habr:
The Use of Approximation Methods in Linear Programming.
180-184
- Tomasz Pietrzykowski:
Application of the Steepest Ascent Method to Concave Programming.
185-189
- John M. Bennett:
A Breakpoint Technique for Network Problems.
190-194
- Françoise Gallouedec Genuys:
Application de la programmation linéaire en nombres entiers à un problème de découpe.
195-197
Symposiums
Chapter 5:
Real-Time Information Processing
Real-Time Information Processing
Symposium
- J. Carteron:
Symposium on Mixed Analog-Digital Systems.
252-257
Panel
Chapter 6:
Information Retrieval
Information Retrieval
Symposium
- J. G. Santesmases:
Symposium on Advanced Methods in Information Storage and Retrieval.
294-298
Chapter 7:
Language Translation
Linguistic Analysis and Mechanical Translation of Languages
- Olga F. Koulagina:
The Use of Computers in Research on Machine Translation.
301-305
- Susumu Kuno, Anthony G. Oettinger:
Multiple-Path Syntacitc Analyzer.
306-312
- Karel Culík:
On Some Axiomatic Systems for Formal Grammars and Languages.
313-317
- Martin Kay:
Rules of Interpretation - An Approach to the Problem of Computation in the Semantics of Natural Language.
318-322
- K. G. Sellin:
Machine Translation and/or an International Language.
323-325
Symposium
- A. Sestier:
Symposium on Modern Techniques of Language Translation.
326-332
Panel
Chapter 8:
Digital Communication
Digital Communication
Symposium
Chapter 9:
Artificial Perception
Automata Theory
- Arthur W. Burks:
Toward a Theory of Automata Based on more Realistic Primitive Elements.
379-385
- C. A. Petri:
Fundamentals of a Theory of Asynchronous Information Flow.
386-390
- Jirí Becvár:
Finite and Combinatorial Automata. Turing Automata with a Programming Tape.
391-394
- L. J. Fogel:
Toward Inductive Inference Automata.
395-400
- Edward A. Feigenbaum, Herbert A. Simon:
Generalization of an Elementary Perceiving and Memorizing Machine.
401-406
Machine Learning
- Allen Newell:
Learning, Generality and Problem Solving.
407-412
- C. Vossler, Leonard Uhr:
Computer Simulations of a Perceptual Learning Model for Sensory Pattern Recognition, Concept Formation and Symbol Transformation.
413-418
- Viktor Kudielka:
Self-Organizing Grouping - A Learning Structure.
419-422
- H. C. Ratz, G. H. M. Thomas:
The Development of a Conditional Probability Computer for Control Applications.
423-427
- Horst Remus:
Simulation of a Learning Machine for Playing GO.
428-432
Artificial Perception
- M. G. Saunders:
Digital Computer Usage in Analysis of Electroencephalograph and Similar Quasi-Rhythmic Patterns.
433-438
- B. Julesz:
Towards the Automation of Binocular Depth Perception.
439-444
- T. Sakai, Shuji Doshita:
The Phonetic Typewriter.
445-450
- W. Slawson:
MUSE - A Sound Synthesizer.
451-455
- Morton Nadler:
Un système analogique-digital pour la reconnaissance de caractères.
456-461
- L. D. Earnest:
Machine Recognition of Cursive Writing.
462-466
Symposiums
- Arthur L. Samuel:
Symposium on Pattern Recognition.
467-470
- T. A. Kalin:
Symposium on Biological and Psychological Aspects of Pattern Recognition.
471-477
- Marvin Minsky:
Symposium on Artificial Intelligence.
478-484
Chapter 10:
Advanced Techniques 1
Programming Languages and Their Processing
Symposiums
Panel
Chapter 11:
Advanced Techniques 2
Advanced Programming
Symposiums
- Walter F. Bauer:
Symposium on Advance Computer Organization.
561-569
- P. Dreyfus:
Symposium on Multi-Programming (Concurrent Programs).
570-575
Chapter 12:
Advanced Techniques 3
Memory Techniques
Circuits and Components
Symposiums
Chapter 13:
Advanced Techniques 4
System Design 1
System Design 2
Panels
Symposium
Chapter 14:
Switching Theory
Switching Theory
- Edward J. McCluskey:
Fundamental Mode and Pulse Mode Operations of Sequential Circuits.
725-730
- Mark B. Wells:
Application of a Finite Set Covering Theorem to the Simplification of Boolean Function Expressions.
731-735
- Günter Hotz:
Digital Filters with Threshold Elements.
736-740
- Paolo Ercoli, L. Mercurio:
Threshold Logic with One or more than One Threshold.
741-746
- Eiichi Goto, H. Takahasi:
Some Theorems Useful in Threshold Logic for Enumerating Boolean Functions.
747-752
Symposium
Chapter 15:
Education
Panel
- Louis Fein:
Panel on University Education in Information Processing.
763-765
Copyright © Thu Nov 12 00:53:29 2009
by Michael Ley (ley@uni-trier.de)
