On the Omori-Yau Maximum Principle and Geometric Applications

We introduce a version of the Omori-Yau maximum principle which generalizes the version obtained by Pigola-Rigoli-Setti 21. We apply our method to derive a non-trivial generalization Jorge-Koutrofiotis Theorem 15 for cylindrically bounded submanifolds due to Alias-Bessa-Montenegro 2, we extend results due to Alias-Dajczer 5, Alias-Bessa-Dajczer 1 and Alias-Impera-Rigoli 6

Expression-based aliasing for OO-languages

Alias analysis has been an interesting research topic in verification and optimization of programs. The undecidability of determining whether two expressions in a program may reference to the same object is the main source of the challenges raised in alias analysis. In this paper we propose an extension of a previously introduced alias calculus based on program expressions, to the setting of unbounded program executions s.a. infinite loops and recursive calls. Moreover, we devise a corresponding executable specification in the K-framework. An important property of our extension is that, in a non-concurrent setting, the corresponding alias expressions can be over-approximated in terms of a notion of regular expressions. This further enables us to show that the associated K-machinery implements an algorithm that always stops and provides a sound over-approximation of the "may aliasing" information, where soundness stands for the lack of false negatives. As a case study, we analyze the integration and further applications of the alias calculus in SCOOP. The latter is an object-oriented programming model for concurrency, recently formalized in Maude; K-definitions can be compiled into Maude for execution

A note on general parallel QMF banks

Two issues concerning alias-free, parallel, quadrature mirror filter (QMF) banks are addressed in this correspondence. First, a property concerning alias-free analysis/synthesis systems is established; second, a scheme is proposed, by which a synthesis bank can be modified in order to take care of aliasing errors caused by linear channel-distortion in a simple manner. Applications of the stated results are outlined

Scanning wind-vector scatterometers with two pencil beams

A scanning pencil-beam scatterometer for ocean windvector determination has potential advantages over the fan-beam systems used and proposed heretofore. The pencil beam permits use of lower transmitter power, and at the same time allows concurrent use of the reflector by a radiometer to correct for atmospheric attenuation and other radiometers for other purposes. The use of dual beams based on the same scanning reflector permits four looks at each cell on the surface, thereby improving accuracy and allowing alias removal. Simulation results for a spaceborne dual-beam scanning scatterometer with a 1-watt radiated power at an orbital altitude of 900 km is described. Two novel algorithms for removing the aliases in the windvector are described, in addition to an adaptation of the conventional maximum likelihood algorithm. The new algorithms are more effective at alias removal than the conventional one. Measurement errors for the wind speed, assuming perfect alias removal, were found to be less than 10%

Alias-free, real coefficient m-band QMF banks for arbitrary m

Based on a generalized framework for alias free QMF banks, a theory is developed for the design of uniform QMF banks with real-coefficient analysis filters, such that aliasing can be completely canceled by appropriate choice of real-coefficient synthesis filters. These results are then applied for the derivation of closed-form expressions for the synthesis filters (both FIR and IIR), that ensure cancelation of aliasing for a given set of analysis filters. The results do not involve the inversion of the alias-component (AC) matrix

Polyphase networks, block digital filtering, LPTV systems, and alias-free QMF banks: a unified approach based on pseudocirculants

The relationship between block digital filtering and quadrature mirror filter (QMF) banks is explored. Necessary and sufficient conditions for alias cancellation in QMF banks are expressed in terms of an associated matrix, derived from the polyphase components of the analysis and synthesis filters. These conditions, called the pseudocirculant conditions, make it possible to unite QMF banks with the framework of block digital filtering directly. Absence of amplitude distortion in an alias-free QMF bank translates into the 'losslessness' property of the pseudocirculant matrix involved

On a Heuristic Analysis of Highly Fractionated 2n Factorial Experiments

The paper deals with a method for the analysis of highly fractionated factorial designs proposed by Raghavarao and Altan (2003). We show that the method will find "active" factors with almost any set of random numbers. Once that an alias set is found active, Raghavarao and Altan (2003) claim that their method can resolve the alias structure of the design and identify which of several confounded effects is active. We show that their method cannot do that. The error in Raghavarao and Altan's (2003) arguments lies in the fact that they treat a set of highly dependent (sometimes even identical) F-statistics as if they were independent. --Fractional factorial designs,half-normal plot,heuristic arguments,active effects,alias set