It is well known that in the classical monetary theory, whether of the Fisherian "equation of exchange” version or the Cambridge real-balance version, the demand for money was seen strictly as a demand for transactions purposes, which in turn was exogenously determined by institutional and technological factors.1 One of the innovations which Keynes introduced into monetary theory was his explic...

Two-particle scattering amplitudes for integrable relativistic quantum field theory in 1+1 dimensions can normally have at most singularities of poles and zeros along the imaginary axis in the complex rapidity plane. It has been supposed that single particle amplitudes of the exact boundary reflection matrix exhibit the same structure. In this paper, single particle amplitudes of the exact boun...

A Nyquist filter can have any odd symmetric taper as a transition between its pass band and stop band. The most well known taper is the raised cosine (RC) taper specified in most communication standards. The square root (SRRC) Nyquist filter formed from this prototype exhibits high spectral side lobe levels that fail to meet severe spectral mask requirements. This paper presents a SR Nyquist fi...

One approach to computing a square root of a matrix A is to apply Newton's method to the quadratic matrix equation F( X) = X2 A =0. Two widely-quoted matrix square root iterations obtained by rewriting this Newton iteration are shown to have excellent mathematical convergence properties. However, by means of a perturbation analysis and supportive numerical examples, it is shown that these simpl...

We study a set of regularization methods for high-dimensional linear regression models. These penalized estimators have the square root of the residual sum of squared errors as loss function, and any weakly decomposable norm as penalty function. This fit measure is chosen because of its property that the estimator does not depend on the unknown standard deviation of the noise. On the other hand...

We discuss the formal verification of some low-level mathematical software for the Intel Itanium architecture. A number of important algorithms have been proven correct using the HOL Light theorem prover. After briefly surveying some of our formal verification work, we discuss in more detail the verification of a square root algorithm, which helps to illustrate why some features of HOL Light,...

A discretization of independent variables of integrable nonlinear differential equations breakes their integrability in general. Therefore it is remarkable that there exist certain discrete analogue of integrable differential equations which preserve integrability[2][16]. Integrability of ODEs can be tested by studying whether exist singularities which depend on initial values, a method called ...

Dust storms are devastating natural disasters that cost billions of dollars and many human lives every year. Using the Non-Hydrostatic Mesoscale Dust Model (NMM-dust), this research studies how different spatiotemporal resolutions of two input parameters (soil moisture and greenness vegetation fraction) impact the sensitivity and accuracy of a dust model. Experiments are conducted by simulating...

Electromagnetic tracking devices are widely used in biomechanics. In this article a method is evaluated to construct models of articular surfaces using an electromagnetic tracking device. First, the accuracy of the space tracker was examined and optimised. Then, from several joint surfaces random points were measured and eighth degree polynomials were fitted to these measurements. To check if t...

This paper reports the development of a quantitative target approximation (qTA) model for generating F(0) contours of speech. The qTA model simulates the production of tone and intonation as a process of syllable-synchronized sequential target approximation [Xu, Y. (2005). "Speech melody as articulatorily implemented communicative functions," Speech Commun. 46, 220-251]. It adopts a set of biom...