It has been proved by Loader 1] that Statman-Plotkin conjecture (see 4] and 2]) fails. The Loader proof was done by encoding the word problem in the full type hierarchy based on the domain with 7 elements. The aim of this paper is to show that the lambda deenability problem limited for second order types and regular third order types is decidable in any nite domain. Obviously deenability is dec...

Herein, we develop a phenomenological model for microscopic cascading and substantiate it with ab initio calculations. It is shown that the concept of local microscopic cascading of a second-order nonlinearity can lead to a third-order nonlinearity, without introducing any new loss mechanisms that could limit the usefulness of our approach. This approach provides a new molecular design protocol...

Takeuchi [37], Takeuchi and Akahira [38] and Pfanzagl [27] among others proved that any rst-order ecient estimators are second-order ecient. Many authors e.g., Ghosh [15], have conjectured that any third-order ecient estimators are fourth-order ecient. Based on concentration probability of estimators about a true parameter, this paper gives a positive answer to the conjecture in a curved expone...

How are second-order (texture-defined) and third-order (pattern-tracking) motions processed in our brains? As shown here in the context of an ambiguous motion task involving a nominal second-order stimuli first devised by Werkhoven et al., [Werkhoven, P., Sperling, G. & Chubb, C. (1993) Vision Res. 33, 463-485.], the observers fell into two distinct groups based on the direction of perceived mo...

This paper addresses the problem of blind separation of linear convolutive mixtures. We first reformulate the problem into a blind separation of linear instantaneous mixtures, and then a statistical approach is applied to solve the reformulated problem. From the statistics of the mixtures, two kinds of matrix pencils are constructed to estimate the mixing matrix. The original sources are then s...

In this paper we study the local activity, local passivity and edge of chaos of continuous-time reaction–diffusion cellular nonlinear networks (CNN) with one-port first-order, one-port secondorder, two-port second-order, two-port third-order and three-port third-order cells. We prove that the local passive regions determined by cell impedance ZQ(s) and cell admittance YQ(s) for firstand second-...