Multiple Sulfatase Deficiency (MSD; OMIM 272200) is a rare autosomal recessive inborn error of metabolism caused by mutations in the sulfatase modifying factor 1 gene, encoding the formylglycine-generating enzyme (FGE), and resulting in tissue accumulation of sulfatides, sulphated glycosaminoglycans, sphingolipids and steroid sulfates. Less than 50 cases have been published so far. We report a ...

in this article, we study the artin-rees property in  c(x), in the  rings of fractions of  c(x) and in the factor rings of c(x) . we show that c(x)/(f) is an artin-rees ring if and only if  z(f)  is an open p-space. a necessary and sufficient condition for the local rings of  c(x)   to be artin-rees rings is that each prime ideal in  c(x)  becomes minimal and it turns out that every local ring ...

In a study of surface branched coverings, one can ask naturally: In how many different ways can a given surface be a branched covering of another given surface? This problem was studied by many authors in Quart. J. Math. Oxford Ser. 2 46 (1995) 485, Math. Scand. 84 (1999) 23, Discrete Math. 156 (1996) 141, Discrete Math. 183 (1998) 193, Discrete Math. (in press), European J. Combin. 22 (2001) 1...

Thanks to the development of a number of eeciency enhancing techniques, state-space exploration based veriication, and in particular model checking, has been quite successful for nite-state systems. This has prompted eeorts to apply a similar approach to systems with innnite state spaces. Doing so amounts to developing algorithms for computing a symbolic representation of the innnite state spac...

It is known that LTL formulae without the ‘next’ operator are invariant under the so-called stutter-equivalence of words. In this paper we extend this principle to general LTL formulae with given nesting depths of the ‘next’ and ‘until’ operators. This allows us to prove the semantical strictness of three natural hierarchies of LTL formulae, which are parametrized either by the nesting depth of...

Rectilinear Binary Space Partitioning (BSP) trees are often used for solving various types of range searching problems including ray shooting. We propose a novel method for construction of rectilinear BSP trees for a preferred set of ray shooting queries. Particularly, we study ray sets formed by fixing either the direction or the origin of rays. We analyse and discuss the properties of constru...

The crystallography of icosahedral crystals is constructed. The actual three-dimensional crystal is represented by a three-dimensional cut in a regular six-dimensional periodic crystal with symmetry described by a six-dimensional space group, and the positions of atoms correspond to an arrangement of hypersurface segments. The resulting crystal can not in general be viewed as a space-filling ar...

For a closure space (P,φ) with φ(∅) = ∅, the closures of open subsets of P , called the regular closed subsets, form an ortholattice Reg(P,φ), extending the poset Clop(P,φ) of all clopen subsets. If (P,φ) is a finite convex geometry, then Reg(P, φ) is pseudocomplemented. The Dedekind-MacNeille completion of the poset of regions of any central hyperplane arrangement can be obtained in this way, ...