In mainstream object oriented languages the subclass relation is defined in terms of subtyping, i.e. a class A is a subclass of B if the type of A is a subtype of B. In this paper this notion is extended to consider arbitrary class properties obtained by a modular static analysis of the class. In such a setting, the subclass relation boils down to the order relation on the abstract domain used ...

The IgG subclass distribution of rat antibodies to 13 different antigens was measured. Antibodies to protein and hapten-protein conjugates were predominantly IgG2a. Antigens labeled thymus-independent type 1, based upon responses in mice, stimulated both IgG2b and IgG2c antibodies, but little IgG2a. Polysaccharide and hapten-polysaccharide antigens (thymus-independent type 2) as well as phospho...

In this paper, we study a particular subclass of partially observable models, called quasi-deterministic partially observable Markov decision processes (QDET-POMDPs), characterized by deterministic transitions and stochastic observations. While this framework does not model the same general problems as POMDPs, it still captures a number of interesting and challenging problems and have, in some ...