The structure of analytic signals is investigated by means of the relation between analytic signals and functions in the Hardy space. It is shown that an analytic signal is made up of two parts, one depends on the amplitude of the signal and another on the boundary value of an inner function. Based on this result, properties of the instantaneous frequencies of these two parts are studied, and i...

In many signal processing applications, an appropriate measure to compare two signals plays a fundamental role in both implementing the algorithm and evaluating its performance. Several techniques have been introduced in literature as similarity measures. However, the existing measures are often either impractical for some applications or they have unsatisfactory results in some other applicati...

This paper describes a method for extracting rapidly varying, superimposed amplitude-modulated and frequency-modulated signal components. The method is based upon the continuous wavelet transform (CWT) and uses a new wavelet that is a modification to the well-known Morlet wavelet to allow analysis at high resolution. In order to interpret the CWT of a signal correctly, an approximate analytic e...

We use variational perturbation theory to calculate various universal amplitude ratios above and below Tc in minimally subtracted straight phi4 theory with N components in three dimensions. In order to best exhibit the method as a powerful alternative to Borel resummation techniques, we consider only two- and three-loops expressions where our results are analytic expressions. For the critical e...

Nowadays, the clustering of proteins and enzymes in particular, are one of the most popular topics in bioinformatics. Increasing number of chitinase genes from different organisms and their sequences have beenidentified. So far, various mathematical algorithms for the clustering of chitinase genes have been used butmost of them seem to be confusing and sometimes insufficient. In the...

The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-based handling of equality into the hyper tableau calculus. E-KRHyper extends our previous KRHyper system, which has been used in a number of applications in the field of knowledge representation. In contrast to most f...