This paper deals with the design of interpolating wavelets based on a variety of Lagrange functions, combined with novel signal processing techniques for digital imaging. Halfband Lagrange wavelets, B-spline Lagrange wavelets and Gaussian Lagrange (Lagrange distributed approximating functional (DAF)) wavelets are presented as specific examples of the generalized Lagrange wavelets. Our approach ...

We apply multivariate Lagrange interpolation to synthesizing polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop invariant to solving constraints over program variables and unknown coefficients. Lagrange interpolation allows us to find constraints with less unknown coefficients. Counterexample-guided refinement furthermore genera...

In this paper, an effective approach is proposed for designing discrete coefficient 2-D FIR digital filters for sampling structure conversion. After obtaining the initial continuous solution, the conventional Lagrange multiplier approach associated with an appropriate tree search algorithm is used iteratively to optimize the remaining unquantized coefficients of the designed filter in the least...

Lagrangian systems with ideal nonholonomic constraints can be expressed as implicit index 2 differential-algebraic equations (DAEs) and can be derived from the Lagrange-d’Alembert principle. We define a new nonholonomically constrained discrete Lagrange-d’Alembert principle based on a discrete Lagrange-d’Alembert principle for forced Lagrangian systems. Nonholonomic constraints are considered a...

Given an odd prime p, we give an explicit factorization over the ring of formal power series with integer coefficients for certain reducible polynomials whose constant term is of the form p with w > 1. Our formulas are given in terms of partial Bell polynomials and rely on the inversion formula of Lagrange. Résumé. Donné un nombre premier impair p, nous donnons une factorisation explicite sur l...

We discuss the relationship between the classical Lagrange theorem in mathematics and the quantum statistical mechanics and thermodynamics of an ideal gas of multispecies quasiparticles with mutual fractional exclusion statistics. First, we show that the thermodynamic potential and the density of the system are analytically expressed in terms of the language of generalized cluster expansions, w...

1. Introduction. The Lagrange inversion formula is one of the fundamental results of enumerative combinatorics. It expresses the coefficients of powers of the compositional inverse of a power series in terms of the coefficients of powers of the original power series. G. Labelle [10] extended Lagrange inversion to cycle index series, which are equivalent to symmetric functions. Although motivate...

We study Thom polynomials associated with Lagrange singularities. We expand them in the basis of Q̃-functions. This basis plays a key role in the Schubert calculus of isotropic Grassmannians. We prove that the Q̃-function expansions of Thom polynomials of Lagrange singularities have always nonnegative coefficients. This is an analog of a result on Thom polynomials of mapping singularities and Sch...

We use the Lagrange inversion theorem to characterize the central coefficients of matrices in the Bell subgroup of the Riordan group of matrices. We give examples of how by using different means of calculating these coefficients we can deduce the generating functions of interesting sequences.