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...

This paper presents Labbos, a proposal for a social network for researchers based on the concept of collaborative filtering. Labbos uses the technique of collaborative filtering to make recommendations on research groups and researchers who have similar interests to the user while he can interact with. Author

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...

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 ...

The communication between computer systems is dictated by network protocols, which determine how the network components interact with each other. Knowing the specification of a network protocol can greatly improve the security and dependability of both the design of the protocol and the applications implementing it. The specification can be used, for example, to verify if the application’s impl...

this paper has studied motahari's point of view  on the divine revelation as a methodological problem. in islamic philosophers' point of view, divine revelation is result of :union: of prophet and active intellect. they consider the divine revelation as knowledge and emphasize its cognitive identity. on the other hand, some scholars reduce the divine revelation to tendencies and empha...

Four studies examined whether awareness of mortality intensifies belief in supernatural agents among North Americans. In Studies 1 and 2, mortality salience led to more religiosity, stronger belief in God, and in divine intervention. In Studies 3 and 4, mortality salience increased supernatural agent beliefs even when supernatural agency was presented in a culturally alien context (divine Buddh...

Resumo: Este estudo utiliza um modelo de inteligência artificial, uma rede neural com base radial (RBF), para dar suporte a diagnósticos radiográficos de cáries dentárias. Cento e sessenta imagens radiografias de faces proximais de dentes humanos extraídos foram avaliadas no que se refere à presença ou ausência de cárie por vinte e cinco examinadores. As condições reais de cada dente, denominad...