For autonomous systems to be allowed to share environments with people, their manufacturers need to guarantee that the system behaves within acceptable legal, but also ethical, limits. Formal verification has been used to test if a system behaves within specified legal limits. This paper proposes an ethical extension to a rational agent controlling an Unmanned Aircraft(UA). The resulting agent ...

one of the fundamental principles of jurisprudential deduction is wisdom. if islamic command are not found in holy book and traditions, or there is no consensus, religious perception can be inferred through wisdom. wisdom is like an inner prophet. in the era of occultation a jurist or a religious leader can render an appropriate sentence (verdict) on the basis of collective and individual crite...

The vegetation covering of a region has a direct correlation with climate. So if data is available for vegetation cover, the second variable (climate) can be easily predicted and in reverse. The dominant species in a region are indication of its climatic conditions and vice versa. Accordingly, this is of significance in the science of historical botany. Fortunately, from the first millennium A...

conclusions although the cmr was originally designed for use in tc treatment, this study suggests that it is also applicable, with some modifications, in short-term residential camps. also, it is concluded that the persian translation of the cmr can be applied for studies among persian addicts. background treatment motivation has always been an important issue in substance abuse treatment. in r...

The problems of distressed urban areas are getting worse year after year. Due to limited resources and Amenities of municipal organizations for solving every problem concerning urban distressed textures, it is essential to determine the priorities of each area based on identified factors and criteria. In distressed areas, there are different circumstances and distinctive citizens with their nee...

Mortality from asthma in England and Wales has remained unchanged for at least 20 years, even in the age group 15-44. Yet in those 20 years "modern" drugs have been introduced for the treatment of asthma, such as beta 2 agonist bronchodilators and corticosteroids. Why do patients still die? Detailed review of the circumstances of 90 deaths from asthma showed that a few were inevitable but that ...

the promotion of oil and gas industry of a country or region requires foreign and longterm investments. ensuring demand security constitutes one of the major driving forces for promoting investments in oil and gas sectors. our main question is to understand the upcoming energy demand security in the caspian markets. just like supply security, energy demand security cannot be affected mainly by ...