We show that certain properties of positive solutions of disconjugate second order differential expressions M [y] = −(py) + qy imply the separation of the minimal and maximal operators determined by M in L 2 (I a) where I a = [a, ∞), a > −∞, i.e., the property that M [y] ∈ L 2 (I a) ⇒ qy ∈ L 2 (I a). This result will allow the development of several new sufficient conditions for separation and ...

Optimal decentralized control of a discrete-time stochastic system is considered under a periodic sharing information pattern. In this scenario, controllers share information with one-step delay every K time steps. The periodic sharing pattern is a generalization of the previously studied one-step delay sharing pattern, which is known to possess a nonclassical separation property. It is proven ...

The paper presents a theorem for representation a given cone as a Bishop–Phelps cone in normed spaces and studies interior and separation properties for Bishop–Phelps cones. The representation theorem is formulated in the form of a necessary and sufficient condition and provides relationship between the parameters determining the BishopPhelps cone. The necessity is given in reflexive Banach spa...

At EUROCRYPT 2012 Pandey and Rouselakis introduced the notion of property preserving symmetric encryption which enables checking for a property on plaintexts by running a public test on the corresponding ciphertexts. Their primary contributions are: (i) a separation between ‘find-then-guess’ and ‘left-or-right’ security notions; (ii) a concrete construction for left-or-right secure orthogonalit...

Let (X, d, T ) be a dynamical system, where (X, d) is a compact metric space and T : X → X a continuous map. We introduce two conditions for the set of orbits, called respectively g-almost product property and uniform separation property. The g-almost product property holds for dynamical systems with the specification property, but also for many others. For example all β-shifts have the g-almos...

Directed separation (d-separation) played a fundamental role in the founding of Bayesian networks (BNs) and continues to be useful today in a wide range of applications. Given an independence to be tested, current implementations of d-separation explore the active part of a BN. On the other hand, an overlooked property of d-separation implies that d-separation need only consider the relevant pa...

A methodology for computer aided design and analysis of separation processes involving electrolyte systems is presented. The methodology consists of three main parts. The thermodynamic part “creates” the problem specific property model package, which is a collection of pure component and mixture property models. The design and analysis part generates process (flowsheet) alternatives, evaluates/...

Role based access control (RBAC) is attracting increasing attention as a security mechanism for both commercial and many military systems. Much of RBAC is fundamentally diierent from multi-level security (MLS) systems, and the properties of RBAC systems have not been explored formally to the extent that MLS system properties have. This paper explores some aspects of mutual exclusion of roles as...