747 research outputs found
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
TWAM: A Certifying Abstract Machine for Logic Programs
Type-preserving (or typed) compilation uses typing derivations to certify
correctness properties of compilation. We have designed and implemented a
type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog.
The crux of our approach is a new certifying abstract machine which we call the
Typed Warren Abstract Machine (TWAM). The TWAM has a dependent type system
strong enough to specify the semantics of a logic program in the logical
framework LF. We present a soundness metatheorem which constitutes a partial
correctness guarantee: well-typed programs implement the logic program
specified by their type. This metatheorem justifies our design and
implementation of a certifying compiler from T-Prolog to TWAM.Comment: 41 pages, under submission to ACM Transactions on Computational Logi
Charged particle environment of Titan during the T9 flyby
The ion measurements of the Cassini Plasma Spectrometer are presented which were acquired on 26 December 2005, during the T9 flyby at Titan. The plasma flow and magnetic field directions in the distant plasma environment of the moon were distinctly different from the other flybys. The near-Titan environment, dominated by ions of Titan origin, had a split signature, each with different ion composition; the first region was dominated by dense, slow, and cold ions in the 16-19 and 28-40 amu mass range, the second region contained only ions with mass 1 and 2, much less dense and less slow. Magnetospheric ions penetrate marginally into region 1, whereas the region-2 ion population is mixed. A detailed analysis has led us to conclude that the first event was due to the crossing of the mantle of Titan, whereas the second one very likely was a wake crossing. The split indicates the non-convexity of the ion-dominated volume around Titan. Both ion distributions are analysed in detail
Exchange ions produced by an ion propulsion system
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/76181/1/AIAA-2001-968-867.pd
Day-night asymmetries of low-energy electrons in Saturn's inner magnetosphere
We examine the day-night asymmetry of near-equatorial low energy (12-100 eV) electron fluxes measured by Cassini from July 1, 2004 through April 1, 2010. This energy range is also known to be associated with interchange injections. The electrons are separated into field-aligned (0 degrees to 20 degrees and 160 degrees to 180 degrees) pitch angles and trapped (70 degrees to 110 degrees) pitch angles. There is a stronger day-night asymmetry for the trapped than the field-aligned electrons, but both show enhanced energy fluxes on the nightside relative to the dayside. The dayside electron fluxes decrease sharply at an L-shell of 8, while the nightside electrons exhibit a slow decline in to L = 5. Our finding, along with previous research of high energy electrons, shows that this asymmetry is energy independent. This suggests that interchange injections are stronger, and therefore penetrate deeper into the magnetosphere, on the nightside
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 #
Preliminary interpretation of Titan plasma interaction as observed by the Cassini Plasma Spectrometer: Comparisons with Voyager 1
The Cassini Plasma Spectrometer (CAPS) instrument observed the plasma environment at Titan during the Cassini orbiter's TA encounter on October 26, 2004. Titan was in Saturn's magnetosphere during the Voyager 1 flyby and also during the TA encounter. CAPS measurements from this encounter are compared with measurements made by the Voyager 1 Plasma Science Instrument (PLS). The comparisons focus on the composition and nature of ambient and pickup ions. They lead to: A) the major ion components of Saturn's magnetosphere in the vicinity of Titan are H+, H-2(+) and O+/CH4+ ions; B) finite gyroradius effects are apparent in ambient O+ ions as the result of their absorption by Titan's extended atmosphere; C) the principal pickup ions are composed of H+, H-2(+), N+/CH2+, CH4+, and N-2(+); D) the pickup ions are in narrow energy ranges; and E) there is clear evidence of the slowing down of background ions due to pickup ion mass loading
Designing an augmented reality exhibition: Leonardo's Impossible Machines
This paper discusses the origins, development and results of the animated and augmented reality aspects of the exhibition ‘Leonardo’s Impossible Machines’ that was developed at Ravensbourne University London and Birkbeck, University of London, with support from the Museo Galileo. The exhibition included novel reconstructions and visualisations of Leonardo’s perpetual motion machines from the Codex Forster, and the process is explained here, along with the challenges of mounting a combined physical and AR show
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
- …