We consider random Schrödinger equations on Rd for d ≥ 3 with a homogeneous Anderson-Poisson type random potential. Denote by λ the coupling constant and ψt the solution with initial data ψ0. The space and time variables scale as x ∼ λ−2−κ/2, t ∼ λ−2−κ with 0 < κ < κ0(d). We prove that, in the limit λ → 0, the expectation of the Wigner distribution of ψt converges weakly to the solution of a he...

We apply a complexity theoretic notion of feasible learnability called "polynomial learnability" to the evaluation of grammatical formalisms for linguistic description. We show that a novel, nontrivial constraint on the degree of "locality" of grammars allows not only context free languages but also a rich class of mildly context sensitive languages to be polynomially learnable. We discuss poss...

This paper addresses a key but neglected task in the theory of international taxation, lent increased urgency by growing awareness of the potential gains from tax coordination: the characterization of Pareto-efficient international tax regimes. It shows that the Diamond-Mirrlees theorem on the desirability of production efficiency, which underlies the key tenets of policy advice in internationa...

We conducted a prospective randomised controlled trial of 137 patients with massive peptic ulcer haemorrhage over a period of 12 months to compare the haemostatic effects of endoscopic heat probe thermocoagulation and pure alcohol injection. Seventy eight patients (56 9%) were in shock at the time ofrandomisation to the trial. The age, sex, number of patients in shock, haemoglobin value at the ...

First-order Horn clause logic can be extended to a higher-order setting in which function and predicate symbols can be variables and terms are replaced with simply typed λ-terms. For such a logic programming language to be complete in principle, it must incorporate higher-order unification. Although higher-order unification is more complex than usual first-order unification, its availability ma...

BACKGROUND: According to a recent consensus, the cachectic syndrome is defined as: "… a complex metabolic syndrome associated with underlying illness and characterized by loss of muscle with or without loss of fat mass. The prominent clinical feature of cachexia is weight loss in adults (corrected for fluid retention) or growth failure in children (excluding endocrine disorders). Anorexia, infl...

We propose a numerical method for modeling multimaterial flows where the domain is decomposed into separate Eulerian and Lagrangian subdomains. That is, the equations are written in Eulerian form in one subdomain and Lagrangian form in the other subdomain. This is of interest, for example, when considering the effect of underwater explosions on the hull of a ship or the impact of a low speed pr...