Now showing items 21-30 of 256
TOKDEC: A Tool for Compiler Debugging
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 ...
Deduction by Induction
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.
The Class 10 4x4 Faithful Representations of S4 over GF(2)
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 ...
Numerical prediction and correlation of leading edge jet impingement with varying jet shapes and flow conditions for gas turbine cooling.
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 ...
The influence of load on kinematics of computer-simulated sagittal-plane lifting.
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 ...
MultiKarma : a fully decentralized virtual multi-currency.
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 inspection and characterization of complex engineering materials via ultrasound techniques.
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 method for replicating ice accretion roughness using multi-scale analog distributions.
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 ...
A Quick Algorithm for Identifying Conjugate Groups in GF(2)
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 ...