We have previously introduced role logic as a notation fordescribing properties of relational structures in shapeanalysis, databases and knowledge bases. A natural fragmentof role logic corresponds to two-variable logic ...

A theoretical model is constructed to predict the far-field sound generated by high-frequency gust–aerofoil interaction in steady parallel shear flow, including the effects of aerofoil thickness. Our approach is to use ...

The problems under consideration center around the interpretation of binocular stereo disparity. In particular, the goal is to establish a set of mappings from stereo disparity to corresponding three-dimensional scene ...

Let E be a real normed space with dual space E ∗ and let A : E → 2 E be any map. Let J : E → 2 E be the normalized duality map on E. A new class of mappings, J-pseudocontractive maps, is introduced and the notion of J-fixed ...

We show that certain Galois covers of K-semistable Fano varieties are K-stable. We use this to give some new examples of Fano manifolds admitting Kähler-Einstein metrics, including hypersurfaces, double solids and threefolds.

The intensity at a point in an image is the product of the reflectance at the corresponding object point and the intensity of illumination at that point. We are able to perceive lightness, a quantity closely correlated ...

We present a technique that enables the focused applicationof multiple analyses to different modules in the same program. Our researchhas two goals: 1) to address the scalability limitations of preciseanalyses by focusing ...

Robots must successfully plan and execute tasks in the presence of uncertainty. Uncertainty arises from errors in modeling, sensing, and control. Planning in the presence of uncertainty constitutes one facet of the ...

Professor Duzheng YE’s name has been familiar to me ever since my postdoctoral years at MIT with Professors Jule CHARNEY and Norman PHILLIPS, back in the late 1960s. I had the enormous pleasure of meeting Professor YE ...

This paper explores the motion planning problem for multiple moving objects. The approach taken consists of assigning priorities to the objects, then planning motions one object at a time. For each moving object, the ...

We describe non-relativistic limits of the 3D Proca and $\sqrt{\rm Proca}$ theories that yield spin-1 Schroedinger equations. Analogous results are found by generalized null reduction of the 4D Maxwell or complex self-dual ...

The performance of a pattern recognition system is characterized by its error and reject tradeoff. This paper describes an optimum rejection rule and presents a general relation between the error and reject probabilities ...

We present a technique that enables the focused applicationof multiple analyses to di erent modules in thesame program. In our approach, each module encapsulatesone or more data structures and uses membershipin abstract ...

Robots must act purposefully and successfully in an uncertain world. Sensory information is inaccurate or noisy, actions may have a range of effects, and the robot's environment is only partially and imprecisely ...

We present a sampling-based algorithm that generates a set of locally-optimal paths that differ in visibility.

We present a technique that enables the use of finite modelfinding to check the satisfiability of certain formulaswhose intended models are infinite. Such formulas arisewhen using the language of sets and relations to ...

We present role logic, a notation for describing propertiesof relational structures in shape analysis, databases, andknowledge bases. We construct role logic using the ideas ofde Bruijn's notation for lambda calculus, an ...

We consider a short time existence problem motivated by a conjecture of Joyce in [8]. Specifically we prove that given any compact Lagrangian L ⊂ C^n with a finite number of singularities, each asymptotic to a pair of ...