نتایج جستجو برای: divine farr
تعداد نتایج: 4125 فیلتر نتایج به سال:
We present a new release of the parallel and distributed LTL model checker DiVinE. The major improvements in this new release is an extension of the class of systems that may be verified with the model checker, while preserving the unique DiVinE feature, namely parallel and distributed-memory processing. Version 3.0 comes with support for direct model checking of (closed) multithreaded C/C++ pr...
Recent studies of the emotional brain have opened new doors to the understanding of human behavior, character development, relationships, happiness and well being. Recent research has shown that the development of “emotional brain” is dependent on “relationship,” initially parent and child relations. Aside from an individual’s relation with the parents, the human mind has been engaged historica...
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...
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 ...
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
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...
OBJECTIVES An Italian multicentre study was promoted in order to assess the accuracy of four anti-double-stranded DNA (dsDNA) antibody assays for SLE diagnosis and monitoring. METHODS Two hundred and twenty-three patients with established SLE according to ACR classification criteria were enrolled from 9 centres. They included 59 patients at first evaluation (disease duration <12 months) and 1...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید