Success and faithfulness

Isaiah 49:1-

Who do you say I am?

Mark 8:27-38

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 $Herschel$ or SOFIA observations of methylidynium isotopic species.Comment: Astronomy and Astrophysics, accepted as Letter; 4 (here 5) page