the problem of the knowledge of human soul and its correlation to god's knowledge have been introduced between muslims of the beginning of islamic age and thought, using at correct traditions for ahl ul-bayt. muslim philosophers' affected by islamic teachings have studied in this respect and raised its problem as an islamic philosophical problem. they discussed this problem from two a...

OBJECTIVE This article examines how epidemiological evidence is and should be used in the context of increasing concern for health equity and for social determinants of health. METHOD A research literature on use of scientific evidence of "environmental risks" is outlined, and key issues compared with those that arise with respect to social determinants of health. RESULTS The issue sets are...

this experiment was arranged as a strip-plot on the base of a completely randomized block design with three replications to study the effect of tillage (whether in day or night or in day by light-proof cover) and application of reduced dosage of imazethapyr and trifluralin on weed control, yield and yield components of chickpea. main plots consisted of tillage methods and subplots consisted of ...

In this note, we provide a formal proof of the fact that any protocol that is a zero-knowledge proof of knowledge for a relation R is also a secure protocol for the zero-knowledge proof of knowledge functionality, where the latter is defined according to the standard framework of stand-alone secure computation. Although this is a well-known fact, to the best of our knowledge, no full proof of t...

This paper addresses the issue of the optimal standard of proof in criminal law. It is assumed that people in society care about both fairness and deterrence. It is important to punish those who are guilty and only those. However, error is unavoidable and hence a trade-o¤ emerges between the three aims of punishing the guilty, not punishing the innocent and deterring potential criminals. It is ...

by considering as incomplete the peripatetics’ method in achieving reality, shaykh ishrāq (suhrawardī) has chosen the method of insight and intuition. but what position do thought and proof have in his method? it is implied from some of his statements that thinking and proof have no place in his method and some of his other statements imply the opposite. one of the solutions of this apparent in...

In this paper, we propose a proof scheme of shuffle, which is an honest verifier zero-knowledge proof of knowledge such as the protocols by Groth and Furukawa. Unlike the previous schemes proposed by Furukawa-Sako, Groth, and Furukawa, our scheme can be used as the shuffle of the elements encrypted by Paillier’s encryption scheme, which has an additive homomorphic property in the message part. ...

Formal proofs generated by mechanised theorem proving systems may consist of a large number of inferences. As these theorem proving systems are usually very complex, it is extremely diicult if not impossible to formally verify them. This calls for an independent means of ensuring the consistency of mechanically generated proofs. This paper describes a method of recording HOL proofs in terms of ...

We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform subl...