Dependency Tree Semantics (DTS) is an underspecified formalism for representing quantifier scope ambiguities in natural language. DTS features a direct interface with a Dependency grammar and an incremental, constraint-based disambiguation mechanism. In this paper, we discuss the meaning of quantifier dependency in DTS by translating its well formed structures into formulae of a Second Order Lo...

The purpose of this work is the development of a fully monolithic solution algorithm for quasi-static phase-field fracture propagation. Phase-field fracture consists of two coupled partial differential equations and it is well known that the underlying energy functional is non-convex and sophisticated algorithms are required. For the incremental, spatially-discretized problem, an adaptive error...

J Lipid Res. 2006 Nov;47(11):2475-81. Protective effect of apolipoprotein E2 on coronary artery disease in African Americans is mediated through lipoprotein cholesterol. Anuurad E, Rubin J, Lu G, Pearson TA, Holleran S, Ramakrishnan R, Berglund L. Department of Medicine, University of California, Davis, CA, USA. OBJECTIVE AND METHODS: We studied the relationship of apolipoprotein E (apoE) isofo...

We show that the quadratic growth condition and the Mangasarian-Fromovitz constraint qualiication imply that local minima of nonlinear programs are isolated stationary points. As a result, when started suuciently close to such points, an L1 exact penalty sequential quadratic programming algorithm will induce at least R-linear convergence of the iterates to such a local minimum. We construct an ...

Satisfiability problem for modal logic K with quantifier-free Presburger and regularity constraints (EML) is known to be pspace-complete. In this paper, we consider its extension with nonregular constraints, and more specifically those expressed by visibly pushdown languages (VPL). This class of languages behaves nicely, in particular when combined with Propositional Dynamic Logic (PDL). By ext...

This paper presents a general model for temporal reasoning, capable of handling both qualita tive and quantitative information. This model allows the representation and processing of all types of constraints considered in the literature so far, including metric constraints (restricting the distance between time points), and qualitative, disjunctive, constraints (specifying the relative position...

This paper deals with the sliding-contact constraint equations describing the relative motion of two freeform surfaces, assuming that the surfaces can have arbitrary curvature in 3D space. The sliding-contact equations are developed either for the non-penetration condition and for the surface-tangency condition. Both are differentiated twice in time in order to allow a straightforward applicati...

In this paper, we address the semi-supervised learning problem when there is a small amount of labeled data augmented with pairwise constraints indicating whether a pair of examples belongs to a same class or different classes. We introduce a discriminative learning approach that incorporates pairwise constraints into the conventional margin-based learning framework. We also present an efficien...

Precise subcellular localization is an important factor in regulation of the functions of protein tyrosine phosphatases. The non-receptor form of protein tyrosine phosphatase epsilon (cyt-PTP(epsilon)) can be found in cell nuclei, among other cellular locations, while p67 PTP(epsilon), a naturally occurring isoform which lacks the 27 N terminal residues of cyt-PTP(epsilon), is exclusively cytos...

A better understanding of the pathophysiological role of Langerhans cells (LC) in atopic diseases is dictated by the characterization of the structures involved in immunoglobulin (IgE)-binding on their cell surface. We previously reported that human LC express the high affinity receptor for IgE (Fc epsilon RI), as well as the low affinity receptor for IgE (Fc epsilon RII/CD23). In the present s...