Among the numerous air pollutants, the strongest proof for adverse health effects has been reported for particulate matter (PM). The aim of this study was the exploration of short-term associations of air pollution with mortalities due to cardiovascular diseases (CVD) in Tehran, Iran, based on hospital and census data from 2007 to 2013. This descriptive and analytical research was conducted in ...

one of the known rules of jurisprudence is a rule called firash that derived from the hadith of the priphet, that means child is for his father and stone is for adulterous. as a result of this rule, a child born to woman- by supposing all firash conditions-is belong to the man who has an offical life with that woman not adulterous or others. iranian civil law to comply with this rule,codify the...

in the logic section of the hikmat al-ishraq (the philosophy of illumination), suhrawardi innovatively makes the three modes (necessity, possibility and impossibility) part of the predicate, thus considering the mode of all propositions to be ‘necessary’. insofar as the modes are also discussed in other topics in logic such as contradiction, conversion and syllogism, this innovation also influe...

A non-malleable code is a variant of an encoding scheme which is resilient to tampering attacks. The main idea behind non-malleable coding is that the adversary should not be able to obtain any valuable information about the message. Non-malleable codes are used in tamper-resilient cryptography and protecting memories against tampering attacks. Many different types of non-malleability have alre...

2a) Summary. It is considered a fact of life that all serious computer programs contain errors, so-called ‘bugs’. Empirical data indicates that production software has around two bugs per thousand lines of source code, and even programs used on space missions by NASA are believed to have around 0.1 bugs per thousand lines of code [26]. Interactive theorem proving is a technology for building pr...

to demonstrate more visibly the close relation between thecontinuity and integrability, a new proof for the banach-zareckitheorem is presented on the basis of the radon-nikodym theoremwhich emphasizes on measure-type properties of the lebesgueintegral. the banach-zarecki theorem says that a real-valuedfunction $f$ is absolutely continuous on a finite closed intervalif and only if it is continuo...

The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic underlying the HOL system with a very simple form of quantiication over types. It is shown how certain practical problems with using the deenitional mechanisms of HOL would be solved by the additional expressive power g...