Description of the microcomputer program, MANPOWER /

"September 15, 1984."

1997 economic census. [computer file].

Distributed to depositories in paper, shipping list no.: 2001-0289-P.

Dealing with temporal inconsistency in automated computer forensic profiling

Computer profiling is the automated forensic examination of a computer system in order to provide a human investigator with a characterisation of the activities that have taken place on that system. As part of this process, the logical components of the computer system – components such as users, files and applications - are enumerated and the relationships between them discovered and reported. This information is enriched with traces of historical activity drawn from system logs and from evidence of events found in the computer file system. A potential problem with the use of such information is that some of it may be inconsistent and contradictory thus compromising its value. This work examines the impact of temporal inconsistency in such information and discusses two types of temporal inconsistency that may arise – inconsistency arising out of the normal errant behaviour of a computer system, and inconsistency arising out of deliberate tampering by a suspect – and techniques for dealing with inconsistencies of the latter kind. We examine the impact of deliberate tampering through experiments conducted with prototype computer profiling software. Based on the results of these experiments, we discuss techniques which can be employed in computer profiling to deal with such temporal inconsistencies.

CAT Detect (Computer Activity Timeline Detection) : a tool for detecting inconsistency in computer activity timelines

The construction of timelines of computer activity is a part of many digital investigations. These timelines of events are composed of traces of historical activity drawn from system logs and potentially from evidence of events found in the computer file system. A potential problem with the use of such information is that some of it may be inconsistent and contradictory thus compromising its value. This work introduces a software tool (CAT Detect) for the detection of inconsistency within timelines of computer activity. We examine the impact of deliberate tampering through experiments conducted with our prototype software tool. Based on the results of these experiments, we discuss techniques which can be employed to deal with such temporal inconsistencies.

Computer-based guidelines for concrete pavements.

"February 2005."

Computer-based guidelines for concrete pavements.

"February 2005."

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.

Indicadores de desempenho e percepção subjetiva de esforço entre técnico e atletas de voleibol

The present study has for objective been to know the answers of performance indicators between different positions of volleyball and check for possible relationship between subjective perception referred by coach effort of volleyball athletes during training. Eleven athlete of the feminine sex, during eight weeks, 23 carried through sessions of training and eleven games, inferior members (Vertical Jump) and superiors had been evaluated by means of measures of explosive power in (Throw Medicine Ball), at the beginning and end of each week. For the verification of the subjective perceived of exertion it was used scales proposal for Foster (1998), to the end of each session of training. The collected data had been kept in computer file, producing information in the descriptive plan (measured central and dispersion) and the inferencial for the analysis of variance for the model with a factor complemented with the test of multiple comparisons of Tukey and linear correlation of Pearson. The results present as it has detached: i) the exercises specifics as content of bigger frequency in the training; ii) the test of vertical jump presented difference between the positions and, finally, iii) the subjective perceived of exertion between coach and athlete, he points that the trainer overestimates in 9,76% the perceived of the athletes. Such data are argued how much to the contents of the training as well as the load used in the interior of the process of preparation and monitoring of the training.

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"