Absorption and metabolism of lanatoside C. II. Fate after oral administration

The absorption, metabolism, and excretion of lanatoside C were studied in hospitalized subjects following oral administration of the tritiated drug. Previous reports of an unusual double peak in plasma levels of radioactivity were confirmed. Fifty plasma samples taken from 31 patients showed that an average of 74% of the radioactive material was digoxin and its metabolites. There was little or no lanatoside C in 36 of the 50 samples of plasma. Similar results were obtained for urine radioactivity. The results confirm that lanatoside C is converted to "digoxin" in the gut prior to absorption as previously proposed by us. "Digoxin" refers to digoxin and its breakdown products, namely, digoxigenin and its mono- and didigitoxosides. According to these proposals, the conversion to "digoxin" takes place partly as a result of acid hydrolysis in the gut and partly by the action of bacteria in the intestine. The effects of concurrent administration of antacid therapy, anticholinergic therapy, and food on the fate of oral lanatoside C were separately studied. There were no significant differences between groups with respect to the amount of radioactive material absorbed or excreted, but there were marked qualitative differences in the plasma profiles. There was a statistically significant increase in the time to the first peak in plasma radioactivity in patients concurrently receiving either food or anticholinergic therapy and there was a significant decrease in the relative height of the first peak in patients treated concurrently with antacid.     

Load relaxation in aluminum: I. Theory of plastic deformation. II. Plastic equation of state

According to the theory of thermally-activated deformation, the plastic strain rate equality will hold in a load relaxation experiment, wheret = 0 is de-fined as the time at which the crosshead stops. In this theory, plastic flow is intrinsically time dependent and its rate is controlled by interaction of glide dislocations with thermal obstacles(e.g. forest dislocations). The strain rate equation is of the form and att = 0 none of these variables changes instantaneously. Measurements reported here for [111] aluminum single crystals indicate that this prediction is wrong. The ratio is near zero at low stress and approaches unity only at high stress. This result is predicted if plastic strain itself is time-independent (athermal), as in the author’s recent theory. Time-dependent strain is then the result of thermal changes in structure, namely loss (recovery) and rearrangement of obstacle dislocations. Experi-ments were also done to test further the essential hypothesis of Hart’s recent formula-tion of an equation of state for plastic deformation-namely that each distinct σ-@#@ curve derived from load relaxation data corresponds to a unique “hardness” state and that re-covery does not occur. Significant differences were observed in the 77 K strsss-strain curves for 295 K relaxed and unrelaxed samples which indicate that substantial loss and some rearrangement of dislocations has occurred during the relaxation. It is concluded from both experiments that load relaxation in aluminum is a manifestation of recovery creep and cannot be taken as evidence for a plastic equation of state.     

A helium-3 cooled bolometer system for one millimeter continuum observations

A new, 1-mm-continuum, bolometer detector system has been constructed employing internal adsorption pumping of He-3 to reach an operating temperature close to 0.4 K. The system spectral bandwidth is 800 to 1200 μm. Although the system was originally designed to be used on the 5-m Hale telescope, it has also been successfully used on the 4-m Anglo-Australian telescope and on the 10-m dish at Owens Valley, California. At the 5-m Hale telescope, the system has a full width-half maximum (FWHM) beam size of 55t" and an instantaneous noise-equivalent flux density of 6 \({{Jy} \mathord{\left/ {\vphantom {{Jy} {\sqrt {Hz} }}} \right. \kern-0em} {\sqrt {Hz} }}\) in good weather.     

Scenario-oriented design for single-chip heterogeneous multiprocessors

Single-chip heterogeneous multiprocessors (SCHMs) are arising to meet the computational demands of portable and handheld devices. These computing systems are not fully custom designs traditionally targeted by the design automation community, general-purpose designs traditionally targeted by the computer architecture community, nor pure embedded designs traditionally targeted by the real-time community. An entirely new design philosophy will be needed for this hybrid class of computing. The programming of the device will be drawn from a narrower set of applications with execution that persists in the system over a longer period of time than for general-purpose programming. However, the devices will still be programmable, not only at the level of the individual processing element, but across multiple processing elements and even the entire chip. The design of other programmable single chip computers has enjoyed an era where the design tradeoffs could be captured in simulators such as SimpleScalar and performance could be evaluated to the SPEC benchmarks. Motivated by this, we describe new benchmark-based design strategies for SCHMs which we refer to as scenario-oriented design. We include an example and results.     

Performance of Alcohol and Safer Sex Change Rulers Compared With Readiness to Change Questionnaires.

As part of a larger intervention study, the authors hypothesized that change rulers created for alcohol and safer sex would be equivalent to longer questionnaires. Ninety-six male college students completed rulers and questionnaires for assessing behavior change readiness. Participants' scores on the rulers significantly correlated with their scores on the questionnaires (r = .77 for alcohol; r = .77 for safer sex). In both domains, the rulers outperformed the questionnaires in predicting behavioral intentions, suggesting that the rulers had at least comparable concurrent criterion validity. This finding is the first of its kind in the safe sex literature and suggests that quick assessments of readiness to change are possible. Because the rulers are a continuous measure, the results are consistent with the idea that the change process is continuous rather than a series of discrete stages. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Citius altius fortius: Lessons learned from the Theorem Prover Waldmeister

In the last years, the development of automated theorem provers has been advancing in a so to speak Olympic spirit, following the motto “faster, higher, stronger”; and the Waldmeister system has been a part of that endeavour. We will survey the concepts underlying this prover, which implements Knuth-Bendix completion in its unfailing variant. The system architecture is based on a strict separation of active and passive facts, and is realized via specifically tailored representations for each of the central data structures: indexing for the active facts, set-based compression for the passive facts, successor sets for the conjectures. In order to cope with large search spaces, specialized redundancy criteria are employed, and the empirically gained control knowledge is integrated to ease the use of the system. We conclude with a discussion of strengths and weaknesses, and a view of future prospects.