The results of a case study where we applied a formal method to prove properties of CoCheck, an extention of PVM for the creation of checkpoints of parallel applications on workstation clusters. Although the functionality of CoCheck had been demonstrated in experiments, there was no proof of the desired properties. Consequently, a formal method had to be applied which allows to prove those prop...

A simple unconstrained shoulder prosthesis has been used in 22 patients (25 shoulders) with incapacitating pain and severely damaged joints who, because of age or generalised rheumatoid disease, have limited functional requirements. All reported good and lasting pain relief. Improvement in range of movement was modest, but there was marked improvement in function. In this group of patients, rot...

Despite being the largest Indigenous Australian language, Kriol—an English-lexified creole spoken across the northern part of Australia—is still largely unexamined from an instrumental or phonological point of view. This hampers efforts to predict crosslinguistic difficulties experienced by Kriol speakers in English-language settings and crucially in predicting the difficulties that Kriol-speak...

During the first half of the 20th century there was a strong controversy over the route for removal of an intraocular foreign body (IOFB) lying in the posterior segment of the eye. In the early years the anterior route was substantially the method of choice (Barkan and Barkan, 1927; Verhoeff, 1932; Duggan, I933; Trevor-Roper, i944; and others). The posterior route had been advocated by Stieren ...

Massive degradation of natural resources, including forests, pastureland, and cropland, has been taking place in agriculturally unfavorable or marginal land areas of Asia and other parts of the Third World (Bhattari and Hamming 2001; Cropper and Griffiths 1994; Koop and Tole 1999; Rudel and Roper 1997). The growing rural population has increased demand for land, trees, and other natural resourc...

We propose to study the structure of the Roper resonance by a measurement of recoil proton polarization components in the p(~e, e′~ p)π0 reaction in Hall A. The components exhibit strong sensitivities to the pertinent resonant Roper multipoles M1− and S1−, and will be measured in a broad range of Q2 and W . The large kinematic coverage will allow us to attain a better overall understanding of t...

The logarithmic coefficients play an important role for different estimates in the theory of univalent functions. Due to significance recent studies about coefficients, problem obtaining sharp bounds modulus these has received attention. In this research, we obtain inequality involving functions well-known class G and investigate a majorization belonging family. To prove our main results, use B...

INTRODUCTION The Cohomological Field Theory was propose by Kontsevich and Manin [5] for description of Gromov-Witten Classes. They prove that Cohomological Field Theory is equivalent to Formal Frobenius manifold. Formal Frobenius manifold is defined by a formal series F , satisfying to associative equations. In points of convergence the series F defines a Frobenius algebras. The set of these po...