An online community is a group whose members are connected by means of information technologies, typically the Internet rather than face to face. Online communities allow social and cultural barriers to be spanned for communication. Social communities rely on interpersonal trust to regulate cohesion in their communities. After a general discussion, we offer protocols that extend viability of fr...

We are exploring the use of small displays as an instrument to enhance social communication. Our focus is on encouraging communication between strangers by revealing the existence of common friends. In the following we present the concept of the SocialButton, a wearable mobile device which displays aspects of friend-of-a-friend networks. A group study has provided us with an initial understandi...

Let G be a bounded simply-connected domain in the complex plane C, whose boundary Γ := ∂G is a Jordan curve, and let {pn}n=0 denote the sequence of Bergman polynomials of G. This is defined as the unique sequence of polynomials {pn(z)}n=0, with positive leading coefficient, that are orthonormal with respect to the area measure on G. The asymptotic behaviour of pn(z) in the exterior of Γ, in cas...

We have used integral two-point spatial correlation function and its second derivative to analyze the distribution of quasars in three very deep surveys published in the literature. Statistically significant (∼ 2 − 3σ) correlations were found at scales of ∼ 50 − 100h Mpc in all of the analyzed surveys. We have used the friend-of-friend cluster analysis to show that these correlations can be exp...

With the increasing popularity of social network systems, it’s valuable and important to provide well-designed and effective friend recommendation for users to achieve high loyalty of them. Although FOF is an effective and widely used friend recommendation algorithm, the straight-forward implementation of it needs increasingly large amount of computation power with the growth of the number of u...

A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state, to allow for state dependence across ownership boundaries. Friendship describes a formal protocol for a granting class to grant a friend class permission to express its invariant over fields in the granting class. The...

Contributors: D. G. Bolitho, Lexie Friend, L. M. Milligan and Janice Parker.

We offer a defense of one aspect of Paul Horwich’s response to the Liar paradox—more specifically, of his move to preserve classical logic. Horwich’s response requires that the full intersubstitutivity of ‘ ‘A’ is true’ and A be abandoned. It is thus open to the objection, due to Hartry Field, that it undermines the generalization function of truth. We defend Horwich’s move by isolating the gra...