Christ in Us

It is the personal Christ actually, potentially, consciously with us and in us. As the Son is in the Father, and the Father in the Son, so is Christ in us. He is our life, as the vine is the life of the branch.https://place.asburyseminary.edu/ecommonsatsdigitalresources/1213/thumbnail.jp

Entire Sanctification

Entire sanctification is, no doubt, possible, and God has made all necessary provision for its attainment. Going on to perfection, perfecting holiness in the fear of the Lord, and, finally, being \u27without spot and blameless,\u27 ought to be the immediate and constant object of everyone born of God.https://place.asburyseminary.edu/ecommonsatsdigitalresources/1211/thumbnail.jp

Abundance and Diversity of Organohalide-Respiring Bacteria in Lake Sediments Across a Geographical Sulfur Gradient

Across the U.S. Upper Midwest, a natural geographical sulfate gradient exists in lakes. Sediment grab samples and cores were taken to explore whether this sulfur gradient impacted organohalide-respiring Chloroflexi in lake sediments. Putative organohalide-respiring Chloroflexi were detected in 67 of 68 samples by quantitative polymerase chain reaction. Their quantities ranged from 3.5 × 104 to 8.4 × 1010 copies 16S rRNA genes g−1 dry sediment and increased in number from west to east, whereas lake sulfate concentrations decreased along this west-to-east transect. A terminal restriction fragment length polymorphism (TRFLP) method was used to corroborate this inverse relationship, with sediment samples from lower sulfate lakes containing both a higher number of terminal restriction fragments (TRFs) belonging to the organohalide-respiring Dehalococcoidetes, and a greater percentage of the TRFLP amplification made up by Dehalococcoidetes members. Statistical analyses showed that dissolved sulfur in the porewater, measured as sulfate after oxidation, appeared to have a negative impact on the total number of putative organohalide-respiring Chloroflexi, the number of Dehalococcoidetes TRFs, and the percentage of the TRFLP amplification made up by Dehalococcoidetes. These findings point to dissolved sulfur, presumably present as reduced sulfur species, as a potentially controlling factor in the natural cycling of chlorine, and perhaps as a result, the natural cycling of some carbon as well

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 #

A Calculus of Bounded Capacities

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation

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

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

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

Physician decision making in selection of second-line treatments in immune thrombocytopenia in children.

Immune thrombocytopenia (ITP) is an acquired autoimmune bleeding disorder which presents with isolated thrombocytopenia and risk of hemorrhage. While most children with ITP promptly recover with or without drug therapy, ITP is persistent or chronic in others. When needed, how to select second-line therapies is not clear. ICON1, conducted within the Pediatric ITP Consortium of North America (ICON), is a prospective, observational, longitudinal cohort study of 120 children from 21 centers starting second-line treatments for ITP which examined treatment decisions. Treating physicians reported reasons for selecting therapies, ranking the top three. In a propensity weighted model, the most important factors were patient/parental preference (53%) and treatment-related factors: side effect profile (58%), long-term toxicity (54%), ease of administration (46%), possibility of remission (45%), and perceived efficacy (30%). Physician, health system, and clinical factors rarely influenced decision-making. Patient/parent preferences were selected as reasons more often in chronic ITP (85.7%) than in newly diagnosed (0%) or persistent ITP (14.3%, P = .003). Splenectomy and rituximab were chosen for the possibility of inducing long-term remission (P < .001). Oral agents, such as eltrombopag and immunosuppressants, were chosen for ease of administration and expected adherence (P < .001). Physicians chose rituximab in patients with lower expected adherence (P = .017). Treatment choice showed some physician and treatment center bias. This study illustrates the complexity and many factors involved in decision-making in selecting second-line ITP treatments, given the absence of comparative trials. It highlights shared decision-making and the need for well-conducted, comparative effectiveness studies to allow for informed discussion between patients and clinicians

Compilation of extended recursion in call-by-value functional languages

This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods. We formalize our technique as a translation scheme to a lambda-calculus featuring in-place update of memory blocks, and prove the translation to be correct.Comment: 62 pages, uses pi