We discuss the temporal logic`USF', involving Until, Since and the xed point operator ' of Gabbay, with semantics over the natural numbers. We show that any formula not involving Until is equivalent to one without nested xed point operators. We then prove that USF has expressive power matching that of the monadic second-order logic S1S. The proof shows that any USF-formula is equivalent to one ...

We introduce an implicit method for nding a common element of the set of solutions of systems of equilibrium problems and the set of common xed points of a sequence of nonexpansive mappings and a representation of nonexpansive mappings. Then we prove the strong convergence of the proposed implicit schemes to the unique solution of a variational inequality, which is the optimality condition for ...

Lifting modules and their various generalizations as some main concepts in module theory have been studied and investigated extensively in recent decades. Some authors tried to present some homological aspects of lifting modules and -supplemented modules. In this work, we shall present a homological approach to -supplemented modules via fully invariant submodules. Lifting modules and H-suppleme...

Successful desensitization protocols have been reported in patients with fi xed drug eruption (FDE) [1-3]. In chronic diseases, it would be desirable to sustain the tolerance achieved after desensitization. Maintained tolerance has been reported in immunoglobulin (Ig) E–mediated hypersensitivity reactions [4,5], but not in FDE. We report the case of a 28-year-old female with cystic fi brosis wh...

Parallelism and logic programming are two fi elds that have been successfully combined, as is shown by recent implementations of parallel logic programming systems. There are two main sources of parallelism in logic programming, namely or-parallelism and and-parallelism. Or-parallelism is exploited when several alternative clauses to a goal are executed in parallel. And-parallelism is exploited...

High-precision tests of fundamental symmetries are looking for the parity- ($\mathcal{P}$), time-reversal- ($\mathcal{T}$) violating electric dipole moment electron (eEDM) as proof physics beyond Standard Model. Particularly, in polyatomic molecules, complex vibrational and rotational structure gives possibility to reach high enhancement $\mathcal{P},\mathcal{T}$-odd effects moderate fields, wi...

Ultrafi ne grained (UFG) and nanocrystalline (NC) metals, unlike coarse-grained metals, often show inelastic strain recovery during unloading, which is referred to as early Bauschinger effect. Several experimental and simulation studies have focused on the microscopic origins of this unusual mechanical behavior. However, the strain rate dependence of early Bauschinger effect in UFG and NC metal...

in this paper, we introduce a new concept of - -ϕ-contractive integral type mappings and establish some new xed point theorems in complete metric spaces.

Aim: To keep the cervical canal dilated after the fi rst high dose rate (HDR) brachytherapy fraction to avoid general anesthesia during subsequent applications. Patients and Methods: In the fi rst HDR brachytherapy application: examination and cervical dilatation was done under general anesthesia. The proximal 4 cm of urinary Foley catheter was cut (making the new cervical tube), inserted in th...