The logic programming community has a love{hate relationship with operators for pruning the search space of logic programs such as cut, commit, once, conditionals and variations on these. Pruning operators typically are not declarative, result in incom-pleteness and/or unsoundness, decrease readability and exibility of code and make program analysis and transformation more diicult. Despite this...

We study the convergence properties of social Hegselmann–Krause (HK) dynamics , a variant HK model opinion dynamics where physical connectivity graph that accounts for extrinsic factors could prevent interaction between certain pairs agents is incorporated. As opposed to original (which termina...

Undersampling in the detector array degrades the performance of iris-recognition imaging systems. We find that an undersampling of 8 x 8 reduces the iris-recognition performance by nearly a factor of 4 (on CASIA iris database), as measured by the false rejection ratio (FRR) metric. We employ optical point spread function (PSF) engineering via a Zernike phase mask in conjunction with multiple su...

on utilizing the spectral representation of selfadjoint operators in hilbert spaces, some error bounds in approximating $n$-time differentiable functions of selfadjoint operators in hilbert spaces via a taylor's type expansion are given.

In this paper, we introduce frames generated by double sequences (d-frame) in Hilbert spaces and describe some of their properties. Furthermore, discuss frame operators, alternate dual stability for d-frames.

For a wavelet frame with polynomial symbols generated by an MRA with a given approximation order, we present the method for parametric description and construction of all dual analysis operators (filter banks) with the maximum number of vanishing moments whose symbols are polynomials. The similar problems related to the maximum frame approximation order and some other wavelet frame properties a...

In this paper, linearly and circularly polarized single-layer Substrate Integrated Waveguide (SIW) horn antennas with nearly equal half power beamwidths in principal planes for the 24 GHz ISM band are designed. The uniqueness of solution lies application a pixelated structure to design these SIW antennas. For design, novel heuristic algorithm called Binary Ink Stamp Optimization is proposed. At...