default search action
2. IFIP Congress 1962: Munich, Germany
- Information Processing, Proceedings of the 2nd IFIP Congress 1962, Munich, Germany, August 27 - September 1, 1962. North-Holland 1962
Chapter 1: Opening Session
- Alwin Walther:
The Spectrum of Information Processing. IFIP Congress 1962: 3-8 - Isaac L. Auerbach:
The Impact of Information Processing on Mankind. IFIP Congress 1962: 9-13
Chapter 2: Survey Session
- Eduard Stiefel:
Some Examples of Numerical Methods and the Philosophy behind them. IFIP Congress 1962: 17-20 - John McCarthy:
Towards a Mathematical Science of Computation. IFIP Congress 1962: 21-28 - Heinz Gumin:
Digital Computers, Mathematical Logic and Principal Limitations of Computability. IFIP Congress 1962: 29-32
Chapter 3: Business Information Systems
Business Data Processing 1
- Grace M. Hopper:
Business Data Processing - A Review. IFIP Congress 1962: 35-39 - D. W. Hopper:
Integrated Information Processing for Management of Nationalized Industries. IFIP Congress 1962: 40-44 - R. Hindle:
Data Processing in English Banks. IFIP Congress 1962: 45-50 - A. Leigh:
Computer Uses at Lamp Department, Canadian General Electric. IFIP Congress 1962: 51-56
Business Data Processing 2
- John A. Gosden, Roger L. Sisson:
Standardized Comparisons of Computer Performance. IFIP Congress 1962: 57-61 - William C. Carter:
Mathematical Analysis of Merge-Sorting Techniques. IFIP Congress 1962: 62-66 - J. P. Jeanniot, P. J. Sandiford:
Some Airlinge Applications of Monte-Carlo System Simulations. IFIP Congress 1962: 67-72 - C. C. Gotlieb:
The Construction of Class-Teacher Time-Tables. IFIP Congress 1962: 73-77 - A. Vazsonyi:
Extending Management Capability by Electronic Computers. IFIP Congress 1962: 78-82
Panel
- R. W. Starreveld:
Panel on Business Systems. IFIP Congress 1962: 83-89
Chapter 4: Scientific Information Processing
Algebra
- Heinz Rutishauser:
On a Modification of the QD-Algorithm with Graeffe-Type Convergence. IFIP Congress 1962: 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é. IFIP Congress 1962: 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. IFIP Congress 1962: 102-106 - P. H. Blundell:
A Method for Solving Simultaneous Polynominal Equations. IFIP Congress 1962: 107-111 - Eugene L. Wachspress:
Strategy for Multidimensional Neutron Group Diffusion Computations. IFIP Congress 1962: 112-115 - J. L. Howland:
On Some Methods for Computing the Roots of Polynominals. IFIP Congress 1962: 116-121
Partial Differential Equations
- A. A. Dorodnicyn:
Partial Differential Equations of the Mixed Type and Methods of Their Solution. IFIP Congress 1962: 122-125 - Max E. Engeli, Peter Läuchli:
Automatic Calculation and Programming of Difference Equations for Elliptic Boundary Value Problems. IFIP Congress 1962: 126-131 - David J. Evans:
Numerical Studies of Implicit Iterative Methods for Solving Elliptic Difference Equations. IFIP Congress 1962: 132-140 - L. Guerri:
Numerical Calculation of Shock Waves. IFIP Congress 1962: 141-144 - Bella Kotkin:
A Mathematical Model of Drug Distribution and the Solution of Differential-Difference Equations. IFIP Congress 1962: 145-148
Differential and Integral Equations
- Peter Wynn:
Acceleration Techniques in Numerical Analysis, with Particular Reference to Problems in One Independent Variable. IFIP Congress 1962: 149-156 - J. Kuntzmann:
Nouvelle méthode pour l'integration approchée des équations differentielles. IFIP Congress 1962: 157-162 - Jacques J. Arsac:
Recherche des solutions d'une équation de convolution. IFIP Congress 1962: 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. IFIP Congress 1962: 169-172
Optimization Programming
- Alan J. Hoffman:
Large Linear Programs. IFIP Congress 1962: 173-176 - V. S. Michalevitch:
The Method of Sequential Analysis of Variants for Determination of Optimal Solutions. IFIP Congress 1962: 177-179 - J. Habr:
The Use of Approximation Methods in Linear Programming. IFIP Congress 1962: 180-184 - Tomasz Pietrzykowski:
Application of the Steepest Ascent Method to Concave Programming. IFIP Congress 1962: 185-189 - John M. Bennett:
A Breakpoint Technique for Network Problems. IFIP Congress 1962: 190-194 - Françoise Gallouedec Genuys:
Application de la programmation linéaire en nombres entiers à un problème de découpe. IFIP Congress 1962: 195-197
Symposiums
- Alston S. Householder:
Symposium on Matrix Computations. IFIP Congress 1962: 198-206 - Germund Dahlquist:
Symposium on Stability of Numerical Calculations. IFIP Congress 1962: 207-212 - G. Bretschneider:
Symposium on Industrial Simulation. IFIP Congress 1962: 213-217 - Börje Langefors:
Symposium on Data Reduction. IFIP Congress 1962: 218-222
Chapter 5: Real-Time Information Processing
Real-Time Information Processing
- F. H. Raymond:
Vue d'ensemble des problèmes fondamentaux du traitement des informations en temps réel. IFIP Congress 1962: 225-230 - L. Casciato:
The Control of Traffic Signals with an Electronic Computer - A New Application of Real-Time Data Processing. IFIP Congress 1962: 231-235 - Clement Green, André Debroux, G. P. Del Bigio, A. Gazzano, Hervé D'Hoop, A. Riotte, A. van Wauwe:
Utilisation of an Analogue-to-Digital Linkage System in a Big Scientific Computing Centre. IFIP Congress 1962: 236-241 - R. B. Stauffer, T. H. Lewis:
Met-Watch: A Technique for Processing and Scanning Meteorological Data with a Digital Computer. IFIP Congress 1962: 242-246 - J. Carpentier:
Nouvelle méthode de calcul du Dispatching Economique d'un réseau de transport d'enérgie. IFIP Congress 1962: 247-251
Symposium
- J. Carteron:
Symposium on Mixed Analog-Digital Systems. IFIP Congress 1962: 252-257
Panel
- Douglas T. Ross:
Panel on Numerical Control. IFIP Congress 1962: 258-264
Chapter 6: Information Retrieval
Information Retrieval
- Allen Kent:
Information Retrieval - Review and Prospectus. IFIP Congress 1962: 267-272 - Noah S. Prywes, Harry J. Gray:
The Multi-List System for Real-Time Storage and Retrieval. IFIP Congress 1962: 273-278 - Jean-Claude Gardin, F. Lévy:
Le SYNTOL (Syntagmatic Organization Language). IFIP Congress 1962: 279-283 - Roger M. Needham:
A Method for Using Computers in Information Classification. IFIP Congress 1962: 284-287 - Don R. Swanson:
Interrogating a Computer in Natural Language. IFIP Congress 1962: 288-293
Symposium
- J. Garcia Santesmases:
Symposium on Advanced Methods in Information Storage and Retrieval. IFIP Congress 1962: 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. IFIP Congress 1962: 301-305 - Susumu Kuno, Anthony G. Oettinger:
Multiple-Path Syntacitc Analyzer. IFIP Congress 1962: 306-312 - Karel Culík:
On Some Axiomatic Systems for Formal Grammars and Languages. IFIP Congress 1962: 313-317 - Martin Kay:
Rules of Interpretation - An Approach to the Problem of Computation in the Semantics of Natural Language. IFIP Congress 1962: 318-322 - K. G. Sellin:
Machine Translation and/or an International Language. IFIP Congress 1962: 323-325
Symposium
- A. Sestier:
Symposium on Modern Techniques of Language Translation. IFIP Congress 1962: 326-332
Panel
- Anthony G. Oettinger:
Panel on Semantics and Syntactics. IFIP Congress 1962: 333-338
Chapter 8: Digital Communication
Digital Communication
- E. P. G. Wright:
A Survey of Several Aspects of Data Communication. IFIP Congress 1962: 341-346 - N. Clark, A. C. Gannet:
Computer-to-Computer Communication at 2.5 Megabits.sec. IFIP Congress 1962: 347-353 - E. Rothauser, F. Lenk:
Dependence of Speech Quality on Transmitted Information Rate in a Band Compression System. IFIP Congress 1962: 354-358 - Karl Steinbuch, F. Zendeh:
Self-Correcting Decoding Circuits. IFIP Congress 1962: 359-366 - A. Eugene Miller, Arnold B. Shafritz, J. R. Smith:
Message Protection Features of the DATACOM Program. IFIP Congress 1962: 367-372
Symposium
- H. C. A. van Duuren:
Symposium on Coding Theory. IFIP Congress 1962: 373-376
Chapter 9: Artificial Perception
Automata Theory
- Arthur W. Burks:
Toward a Theory of Automata Based on more Realistic Primitive Elements. IFIP Congress 1962: 379-385 - C. A. Petri:
Fundamentals of a Theory of Asynchronous Information Flow. IFIP Congress 1962: 386-390 - Jirí Becvár:
Finite and Combinatorial Automata. Turing Automata with a Programming Tape. IFIP Congress 1962: 391-394 - Lawrence J. Fogel:
Toward Inductive Inference Automata. IFIP Congress 1962: 395-400 - Edward A. Feigenbaum, Herbert A. Simon:
Generalization of an Elementary Perceiving and Memorizing Machine. IFIP Congress 1962: 401-406
Machine Learning
- Allen Newell:
Learning, Generality and Problem Solving. IFIP Congress 1962: 407-412 - Charles M. Vossler, Leonard Uhr:
Computer Simulations of a Perceptual Learning Model for Sensory Pattern Recognition, Concept Formation and Symbol Transformation. IFIP Congress 1962: 413-418 - Viktor Kudielka:
Self-Organizing Grouping - A Learning Structure. IFIP Congress 1962: 419-422 - H. C. Ratz, G. H. M. Thomas:
The Development of a Conditional Probability Computer for Control Applications. IFIP Congress 1962: 423-427 - Horst Remus:
Simulation of a Learning Machine for Playing GO. IFIP Congress 1962: 428-432
Artificial Perception
- M. G. Saunders:
Digital Computer Usage in Analysis of Electroencephalograph and Similar Quasi-Rhythmic Patterns. IFIP Congress 1962: 433-438 - Béla Julesz:
Towards the Automation of Binocular Depth Perception. IFIP Congress 1962: 439-444 - Toshiyuki Sakai, Shuji Doshita:
The Phonetic Typewriter. IFIP Congress 1962: 445-450 - W. Slawson:
MUSE - A Sound Synthesizer. IFIP Congress 1962: 451-455 - Morton Nadler:
Un système analogique-digital pour la reconnaissance de caractères. IFIP Congress 1962: 456-461 - L. D. Earnest:
Machine Recognition of Cursive Writing. IFIP Congress 1962: 462-466
Symposiums
- Arthur L. Samuel:
Symposium on Pattern Recognition. IFIP Congress 1962: 467-470 - Theodore A. Kalin:
Symposium on Biological and Psychological Aspects of Pattern Recognition. IFIP Congress 1962: 471-477 - Marvin Minsky:
Symposium on Artificial Intelligence. IFIP Congress 1962: 478-484
Chapter 10: Advanced Techniques 1
Programming Languages and Their Processing
- Klaus Samelson:
Programming Languages and their Processing. IFIP Congress 1962: 487-492 - Manfred Paul:
ALGOL 60 Processors and a Processor Generator. IFIP Congress 1962: 493-497 - W. M. Keese Jr., Harry D. Huskey:
An Algorithm for the Translation of ALGOL Statements. IFIP Congress 1962: 498-502 - S. J. M. Denison:
A Proposed ALGOL 60 Matrix Scheme. IFIP Congress 1962: 503-508 - Lionello A. Lombardi:
On Table Operating Algorithms. IFIP Congress 1962: 509-512
Symposiums
- Julien Green:
Symposium on Languages for Processor Construction. IFIP Congress 1962: 513-517 - Robert W. Bemer:
Symposium on Programming Languages. IFIP Congress 1962: 518-523
Panel
- Heinz Rutishauser:
Panel on Techniques for Processor Construction. IFIP Congress 1962: 524-531
Chapter 11: Advanced Techniques 2
Advanced Programming
- Edsger W. Dijkstra:
Some Meditations on Advanced Programming. IFIP Congress 1962: 535-538 - Anatol W. Holt:
Program Organization and Record Keeping for Dynamic Storage Allocation. IFIP Congress 1962: 539-544 - Robert Perkins, William C. McGee:
Programmed Control of Multi-Computer Systems. IFIP Congress 1962: 545-549 - Ascher Opler, D. Farbman, M. Heit, W. King, E. O'Connor, Roy Goldfinger, H. Landow, J. Ogle, D. Slesinger:
Automatic Translation of Programs from one Computer to Another. IFIP Congress 1962: 550-555 - Peter Lucas:
Requirements on a Language for Logical Data Processing. IFIP Congress 1962: 556-560
Symposiums
- Walter F. Bauer:
Symposium on Advance Computer Organization. IFIP Congress 1962: 561-569 - P. Dreyfus:
Symposium on Multi-Programming (Concurrent Programs). IFIP Congress 1962: 570-575
Chapter 12: Advanced Techniques 3
Memory Techniques
- Walter E. Proebster:
High-Speed Memories. IFIP Congress 1962: 579-584 - J. Scharbert:
Nanosecond Speed in a Core Memory with Non-Destructive Read-Out. IFIP Congress 1962: 585-589 - John D. R. McQuillan:
Some Problems in the Design of Magnetic Film Storage Systems Operating at Millimicroseconds. IFIP Congress 1962: 590-596 - G. H. Perry, E. W. Shallow:
A Read-Out Circuit for High-Speed Non-Destructively Read Stores. IFIP Congress 1962: 597-602 - S. Takahashi, Kisaburo Nakazawa, Kenro Murata, Osamu Ishii:
A Tunnel-Diode High-Speed Memory. IFIP Congress 1962: 603-607
Circuits and Components
- J. A. Brustman:
Past and Future of Digital Computer Circuitry. IFIP Congress 1962: 608-611 - H. J. Harloff:
Size and Speed of Thin-Magnetic-Film Computer Units. IFIP Congress 1962: 612-616 - Udo Hölken:
Ferrite Core Logic in All-Magnetic Technique. IFIP Congress 1962: 617-624 - M. Alique, J. L. Lloret, I. Santos, M. A. Eced:
New Components for Ferroresonant Circuits. IFIP Congress 1962: 625-631 - H. H. Glaettli:
Hydraulic and Pneumatic Switching Elements. IFIP Congress 1962: 632-635
Symposiums
- Jan A. Rajchman:
Symposium on Fast Memory Technology. IFIP Congress 1962: 636-642 - Ambros P. Speiser:
Symposium on Advanced Components. IFIP Congress 1962: 643-647
Chapter 13: Advanced Techniques 4
System Design 1
- Heinz Gumin, F. K. Kroos:
A Very Small Electronic Digital Computer with Stored Program Control. IFIP Congress 1962: 651-656 - Frank H. Sumner, G. Haley, E. C. Y. Chen:
The Central Control Unit of the "Atlas" Computer. IFIP Congress 1962: 657-663 - Algirdas Avizienis:
On a Flexible Implementation of Digital Computer Arithmetic. IFIP Congress 1962: 664-670 - M. M. Lehman:
A Comparative Study of Propagation Speedup Circuits in Binary Arithmetic Units. IFIP Congress 1962: 671-677
System Design 2
- R. J. Preiss:
An Experimental System for Logic Design Data Accumulation and Retrieval. IFIP Congress 1962: 678-683 - Hiroshi Hagiwara, Kohei Amo, S. Matsushita, H. Yamauchi:
The KT Pilot Computer - A Micro-Programmed Computer with a Phototransistor Fixed Memory. IFIP Congress 1962: 684-689 - S. Takahashi, H. Nishino, K. Yoshihiro, Kazuhiro Fuchi:
System Design of the ETL Mk-6 Computer. IFIP Congress 1962: 690-693 - R. H. Allmark, J. R. Lucking:
Design of an Arithmetic Unit Incorporating a Nesting Store. IFIP Congress 1962: 694-698 - Immo O. Kerner:
Modern Programming Methods and Problems and their Influence on the Design of Computing Instruments. IFIP Congress 1962: 699-703
Panels
- Gene M. Amdahl:
Panel on Ultra-High-Speed Computers. IFIP Congress 1962: 704-710 - Maurice V. Wilkes:
Panel on Priority Problems in Computer Systems. IFIP Congress 1962: 711-715
Symposium
- Mario L. Juncosa:
Symposium on Optimum Routing in Large Networks. IFIP Congress 1962: 716-721
Chapter 14: Switching Theory
Switching Theory
- Edward J. McCluskey:
Fundamental Mode and Pulse Mode Operations of Sequential Circuits. IFIP Congress 1962: 725-730 - Mark B. Wells:
Application of a Finite Set Covering Theorem to the Simplification of Boolean Function Expressions. IFIP Congress 1962: 731-735 - Günter Hotz:
Digital Filters with Threshold Elements. IFIP Congress 1962: 736-740 - Paolo Ercoli, L. Mercurio:
Threshold Logic with One or more than One Threshold. IFIP Congress 1962: 741-746 - Eiichi Goto, H. Takahasi:
Some Theorems Useful in Threshold Logic for Enumerating Boolean Functions. IFIP Congress 1962: 747-752
Symposium
- Thomas H. Mott Jr.:
Symposium on Switching Theory. IFIP Congress 1962: 753-760
Chapter 15: Education
Panel
- Louis Fein:
Panel on University Education in Information Processing. IFIP Congress 1962: 763-765
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.