نتایج جستجو برای: Z)-

تعداد نتایج: 149699  

1995
Jin Song Dong Roger Duke

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

2003
Hong Li Yang Jin Song Dong Ke Gang Hao Jun Gang Han

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.

1999
SHAHN MAJID

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.

Journal: :IBM Journal of Research and Development 2007
Les W. Wyman José Castaño Jeffrey P. Kubala Robert J. Maddison Bernard R. Pierce Robert R. Rogers

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

2005
Donald R. Deese

This paper was originally presented to the 2005 Annual UK-CMG Conference in Warwickshire, UK. At that time, details on z/9 109 server and z/OS V1R7 were not available. That paper was accepted for presentation by the Computer Measurement Group at the 2005 CMG International Conference. The CMG Program Committee required that the final paper be submitted no later than September 16 . By that paper ...

2005
Vincent J. Dercksen Steffen Prohaska Hans-Christian Hege

One of the steps to reconstruct the 3-D geometry of biological objects from a stack of 2-D microscopic images, is to align the individual slices with respect to each other. Due to complex internal structures and imaging artifacts, automatic methods do not always lead to reliable results. Visual feedback consisting of sagittal and coronal cross-sections is very useful to validate the alignment r...

1998
Ian Toyn

The second Committee Draft of the ISO standard \Z Nota-tion" is expected to be published soon after the ZUM'98 proceedings. This paper provides an overview of Standard Z from the perspective of the diierences between its notation and that of Spivey's de facto standard \The Z Notation: A Reference Manual". Its aim is to make the diierences be more widely known and hence enable wider exploitation...

2002
John Lott

We define topological and analytic indices in R/Z K-theory and show that they are equal.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید