1 Z 3 Jonathan P. BOWEN 1.1 Overview of the Z Notation . . . . . . . . . . . . . . . . . . . . . . . 3 1.1.1 The Process of Producing a Z Specification . . . . . . . . . . 4 1.2 Analysis and Specification of Case 1 . . . . . . . . . . . . . . . . . . 5 1.3 Analysis and Specification of Case 2 . . . . . . . . . . . . . . . . . . 13 1.4 Validation of the Specification . . . . . . . . . . . . . . ...

In a variety of threading methods, often poorly ranked (low z-score) templates have good alignments. Here, a new method, TASSER_low-zsc that identifies these low z-score-ranked templates to improve protein structure prediction accuracy, is described. The approach consists of clustering of threading templates by affinity propagation on the basis of structural similarity (thread_cluster) followed...

let $l$ be a completely regular frame and $mathcal{r}l$ be the ‎ring of continuous real-valued functions on $l$‎. ‎we show that the‎ ‎lattice $zid(mathcal{r}l)$ of $z$-ideals of $mathcal{r}l$ is a‎ ‎normal coherent yosida frame‎, ‎which extends the corresponding $c(x)$‎ ‎result of mart'{i}nez and zenk‎. ‎this we do by exhibiting‎ ‎$zid(mathcal{r}l)$ as a quotient of $rad(mathcal{r}l)$‎, ‎the‎ ‎...

Let $P$ be a complex polynomial of the form $P(z)=zdisplaystyleprod_{k=1}^{n-1}(z-z_{k})$,where $|z_k|ge 1,1le kle n-1$ then $ P^prime(z)ne 0$. If $|z|

Let $L$ be a completely regular frame and $mathcal{R}L$ be the ‎ring of continuous real-valued functions on $L$‎. ‎We show that the‎ ‎lattice $Zid(mathcal{R}L)$ of $z$-ideals of $mathcal{R}L$ is a‎ ‎normal coherent Yosida frame‎, ‎which extends the corresponding $C(X)$‎ ‎result of Mart'{i}nez and Zenk‎. ‎This we do by exhibiting‎ ‎$Zid(mathcal{R}L)$ as a quotient of $Rad(mathcal{R}L)$‎, ‎the‎ ‎...

Poly (ether) urethane close/open cell (PEUCC/PEUOC) has been prepared by using in situ polymerization approach. The third-order optical nonlinearities of dissolved samples in DMF were characterized by Z-scan technique at the measurement wavelength of 532 nm. The synthesized samples were also examined by optical microscopy and UV-Vis absorption spectroscopy. The nonlinear refractive (NLR) indice...