objectives: against the background of evidence-based treatments for schizophrenia resistant to medication, the implementation of cognitive-rehabilitation therapy (crt) becomes more important, especially about patients who don’t response to medication. there is less evidence for group format and face to face structure of crt and also for resistant to medication patients. this research investigat...

the current study was carried out to investigate the functions of the ritual speech act of ‘ya allah’ (literally meaning ‘o god’) employed by iranians in social interactions. to this end, sixty-two persian native speakers of different age groups, ranging from 35 to 85, of both genders were observed in 250 natural situations such as daily interactions, gatherings, public or private places and lo...

properties of the hybrid of block-pulse functions and lagrange polynomials based on the legendre-gauss-type points are investigated and utilized to define the composite interpolation operator as an extension of the well-known legendre interpolation operator. the uniqueness and interpolating properties are discussed and the corresponding differentiation matrix is also introduced. the applicabili...

(1) For all sets X1, X2 and for all sets a1, a2 holds [:X1 7−→ a1, X2 7−→ a2 :] = [:X1, X2 :] 7−→ 〈a1, a2〉. Let I be a set. One can check that 0I is function yielding. Next we state two propositions: (2) For all functions f , g holds x(g · f ) = g ·x f . (3) For all functions f , g, h holds x( f · [:g, h :]) = x f · [:h, g :]. Let f be a function yielding function. Observe that x f is function ...

The molecular-replacement method works well with good models and simple unit cells, but often fails with more difficult problems. Experience with likelihood in other areas of crystallography suggests that it would improve performance significantly. For molecular replacement, the form of the required likelihood function depends on whether there is ambiguity in the relative phases of the contribu...

A likelihood function based on the multivariate probability distribution of all observed structure-factor amplitudes from a single isomorphous replacement with anomalous scattering experiment has been derived and implemented for use in substructure refinement and phasing as well as macromolecular model refinement. Efficient calculation of a multidimensional integration required for function eva...

In this paper, we introduce and investigate two new subclasses of the functions class $ Sigma $ of bi-univalent functions defined in the open unit disk, which are associated with the Aghalary-Ebadian-Wang operator. We  estimate the coefficients $|a_{2} |$ and  $|a_{3} |$ for functions in these new subclasses. Several  consequences of the result are also pointed out.

In the present paper, we introduce and investigate some properties of two subclasses $ Lambda_{n}( lambda , beta ) $ and $ Lambda_{n}^{+}( lambda , beta ) $;  meromorphic and starlike  functions of order $ beta $. In particular, several inclusion relations, coefficient estimates, distortion theorems and covering theorems are proven here for each of these function classes.

class AbstractList { //@ model public int size; //@ in isEmpty; //@ model public boolean isEmpty; //@ public represents isEmpty <(size == 0); //@ public invariant size >= 0; //@ assignable isEmpty; //@ ensures isEmpty; abstract public void clear(); //@ assignable size; // but isEmpty is not assignable //@ ensures size <= \old(size); //@ ensures \old(size) > 0 ==> size > 0; abstract public void ...