The finite-difference time-domain (FDTD) method based on the iterated Crank–Nicolson (ICN) scheme is extended to a frequency-dependent version. Drude model used express metal dispersion, which incorporated into formulation with trapezoidal recursive convolution technique. validity of present convolutional perfectly matched layers discussed through analysis metal-insulator-metal plasmonic wavegu...

An Orthogonal Frequency Division Multiplexing (OFDM) scheme is expected as an efficient technique for next generation wireless communications. However, high Peak to Average Power Ration (PAPR) of OFDM system is the main drawback which degrades the transmitter power efficiency causes poor performance of the system. To reduce PAPR of OFDM signal, several works on clipping technique have been prop...

We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but only attempt to verify that they respect the shape and integrity of the store. A verified program is guaranteed to preserve the tree-shapes of data structures, to avoid pointer errors such as NULL dereferences, leaki...

We extend Bove’s technique for formalising simple general recursive algorithms in constructive type theory to nested recursive algorithms. The method consists in defining an inductive special-purpose accessibility predicate, that characterizes the inputs on which the algorithm terminates. As a result, the type-theoretic version of the algorithm can be defined by structural recursion on the proo...

We present a deterministic algorithm for the connectivity problem on undirected graphs that runs in O(log n) space. Thus, the recursive doubling technique of Savich which requires Θ(log n) space is not optimal for this problem.

A novel multiplierless structure for maximally flat linear phase FIR digital filters is proposed. The structure is based on a recursive evaluation technique for Bernstein polynomials. It consists of identical multiplierless building blocks connected in a regular fashion.

Recursive least-squares (RLS) algorithms are widely used in many applications, such as real-time signal processing, control and communications. In some regularization of the provides robustness enhances performance. Interestingly, updating parameter processing data continuously time is a desirable strategy to improve performance applications beamforming. While presented works literature assume ...