Hard X-ray variability of the black-hole candidate GRO J0422+32 during its 1992 outburst

We have studied the hard X-ray variability of the soft X-ray transient GRO J0422+32 with BATSE in the 20-100 keV energy band. Our analysis covers 180 days following the first X-ray detection of the source on 1992 August 5, fully covering its primary and secondary X-ray outburst. We computed power density spectra (PDSs) in the 20-50, 50-100, and 20-100 keV energy bands, in the frequency interval 0.002-0.488 Hz. The PDSs of GRO J0422+32 are approximately flat up to a break frequency, and decay as a power law above, with index ~1. The canonical anticorrelation between the break frequency and the power density at the break, observed in Cyg X-1 and other BHCs in the low state, is not observed in the PDSs of GRO J0422+32. We compare our results with those of similar variability studies of Cyg X-1. The relation between the spectral slope and the amplitude of the X-ray variations of GRO J0422+32 is similar to that of Cyg X-1; however, the relation between the hard X-ray flux and the amplitude of its variation is opposite to what has been found in Cyg X-1. Phase lags between the X-ray flux variations of GRO J0422+32 at high and low photon energies, could only be derived during the first 30 days of its outburst. During this period, the variations in the 50-100 keV lag those in the 20-50 keV energy band by an approximately constant phase difference of 0.039(3) rad in the frequency interval 0.02-0.20 Hz.Comment: 33 pages, including 14 postscript figures, AASTEX. To appear in ApJ 1999, March 1, vol. 513 #

Analysis of the role of predicted RNA secondary structures in Ebola virus replication

AbstractThermodynamic modeling of Ebola viral RNA predicts the formation of RNA stem-loop structures at the 3′ and 5′ termini and panhandle structures between the termini of the genomic (or antigenomic) RNAs. Sequence analysis showed a high degree of identity among Ebola Zaire, Sudan, Reston, and Cote d’Ivoire subtype viruses in their 3′ and 5′ termini (18 nucleotides in length) and within a second region (internal by approximately 20 nucleotides). While base pairing of the two conserved regions could lead to the formation of the base of the putative stem-loop or panhandle structures, the intervening sequence variation altered the predictions for the rest of the structures. Using an in vivo minigenome replication system, we engineered mutations designed to disrupt potential base pairing in the viral RNA termini. Analysis of these variants by screening for enhanced green fluorescent protein reporter expression and by quantitation of minigenomic RNA levels demonstrated that the upper portions of the putative panhandle and 3′ genomic structures can be destabilized without affecting virus replication

Hard X-ray lags in GRO J1719-24

We have used the Fourier cross spectra of GRO J1719-24, as obtained with BATSE, to estimate the phase lags between the X-ray flux variations in the 20--50 and 50--100 keV energy bands as a function of Fourier frequency in the interval 0.002--0.488 Hz. Our analysis covers the entire ~80 day X-ray outburst of this black-hole candidate, following the first X-ray detection on 1993 September 25. The X-ray variations in the 50--100 keV band lag those in the 20--50 keV energy band by an approximately constant phase difference of 0.072 +/- 0.010 rad in the frequency interval 0.02--0.20 Hz. The peak phase lags in the interval 0.02--0.20 Hz are about twice those of Cyg X-1 and GRO J0422+32.These results are consistent with models for Comptonization regions composed of extended non-uniform clouds around the central source.Comment: 10 pages, including 4 postscript figures, AASTEX. Accepted for publication by Ap

Correlation Between BATSE Hard X-ray Spectral and Timing Properties of Cygnus X-1

We have analyzed approximately 1100 days of Cygnus X-1 hard X-ray data obtained with BATSE to study its rapid variability. We find for the first time correlations between the slope of the spectrum and the hard X-ray intensity, and between the spectral slope and the amplitude of the rapid variations of the hard X-ray flux. We compare our results with expectations from current theories of accretion onto black holes.Comment: 17 pages, 3 Postscript figures, uses aasms4.sty. Accepted for publication in Astrophysical Journal Letter

Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

