4 Generic Haskell is an extension of Haskell that supports the construction of generic programs. This article describes the basics of Generic Haskell and highlights the underlying theory.

Dutch, unlike English, contains two gender-marked forms of the definite article. Does the presence of multiple definite article forms lead Dutch learners to be delayed relative to English learners in the acquisition of their determiner system? Using the Preferential Looking Procedure, we found that Dutch-learning children aged 1 ; 7 to 2 ; 0 use articles during sentence comprehension in a fashi...

Abstract Montague’s classic article “The Proper Treatment of Quantification in Ordinary English” (PTQ, 1973) treated all NP occurrences as quantificational. Partee’s “Noun Phrase Interpretation and Type-Shifting Principles” (1987) reconciles PTQ’s uniform quantificational strategy with the older distinction between three types: entities, predicates quantifiers. On top this distinction, Partee i...

is called the continuous-time Lyapunov equation and is of interest in a number of areas of control theory such as optimal control and stability (Barnett, 1975; Barnett & Storey, 1968). The equation has a unique Hermitian solution, X, if and only if Xt + X~j ^ 0 for all i and j (Barnett, 1975). In particular if every Xt has a negative real part, so that A is stable, and if C is non-negative defi...

The widespread habit of “plugging” arbitrary symmetric functions as kernels in support vector machines (SVMs) often yields good empirical classification results. However, in case of non conditionally positive definite (non-cpd) functions they are hard to interpret due to missing geometrical and theoretical understanding. In this paper we provide a step towards comprehension of SVM classifiers i...

The error estimates for nite volume element method applied to and D non de nite problems are derived A simple upwind scheme is proven to be unconditionally stable and rst order accurate Mathematics Subject Classi cation N Introduction The purpose of this note is three fold We would like to extend the results due to Bank and Rose Hackbusch Cai and McCormick and Jianguo and Shitong to D problems ...

Simulations have shown that while semi-definite relaxations of AC optimal power flow (AC-OPF) on three-phase radial networks with only wye connections tend to be exact, the presence delta seem render them inexact. This article shows such inexactness originates from non-uniqueness relaxation solutions and numerical errors amplified by non-uniqueness. finding motivates two algorithms recover exac...

We construct, analyze and implement SSOR-like preconditioners for non-Hermitian positive definite system of linear equations when its coefficient matrix possesses either a dominant Hermitian part or a dominant skew-Hermitian part. We derive tight bounds for eigenvalues of the preconditioned matrices and obtain convergence rates of the corresponding SSOR-like iteration methods as well as the cor...