As it is already observed by mathematicians and educators, there is a discrepancy between the formal techniques of mathematical logic and the informal techniques of mathematics in regards to proof. We examine some of the reasons behind this discrepancy and to what degree it affects doing, teaching and learning mathematics in college. We also…

Because increased need for child protective services exceeded the Texas Department of Human Services' capacity for timely response, a 2-year Case Decision Project was implemented with the aim of applying automation to parts of the case investigation process. The project produced a Case Investigation Decision Support System with two sections: a…

A study examined the effectiveness of the Westport Business Technology Magnet High School (WHS) in Kansas City, Missouri, after its third year of operation. Data for the summative evaluation were obtained from the following: classroom observations/site visits; interviews, dialogues, and surveys of WHS teachers, students, and parents; and the…

Issues related to library online systems are discussed in six articles. Topics covered include staff education through vendor demonstrations, evaluation of online public access catalogs, the impact of integrated online systems on cataloging operations, the merits of smart and dumb barcodes, and points to consider in planning for the next online…

This report describes a demonstration of cooperative cataloging of nonprint media in a network environment. The project was jointly managed by the Indiana Department of Public Instruction and the Indiana Cooperative Library Services Authority (INCOLSA), a state-wide multi-type library network. Staff at large school library media centers in Indiana…

This report covers the background, scope, and findings of a multifaceted research project which focused on data collection and analysis related to online public access systems (OPAC's); the ultimate goal of this project is to improve information access through OPAC design and enhancement. To assist library decision-makers when planning for the…

This final report describes activities and findings of a project which examined computer-automated scheduling in institutions for higher education and secondary schools and selected two sources for scheduling systems products which it recommends to institutions in the member states of the Midwestern Higher Education Commission and members of the…

This report describes a study designed to assess the client and staff libraries at each of the 11 California Department of Mental Health (DMH) and Department of Developmental Services (DDS) residential facilities to determine their existing resources and their ability to meet the requirements of the changing facility populations. The study…

Reports prepared by the Louisiana State University (LSU) Libraries Task Force on Electronic Services examine the present level of automated services at the LSU libraries and make recommendations for both long- and short-term plans to handle information in electronic format. The reports, each of which is followed by a list of recommendations, focus…

This report reviews the background and rationale for a cooperative authority file building system and describes the services, products, and operation of the new Name Authority Cooperative (NACO). The document defines the relationship between NACO, other Library of Congress (LC) cooperative projects, and the Linked Systems Project (LSP). The…

The purpose of the School Library Resources Program was to provide direct support to local public and non-public schools in their efforts to develop and maintain high quality library and media resources as an adjunct to their instructional program. There were two major emphases in the 3-year old program during the 1984-85 year. The first was to…

This study evaluates user satisfaction and the cost effectiveness of the use of computer systems in the Braille and Talking Book Program of the Ohio Regional Libraries for the Blind and Physically Handicapped, and makes recommendations for patterns of service and funding. This report provides an executive summary as well as a 3-part presentation…

This report summarizes the American Memory User Evaluation conducted during 1991-1993 in over 40 locations around the United States. The findings are based on 1800 user questionnaires, 120 user interviews, and more than 40 site visits by Library staff. American Memory describes the concept of providing electronic versions of selected Library of…

Data for this evaluation of the District of Columbia Public Schools (DCPS) School Library Resources Program as operated during the 1983-84 school year were collected via surveys of library media specialists and teachers. The stated objectives of the program scheduled for attainment by June 1984 called for planning a pilot program for…

This study is designed to illuminate some of the issues, options, and activities related to developing fee based information services at a large academic library, and to suggest the feasibility of developing such services at Memphis State University Libraries. The basis for the study is the realization that libraries, through automation, a changed…