An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting

Abstract This paper presents an abstract tableau calculus for the description logic SHOI. SHOI is the extension of ALC with singleton concepts, role inverse, transitive roles and role inclusion axioms. The presented tableau calculus is inspired by a recently introduced tableau synthesis framework. Termination is achieved by a variation of the unrestricted blocking mechanism that immediately rewrites terms with respect to the conjectured equalities. This approach leads to reduced search space for decision procedures based on the calculus. We also discuss restrictions of the application of the blocking rule by means of additional side conditions and/or additional premises.

Morphological changes of Bunni (Barbus sharpeyi) larvae in laboratory conditions

In this study, the early development of Bunni (Barbus sharpeyi) larvae was surveyed through morphological changes and measuring total length, standard length, head length, thickness of larvae, eye diameter and snout length. The initial period of the larval life can be divided into 2 phases: endogenous and exogenous food sources. During the first three days of the larvae development, there was a gradual yolk sac reduction until its complete absorption at the end of third day, indicating the necessity of exogenous feeding. From the fourth to eleventh day, the final development of the heart, gill, air bladder, fins and intestine were observed. Total length of newly hatched larvae was 6.26mm and total length of fifteen days larvae was 8.35mm. The larval development of Barbus sharpeyi was similar to other Barbus species

Accumulation variations of selected heavy metals in Barbus xanthopterus in Karoon and Dez Rivers of Khuzestan, Iran

The concentrations of Cd, Pb, Ni and Hg were determined in gill, liver and muscle of Barbus xanthopterus in down streams of Karoon and Dez Rivers during summer 2009. Heavy metal concentrations varied significantly, depending on the types of the tissue in fish species. The levels of heavy metals such as Cd, Pb, Ni and Hg in the Barbus xanthopterus of Karoon River were higher than in Barbus xanthopterus of Dez River (Pliver>muscle. The concentration of Hg in Karoon River was in the sequence liver>gill>muscle but, in Dez River, it was in the sequence liver>muscle>gill. Among heavy metals (Cd, Pb, Ni and Hg), the accumulation of Pb was more than other heavy metals in fish (P<0.05). In both rivers, the accumulation of heavy metals in muscle of fish was higher than the world health organization (WHO) standard

Inhibitory of Newly Synthesized 3-BrPhOXTs on Corrosion of Stainless Steel in Acidic Medium

Newly synthesized 3-(3-bromophenyl)-2-imino-2,3-dihydrobenzo[d]oxazol-5-yl 4-methylbenzenesulfonate (3-BrPhOXTs) inhibitoRY effect on the corrosion of stainless steel L316 (SS) in sulfuric acid was investigated by means of potentiodynamic polarization and electrochemical impedance spectroscopy (EIS). According to electrochemical results, excellent inhibiting properties for SS corrosion in sulfuric acid has been obtained. The adsorption of 3-BrPhOXTs onto the SS surface followed the Langmuir adsorption model with the free energy of adsorption DG0 ads of –8.94 kj mol–1.KEYWORDS: Organic inhibitor, adsorption, stainless steel, impedance

Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics

This paper presents a labelled tableau approach for deciding interrogative-epistemic logics (IEL). Tableau calculi for these logics have been derived using a recently introduced tableau synthesis method. We also consider an extension of the framework for a setting with questioning modalities over sequences of formulae called sequential questioning logic (SQL). We have implemented the calculi using two approaches. The first implementation has been obtained with the tableau prover generation software MetTeL 2, while the other implementation is a prover implemented in Haskell.

The comparison of heavy metals Hg, Cd and Pb in the tissues of Liza abu from Karoon and Bahmanshir Rivers, Khuzestan Province

A comparative study was conducted on concentration of heavy metals Hg, Cd and Pb in the muscle, liver and gill tissues of Liza abu in winter 2009, in Karoon and Bahmanshir Rivers of Khuzestan province. We used 216 specimens of Liza abu. Metals were extracted from the tissues using wet digestion method and concentration of the heavy metals was measured by Atomic Absorption Spectrophotometer. The highest concentration of Cd, Hg and Pb were measured at 0.540±0.264, 0.029±0.005 and 1.080±0.128mg/Kg dry weight respectively. The lowest concentration of Cd, Hg and Pb were found to be 0.434±0.035, 0.024±0.001 and 0.930±0.036mg/Kg dry weight, respectively. No significant differences in concentration of heavy metals Cd, Hg and Pb in the muscle, liver and gill of Liza abu from the Karoon and Bahmanshir Rivers were detected (P 0.05). Results showed accumulation of Hg and Cd was lower than the FDA standard but accumulation of Pb was higher than the WHO standard

Functional Independence Measure in Iran: A Confirmatory Factor Analysis and Evaluation of Ceiling and Floor Effects in Traumatic Brain Injury Patients

Background: The functional independence measure (FIM) is one of the most important assessment instruments for motor and cognitive dependence in rehabilitation medicine; however, there is little data about its confirmatory factor analysis (CFA) and ceiling/floor effects from other countries and also in Iranian patients. Objectives: The aim of this study was to evaluate a two-factor model (motor and cognitive independence as latent variables) and ceiling/floor effects for FIM in Iranian patients with traumatic brain injuries (TBI). Patients and Methods: In this cross-sectional study, 185 subacute TBI patients were selected from emergency and neurosurgery departments of Poursina Hospital (the largest trauma hospital in northern Iran, Rasht) using the consecutive sampling method and were assessed for functional independence. Results: The results of this study showed that the floor effect was not observed; however, ceiling effects were observed for the FIM total score and its subscales. The confirmatory factor analysis showed that the chi-square/df ratio was 2.8 for the two-factor structure and the fit indices for this structural model including root mean square error of approximation (RMSEA) = 0.099, normed fit index (NFI) = 0.96, tucker lewis index (TLI) = 0.97, comparative fit index (CFI) = 0.97 were close to standard indices. Conclusions: Although ceiling effects should be considered for rehabilitation targets, the two-factor model of FIM (motor and cognitive independence) has an eligible fitness for Iranian patients with TBI