The weakly random reals contain not only the Schnorr random reals as a subclass but also the weakly 1-generic reals and therefore the n-generic reals for every n. While the class of Schnorr random reals does not overlap with any of these classes of generic reals, their degrees may. In this paper, we describe the extent to which this is possible for the Turing, weak truth-table, and truth-table ...

In [Barr & Kleisli 2001] we described ?-autonomous structures on two full subcategories of topological abelian groups. In this paper we do the same for sup semilattices except that uniform structures play the role that topology did in the earlier paper.

In this paper we give a lower bound for the strongly unique minimal projection (with norm one) constant (SUP-constant) onto some (n − k)-dimensional subspaces of l ∞ (n ≥ 3, 1 ≤ k ≤ n−1). By Proposition 1 of this paper, each k-dimensional Banach space with polytope unit ball with m (k − 1)-faces is isometrically isomorphic to a subspace of lk+m−1 ∞ . As such the aforementioned estimation can be...

The superconducting proximity effect was examined in both Nb/PdNi (SF) bilayer films and Nb/PdNi/Nb (SFS) Josephson junctions. In Nb/PdNi bilayer films, nonmonotonic behavior of Tc was observed as a function of PdNi thickness dF. The effective exchange energy Eex extracted from the data was about 13 meV. In Nb/PdNi/Nb (SFS) Josephson junctions, the existence of a crossover between the 0 state a...

We provide a simple set of sufficient conditions for the weak convergence of discrete Galton-Watson branching processes with immigration to continuous time and continuous state branching processes with immigration. Mathematics Subject Classification (2000): 60J80

Positivity, or the experimental treatment assignment assumption, requires that there be both exposed and unexposed participants at every combination of the values of the observed confounders in the population under study. Positivity is essential for inference but is often overlooked in practice by epidemiologists. This issue of the Journal includes 2 articles featuring discussions related to po...

Concerning the solution theory for set games, the paper focuses on a family of solutions, each of which allocates to any player some type of marginalistic contribution with respect to any coalition containing the player. Here the marginalistic contribution may be interpreted as an individual one, or a coalitionally one. For any value of the relevant family, an axiomatization is given by three p...

We describe an investigation into feature representations for rigid structure recognition framework for recognition of objects with a multitude of classes. The intended application is automatic recognition of vehicle type for secure access and traffic monitoring applications, a problem not hitherto considered at such a level of accuracy. We demonstrate that a relatively simple set of features e...

Status of this Memo This memo provides information for the Internet community. It does not specify an Internet-standard of any kind. Distribution of this memo is unlimited. Abstract The purpose of this document is to provide an overview of the third version of the Internet-Standard Management Framework, termed the SNMP version 3 Framework (SNMPv3). This Framework is derived from and builds upon...

In Diagonally Non-Computable Functions and Bi-Immunity [2], Carl Jockusch and Andrew Lewis-Pye proved that every DNC function computes a bi-immune set. They asked whether every DNC function computes an effectively bi-immune set. We construct a DNC function that computes no effectively bi-immune set, thereby answering their question in the negative.