The Rust language was created to provide safe low-level systems programming. There is both industrial and academic interest in the problem of (semi-)automatically translating C code order exploit Rust's safety guarantees. We study effectiveness limitations existing techniques for automatically unsafe raw pointers (in programs translated from C) into references via ownership lifetime inference. ...

We present a pair of sharp lower and upper bounds on the 2-norm of the aliasing error in general multiband sampling representationsfor not necessarily bandlimited multidimensional functions. These boundsimprove and generalize previous bounds. They also complement a recentuniform upper bound due to Higgins. multiband, Poisson summation, error energy.Index TermShannon sampling...

Recently a new parallel imaging strategy, Controlled Aliasing In Parallel Imaging Results IN Higher Acceleration (CAIPIRINHA), was introduced, which modifies the appearance of the aliasing artifacts during the acquisition in order to improve the following parallel imaging reconstruction procedure. This concept was successfully applied to simultaneous multi-slice imaging (MS-CAIPIRINHA) [1] and ...

This paper studies the question of when one abstract data type (ADT) is a behavioral subtype of another, and proposes a model-theoretic notion of weak behavioral subtyping. Weak behavioral subtyping permits supertype abstraction to be a sound and modular reasoning principle in a language with mutation and limited forms of aliasing. The necessary restrictions on aliasing can be statically checked.

Image Aliasing is a problem appearing as artifacts in digitally resampled images, which degrades the quality of the image. In digital rectification and texture mapping pixels from an input image are transformed to pixels of an output image. Discrete nature of a digital image causes Aliasing in transformed image. In this paper source of aliasing and theory of antialiasing is described. The neces...

Whilst XCS (Wilson, 1998) has been shown to be more robust and reliable than previous LCS implementations (Kovacs, 1996, 1997), Lanzi (1997) identified a potential problem in the application of XCS to certain simple multi-step non Markovian environments. The 'Aliasing Problem' occurs when the environment provides the same message for two states in environmental positions that generate different...