The effects of neuromuscular electrical stimulation for dysphagia in opercular syndrome: a case study

A 76-year-old man with opercular syndrome characterized by complete bilateral loss of voluntary control of facial, lingual, pharyngeal and masticatory muscles is presented with focus on the severe dysphagia. Three years earlier the patient had experienced two strokes resulting in opercular syndrome with severe dysphagia. Despite initial logopedic dysphagia treatment, swallowing did not improve. A new treatment for dysphagia, consisting of neuromuscular electrical stimulation was applied on the patient. He returned to oral feeding. Clinical and treatment observations are reported

The politics of collective repair: examining object-relations in a postwork society

In this article we look at repair as an emergent focus of recent activism in affluent societies, where a number of groups are reclaiming practices of repair as a form of political and ecological action. Ranging from those that fight for legislative change to those groups who are trying to support ecological and social change through everyday life practices, repair is beginning to surface tensions in everyday life and as such poses opportunities for its transformation. We survey a few of the practices that make up this movement in its various articulations, to take stock of their current political import. While we suggest that these practices can be seen as an emergent lifestyle movement, they should not be seen as presenting a unified statement. Rather, we aim to show that they articulate a spectrum of political positions, particularly in relation to the three specific issues of property, pedagogy and sociality. These three dimensions are all facets of current internal discrepancies of repair practices and moreover express potential bifurcations as this movement evolves. Drawing on a diverse methodology that includes discourse analysis and participant observation, we suggest some of the ways in which this growing area of activity could play a significant role in resisting the commodification of the everyday and inventing postwork alternatives

A dependent nominal type theory

Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and ML-like polymorphic languages have been studied, but decidability and normalization results have only been established for simple nominal type theories. We present a LF-style dependent type theory extended with name-abstraction types, prove soundness and decidability of beta-eta-equivalence checking, discuss adequacy and canonical forms via an example, and discuss extensions such as dependently-typed recursion and induction principles

Surface electromyography pattern of human swallowing

<p>Abstract</p> <p>Background</p> <p>The physiology of swallowing is characterized by a complex and coordinated activation of many stomatognathic, pharyngeal, and laryngeal muscles. Kinetics and electromyographic studies have widely investigated the pharyngeal and laryngeal pattern of deglutition in order to point out the differences between normal and dysphagic people. In the dental field, muscular activation during swallowing is believed to be the cause of malocclusion.</p> <p>Despite the clinical importance given to spontaneous swallowing, few physiologic works have studied stomatognathic muscular activation and mandibular movement during spontaneous saliva swallowing.</p> <p>The aim of our study was to investigate the activity patterns of the mandibular elevator muscles (masseter and anterior temporalis muscles), the submental muscles, and the neck muscles (sternocleidomastoid muscles) in healthy people during spontaneous swallowing of saliva and to relate the muscular activities to mandibular movement.</p> <p>Methods</p> <p>The spontaneous swallowing of saliva of 111 healthy individuals was analyzed using surface electromyography (SEMG) and a computerized kinesiography of mandibular movement.</p> <p>Results</p> <p>Fifty-seven of 111 patients swallowed without occlusal contact (SNOC) and 54 individuals had occlusal contact (SOC). The sternocleidomastoid muscles showed a slight, but constant activation during swallowing. The SEMG of the submental and sternocleidomastoid muscles showed no differences between the two groups. The SEMG of the anterior temporalis and masseter muscles showed significant differences (p < 0.0001). The duration of swallowing was significantly higher in the SNOC subjects. Gender and age were not related to electromyographic activation. Healthy SOC and SNOC behaved in different ways.</p> <p>Conclusion</p> <p>The data suggest that there is not a single "normal" or "typical" pattern for spontaneous saliva swallowing. The polygraph seemed a valuable, simple, non-invasive and reliable tool to study the physiology of swallowing.</p