Traité d'analyse,

Available on demand as hard copy or computer file from Cornell University Library.

Searching for structure (alias-AID-III) ; an approach to analysis of substantial bodies of micro-data and documentation for a computer program (successor to the Automatic Interaction Detector Program) /

Bibliography: p. [165]-166.

Searching for structure ; an approach to analysis of substantial bodies of micro-data and documentation for a computer program /

Mode of access: Internet.

Human interfaces to structured documents

This research investigates some of the reasons for the reported difficulties experienced by writers when using editing software designed for structured documents. The overall objective was to determine if there are aspects of the software interfaces which militate against optimal document construction by writers who are not computer experts, and to suggest possible remedies. Studies were undertaken to explore the nature and extent of the difficulties, and to identify which components of the software interfaces are involved. A model of a revised user interface was tested, and some possible adaptations to the interface are proposed which may help overcome the difficulties. The methodology comprised: 1. identification and description of the nature of a ‘structured document’ and what distinguishes it from other types of document used on computers; 2. isolation of the requirements of users of such documents, and the construction a set of personas which describe them; 3. evaluation of other work on the interaction between humans and computers, specifically in software for creating and editing structured documents; 4. estimation of the levels of adoption of the available software for editing structured documents and the reactions of existing users to it, with specific reference to difficulties encountered in using it; 5. examination of the software and identification of any mismatches between the expectations of users and the facilities provided by the software; 6. assessment of any physical or psychological factors in the reported difficulties experienced, and to determine what (if any) changes to the software might affect these. The conclusions are that seven of the twelve modifications tested could contribute to an improvement in usability, effectiveness, and efficiency when writing structured text (new document selection; adding new sections and new lists; identifying key information typographically; the creation of cross-references and bibliographic references; and the inclusion of parts of other documents). The remaining five were seen as more applicable to editing existing material than authoring new text (adding new elements; splitting and joining elements [before and after]; and moving block text).

Digitisation, representation, and formalisation - Digital libraries of mathematics

One of the main tasks of the mathematical knowledge management community must surely be to enhance access to mathematics on digital systems. In this paper we present a spectrum of approaches to solving the various problems inherent in this task, arguing that a variety of approaches is both necessary and useful. The main ideas presented are about the differences between digitised mathematics, digitally represented mathematics and formalised mathematics. Each has its part to play in managing mathematical information in a connected world. Digitised material is that which is embodied in a computer file, accessible and displayable locally or globally. Represented material is digital material in which there is some structure (usually syntactic in nature) which maps to the mathematics contained in the digitised information. Formalised material is that in which both the syntax and semantics of the represented material, is automatically accessible. Given the range of mathematical information to which access is desired, and the limited resources available for managing that information, we must ensure that these resources are applied to digitise, form representations of or formalise, existing and new mathematical information in such a way as to extract the most benefit from the least expenditure of resources. We also analyse some of the various social and legal issues which surround the practical tasks.

Using programmed formulas in Excel

A NESTED formula that converted a numerical mark to a letter grade which is used at Deakin to create letter grades of High Distinction, Distinction, Credit, Pass, and Fail is outlined. Spreadsheet programming can handle words as well as formulas and numbers. Spreadsheet programming = well-formed formulas + logic + mathematics operations + learning.

Evaluation of LS-DYNA wood material model 143 /

"HRDI-04/08-05(1M)E"--P. [4] of cover.

A virtual address kernel modification for UNIX /

"February 1980."

Selection of most representative training examples and incremental generation of VL₁ hypotheses : the underlying methodology and the description of programs, ESEL and AQ11 /

"UILU-ENG 78-1720"

SMART: a program for simplified matrix algebra on remote terminals.

Thesis (M.S.)--University of Illinois.

Numerical systems on a minicomputer /

Thesis (M. S.)--University of Illinois at Urbana-Champaign.

Applied geology. A treatise on the industrial relations of geological structure; and on the nature, occurrence, and uses of substances derived from geological sources.

Available on demand as hard copy or computer file from Cornell University Library.

A history of the growth of the steam-engine,

Available on demand as hard copy or computer file from Cornell University Library.

The air almanac /

Description based on: Jan.-June 1981.

Official congressional directory /

Latest issue consulted: 109th Cong. (2005/2006).