Table of Contents

• Interactive theorem provingJorge Morales. [doi]
• Automatic recognition of handwritten characters using structural featuresJ. Diane Pritchard, Norman E. Sondak. [doi]
• The TDIP SystemJoseph D. Smith, James T. Perry. [doi]
• Computer generation of vertex-graphsN. S. Sridharan. [doi]
• An all cycle algorithm for undirected graphsE. Dixon, S. Goodman. [doi]
• Asympototes of a differential equation of ion recombinationWilliam M. Wagner, H. Richard wood. [doi]
• N-decomposition and decomposition matrix for automataArthur T. Poe. [doi]
• Tools for modular programming: Finding out what's neededJohn B. Goodenough. [doi]
• Computer data communication: Packet switching in a slotted satellite channelSimon S. Lam. [doi]
• Micromultiprocessing of a single instruction streamRoss Pavlac. [doi]
• The analysis and scheduling of devices having rotational delaysSamuel Henry Fuller. [doi]
• On the number of pairs of orthogonal cliques of a graphChung C. Wang. [doi]
• Application of statistical methods to number theory (Clustering of Primes)Michael E. Neyer. [doi]
• A flexible approach to teaching FORTRANThomas C. Richards. [doi]
• A descriptive model for the design and implementation of computer systemsJohn Mazur. [doi]
• Reconstruction methods for multiple projectionsW. G. Wee, C. C. Lin, M.-J. Tsai. [doi]
• Analysis of conservational transition systemsY. Edmund Lien. [doi]
• Use of SNOBOL4. as an interactive language for artificial intelligence researchDewayne Hendricks. [doi]
• An on-line interactive system for studying acceptable sampling plansHerman D. Hughes. [doi]
• On pattern recognition and description using many sorted predicate calculiAlois Glanc. [doi]
• AGSICP: An Automated Grading System for the Instruction of Cobol ProgrammingNorman M. Aaronson. [doi]
• On program verification and easy to veryfy programmingTimothy White. [doi]
• Simulation experiments into inventory scheduling in multi-stage systemsStephen H. Goodman, Stanley T. Hardy, Lawrence D. Vitt. [doi]
• An example of program in the form of abstract machineMario R. Schaffner. [doi]
• Investigation of the mechanisms for interprocess communicationJan Polek, Imtiaz Ahmad. [doi]
• A measure for memory utilizationYin Wei. [doi]
• The reallocation of sequential regions of non-uniform sizeCarter Bays. [doi]
• A genetic theory of scientific developmentWarren Jones. [doi]
• Cybernetic experimentsMeyer Katzper. [doi]
• On-line data analysis and graphics using BASIS-70C. Claydon, R. Krohn, A. Fish. [doi]
• Experience with intersession courses in computer scienceNorman E. Sondak, R. C. Scott, J. H. Sistare. [doi]
• Generation of linguistic filter structures for image enhancementR. C. Gonzalez. [doi]
• The effect of selected variables on the learning of some computer programming elementsSorel Reisman. [doi]
• Design specifications for an information retrieval system management gameMary Jane Lee, Gerald J. Lazorick. [doi]
• Content addressable memory processorNiels Schumburg. [doi]
• K-lossless sequential machines of maximum orderEverald E. Mills. [doi]
• Computational experience with the Central Cutting Plane AlgorithmJack Elzinga, Thomas G. Moore. [doi]
• A methodology for producing reliable software systemsCarlos J. Lucena. [doi]
• A statistical survey on the CAI thermodynamics at U. S. Naval AcademyChih Wu. [doi]
• VIPTRAN - A programming language and its compiler for Boolean SystemsAlfred C. Weaver. [doi]
• Performance evaluation of multiprogrammed time-shared computer systemsAkira Sekino. [doi]
• Contraction map methods for discrete rational Chebychev approximationDavid F. McAllister. [doi]
• Operations on doubled binary picturesR. L. Stafford, S. J. Walljasper. [doi]
• Interactive graphics enhancements for information retrieval systemsWayne D. Dominick, Benjamin Mittman. [doi]
• A paradigm for semantic picture recognitionMichael L. Baird. [doi]
• Sigma 5 Fortran language processor for the Computer Design Language, FIT version IVictoria Gehman Evans. [doi]
• A cellular automaton for pattern recognition by parallel computationCarl F. R. Weiman. [doi]
• Interleaving of control-store for high-performance micro-programmed computersWalter H. Burkhardt. [doi]
• A new binary code for pattern recognition by parallel computationJerome Rothstein. [doi]
• Computing with multiple microprocessorsJohn V. Levy. [doi]
• extensions in linear regressionHerbert A. Morris. [doi]
• Application of cognitive dissonance in the teaching of FORTRAN IV in an unstructured settingJames F. Kearney, John Nodine. [doi]
• Iterative solution of block tridiagonal systems on parallel or vector computersD. K. Stevenson, Joseph F. Traub. [doi]
• Innovative techniques for college faculty using the computer in undergraduate curriculaAnne Kellerman, Geraldine MacDonald. [doi]
• One-step methods for nonlinear n-th order integro-differential equationsWalter A. Snow. [doi]
• The design of a flexible real time simulation of terminal area air trafficChristina Davis. [doi]
• Second order methods for the solution of stiff ordinary differential equationsR. L. Brown. [doi]
• The simulation of a creative process - the composition of man-machine poetryLeon R. Wechsler, Norman E. Sondak. [doi]
• Environment primitive operators in programming languagesRichard O. Clark, James F. Leathrum. [doi]
• Gest implementationTuncer I. Ören. [doi]
• Numerical experimentation with routines for solving nonlinear systems of equationsD. L. Kalmey, D. S. Kerr, L. J. White. [doi]
• Characterization algorithms of binary picturesYuan R. Wang. [doi]
• Simulation of commercial job stream in a multiprogramming scheduling environmentGerald N. Pitts, Barry L. Bateman. [doi]
• Multiprogramming under separate working-set principleHuei-hsiung Chuang. [doi]
• Problems facing large Health Information SystemsLou S. Davis. 1-2 [doi]
• The new focus on health systems managementRobert A. Greenes. 3-4 [doi]
• The Missouri statewide Automated Standard System of Psychiatry problems and partial solutionsIvan W. Sletten. 5-6 [doi]
• A note on computational studies for solving transportation problemsFred Glover, David Karney, Darwin Klingman. 7-11 [doi]
• A cutting plane algorithm for the fixed charge problemHamdy A. Taha. 12-15 [doi]
• Computational experience with an algorithm for the lock box problemR. L. Bulfin, V. E. Unger. 16-19 [doi]
• Computer applications in a cable television environmentHoward Buckholtz, Eileen Buckholtz. 20-26 [doi]
• An improved full-duplex retransmission techniqueC. J. Funk, W. G. Bulgren. 27-34 [doi]
• A computerized hypertension management systemGeorge Worm. 35-38 [doi]
• Preliminary design for POPSY - a POlyProcessor SYstemMalcolm C. Harrison. 39-41 [doi]
• Name resolutions using a microprogrammed interpretive techniqueStanley Habib. 42-47 [doi]
• Computational aspects of a Dual algorithm for quadratically constrained quadratic programsDonald W. Hearn, William D. Randolph. 48-51 [doi]
• On the syntax and semantics of horizontal microprogramming languagesTomlinson Gene Rauscher, Ashok K. Agrawala. 52-56 [doi]
• Direct microprogrammed execution of the intermediate text from a high-level language compilerFrancois Robert Broca, Richard E. Merwin. 57-63 [doi]
• The computer animated film: A dynamic cartographyHarold Modellering. 64-69 [doi]
• Interactive graphics in water quality investigationsR. L. Phillips, D. E. Geister. 70-75 [doi]
• Software for satellite graphics systemsJames D. Foley. 76-80 [doi]
• The impact of a computers and society course on student perspectivesP. J. Nicholson, William R. Franta, Ronald E. Anderson. 81-86 [doi]
• Computer people and their attitudes toward computerization: A social survey of the ACM'70 ConferenceRonald E. Anderson, Kay Troost. 87-91 [doi]
• Automatic Steno translationRaoul N. Smith. 92-96 [doi]
• Applications of the inner product computerEarl E. Swartzlander Jr.. 97-100 [doi]
• Conditional syntactic specificationJ. A. N. Lee, J. Dorocak. 101-105 [doi]
• A survey of compiler optimization techniquesPaul B. Schneck. 106-113 [doi]
• A tool for enforcing system structureJohn R. White, Leon Presser. 114-118 [doi]
• On program control structurePeter M. Neely. 119-125 [doi]
• Algorithm dynamicsMaurice H. Halstead, Rudolf Bayer. 126-135 [doi]
• Recovery semantics for a DB/DC systemCharles T. Davies Jr.. 136-141 [doi]
• Recovery scenario for a DB/DC systemLawrence A. Bjork Jr.. 142-146 [doi]
• Extended polynomial algorithmsAnthony C. Hearn, Rüdiger G. K. Loos. 147-152 [doi]
• On the substitution of polynomial formsEllis Horowitz. 153-158 [doi]
• The EZ GCD algorithmJoel Moses, David Y. Y. Yun. 159-166 [doi]
• The L* data languageJ. C. Gray, J. C. Tomlinson. 167-173 [doi]
• A minisystem programming languageRobert Lechner, William Stallings. 174-182 [doi]
• A Fortran language anticipation and prompting systemJohn H. Pinc, Earl J. Schweppe. 183-187 [doi]
• An interactive statistical modelling package in APLYuan Liu, Amrit L. Goel. 188-201 [doi]
• Mechanisms for comparing chess programsT. Anthony Marsland, P. G. Rushton. 202-205 [doi]
• Implementation of a dynamic tree searching algorithm in a chess programmeGerhard Wolf. 206-208 [doi]
• The USC chess programAlbert L. Zobrist, Fredric R. Carlson. 209-212 [doi]
• COKO III and the future of inter-snap judgment communicationEdward W. Kozdrowicki, Dennis W. Cooper. 213-218 [doi]
• A random number generator for small word-length computersClaude Overstreet Jr., Richard E. Nance. 219-223 [doi]
• A process for reducing cluster representations and retrieval costsDonald B. Crouch. 224-227 [doi]
• A tool for automatic program restructuringDomenico Ferrari. 228-231 [doi]
• Memory allocation in paging systemsArt Lew. 232-235 [doi]
• Correctness in access controlGerald J. Popek. 236-241 [doi]
• A large-scale dual operating systemJohn H. Howard Jr.. 242-248 [doi]
• A Pageable Memory Dictionary Information Retrieval SystemEd Pearce, George Dailey, Allen Menard, Barry L. Bateman, Gerald N. Pitts. 249-255 [doi]
• An experimental comparison of relevance-feedback techniquesRoger W. Elliott, Lee E. Cashman. 256-261 [doi]
• On-line index term predictions using bigram-term associationsJon T. Rickman, Harry W. Gardner. 262-270 [doi]
• Multi-state information system: Problems and solutionsGeorge Wahl Logemann. 271-272 [doi]
• Janus: A data management and analysis system for the behavioral sciencesJeffrey P. Stamen, Robert M. Wallace. 273-282 [doi]
• CRISP: An interactive student registration systemBernard A. Galler, R. Wagman, J. Bravatto, G. Lift, G. Kern, V. Berstis, E. Munn. 283-289 [doi]
• A MULTILINGUAL INTERPRETER for interactive computing in an academic environmentLarry Kheriaty. 290-294 [doi]
• A syntax-oriented formal system for defining processesClifford R. Hollander. 295-298 [doi]
• Solving linear programming problems stated in English by computerStewart N. T. Shen, Gilbert K. Krulee. 299-303 [doi]
• Interactive instruction simulation on and of the Datapoint 2200 computerPaul F. Huebner, Daniel T. Skelton, Earl J. Schweppe. 304-308 [doi]
• Computer assistance for writing interactive programs: TICSRoy Kaplow, David Schneider, Franklin C. Smith Jr., William R. Stensrud. 309-315 [doi]
• Test-site evaluation of ICU/PLANITTerry J. Frederick. 316-319 [doi]
• Device gain - a measure of system component simultaneous operationJohn M. Hoffman. 320-326 [doi]
• An adaptive microscheduler for a multiprogrammed computer systemEdgar M. Pass, John Gwynn. 327-331 [doi]
• Guidelines for planning and organizing a performance improvement projectDennis R. Chastain. 332-335 [doi]
• Selection processes and their relation to automataPierre Lebeux. 336-341 [doi]
• Two results concerning the power of two-way deterministic Pushdown AutomataDaniel Martin, John Gwynn. 342-344 [doi]
• Pattern generation in non-standard tessellation automataWilliam I. Grosky, Frank Tsui. 345-348 [doi]
• Learner-controlled course on the TICCIT systemC. Victor Bunderson. 349 [doi]
• Computers in communications and education at Coast Community College DistrictBernard J. Luskin, Monty W. Ruth. 350-352 [doi]
• Computing in the community colleges - fact and fancyHerbert D. Peckham. 353-356 [doi]
• Textile Graphics/Computer Aided: A course taught at the Fashion Institute of TechnologyAnn C. Gubiotti, Pat Velderman, Nitta P. Dooner, Janice R. Lourie, Kay James, Lynn Nowakowski. 357-361 [doi]
• Use of a computerized clinical decision system in a diabetic clinicRobert E. Bolinger, Sandra Price, Joseph L. Kyner. 362-364 [doi]
• Computer simulation of irregular shaped lesions in radiographsJohn M. DeGroot, Samuel J. Dwyer III, Lewis J. Garrotto. 365-369 [doi]
• Cartoons: An initial investigation of animated graphsRobert I. Winner. 370-373 [doi]
• Computer Impact on Society perspective on a new NSF initiativePeter G. Lykos, M. Granger Morgan, Fred W. Weingarten. 374-380 [doi]
• Computers in the service of man: The computer professional in an alien subcultureHenry C. Lucas Jr.. 381-386 [doi]
• Towards a person-centered computer technologyRob Kling. 387-391 [doi]
• An analysis of natural vs. synthetic speech intelligibility: A preliminary appraisal of a reading machine for the blindP. W. Nye, J. H. Gaitenby, J. D. Hankins. 392-393 [doi]
• Computer-assisted instruction for the deaf: The Stanford projectJ. D. Fletcher. 394-395 [doi]
• A communications device for the severely handicappedGregg C. Vanderheiden, D. F. Lamers, Andrew M. Volk, C. Daniel Geisler. 396-397 [doi]
• DOTSYS III: A portable braille translatorJ. E. Sullivan. 398-403 [doi]
• Computer Braille in the Atlanta School SystemMarion P. Boyles. 404 [doi]
• Some distributional and convergence properties of the finite element method, with applications in nonlinear elastodynamicsJ. Tinsley Oden. 405-408 [doi]
• Computational aspects of data fitting with a new multivariate splinePhilip B. Zwart. 409-414 [doi]
• On applications of generalized splines and generalized inverses in regularization and projection methodsM. Z. Nashed. 415-418 [doi]
• A step toward quality control in computer programming: Understanding the psychology of the management of computer programmersR. Fred Littrell. 419-423 [doi]
• Computerized optimization and planning in solid waste managementRobert R. Keller. 424-427 [doi]