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

A Baeyer-Villiger mono-oxygenase (BVMO), catalysing the NADPH- and oxygen-dependent oxidation of the monocyclic monoterpene ketones 1-hydroxy-2-oxolimonene, dihydrocarvone and menthone, was purified to homogeneity from Rhodococcus erythropolis DCL14. Monocyclic monoterpene ketone mono-oxygenase (MMKMO) is a monomeric enzyme of molecular mass 60 kDa. It contains 1 mol of FAD/monomer as the prost...

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.