This paper studies the semantics of sets under eventual consistency. The set is a pervasive data type, used either directly or as a component of more complex data types, such as maps or graphs. Eventual consistency of replicated data supports concurrent updates, reduces latency and improves fault tolerance, but forgoes strong consistency (e.g., linearisability). Accordingly, several cloud compu...

Face inversion effects are used as evidence that faces are processed differently from objects. Nevertheless, there is debate about whether processing differences between upright and inverted faces are qualitative or quantitative. We present two experiments comparing holistic processing of upright and inverted faces within the composite task, which requires participants to match one half of a te...

Although divorce typically follows an extended period of unhappiness that begins early in marriage, some couples who are very happy throughout the first several years of marriage will also go on to divorce. This study aimed to identify risk factors early in marriage that distinguish initially satisfied couples who eventually divorce from those who remain married. We identified 136 couples repor...

With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy storage tier is required. Distributed, non-SQL databases use multiple techniques to distribute information, guarantee data consistency and grow, but unfortunately most developments were designed with a single class of ap...

Let η = (η1, η2, . . . , ηt) and ν = (ν1, ν2, . . . , νt) be two sequences of nonnegative integers. (Append zeros if necessary to the end of the shorter sequence so that they are the same length.) We say that ν is majorized by η if ∑j l=1 νl ≤ ∑j l=1 ηl for all 1 ≤ j ≤ t and tl=1 νl = ∑t l=1 ηl. We write ν 1 η. Let Γ = (V,E) be a graph where V is a finite vertex set and E ⊆ V ×V is an edge set....