Information Processing,
Proceedings of the International Conference on Information Processing,
UNESCO,
Paris 15-20 June 1959. Published in 1960 by UNESCO (Paris),
R. Oldenbourg (München) and Butterworths (London)
Chapter 1:
Methods of digital computing
- J. Kuntzmann:
Introductory Speech.
31-32 BibTeX
- F. Ceschino, J. Kuntzmann:
Faut-il passer à la forme canonique dans les problèmes différentielles de conditions initiales?
33-35 BibTeX
- Peter Henrici:
Theoretical and experimental studies on the accumulation of error in the numerical solution of initial value problems for systems of ordinary differential equations.
36-43 BibTeX
- James Hardy Wilkinson:
Rounding errors in algebraic processes.
44-53 BibTeX
- Ch. Blanc:
Sur l'estimation des erreurs d'arrondi.
54-56 BibTeX
- Hans J. Maehly:
Rational approximations for transcendental functions.
57-61 BibTeX
- D. B. Gillies:
The exact determination of the characteristic polynominal of a matrix.
62-65 BibTeX
- A. A. Dorodnitzin:
The use of high-speed digital computers for solving partial differential equations.
66-71 BibTeX
- L. Collatz:
Methods for the solution of partial differential equations on digital computers.
72-78 BibTeX
- D. J. Evans:
The solution of elliptic difference equations by stationary iterative processes.
79-84 BibTeX
- Richard S. Varga:
Over-relaxation applied to implicit alternating direction methods.
85-89 BibTeX
- G. Letellier, R. Lattes:
Résolution sur calculateur électronique d'un problème d'algèbre diophantienne.
90-92 BibTeX
- G. R. Parisot:
Les programmes logarithmiques - application au calcul des programmes convexes, spécialement linéaires.
93-98 BibTeX
- S. Vajda:
Symposium on linear programming.
99-101 BibTeX
- R. Sauer:
Colloque sur l'analyse numérique sur calculatrices automatiques.
102-107 BibTeX
- T. H. Wilkinson:
Symposium on methods for solving linear systems.
108-114 BibTeX
Chapter 2:
Common symbolic language for computers
Chapter 3:
Automatic translation of languages
Chapter 4:
Pattern recognition and machine learning
- Karl Steinbuch:
Introductory speech.
223-225 BibTeX
- Y. Okumura, K. Imoto:
An electronic reading machine.
227-231 BibTeX
- H. Sherman:
A quasi-topological method for the recognition of line patterns.
232-237 BibTeX
- W. Sprick, Karl E. Ganzhorn:
An analogous method for pattern recognition by following the boundary.
238-243 BibTeX
- H. Kazmierczak:
The potential field as an aid to character recognition.
244-247 BibTeX
- S. Frankel:
Information-theoretic aspects of character reading.
248-251 BibTeX
- G. W. Hughes, M. Halle:
On the recognition of speech by machine.
252-255 BibTeX
- Allen Newell, J. C. Shaw, Herbert A. Simon:
Report on a general problem-solving program.
256-264 BibTeX
- Paul C. Gilmore:
A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus.
265-272 BibTeX
- H. Gelernter:
Realization of a geometry theorem proving machine.
273-281 BibTeX
- B. Dunham, R. Fridshal, G. L. Sward:
A non-heuristic program for proving elementary logical theorems.
282-284 BibTeX
- Ray J. Solomonoff:
A new method for discovering the grammars of phrase structure languages.
285-289 BibTeX
- David G. Willis:
Plastic neurons as memory elements.
290-297 BibTeX
- S. N. Braines, A. V. Napalkov, Yu. A. Shreider:
Analysis of the working principles of some self-adjusting systems in engineering and biology.
298-302 BibTeX
- T. Kilburn, R. L. Grimsdale, F. H. Sumner:
Experiments in machine learning and thinking.
303-308 BibTeX
- M. E. Stevens:
A machine model of recall.
309-314 BibTeX
- Calvin N. Mooers:
Some mathematical fundamentals of the use of symbols in information retrieval.
315-320 BibTeX
- A. F. Parker-Rhodes, Roger M. Needham:
A reduction method for non-arithmetic data, and its application to thesauric translation.
321-325 BibTeX
- Karl Steinbuch:
Closing remarks.
326-328 BibTeX
Chapter 5:
Logical design of computers
- Maurice V. Wilkes:
Introductory speech.
331-333 BibTeX
- Christopher Strachey:
Time sharing in large, fast computers.
336-341 BibTeX
- B. J. Loopstra:
Input and output in the X-1 system.
342-343 BibTeX
- W. F. Schmitt, A. B. Tonik:
Sympathetically programmed computers.
344-347 BibTeX
- J. Bosset:
Sur certain aspects de la conception logique du Gamma 60.
348-352 BibTeX
- Alan L. Leiner, W. A. Notz, J. L. Smith, Rosalind B. Marimont:
Concurrently operating computer systems.
353-360 BibTeX
- W. L. van der Poel:
Zebra, a simple binary computer.
361-364 BibTeX
- M. M. Lehman:
The specification of a cost-limited digital computer.
365-374 BibTeX
- Frederick P. Brooks Jr., Gerrit A. Blaauw, Wilfried Buchholz:
Processing data in bits and pieces.
375-381 BibTeX
- I. Y. Akushsky, L. B. Emelianow-Yaroslavsky, E. A. Klyamko, V. S. Linsky, G. D. Monakhov:
Methods of speeding-up the operation of digital computers.
382-388 BibTeX
- Gernot Metze, James E. Robertson:
Elimination of carry propagation in digital computers.
389-395 BibTeX
- H. Takahasi, Eiichi Goto:
Application of error-correcting codes to multi-way switching.
396-399 BibTeX
- Saburo Muroga:
The principle of majority decision logical elements and the complexity of their circuits.
400-406 BibTeX
- Roberto Vacca:
A three-valued system of logic and its application to base three digital circuits.
407-413 BibTeX
- G. C. Tootill:
The use of cyclic-permuted chain codes for digitisers.
414-418 BibTeX
- Antonin Svoboda:
The numerical system of residual classes in mathematical machines.
419-421 BibTeX
- M. Goto:
Symposium on switching algebra.
422-426 BibTeX
- W. L. van der Poel:
Symposium on the logical organization of very small computers.
427-431 BibTeX
- N. G. Metropolis:
Symposium on the logical organization of very high speed computers.
432-436 BibTeX
Chapter 6:
Special session on computer techniques of the future
Chapter 7:
Miscellaneous topics
Copyright © Sat May 16 23:22:30 2009
by Michael Ley (ley@uni-trier.de)
