(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 ...

In the field of Geometric Function Theory, one can not deny the importance of analytic and univalent functions. The characteristics of these functions including their taylor series expansion, their coefficients in these representations as well as their associated functional inequalities have always attracted the researchers. In particular, Fekete-Szegö inequality is one of such vastly studied a...

‎we mainly discuss the existence of meromorphic (entire) solutions of‎ ‎certain type of non-linear difference equation of the form‎: ‎$f(z)^m+p(z)f(z+c)^n=q(z)$‎, ‎which is a supplement of previous‎ ‎results in [k‎. ‎liu‎, ‎l. z‎. ‎yang and x‎. ‎l‎. ‎liu‎, ‎existence of entire solutions of nonlinear difference‎ ‎equations‎, ‎czechoslovak math. j. 61 (2011)‎, no. 2, ‎565--576‎, and x‎. ‎g‎. ‎qi‎...

the thermodynamic functions such as enthalpy (h), gibbs free energy (g) and entropy (s) ofpyrazole was theoretically studied at 5 different temperatures 25, 30, 35, 40 and 45°c by usinggussian o3, software. first, the structural optimization of isolated pyrazole was done in the gas phaseby appling the density functional theory (b3lyp) level with 3-21g, 6-31g and 6-31+g(d) basissets. moreover, v...