This article builds upon communication infrastructure theory and investigates how practices on online neighborhood networks (ONNs) relate to the social cohesion of communities. Specifically, we study hyperlocal media platform Hoplr, which provides ad-free ONNs in neighbors can communicate with one another. Local governments subscribe Hoplr their residents engage them for community public partic...

A behavioral testability analysis technique is proposed for early prediction of testability by analyzing behavioral specifications written in VHDL. The technique extracts functional properties by an analysis of variable range, statement hardness and dependency relation between variables of the specification. It predicts the testability for the whole design with a low computational cost. Another...

We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of adding support for behavioral equivalence and reasoning to an existing, particular algebraic framework. We call our transformation an “extension” because Ibeh has the same sentences as I and because its entailment relati...

in a recent paper, de baets et al. have characterized the fuzzytolerance and fuzzy equivalence relations that a given strict order relation iscompatible with. in this paper, we generalize this characterization by consideringan arbitrary (crisp) relation instead of a strict order relation, while payingattention to the particular cases of a reflexive or irreflexive relation. the reasoninglargely ...

The study of C. elegans has led to ground-breaking discoveries in gene-function, neuronal circuits, and physiological responses. Subtle behavioral phenotypes, however, are often difficult to measure reproducibly. We have developed an experimental and computational infrastructure to simultaneously record and analyze the physical characteristics, movement, and social behaviors of dozens of intera...

We prove rigorously the four cellular automata local rules 110, 124, 137 and 193 have identical dynamic behaviors capable of universal computations. We exploit Felix Klein’s remarkable Vierergruppe to partition the 256 local rules studied empirically by Wolfram into 89 global equivalence classes of which only 50 may exhibit complex dynamics. We define a 24-element rotation group which induces 3...

Self-compassion involves being kind to oneself when challenged with personal weaknesses or hardship and has been claimed to be associated with resilience in various areas. So far, there are only a handful of studies that investigate self-compassion and its relation to clinical depression. Therefore, the principal goals of the present study were (a) to compare self-compassion in clinically depre...

The Landau problem in the noncommutative plane is discussed in the context of realizations of the two-fold centrally extended planar Galilei group and the anyon theory. In 2+1 dimensions, Galilei group admits a two-fold central extension [1, 2] characterized by the algebra with the nonzero Poisson bracket relations {Ki,Pj} = mδij, {Ki,Kj} = −κǫij , (1) {Ki,H} = Pi, {J ,Pi} = ǫijPj , {J ,Ki} = ǫ...