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...

OBJECTIVES The aim of the research was to explore the susceptibility to disturbances in one's sense of body ownership induced in patients with schizophrenia. The research questions were: 1) Is Rubber Hand Illusion (RHI) significantly more intense in a group of patients with schizophrenia than in a group of patients without a diagnosed mental illness? 2) Is there a correlation between disturbanc...

The current study adopted the trauma film paradigm to examine potential moderators affecting heart rate (HR) as an indicator of peritraumatic psychological states and as a predictor of intrusive memories. We replicated previous findings that perifilm HR decreases predicted the development of intrusive images and further showed this effect to be specific to images rather than thoughts, and to de...