We consider the class of crossed products of noetherian domains with universal enveloping algebras of Lie algebras. For algebras from this class we give a sufficient condition for the existence of projective non-free modules. This class includes Weyl algebras and universal envelopings of Lie algebras, for which this question, known as noncommutative Serre’s problem, was extensively studied befo...

For some time it has been known that the standard method for collecting link-traffic measurements in IP networks — the Simple Network Management Protocol or SNMP— is flawed. It has oft been noted that SNMP is subject to missing data, and that its measurements contain errors. However, very little work has been aimed at assessing the magnitude of these errors. This paper develops a simple, easily...

Although XET is a powerful rule language, a mechanism to provide an automatic update on an XML document according to monitored events cannot be realized easily under the common use of XET. Proposed in the paper is a simple XML-expression transformation by XET enabling applications to perform update actions on an XML document when an event is detected. As a case study, it will be shown that XET ...

Status of this Memo This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements. Please refer to the current edition of the "Internet Official Protocol Standards" (STD 1) for the standardization state and status of this protocol. Distribution of this memo is unlimited.

We prove the theorem mentioned in the title, for Rn, where n ≥ 3. The case of the simplex was known previously. Also, the case n = 2 was settled, but there the infimum was some well-defined function of the side lengths. We also consider the cases of spherical and hyperbolic n-spaces. There we give some necessary conditions for the existence of a convex polytope with given facet areas, and some ...

This paper describes how the phase, obtained by Gabor filtering an image, can be used to aggregate related Gabor elements (simple features identified by peaks in the Gabor magnitude). This phase-based feature grouping simplifies the perennial problem of target/background segmentation because we need to only determine if the aggregate feature is target or background, rather than determine the st...

The aim of this paper is to continue the studies about convergence in L-norm of the Fourier series based on representative product systems on the complete product of finite groups. We restrict our attention to bounded groups with unbounded sequence Ψ. The most simple example of this groups is the complete product of S3. In this case we proved the existence of an 1 < p < 2 number for which exist...

Department of Molecular Biology and Biotechnology, University of Sheffield, Sheffield S10 2TN, United Kingdom; Structural Biology Group, European Synchrotron Radiation Facility, 6 rue Jules Horowitz, F-38043 Grenoble, France; Department of Chemistry, University of Nebraska-Lincoln, Lincoln, NE 68588; Centre for Chemical Biology, Department of Chemistry, University of Sheffield, Sheffield S3 7HF...

Abadi has introduced a logic to explicate the meaning of local names in SDSI, the Simple Distributed Security Infrastructure proposed by Rivest and Lampson. Abadi’s logic does not correspond precisely to SDSI, however; it draws conclusions about local names that do not follow from SDSI’s name resolution algorithm. Moreover, its semantics is somewhat unintuitive. This paper presents the Logic of...