The paper contains a detailed computation about the algebra of canonical commutation relation, the representation of the Weyl unitaries, the quasi-free states and their von Neumann entropy. The Markov triplet is defined by constant entropy increase. The Markov property of a quasi-free state is described by the representing block matrix. The proof is based on results on the statistical sufficien...

This paper studies decision making for Wal­ ley's partially consonant belief functions (pcb ) . In a pcb, the set of foci are par­ titioned. Within each partition, foci are nested. The pcb class includes probability and possibility functions as extreme cases. We adopt an axiomatic system, similar in spirit to von Neumann and Morgenstern's ax­ ioms for preferences leading to the linear util­ ity...

The purpose of this short article is to examine certain aspects of protein functionality with relation to some key organizing ideas. This is important from a computational viewpoint in order to take account of modelling both biological systems and knowledge of these systems. We look at some of the lexical dimensions of the function and how certain constructs can be related to underlying ideas. ...

The paper contains a detailed computation about the algebra of canonical commutation relation, the representation of the Weyl unitaries, the quasi-free states and their von Neumann entropy. The Markov triplet is de ned by constant entropy increase. The Markov property of a quasi-free state is described by the representing block matrix. The proof is based on results on the statistical su ciency ...

An analytical method for predicting elastic–plastic stress distribution in a cylindrical pressure vessel has been presented. The vessel material was a ceramic/metal functionally graded material, i.e. a particle–reinforcement composite. It was assumed that the material’s plastic deformation follows an isotropic strain-hardening rule based on the von-Mises yield criterion, and that the vessel was...

The sequential calculus of von Karger and Hoare [18] is designed for reasoning about sequential phenomena, dynamic or temporal logic, and concurrent or reactive systems. Unlike the classical calculus of relations, it has no operation for forming the converse of a relation. Sequential algebras [15] are algebras that satisfy certain equations in the sequential calculus. One standard example of a ...

We note that the well-known result of Von Neumann \cite{von} is not valid for all doubly substochastic operators on discrete Lebesgue spaces $\ell^p(I)$, $p\in[1,\infty)$. This fact lead us to distinguish two classes these operators. Precisely, class increasable $\ell^p(I)$ isolated with property an analogue in this true. The submajorization relation $\prec_s$ positive cone $\ell^p(I)^+$, when ...