We experimentally investigate the steady states of two granular assemblies differing in their material properties and allowed to exchange volume with each other under external agitation in the vicinity of their jamming transition. We extract the statistics of various static and dynamic quantities, and uncover a materials-independent relationship between the average packing fraction and its fluc...

In this paper we present some metapredicative subsystems of analysis. We deal with reflection principles, ω-model existence axioms (limit axioms) and axioms asserting the existence of hierarchies. We show several equivalences of the introduced subsystems. In particular we prove the equivalence of Σ1 transfinite dependent choice and Π 1 2 reflection on ω-models of Σ1-DC.

The implementation of programming systems that cannot leak confidential information Is examined. Unless severe restrictions are placed on their form, programs of such systems cannot even be permitted to output apparently nonconfldential information unless they have been proved error-free.

An inclusion of observable nets satisfying duality induces an inclusion of canonical field nets. Any Bose net intermediate between the observable net and the field net and satisfying duality is the fixed– point net of the field net under a compact group. This compact group is its canonical gauge group if the occurrence of sectors with infinite statistics can be ruled out for the observable net ...

In this paper we give a description of the subsystem construct in the Uniied Modeling Language, emphasizing its dynamic aspects , thus giving a detailed description of the semantics of interaction with subsystems. Depending on whether the surroundings of the subsystem make use of public elements in the subsystem or not, the subsystem is considered to be open or closed, respectively. This leads ...