Trapping of transuranium elements by the earth's magnetic field

The search for a transuranium element component of cosmic radiation has been carried out in high altitude balloon experiments. The trapping of high Z elements on orbits in the Earth's magnetic field may lead to a sufficient enhancement of the intensity of particle flux to make it possible to detect these elements by satellite experiments. Calculations are presented that predict the behavior of trapped particles as a function of the predicted flux and energy distribution of high Z elements incident on the Earth's magnetic field. Techniques are suggested for the detection of such particles. In addition, the possibility of production of transuranium elements in the recently discovered pulsars are discussed

Kinetic Mechanism of DNA Translocation by the RSC Molecular Motor

ATP-dependent nucleosome repositioning by chromatin remodeling enzymes requires the translocation of these enzymes along the nucleosomal DNA. Using a fluorescence stopped-flow assay we monitored DNA translocation by a minimal RSC motor and through global analysis of these time courses we have determined that this motor has a macroscopic translocation rate of 2.9 bp/s with a step size of 1.24 bp. From the complementary quantitative analysis of the associated time courses of ATP consumption during DNA translocation we have determined that this motor has an efficiency of 3.0 ATP/bp, which is slightly less that the efficiency observed for several genetically related DNA helicases and which likely results from random pausing by the motor during translocation. Nevertheless, this motor is able to exert enough force during translocation to displace streptavidin from biotinylated DNA. Taken together these results are the necessary first step for quantifying both the role of DNA translocation in nucleosome repositioning by RSC and the efficiency at which RSC couples ATP binding and hydrolysis to nucleosome repositioning

Evidence-based recommendations for the use of WBC-reduced cellular blood components

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/72881/1/j.1537-2995.2001.41101310.x.pd

Optical emission spectroscopy of electron-cyclotron-resonance-heated helium mirror plasmas

In this experiment emission spectroscopy in the 3000–5000 Å range has been utilized to determine the electron temperature (15–60 eV) and ion density (2–5 x 10 11 cm −3 ) of helium plasmas produced by the Michigan mirror machine (1) (MIMI). The plasma is generated and heated by whistler-mode electron-cyclotron resonance (ECR) waves at 7.43 GHz with 400–900 W power in 80-ms-long pulses. Gas fueling is provided at the midplane region by a leak valve with a range in pressure of 3 x 10 to 2 x 10 4 Torr. Emission line intensities are interpreted using a model of the important collisional and radiative processes occurring in the plasma. The model examines secondary processes such as radiation trapping, excitation transfer between levels of the carne principle quantum number, and excitation front metastable states for plasmas in the parameter range of MIMI ( n c = 1−6 x 10 11 cm −3 ). Front the analysis of line intensity ratios for neutral helium, the electron temperature is measured and its dependence upon the gas pressure and microwave power is determined. These temperatures agree with those obtained by Langmuir probe measurements. Art analysis of the line intensity ratio between singly ionized helium and neutral helium yields a measurement of the ion density which is in good agreement with electron density measurements made by a microwave interferometer.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/45473/1/11090_2005_Article_BF01447032.pd

A Macro for Reusing Abstract Functions and Theorems

Even though the ACL2 logic is first order, the ACL2 system offers several mechanisms providing users with some operations akin to higher order logic ones. In this paper, we propose a macro, named instance-of-defspec, to ease the reuse of abstract functions and facts proven about them. Defspec is an ACL2 book allowing users to define constrained functions and their associated properties. It contains macros facilitating the definition of such abstract specifications and instances thereof. Currently, lemmas and theorems derived from these abstract functions are not automatically instantiated. This is exactly the purpose of our new macro. instance-of-defspec will not only instantiate functions and theorems within a specification but also many more functions and theorems built on top of the specification. As a working example, we describe various fold functions over monoids, which we gradually built from arbitrary functions