Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 5 of 5
Full-Text Articles in Physical Sciences and Mathematics
Infinite Product Group, Keith G. Penrod
Infinite Product Group, Keith G. Penrod
Theses and Dissertations
The theory of infinite multiplication has been studied in the case of the Hawaiian earring group, and has been seen to simplify the description of that group. In this paper we try to extend the theory of infinite multiplication to other groups and give a few examples of how this can be done. In particular, we discuss the theory as applied to symmetric groups and braid groups. We also give an equivalent definition to K. Eda's infinitary product as the fundamental group of a modified wedge product.
On-The-Fly Dynamic Dead Variable Analysis, Joel P. Self
On-The-Fly Dynamic Dead Variable Analysis, Joel P. Self
Theses and Dissertations
State explosion in model checking continues to be the primary obstacle to widespread use of software model checking. The large input ranges of variables used in software is the main cause of state explosion. As software grows in size and complexity the problem only becomes worse. As such, model checking research into data abstraction as a way of mitigating state explosion has become more and more important. Data abstractions aim to reduce the effect of large input ranges. This work focuses on a static program analysis technique called dead variable analysis. The goal of dead variable analysis is to discover …
Real-Time Computer Optimized Scanning Potential Coulometry For Multi-Component Trace Analysis, Norman W. Petty
Real-Time Computer Optimized Scanning Potential Coulometry For Multi-Component Trace Analysis, Norman W. Petty
Theses and Dissertations
The instrumentation and methodology for real-time computer controlled scanning potential coulometry for multi-component trace analysis is described. The sensitivity limit was determined to be 10^-8 F for electrochemically reversible constituents. The sensitivity limit could be extended if measures were taken to compensate for the periodic signal found on the electrolysis current. Non-linear least squares curve fitting methods accurately resolved iron-platinum and silver-iron interferences to give accurate determinations for iron and silver. The resolving capability of this method was tested using theoretically generated scanning potential coulograms. The computer resolved sample constituents with a 1 to 100 concentration ratio and a formal …
The Chromatographic Purification Of Human Red Blood Cell Acetylcholinesterase, Richard P. Dunkley
The Chromatographic Purification Of Human Red Blood Cell Acetylcholinesterase, Richard P. Dunkley
Theses and Dissertations
A process of column chromatography of human erythrocyte acetylcholinesterase, using a cationic exchange resin, was investigated as a possible method for the primary partial purification of the enzyme on a large scale. The investigation was based, first; on a detailed study of the enzymatic stability to variation in hydrogen-ion and salt concentrations for periods of time extending to forty eight hours and, second; on an investigation of the degree of adsorption by the resin of the enzyme at various pH values within the pH range of enzyme stability. A method for the analysis of the enzyme activity of large numbers …
Biological Oxidation Of Copper Sulfide Minerals, Delmar Boyd Davis
Biological Oxidation Of Copper Sulfide Minerals, Delmar Boyd Davis
Theses and Dissertations
This work represents a study of the biological oxidation of copper sulfide minerals. The principal objective of the study was to determine the extent of bacterial oxidation on copper containing sulfide minerals. It was also desired to determine if the bacteria could oxidize copper sulfides in the absence of iron. A better understanding of the nitrogen requirements of the organisms was desired. Minerals used in this study were Bingham Canyon Float Concentrate, chalcopyrite, covellite, calcocite, bornite, tetrahedrite, and reagent grade copper sulfide. The bacteria used were obtained from the mine waters of Bingham Canyon, Utah. To study the problem the …