In this paper we identify graph-theoretic conditions which allow us to write a nonlinear RLC circuit as port-Hamiltonian with constant input matrices. We show that under additional monotonicity conditions on the network’s components, the circuit enjoys the property of relative passivity, an extended notion of classical passivity. The property of relative passivity is then used to build simple, ...

Rice's Theorem says that every nontrivial semantic property of programs is undecidable. It this spirit we show the following: Every nontrivial absolute (gap, relative) counting property of circuits is UP-hard with respect to polynomial-time Turing reductions.

In continuation of [JOH04, OH07], we prove that existentially closed CSA-groups have the independence property. This is done by showing that there exist words having the independence property relative to the class of torsion-free hyperbolic groups.

Pocrims and suitable specialisations thereof are structures that provide the natural algebraic semantics for a minimal affine logic and its extensions. Hoops comprise a special class of pocrims that provide algebraic semantics for what we view as an intuitionistic analogue of the classical multi-valued Lukasiewicz logic. We present some contributions to the theory of these algebraic structures....

We prove that a finitely generated group G hyperbolic relative to the collection of finitely generated subgroups {H1, . . . , Hm} has the Rapid Decay property if and only if each Hi , i = 1, 2, . . . ,m, has the Rapid Decay property.

In this note we identify graph-theoretic conditions which allow to write an RLC circuit as port-Hamiltonian with constant input matrices. We show that under additional monotonicity conditions of the network’s components, the circuit enjoys the property of relative passivity, an extended notion of classical passivity. The property of relative passivity is then used to build simple, yet robust an...

A match-to-sample task was performed, in which observers compared configurations of line segments presented stereoscopically in different three-dimensional orientations. Several different structural properties of these configurations were manipulated, including the relative orientations of line segments (a Euclidean property), their coplanarity (an affine property), and their patterns of cointe...

Kullback-Leibler relative-entropy, in cases involving distributions resulting from relative-entropy minimization, has a celebrated property reminiscent of squared Euclidean distance: it satisfies an analogue of the Pythagoras’ theorem. And hence, this property is referred to as Pythagoras’ theorem of relative-entropy minimization or triangle equality and plays a fundamental role in geometrical ...

objectives: herbal medicine is known as a valid alternative treatment. salvia reuterana, which has been used in the iranian traditional medicine, is mostly distributed in the central highlands of iran. salvia reuterana is a medicinal herb with various therapeutic usages. the aim of the present review is to take account of pharmacological properties of salvia reuterana. materials and methods: th...

A match-to-sample shape-discrimination task was employed to measure the detectability of different types of transformations. To create the foils for this task, the standard object could be altered by adding a small hole (a topological property), adding small bumps to straight edges (a projective property), changing the relative orientations of parallel contours (an affine property), or stretchi...