ions introduced from outside the system (ancestors) to those created internally using the former ones (progenies) [5]. A trace is a simpli ed version of our metaprogram construct. A trace has a path and a body. The path speci es the elements of the system that should be a ected, while the body speci es how they should be a ected by the introduction of the special behavior. However, traces do no...

Background: Determining the genetic gender has been a human's inaccessible will during the history. Today science resolves the problem; pre implantation diagnosis (PGD) is used as a method of genetic disease diagnosis and gender determination. The holy Quran in many verses ascribes genetic gender determination and recognition to Allah, the Almighty. Hence, according to some, genetic gender...

Abstract Does God trust human persons? Very little in philosophy of religion has been written about God's trust, which seems striking for two joint considerations. First, many the Abrahamic faith traditions posit that union and close personal relationship with is telos life. Second, to be an essential element ideal, relationships between persons. While there much literature emphasizes role on s...

since the word “treasuries” has been mentioned in the koran and hadiths, scholars of the interpretation of the koran and hadiths as well as theologians, philosophers and gnostics have discussed it from several aspects. in this paper, we first interpret it literally, formulating the scholars’ opinions about it; then, we develop the discussion to the “key of treasury” and “treasurers”; finally,  ...

This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entities can be recovered by iterating Value-Set Analysis (VSA), a combined numeric-analysis and pointer-analysis algorithm, and Aggregate Structure Identification, an algorithm to identify the structure of aggregates. Our initial e...

I provide the account of divine creation found in multiverse theorists Donald Turner, Klaas Kraay, and Tim O’Connor. I show that the accounts Kraay and Turner offer are incoherent. God does not survey all possible worlds and necessarily actualize those universes in the (on balance) good worlds or the worthy worlds. If God necessarily actualizes the multiverse, we have no idea which universes ar...