In order to identify ship collision risk for the security of maritime transportation in a close-quarters situation, novel real-time awareness approach is proposed by developing non-linear velocity obstacle set, QSD-NLVO. More specifically, Quaternion Ship Domain model was introduced into algorithm, and conflict position reasonably defined. By replacing with domain, method can more assess safety...

OBJECTIVE: To determine the changes in glaucoma prescriptions during a single visit real-world situation at Al-Shifa Trust Eye Hospital, Rawalpindi, Pakistan. METHODS: This cross-sectional descriptive study was conducted Glaucoma Department of Pakistan from September 1st, 2015 to February 29th, 2016 after ethical approval. Of total 876 consecutive participants, 868 were included study. Complete...

Communications are very important in any situation but in emergency management it is imperative that the communications be reliable and responsive to the evolving situation. In emergency management there are many different types of networks with different objectives. It is of immense value to have the ability to seamlessly integrate other networks and computing resources into one interconnected...

the lake urmia and its satellite wetlands have been selected as a demonstration site for the united nations development program / global environment facility / department of environment conservation of iranian wetlands project. this project aims to demonstrate reduction of the major threats of this wetland protected area coordinated through an integrated management plan. a choice experiment was...

In this work we consider how to enforce norms in the Situation Calculus based programming language Golog and its relatives. We define a notion of norm compliant sequence of actions with respect to norms prescribing some actions to be forbidden or obliged (ought-to-do norms), norms prescribing that a state-condition is forbidden (oughtto-be norms) and norms that are a form of deadline. We then s...

The concept of indirectness (using of tools) in automatic problem solving is investigated, and a formal approach is suggested within the framework of the Situation Calculus. The "Robot and Box" problem serves as an illustrative example throughout the paper.