We investigate style accommodation in online discussions, in particular its interplay with content agreement and disagreement. Using a new model for measuring style accommodation, we find that speakers coordinate on style more noticeably if they disagree than if they agree, especially if they want to establish rapport and possibly persuade their interlocutors.

This article investigates Krivine’s realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by presenting a two-step interpretation which first eliminates classical logic via a negative translation and then applies standard realizability interpretation. We then argue that a slight variant of Krivine’s interpretation cor...

An (n)completely separating system C ((n)CSS) is a collection of blocks of [n] = {1, . . . , n} such that for all distinct a, b ∈ [n] there are blocks A,B ∈ C with a ∈ A \B and b ∈ B \A. An (n)CSS is minimal if it contains the minimum possible number of blocks for a CSS on [n]. The number of non-isomorphic minimal (n)CSSs is determined for 11 ≤ n ≤ 35. This also provides an enumeration of a nat...

In this poster, we generalize the problem of secure location verification to that of path verification and propose a scheme to securely verify the claims of a mobile node that moves along a path. Although the secure verification of location claims has been studied extensively in the literature, current solutions require very strict time synchronization of the verifiers, or extra communication a...

The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately be supported. We describe a set of canonical relations and attributes necessary for the description of biological structures. Based on these epistemological primitives, we sketch how a broad range of organisms can be r...

A wideband on-body antenna for a wireless body area network for an Industrial, Scientific, and Medical band is proposed. A wideband characteristic is achieved by combining two zeroth-order resonance (ZOR) modes at adjacent frequencies by controlling the value of the shunt capacitance. The size of the proposed antenna is 0.072λ0 × 0.33λ0, and the measured 10-dB return loss bandwidth is 340 MHz (...

In this paper we study a cost allocation problem that is inherent to most energy networks: the allocation of losses. In particular, we study how to allocate gas losses between haulers in gas transmission networks. We discuss four allocation rules, two of them have already been in place in real networks and two others that are defined for the first time in this paper. We then present a comparati...