Inference mechanisms and interpretations of fuzzy rule bases are studied together from the point of view of systems of fuzzy relation equations. A proper use of an inference mechanism connected to a fuzzy relation interpreting a fuzzy rule base is certified by keeping the fundamental interpolation condition. The paper aims at new solutions of systems of fuzzy relation equations which are motiva...

A potential energy surface that describes the title reaction has been constructed by interpolation of ab initio data. Classical trajectory studies on this surface show that the total reaction rate is close to that predicted by a Langevin model, although the mechanism is more complicated than simple ion-molecule capture. Only the HCO(+) + H product is observed classically. An estimate of the mag...

An algorithm for lost signal restoration in block-based still image and video sequence coding is presented. Problems arising from imperfect transmission of block-coded images result in lost blocks. The resulting image is flawed by the absence of square pixel regions that are notably perceived by human vision, even in real-time video sequences. Error concealment is aimed at masking the effect of...

An effective compression artifacts removal algorithm is proposed based on thin-plate spline interpolation and the theory of projections onto convex sets (POCS). The thin-plate spline model is used to model the luminance in the flat regions of the image. Adaptive projections are used to suppress the compression artifacts in the spatially active image regions. The algorithm includes block mapping...

The nondestructive three-dimensional acoustic tomography concept of the present investigation combines computerized tomography image reconstruction algorithms using acoustic diffracting waves together with depth information to produce a three-dimensional (3D) image of an underground section. The approach illuminates the underground area of interest with acoustic plane waves of frequencies 200-3...

The variety of sums of powers of a homogeneous polynomial of degree d in n variables is defined and investigated in some examples, old and new. These varieties are studied via apolarity and syzygies. Classical results (cf. [Sylvester 1851], [Hilbert 1888], [Dixon, Stuart 1906]) and some more recent results of Mukai (cf. [Mukai 1992]) are presented together with new results for the cases (n, d) ...

The paper proposes a structural approach to VAR analysis in panels, which takes into account responses to both idiosyncratic and common structural shocks, while permitting full cross member heterogeneity of the response dynamics. In the context of this structural approach, estimation of the loading matrices for the decomposition into idiosyncratic versus common shocks is straightforward and tra...

Interpolation is a technique for extracting intermediate formulæ from a proof. It has applications in formal verification, where interpolation may enable a program analyser to discover information about intermediate program locations and states. We study interpolation in the theorem proving method DPLL(Γ+T ), which integrates tightly a superposition based prover Γ in a DPLL(T ) based SMT-solver...

INTRODUCTION Mathematical morphology offers some powerful tools for the image interpolation. The idea of the application of mathematical morphology to the image interpolation has been introduced in 1994 in the Center of Mathematical Morphology of Paris School of Mines. The basics of the morphological interpolation methods and the majority of the interpolation algorithms was developed by J.Serra...

The color filter array (CFA) captures only one-third of the necessary color intensities and the full color image is generated from the captured data by interpolation. In recent years, the algorithm of Bayer patterned image compression based on “structure separation” has achieved better image quality. On the basis of previous work, the algorithm based on the all phase biorthogonal transform (APB...