45,184 research outputs found
Imagination shaped: Old Testament preaching in the Anglican tradition
Reviewed Book: Davis, Ellen F. Imagination shaped: Old Testament preaching in the Anglican tradition. Valley Forge, Pa: TPI, 1995
Different Approaches to Proof Systems
The classical approach to proof complexity perceives proof systems as deterministic, uniform, surjective, polynomial-time computable functions that map strings to (propositional) tautologies. This approach has been intensively studied since the late 70’s and a lot of progress has been made. During the last years research was started investigating alternative notions of proof systems. There are interesting results stemming from dropping the uniformity requirement, allowing oracle access, using quantum computations, or employing probabilism. These lead to different notions of proof systems for which we survey recent results in this paper
Spectroscopic parameters and rest frequencies of isotopic methylidynium, CH+
Astronomical observations toward Sagittarius B2(M) as well as other sources
with APEX have recently suggested that the rest frequency of the J = 1 - 0
transitions of 13CH+ is too low by about 80 MHz. Improved rest frequencies of
isotopologs of methylidynium should be derived to support analyses of spectral
recording obtained with the ongoing Herschel mission or the upcoming SOFIA.
Laboratory electronic spectra of four isotopologs of CH+ have been subjected to
one global least-squares fit. Laboratory data for the J = 1 - 0 ground state
rotational transitions of CH+, 13CH+, and CD+, which became available during
the refereeing process, have been included in the fit as well. An accurate set
of spectroscopic parameters has been obtained together with equilibrium bond
lengths and accurate rest frequencies for six CH+ isotopologs: CH+, 13CH+,
13CD+, CD+, 14CH+, and CT+. The present data will be useful for the analyses of
or SOFIA observations of methylidynium isotopic species.Comment: Astronomy and Astrophysics, accepted as Letter; 4 (here 5) page
- …