This paper focuses on aftershocks behavior and seismicity along some co-seismic faults for large earthquakes in Iran. The data of aftershocks and seismicity roughly extracted from both the Institute of Geophysics the University of Tehran (IGUT) and International Seismological Center (ISC) catalogs. Apply some essential methods on 43 large earthquakes data; like the depth, magnitude as well as t...

This paper presents results from recent work using a shallow water Lagrangian float for sea floor imaging and water column profiling. The float is a flexible platform that is able to carry a suite of sensors and position itself at any point in the water column using ballast control. The low cost of the float and minimal peripheral requirements for personnel and handling gear make it an attracti...

The search and rescue robot’s main goal is to search for any survivor’s in a disaster situation. The course will resembles a miniature of what a disaster situation looks like after an earthquake. We proposed rescue robot to make it getting smarter, safe path from itself to the targets by path planning. We are making a semi-autonomous control rescue robot which allow human operator to share and ...

In project scheduling, the free float (slack) of an activity represents the leeway for scheduling the activity without affecting any subsequent activity. In the context of activity-on-arrow (AOA) network representation, textbooks on project management, based on our survey, have for decades been using a popular formula to calculate free floats that may lead to erroneous results in the presence o...

4. Policy 1. During night float assignments, continuous duties should not exceed twelve (12) hours. 2. Night float assignments must be separated by at least eight (8) hours of non-patient care duties. 3. Night floats must sign-in to the assigned attending after a night shift (see sign-in policy). 4. Night floats must provide photocopies of two senior admit notes per each 2 week float rotation. ...

Refinement type systems have been proposed by a number of researchers to sharpen the guarantees of existing type systems. Examples are systems that distinguish empty and non-empty lists by type, taint tracking and information flow control, dimension analysis, and many others. In each case, the type language is extended with annotations that either abstract semantic properties of values beyond t...

Motivated by the increasing energy consumption of supercomputing for weather and climate simulations, we introduce a framework for investigating the bit-level information efficiency of chaotic models. In comparison with previous explorations of inexactness in climate modelling, the proposed and tested information metric has three specific advantages: (i) it requires only a single high-precision...