Initial crash test screening studies utilizing the NHTSA/BCL computer simulation program for collinear car/car and car/barrier collisions. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

The graduate program in computer science.

Bibliography: p. 7-9.

Program organization for the University of Illinois digital computer /

"August 10, 1954"

Experiments with an image processing computer : part 3: proposed technical program, October 1, 1970 to September 30, 1971 /

"C00-1018-1213"--Cover.

Report on Workshop on High Performance Computing and Communications for Grand Challenge Applications : computer vision, speech and natural language processing, and artificial intelligence /

Cover title.

Revenue sharing : 1972-1986 : a plain-language explanation of the Revenue Sharing Program.

"April 1985."

Program Trixy : multi-group analysis of nuclear reactors in three space dimensions : for the IBM type 704 computer /

"Physics and Math. TID-4500 (15th Ed.)"--Title page.

HYMO : problem-oriented computer language for hydrologic modeling : users manual /

Bibliography: p. 53.

Speech and language development program, Milwaukee.

"One of a series of successful compensatory education programs."

ATTRITION : a BASIC language program for the IBM XT used to project attrition of sworn personnel /

"December 16, 1986."

Shoot first, ask questions later: Ethnographic research in an online computer gaming community

For researchers investigating online communities, the existence of the internet has made the activities and opinions of community members visible in a public domain. FPS gaming culture is a highly literate culture - members communicate and represent themselves in textual forms online, and the culture makes use of a wide variety of communication and publishing technologies. While a significant amount of insider knowledge is required to understand and interpret such online content, a large body of material is available to researchers online, and sometimes provides more reliable and enlightening information than that generated by more traditional research methods. While the abundance of data available online in some ways makes research far easier, it also creates new dilemmas and challenges for researchers. What extra knowledge is required of the researcher? How can one ensure that one's interpretations of member statements are made with an understanding of meaning within that culture? What responsibilities does the researcher have in their representation of the culture under examination? What ethical issues must be considered?

Computer-aided programming using formally specificed design templates

This paper describes a formal component language, used to support automated component-based program development. The components, referred to as templates, are machine processable, meaning that appropriate tool support, such as retrieval support, can be developed. The templates are highly adaptable, meaning that they can be applied to a wide range of problems. Some of the main features of the language are described, including: higher-order parameters; state variable declarations; specification statements and conditionals; applicability conditions and theories; meta-level place holders; and abstract data structures.

Compilation by refinement for a practical assembly language

In this paper we extend the conventional framework of program refinement down to the assembler level. We describe an extension to the Refinement Calculus that supports the refinement of programs in the Guarded Command Language to programs in .NET assembler. This is illustrated by a small example.