We present an extension of the DIVINE software model checker to support programs with exception handling. The extension consists of two parts, a language-neutral implementation of the LLVM exception-handling instructions, and an adaptation of the C++ runtime for the DIVINE/LLVM exception model. This constitutes an important step towards support of both the full C++ specification and towards ver...

Our intestine is the site of an extraordinarily complex and dynamic environmentally transmitted consortial symbiosis. The molecular foundations of beneficial symbiotic host-bacterial relationships in the gut are being revealed in part from studies of simplified models of this ecosystem, where germ-free mice are colonized with specified members of the microbial community, and in part from compar...

The Christian Church has traditionally held that the inspiration of Holy Scripture is verbal, plenary, and confluent. But such an affirmation may seem to be incoherent. For if Scripture is the product of both divine and human free agency, then it seems impossible that God should have sufficient control of the various authors of Scripture so as to produce a Word that is verbally and plenarily hi...

It is both a privilege and an honor for me, as the representative of His Excellency Dr. Sao-Ke Alfred Sze, Ambassador of my country to the United States, to attend this celebration and to speak before this distinguished audience. After hearing the interesting addresses by Dr. Harvey and Professor Latourette, it is evident that I cannot add to what has already been said about Dr. Peter Parker as...

Physical science, it appears, leaves no place for divine action. Modern science presupposes that the universe is a closed physical system, that interactions are regular and lawlike, that all causal histories can be traced, and that anomalies will ultimately have physical explanations. But traditional assertions of God acting in the world conflict with all four of these conditions: they presuppo...

C LAR ITAS | Journal of Dialogue & Culture | Vol. 5, No. 1 (March 2016) Claritas: Journal of Dialogue and Culture, Vol. 5, No. 1 (March 2016) 27–40 © 2016 to a Trinitarian dynamic in both the letter and Chiara’s experience. Finally, he looks more deeply into the source of this design, namely, the glory of God from which everything irradiates and to which everything converges as it is expressed ...