TOKDEC is a tool that helps create compiler debugging code by converting numeric tokens into character strings. It is meant to be used with the output of the “yacc” preprocessor.

This is the software described in the technical report “The GF2Matrices Classes: A Programming Package for Mathematical Research.” Over the past few years I have been engaged in an intense study of GF(2) matrices, especially ...

In this report, I offer a technique for computing power sums that is: intuitive, well-motivated, generalizable to all k, and suitable for presentation to pre-calculus students.

There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 10. (There is no class 6, so the classes are ...

To increase the core power of gas turbine engines, the combustion temperature is elevated above the metallurgical limits of the internal components. As a consequence, active cooling schemes are required to prevent the ...

Researchers have shown that lifting kinematics change predictably with increased load. To test whether these kinematics patterns are intrinsic or voluntary, a computer model was developed to simulate lifting in the sagittal ...

Participant-based technologies enable users to contribute resources to a shared pool that in the aggregate provides valuable services, such as social networks, massive multiplayer online games, file exchange, etc. Such ...

Nondestructive evaluation methods have grown increasingly popular and necessary in a variety of industries. For example, the aerospace industry uses such techniques to inspect aircraft components for damage prior to making ...

A new approach of creating an analog surface for a surface with natural roughness is presented based on the hypothesis that the dominant skin friction and heat transfer augmentation mechanisms are 1) the vortex shedding ...

This report gives the details an algorithm for determining whether two matrix groups are conjugate to one another. Each group is designated by a pair of matrices that generate the group. The algorithm is able to determine ...