We present lock-free and wait-free universal constructions for implementing large shared objects. Most previous universal constructions require processes to copy the entire object state, which is impractical for large objects. Previous attempts to address this problem require programmers to explicitly fragment large objects into smaller, more manageable pieces, paying particular attention to ho...

Two constructions due to Drápal produce a group by modifying exactly one quarter of the Cayley table of another group. We present these constructions in a compact way, and generalize them to Moufang loops, using loop extensions. Both constructions preserve associators, the associator subloop, and the nucleus. We conjecture that two Moufang 2-loops of finite order n with equivalent associator ca...

Four constructions of constant mean curvature (CMC) hypersurfaces in Sn+1 are given, which should be considered analogues of ‘classical’ constructions that are possible for CMC hypersurfaces in Euclidean space. First, Delaunay-like hypersurfaces, consisting roughly of a chain of hyperspheres winding multiple times around an equator, are shown to exist for all the values of the mean curvature. S...

This paper sets out the puzzle of the polyfunctionality of copula sentences in Japanese, and proposes a principled solution from the viewpoint of Semantic Incrementality. Some copula sentences have specificational and identity functions, and they display different behaviours in terms of connotation and anaphora. It is proposed that the single item no as a pronominal nominaliser captures the two...

This paper analyses the parabolic geometries generated by a free 3-distribution in the tangent space of a manifold. It shows the existence of normal Fefferman constructions over CR and Lagrangian contact structures corresponding to holonomy reductions to SO(4, 2) and SO(3, 3), respectively. There is also a fascinating construction of a ‘dual’ distribution when the holonomy reduces to G′2. The p...

RATIONALE INSTRUCTIONS FOR USE This Medical Policy provides assistance in interpreting UnitedHealthcare benefit plans. When deciding coverage, the enrollee specific document must be referenced. The terms of an enrollee's document (e.g., Certificate of Coverage (COC) or Summary Plan Description (SPD)) may differ greatly. In the event of a conflict, the enrollee's specific benefit document supers...

Werner’s set-theoretical model is one of the most intuitive models of ECC. It combines a functional view of predicative universes with a collapsed view of the impredicative sort Prop. However this model of Prop is so coarse that the principle of excluded middle P ∨¬P holds. In this paper, we interpret Prop into a topological space (a special case of Heyting algebra) to make it more intuitionist...

COVERAGE RATIONALE INSTRUCTIONS FOR USE This Medical Policy provides assistance in interpreting UnitedHealthcare benefit plans. When deciding coverage, the enrollee specific document must be referenced. The terms of an enrollee's document (e.g., Certificate of Coverage (COC) or Summary Plan Description (SPD)) may differ greatly. In the event of a conflict, the enrollee's specific benefit docume...

We present a parser for German that achieves a competitive accuracy on unrestricted input while maintaining a coverage of 100%. By writing well-formedness rules as declarative, defeasible constraints that integrate different sources of linguistic knowledge, very high robustness is achieved against all sorts of extragrammatical constructions.