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 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,...

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...

We introduce a method, known as one-dimensional sonomyography (1-D SMG), that uses A-mode ultrasound signals to detect dynamic thickness changes in skeletal muscle during contraction. We custom-designed a 1-D SMG system to collect synchronized A-mode ultrasound, joint angle, and surface electromyography (EMG) signals of forearm muscles during wrist extension. We extracted the 1-D SMG signal fro...

Standing people are exposed to whole-body vibration in many environments. This paper investigates the effects of horizontal whole-body vibration and standing posture on task performance. Sixteen participants were exposed to random vibration (up to 4 Hz) whilst performing a timed pegboard task in two standing postures. Objective and subjective indicators of performance were used. Time taken to c...

The wavefront of an injection-seeded soft x-ray laser beam generated by amplification of high-harmonic pulses in a λ=18.9 nm molybdenum plasma amplifier was measured by a Hartmann wavefront sensor with an accuracy of λ/32 root mean square (rms). A significant improvement in wavefront aberrations of 0.51±0.03λ rms to 0.23±0.01λ rms was observed as a function of plasma column length. The variatio...