Non-stationary filtering of seismic data can be accomplished in time or in Fourier domain by the theory of non-stationary convolution (Margrave, 1998). Here I show the results of implementing this theory for time-variant filtering of seismic data with an arbitrary number of filters and for forward and inverse NMO correction in the frequency domain. In the first case I show that the filters may ...

The paper studies an Allen-Cahn-type equation defined on a time-dependent surface as model of phase separation with order-disorder transition in thin material layer. By formal inner-outer expansion, it is shown that the limiting behavior solution geodesic mean curvature type flow reference coordinates. A geometrically unfitted finite element method, known trace FEM, considered for numerical equ...

We reconsider the issue of localization in open-closed B-twisted LandauGinzburg models with arbitrary Calabi-Yau target. Through careful analsysis of zero-mode reduction, we show that the closed model allows for a one-parameter family of localization pictures, which generalize the standard residue representation. The parameter λ which indexes these pictures measures the area of worldsheets with...

At present, human beings are increasingly dependent on oil and gas energy. Due to the influence of a series factors such as exploration technology natural environment, in process actual technology, collected seismic data usually has problem low sampling rate. The lower rate may cause spatial aliasing migration imaging, resulting inaccurate exploration. Therefore, order carry out more accurate e...

We present a new counterexample-guided abstraction refinement scheme. The scheme refines an over-approximation of the set of possible traces. Each refinement step introduces a finite automaton that recognizes a set of infeasible traces. A central idea enabling our approach is to use interpolants (assertions generated, e.g., by the infeasibility proof for an error trace) in order to automaticall...

We construct a lifting operator of polynomial traces on an interval that is stable in appropriate Sobolev norms. Next we extend this result to the case of traces vanishing at the endpoints of the interval. This has two applications, the interpolation of polynomial spaces and the evaluation by discrete formulas of fractional order Sobolev norms on polynomials. Résumé Nous construisons un opérate...

In this paper, quadratic and sextic B-splines are used to construct an approximating function based on the integral values instead of the function values at the knots. This process due to the type of used B-splines (fourth order or sixth order), called integro quadratic or sextic spline interpolation. After introducing the integro quartic and sextic B-spline interpolation, their convergence is ...

The Gulf of Paria is a semi-enclosed shallow basin with increasing coastal development activities along Trinidad's west coast. Sediments present a host for trace metal pollutants from overlying waters, therefore determination of their content is critical in evaluating and detecting sources of marine pollution. This paper presents a Geographic Information System (GIS) analysis of geochemical ass...

In this work we consider weighted anisotropic Hardy inequalities and trace involving a general Finsler metric. We follow unifying approach, by establishing first sharp interpolation between them, extending the corresponding nonweighted version, being established recently different approach. Then, passing to bounded domains, obtain successive improvements adding remainder terms weights optimal c...

Hidden Markov Model is a popular statisical method that is used in continious and discrete speech recognition. The probability density function of observation vectors in each state is estimated with discrete density or continious density modeling. The performance (in correct word recognition rate) of continious density is higher than discrete density HMM, but its computation complexity is very ...