Let π : X → B be a holomorphic submersion between compact Kähler manifolds of any dimensions, whose fibres and base have no non-zero holomorphic vector fields and whose fibres admit constant scalar curvature Kähler metrics. This article gives a sufficient topological condition for the existence of a constant scalar curvature Kähler metric on X. The condition involves the CM-line bundle—a certai...

Cavedon, L., Acyclic logic programs and the completeness of SLDNF-resolution, Theoretical Computer Science 86 (1991) 81-92. This paper investigates the class of acyclic programs, programs with the usual hierarchical condition imposed on ground instances of atoms rather than predicate symbols. The acyclic condition seems to naturally capture much of the recursion that occurs in practice and many...

on 14th January, 1938. He was overhauled and classified III-L. (Health of convicts is classified as I-H, first class, fit for hard labour, II-M, second class, fit for medium labour, and III-L> third class, fit for only light labour.) His condition was as follows:? Previous history.?He had had four attacks of fever attended with shivering and pain all over the bodyThese attacks lasted two or thr...

A bstract . We consider cooperative, uniformly elliptic systems, with bounded coefficients and coupling in the zeroth-order terms. We establish two analogues of Harnack’s inequality for this class of systems: A weak version is obtained under fairly general conditions, while imposing an irreducibility condition on the coupling coefficients we obtain a stronger version of the inequality. This irr...

Using search directions of a recent class of three--term conjugate gradient methods, modified versions of the Hestenes-Stiefel and Polak-Ribiere-Polyak methods are proposed which satisfy the sufficient descent condition. The methods are shown to be globally convergent when the line search fulfills the (strong) Wolfe conditions. Numerical experiments are done on a set of CUTEr unconstrained opti...

We explore the different geometric structures that can be constructed from the class of pairs of 2nd order PDE’s that satisfy the condition of a vanishing generalized Wünschmann invariant. This condition arises naturally from the requirement of a vanishing torsion tensor. In particular, we find that from this class of PDE’s we can obtain all four-dimensional conformal Lorentzian metrics as well...

where h and g are analytic in the unit disk D = {z : |z| < 1}. A sufficient coefficient condition for this function in the class HM(β, λ, k, ν) and a necessary and sufficient coefficient condition for the function f in the class HM(β, λ, k, ν) are determined. We investigate inclusion relations, distortion theorem, extreme points, convex combination and other interesting properties for these fam...

We point out that the commonly known properties of continuous measures such as the symmetry of the A 1 condition, its equivalence to the reverse HH older inequality, the left-openness of the A p condition etc., are no longer necessarily true when the underlying measure is allowed to have atoms. We call the measures that preserve these properties good measures. We investigate the class of good m...

We study the necessary and sufficient conditions on Abelianizable first class constraints. The necessary condition is derived from topological considerations on the structure of gauge group. The sufficient condition is obtained by applying the theorem of implicit function in calculus. Since the sufficient conditions are related to the geometrical structure of the constraint surface and the exis...

A necessary and sufficient stability condition for planar and multimodal piecewise linear systems is derived. The condition is given in terms of poles and zeros of subsystems, and it is computationally tractable. In addition, three numerical examples are illustrated in order to clarify differences between a class of linear time-invariant systems and a class of piecewise linear systems from the ...