In this paper the differentiation of external morphology and ontogeny of Oribatulidae were investigated, on the basis of Phauloppia lucorum (C. L. Koch, 1841), Lucoppia burrowsi (Michael, 1890), and Oribatula tibialis (Nicolet, 1855), which ontogeny is described and illustrated here for the first time. The juveniles of these species have smooth cuticle, a clavate sensillus with barbed head, and...

Harmonia axyridis (Pallas, 1773) is an Asian coccinellid released in several places to act as a biological control agent of aphids. Dinocampus coccinellae (Schrank, 1802) is an endoparasite that uses more than 40 coccinellid species as hosts. Thus, the aim of this study was to investigate the interactions between D. coccinellae and H. axyridis and to determine the impact of the parasitoid on th...

In object-oriented systems, object associations generally result in a complex structure whose precise description is a crucial part of the sys-tem's formal speciication. A particularly common object association arises when one object exclusively controls (owns) another. As exclusive object control is an important aspect of safety and security critical systems, speciic notation to capture direct...

This paper specifies the formal semantics of XSLT. Using Object-Z specification language to describe each constructs of the language as objects, the stylesheet itself was specified by underlying objects. This work will contribute to the implementation of XSLT.

For a nite group G the commutativity degree denote by d(G) and dend:$$d(G) =frac{|{(x; y)|x, yin G,xy = yx}|}{|G|^2}.$$ In [2] authors found commutativity degree for some groups,in this paper we nd commutativity degree for a class of groups that have high nilpontencies.

Infection with Moniezia benedeni is sometimes found in confined cattle in Japan. Between October 2011 and January 2013, we monitored the fecal egg prevalence at a confined cattle farm in Miyazaki prefecture where continuous M. benedeni infection has been recognized for years to evaluate the possible infection routes. Fecal egg prevalence changed seasonally with the highest in October 2011 (27.3...

Recently we have reformulated the octonions as quasissociative algebras (quasialgebras) living in a symmetric monoidal category. In this note we provide further examples of quasialgebras, namely ones where the nonassociativity is induced by a Z Z n-grading and a nontrivial 3-cocycle.

With the addition of IBM System ze application assist processors (zAAPs) and integrated information processors (zIIPs) to the portfolio of special-purpose IBM System z processors, the reinvention of the IBM mainframe continues. Jointly, zAAPs and zIIPs provide significant IBM System z9e integrated and cost-effective processing cycles for today’s strategic Javae and DB2t for z/OSt programming pl...