We introduce a new type of dcpo-completion of posets, called D-completion. For any poset P , the D-completion exists, and P and its Dcompletion have the isomorphic Scott closed set lattices. This completion is idempotent. A poset P is continuous (algebraic) if and only if its D-completion is continuous(algebraic). Using the D-completion, we construct the local dcpocompletion of posets, that rev...

We consider the task of collaborative preference completion: given a pool of items, a pool of users and a partially observed item-user rating matrix, the goal is to recover the personalized ranking of each user over all of the items. Our approach is nonparametric: we assume that each item i and each user u have unobserved features xi and yu, and that the associated rating is given by gupfpxi, y...

We first present new structural properties of a two-pair in various graphs. A twopair is used in a well-known characterization of weakly chordal graphs. Based on these properties, we prove the main theorem: a graph G is a weakly chordal (K2,3, 4P2, P2 ∪ P4, P6,H1,H2,H3)-free graph if and only if G is an edge intersection graph of subtrees on a tree with maximum degree 4. This characterizes the ...

The gas-phase structures of the disilanes 1,1,2,2-tetrakis(trimethylsilyl)disilane [(Me3Si)2HSiSiH(SiMe3)2] (1) and 1,1,2,2-tetrakis(trimethylsilyl)dimethyldisilane [(Me3Si)2MeSiSiMe(SiMe3)2] (2) have been determined by density functional theoretical calculations and by gas electron diffraction (GED) employing the SARACEN method. For each of 1 and 2 DFT calculations revealed four C2-symmetric c...

College education has been shown to improve the labor market success of young people. Using data from the 1997 National Longitudinal Survey of Youth, I estimate a wage model and an unemployment model where respondents are grouped according to their degree attainment and college attendance. I find that associate degrees recipients get paid by 21-23 percent more than high school graduates while a...

In this paper we propose an abstract model of rewriting based on a functional view of terms abstractly considered as contexts that can be applied to other contexts yelding new ones Some basic operations on contexts are de ned and their properties pointed out that allow us to reformulate the de nition of the main concepts involved in rewriting and to prove Knuth Bendix theorem The notion of occu...

Ink completion is a technique for suggesting characters or words to users as they write with digital ink. With a simple gesture, users can accept a recommendation and continue writing. The technique improves the handwriting experience and is very suitable to support notetaking on tablet computers and PDAs.

Recently Havas and Vaughan-Lee proved that 4-Engel groups are locally nilpotent. Their proof relies on the fact that a certain 4-Engel group T is nilpotent and this they prove using a computer and the Knuth-Bendix algorithm. In this paper we give a short hand-proof of the nilpotency of T .