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

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

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

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

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

The problem of reassembling an object from its parts or fragments has never been addressed with a unified computational approach, which depends on the pure geometric form of the parts and not application-specific features. We propose a method for the automatic reconstruction of a model based on the geometry of its parts, which may be computergenerated models or range-scanned models. The matchin...

Let p be a prime number. In this article we present a theorem, suggested by Peter Scholze, which states that Gal(Qp/Qp) is the étale fundamental group of a certain object Z which is defined over an algebraically closed field. This object is the quotient of the “punctured perfectoid open disk” by an action of the group Qp . The proof of this fact combines two themes: the tilting equivalence for ...

The use of Geometric Logic as the foundation of a speciication language called GeoZ is proposed elsewhere 4]. In this note we explore GeoZ from the perspective of practitioners, who are familiar with the existing Z notation, by explaining the issues that arise and the essential role of schema entailment in the GeoZ reformulation of Z's mathematical toolkit.