Table of Contents

• A Personal Computer for Children of All AgesAlan C. Kay. [doi]
• Current research in computer science (Research Session)John J. Donovan. 2-4 [doi]
• Virtual memories for mini-computersTimothy D. Chase, Robert M. Glorioso. 6-11 [doi]
• A Logic-in-Memory architecture for large-scale-integration technologiesArnold M. Peskin. 12-25 [doi]
• Limitations in pattern recognition and problem solvingRanan B. Banerji, George W. Ernst. 28-38 [doi]
• The current state of proving programs correctRalph L. London. 39-46 [doi]
• Robots, productivity and qualityCharles A. Rosen. 47-57 [doi]
• Reproductive adaptive plansDaniel J. Cavicchio. 60-70 [doi]
• N-sorted logic for automatic theorem-proving in higher-order logicLawrence J. Henschen. 71-81 [doi]
• A complete mechanization of (Ω)-order type theoryTomasz Pietrzykowski, D. C. Jensen. 82-92 [doi]
• Dynamic programming as applied to feature subset selection in a pattern recognition systemC. Y. Chang. 94-103 [doi]
• A ROM random-pulse computer for classifying binary patternsLouis R. Goke, Keith L. Doty. 104-109 [doi]
• Control systems in robotsWalter Jacobs. 110-117 [doi]
• A syntax directed approach for handling natural language relationsRobert W. Lingard, David Wilczynski. 118-128 [doi]
• Continuing education in information system developmentRussell M. Armstrong. 130-133 [doi]
• Curriculum recommendations for a master's program in information systems developmentRobert L. Ashenhurst. 134-137 [doi]
• The undergraduate program in information systems developmentJ. Daniel Couger. 138-144 [doi]
• Perception of computer simulated pulmonary lesions in chest radiographsJohn M. DeGroot, Ernest L. Hall, Richard N. Sutton, Gwilyu S. Lodwick, Samuel J. Dwyer III. 146-151 [doi]
• A method for identifying irregular antibodies in a sample of serumNeil J. Falvey. 152-162 [doi]
• Small computer-based system for the analysis of respiration response to atmosphere pollutionC. L. Partain, C. P. Merilan, P. A. Ansbacher. 163-166 [doi]
• The undergraduate education of medical computer scientistsJoel Stutman, Robert S. Tannenbaum. 167-172 [doi]
• Large scale computers in medical schoolsD. E. Clark. 174-182 [doi]
• Integrating small computers within a conversational time-sharing environmentFrank J. Mabry, Allan H. Levy. 183-186 [doi]
• Writing an interactive psychiatric information systemDietolf Ramm, Daniel T. Gianturco. 187-191 [doi]
• Design features of a real-time electrocardiographic monitoring systemDavid Vereeke, L. Julian Haywood, Steven Saltzberg, George Harvey. 192-198 [doi]
• Interactive languages in health computer sciences at the University of MinnesotaEugene Ackerman. 200-201 [doi]
• An integrated command and procedural language for drug researchPaul A. Castleman, Channing H. Russell. 202-203 [doi]
• A choice of language to support medical researchGio Wiederhold. 204-205 [doi]
• Recent improvements in Braille transcriptionJonathan Allen, Terry Borroz. 208-218 [doi]
• Digital processing of the speech of deaf childrenHarry Levitt. 219-227 [doi]
• System study of a dial-up text reading service for the blindJohn H. Munson. 228-239 [doi]
• Teaching speech to the deaf: can a computer helpRaymond S. Nickerson, Kenneth N. Stevens. 240-251 [doi]
• Network computer modelingEdward K. Bowdon Sr.. 254-264 [doi]
• Performance analysis of error-detecting-and-correcting codes in a random-error environmentWilliam J. Harding, Thomas H. Howell. 265-277 [doi]
• Strategies for operating systems in computer networksRobert M. Metcalfe. 278-281 [doi]
• An experimental application of cryptography to a remotely accessed data systemJay L. Smith, William A. Notz, P. R. Osseck. 282-297 [doi]
• The MIX computer as an educational toolE. M. Greenawalt, Donald I. Good. 302-309 [doi]
• Assist: a self modifiable assembler for instructional purposesJohn R. Mashey, G. M. Campbell, C. Forney Jr.. 310-312 [doi]
• Large scale CAI: the NSF projectErik McWilliams. 314-317 [doi]
• Recursive functional programming as a conceptual tool for social scientistsJohn Seely Brown. 320 [doi]
• The use of logo in a "computers and society" courseRonald Baecker. 321 [doi]
• A simple hardware model of a Turing machine: its educational useIra Gilbert, Jacques Cohen. 324-329 [doi]
• Computer-aided schema for instructional gamingTheodore I. Peterson, Rosemary Shields. 330-343 [doi]
• On making a theorem for a childSeymour Papert. 345-349 [doi]
• An algebraic approach to test data generationStephen P. Krosner. 352-367 [doi]
• Design of diagnosible automataJ. Paul Roth. 368 [doi]
• Fault detection test derivation using Boolean difference techniquesGeorge W. Smith. 369-378 [doi]
• Modular requirements for digital logic simulation at a predefined functional levelCliff W. Hemming Jr., Stephen A. Szygenda. 380-389 [doi]
• An interactive system for computer-aided design of printed circuit boardsJames G. Linders, William M. van Cleemput. 390-397 [doi]
• Autocheck program, program to check validity of printed circuit cards and circuit usageDonald J. McGinnis. 398-420 [doi]
• A system for computer generated moviesEdwin E. Catmull. 422-431 [doi]
• Graphic systems performance evaluationRobert A. Cislo. 432-442 [doi]
• A solution to the hidden surface problemMartin E. Newell, R. G. Newell, Tom L. Sancha. 443-450 [doi]
• Computer generated animation of facesFrederic I. Parke. 451-457 [doi]
• Applications of relational data structure models in man-machine systemsRobert C. Gammill. 460-468 [doi]
• The leadermart system and serviceAndrew J. Kasarda, Donald J. Hillman. 469-477 [doi]
• Design considerations for a Boolean search system with automatic relevance feedback processingJon T. Rickman. 478-481 [doi]
• An image matrix for accessing filesStanley T. Schuyler, Jonathan A. Soule, Patrick F. Turchetta, Malcolm H. Gotterer. 482-492 [doi]
• Reduction of integer programs to accelerate a multiple choice programming algorithmGordon H. Bradley. 494-495 [doi]
• Variable metric and conjugate direction methods in unconstrained optimization: recent developmentsDonald Goldfarb. 496-506 [doi]
• Large scale optimization and the relaxation methodMichael Held, Richard M. Karp, Philip Wolfe. 507-509 [doi]
• On shortest paths and sortingEllis L. Johnson. 510-517 [doi]
• Computing minimum spanning trees efficientlyAaron Kershenbaum, Richard M. Van Slyke. 518-527 [doi]
• A decomposition algorithm for integer programming problems with many columnsJeremy F. Shapiro. 528-533 [doi]
• Optimum concentrator location in telecommunications designLee J. White. 534-542 [doi]
• Background reading in microprogramming and emulationRichard E. Merwin. 545-551 [doi]
• Mirager, the "best-yet" approach for horizontal microprogrammingRobert K. Clark. 554-571 [doi]
• MPGS: a high-level language for microprogram generating systemMitsuhiro Hattori, Michiko Yano, Kiichi Fujino. 572-581 [doi]
• Microprogramming for probability distribution samplingTed G. Lewis. 582-589 [doi]
• Systemware: a technique for digital emulation and interfacingColin Whitby-Strevens, A. H. Croxon. 590-598 [doi]