The Indian mackerel (Rastrelliger kanagurta, Cuvier, 1817) is one of the commercial small pelagic fish in the Persian Gulf and Oman Sea. In the current research, feed preference index (FP), fullness index (FI), and stomach contents of Rastrelliger kanagurta were evaluated to assess the quantity and type of feed habits. A total of 573 specimens were collected randomly from Bandar - Abbas and Qes...

We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in practical applications are considered a problem by the system verifier. The second shows that vacuity detection for certain logics can be very complex and time consuming. This brings vacuity detection into an undesirable ...

The Indian mackerel (Rastrelliger kanagurta) is one of the commercial pelagic fish in the Persian Gulf and Oman Sea. In the current research, food preference index (FP), fullness index (FI), and stomach contents of Rastrelliger kanagurta were evaluated to assess the quantity and type of food which this species consumes in the study area. The samples were collected randomly from Bandar - Abbas a...

  In this paper the Vacuity Index (VI), Fullness Index (FI) and Food Preference Index (FPI) for the stomach contents of Pomadasys kaakan were evaluated to assess the quantity and kind of food which this fish consumes in the Persian Gulf. A total of 227 specimens were collected from fishing trawlers or landings from November 2005 to September 2006. 24.7% of stomachs were full, 11.9% were semi-fu...

Investigating the relations and mechanisms of coexistence among sympatric species is essential to comprehend their ecological roles in the food webs. In the present study, the diet and trophic interactions of 5 abundant teleost species coexisting in the northern Oman Sea were examined using stomach contents analyses. The cumulative prey curves showed that the sample size of each studied species...

Vacuity checking is traditionally performed after model checking has terminated successfully. It ensures that all the elements of the specification have played a role in its satisfaction by the design. Vacuity checking gets as input both design and specification, and is based on an in-depth investigation of the relation between them. Vacuity checking has been proven to be very useful in detecti...

Vacuity detection is a method for finding errors in the modelchecking process when the specification is found to hold in the model. Most vacuity algorithms are based on checking the effect of applying mutations on the specification. It has been recognized that vacuity results differ in their significance. While in many cases vacuity results are valued as highly informative, there are also cases...

Optimal management of aquatic resources requires a good understanding the biological aspects and other information related to these resources. This study was conducted determine feeding habits Mobula mobular landed in Palabuhanratu Nusantara Fishing Port. The research from September 2021 May 2022. Data collected through direct survey that included biology, stomach contents on fishing grounds. I...