In this paper, reasoning methods for the interval-based modal temporal logic LLP which employs the modal operators sometimes, always, next, and chop are described. A constraint deduction approach is proposed and compared with a sequent calculus which has been developed as the basic machinery for the deductive planning system PHI which uses LLP as underlying formalism.

‎In this paper, we study some kinds of majorizations on $textbf{M}_{n}$ and their linear or strong linear preservers. Also, we find the structure of linear or strong linear preservers which are multiplicative, i.e.  linear or strong linear preservers like $Phi $ with the property $Phi (AB)=Phi (A)Phi (B)$ for every $A,Bin textbf{M}_{n}$.

Double high-dose chemotherapy (HDCT) was applied to 18 patients with highrisk neuroblastoma including 14 patients who could not achieve complete response (CR) even after the first HDCT. In 12 patients, successive double HDCT was rescued with peripheral blood stem cells collected during a single round of leukaphereses and in 6 patients, second or more rounds of leukaphereses were necessary after...

In this study, we introduce the classes of $phi$-strongly pseudocontractive mappings in the intermediate sense and generalized $Phi$-pseudocontractive mappings in the intermediate sense and prove the existence of fixed points for those maps. The results generalise the results of several authors in literature including Xiang [Chang He Xiang, Fixed point theorem for generalized $Phi$-pseudocontra...

in this study, we introduce the classes of $phi$-strongly pseudocontractive mappings in the intermediate sense and generalized $phi$-pseudocontractive mappings in the intermediate sense and prove the existence of fixed points for those maps. the results generalise the results of several authors in literature including xiang [chang he xiang, fixed point theorem for generalized $phi$-pseudocontra...

This study was conducted with the objective to validate a rumination monitoring system (RMS). The RMS was developed by SCR Engineers Ltd. (Netanya, Israel) to record individual rumination times in commercial dairy herds. Four heifers were fed 4 forage types at 3 feeding levels in 4 periods in a Latin square design. The forage types were spring growth of grass/clover harvested early (May 9) and ...

INTRODUCTION To assess predictive value of new tumor markers, precursor of prostate specific antigen (p2PSA) and its derivates-%p2PSA and prostate health index (PHI) in detection of patients with indolent and aggressive prostate cancer (PC) in a subcohort of man whose total PSA ranged from 2 to 10ng/mL. MATERIALS AND METHODS This cross-sectional study included 129 consecutive male patients ag...

in the 1960's noboru iwahori and hideya matsumoto, eiichi abe and kazuo suzuki, and michael stein discovered that chevalley groups $g=g(phi,r)$ over a semilocal ring admit remarkable gauss decomposition $g=tuu^-u$, where $t=t(phi,r)$ is a split maximal torus, whereas $u=u(phi,r)$ and $u^-=u^-(phi,r)$ are unipotent radicals of two opposite borel subgroups $b=b(phi,r)$ and $b^-=b^-(phi,r)$ contai...

The pseudo-Brewster angle phi(pB) of minimum reflectance for p-polarized light and the principal angle phi at which incident linearly polarized light of the proper azimuth is reflected circularly polarized are considered as functions of the complex relative dielectric function epsilon of a dielectric-conductor interface over the entire complex epsilon plane. In particular, the spread of phi for...