According to Mack a space is countably paracompact if and only if its product with [0, 1] is δ-normal, i.e. any two disjoint closed sets, one of which is a regular Gδ-set, can be separated. In studying monotone versions of countable paracompactness, one is naturally led to consider various monotone versions of δ-normality. Such properties are the subject of this paper. We look at how these prop...

We report the first measurements of negative ion motion in the superfluid phases of 3He and in the normal phase below 17 inK. Refrigeration was achieved with nuclear demagnetization of copper and we used a pulsed NMR platinum powder thermometer immersed in the liquid. In the A phase the longitudinal resonance frequency provided an additional high-resolution thermometer. In the normal phase we o...

Generalized entropies are studied as Lyapunov functions for the Master equation (Markov chains). Three basic properties of these Lyapunov functions are taken into consideration: universality (independence of the kinetic coefficients), trace-form (the form of sum over the states), and additivity (for composition of independent subsystems). All the entropies, which have all three properties simul...

We propose a size analysis algorithm that combines testing and type checking to automatically obtain static output-on-input size dependencies for first-order functions. Attention is restricted to functions for which the size of the result is strictly polynomial, not necessarily monotonic, in the sizes of the arguments. To infer a size dependency, the algorithm generates hypotheses for increasin...

the present study was conducted in the rangeland of glandrood watershed in the province of mazandaran. the objective of this study was to compare between the ecological amplitude of festuca ovina l., and poa bulbosa l., using the function hof along the gradient of the environmental variables. for this purpose 150 plots of 1m2 were established along the altitude gradient. the sampling method was...

This report describes a new in vitro, metabolically supported, Sinclair Research Farm minipig aortic preparation in which the intimal-medial uptakes (M, mg.cm-2 of intimal surface) of porcine 125I-albumin and normocholesterolemic (nonoxidized) porcine 125I-low density lipoprotein (LDL) from a stirred, autogenous serum (containing a 125I-protein concentration of c0, mg.cm-3 at 37 degrees C and p...

We exploit qualitative probabilistic relationships among variables for computing bounds of con­ ditional probability distributions of interest in Bayesian networks. Using the signs of qualita­ tive relationships, we can implement abstraction operations that are guaranteed to bound the dis­ tributions of interest in the desired direction. By evaluating incrementally improved approximate networks...