The specification logic νZ

This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics.     

On the existence and synthesis of multifinger positive grips

We study the criteria under which an object can be gripped by a multifingered dexterous hand, assuming no static friction between the object and the fingers; such grips are calledpositive grips. We study three cases in detail: (i) the body is at equilibrium, (ii) the body is under some constant external force/torque, and (iii) the body is under a varying external force/torque. In each case we obtain tight bounds on the number of fingers needed to obtain grip.We also present efficient algorithms to synthesize such positive grips for bounded polyhedral/polygonal objects; the number of fingers employed in the grips synthesized by our algorithms match the above bounds. The algorithms run in time linear in the number of faces/sides.The paper may be of independent interest for its presentation of algorithms arising in the study of positive linear spaces.Work on this paper has been supported by Office of Naval Research Grant N00014-82-K.-0381, National Science Foundation Grant No. NSF-DCR-83-20085, and by grants from the Digital Equipment Corporation, and the IBM Corporation.     

Learning to Predict Non-Deterministically Generated Strings

In this article we present an algorithm that learns to predict non-deterministically generated strings. The problem of learning to predict non-deterministically generated strings was raised by Dietterich and Michalski (1986). While their objective was to give heuristic techniques that could be used to rapidly and effectively learn to predict a somewhat limited class of strings, our objective is to give an algorithm which, though impractical, is capable of learning to predict a very general class. Our algorithm is meant to provide a general framework within which heuristic techniques can be effectively employed.     

Expression studies of delta-globin gene alleles associated with reduced hemoglobin A2 levels in Greek Cypriots

We previously identified five delta-globin gene alleles associated with reduced hemoglobin (Hb) A2 (Trifillis, P., Ioannou, P., Schwartz, E., and Surrey, S. (1991) Blood 78, 3298-3305). We have now evaluated functional consequences of the changes after expression in COS-1 cells to monitor effects on RNA splicing. In addition, variant Hb A2 tetramers were expressed in yeast to assess effects of amino acid changes on oxygen binding and stability to heat and mechanical agitation. The G --> T change at codon 27 and the A --> G change in IVS-2 both affect RNA splicing, whereas the C --> T change at codon 97 and the AT deletion in IVS-2 have no effect. Oxygen equilibrium curves of the Hb A2 variants expressed in yeast were similar to that of wild type Hb A2. None of the three variant Hb A2 tetramers (Thr --> Ile at codon 4 (Hb deltaT4I), Ala --> Ser at codon 27 (Hb deltaA27S), and Arg --> Cys at codon 116 (Hb deltaR116C)) showed decreased heat stability compared with Hb A2, whereas the Hb deltaT4I variant showed highest instability to mechanical agitation. Co-expression in yeast of alpha-globin chain and the delta-chain variant containing a Leu --> Pro change at codon 141 yielded no identifiable tetramers, suggesting lack of assembly or severe tetramer instability. These studies show the probable cause for decreased Hb A2 for two alleles is due to defective splicing, whereas decreased protein stability, increased tetramer association with red cell membranes, increased interdisulfide bond formation of delta-chains, which inhibits assembly with alpha-chains, and/or reduced assembly is suggested for the other three alleles.     

Adverse environmental conditions in the respiratory and medical ICU settings

Sleep deprivation and fragmentation occurring in the hospital setting may have a negative impact on the respiratory system by decreasing respiratory muscle function and ventilatory response to CO2. Sleep deprivation in a patient with respiratory failure may, therefore, impair recovery and weaning from mechanical ventilation. We postulate that light, sound, and interruption levels in a weaning unit are major factors resulting in sleep disorders and possibly circadian rhythm disruption. As an initial test of this hypothesis, we sampled interruption levels and continuously monitored light and sound levels for a minimum of seven consecutive days in a medical ICU, a multiple bed respiratory care unit (RCU) room, a single-bed RCU room, and a private room. Light levels in all areas maintained a day-night rhythm, with peak levels dependent on window orientation and shading. Peak sound levels were extremely high in all areas representing values significantly higher than those recommended by the Environmental Protection Agency as acceptable for a hospital environment. The number of sound peaks greater than 80 decibels, which may result in sleep arousals, was especially high in the intensive and respiratory care areas, but did show a day-night rhythm in all settings. Patient interruptions tended to be erratic, leaving little time for condensed sleep. We conclude that the potential for environmentally induced sleep disruption is high in all areas, but especially high in the intensive and respiratory care areas where the negative consequences may be the most severe.     

Quantitating Fluorescence Intensity from Fluorophore: The Definition of MESF Assignment

The quantitation of fluorescence radiance may at first suggest the need to obtain the number of fluorophore that are responsible for the measured fluorescence radiance. This goal is beset by many difficulties since the fluorescence radiance depends on three parameters 1) the probability of absorbing a photon (molar extinction), 2) the number of fluorophores, and 3) the probability of radiative decay of the excited state (quantum yield). If we use the same fluorophore in the reference solution and the analyte then, to a good approximation, the molar extinction drops out from the comparison of fluorescence radiance and we are left with the comparison of fluorescence yield which is defined as the product of fluorophore concentration and the molecular quantum yield. The equality of fluorescence yields from two solutions leads to the notion of equivalent number of fluorophores in the two solutions that is the basis for assignment of MESF (Molecules of Equivalent Soluble Fluorophore) values. We discuss how MESF values are assigned to labeled microbeads and by extension to labeled antibodies, and how these assignments can lead to the estimate of the number of bound antibodies in flow cytometer measurements.     

Dynamic stiffness vibration analysis using a high‐order beam model

This work presents the derivation of the exact dynamic stiffness matrix for a high‐order beam element. The terms are found directly from the solutions of the differential equations that describe the deformations of the cross‐section according to the high‐order theory, which include cubic variation of the axial displacements over the cross‐section of the beam. The model has six degrees of freedom at the two ends, one transverse displacement and two rotations, and the end forces are a shear force and two end moments. Using the dynamic stiffness matrix exact vibration frequencies for beams with various combinations of boundary conditions are tabulated and compared with results from the Bernoulli–Euler and Timoshenko beam models. Copyright © 2003 John Wiley & Sons, Ltd.     

Special issue on women, psychoanalysis, and gender: Editors' introduction.

Introduces this special issue of Psychoanalytic Psychology. This special issue on Women, Psychoanalysis, and Gender is a commemoration of the capability, influence, acceptance, and authority of women in the community of psychoanalysis. In this issue, we turn to both new and more established voices in an expanded arena of gender, culture, and psychoanalysis. (PsycINFO Database Record (c) 2010 APA, all rights reserved)