Data are presented for burnout in forced coivection nucleate boiling of water at pressures above 500 psia. A dimensionless correlation is devised for. the M.I.T. data which is found to be valid for certain recent data reported by Argonne National Laboratory.

The concept of forced orientation of graphs was introduced by G. Chartrand et al. in 1994. If, for a given assignment of directions to a subset S of the edges of a graph G, there exists an orientation of E(G) \ S, so that the resulting graph is strongly connected, then that given assignment is said to be extendible to a strong orientation of G. The forced strong orientation number fD(G), with r...

he bonds between leukocytes and endothelial cells last longer when under some strain, as shown by Yago et al. (page 913). The results explain why these white blood cells attach to and roll along the vasculature only when blood flow is strong enough. Most explanations of this flow-enhanced adhesion suggest that flow increases the number of bonds that form between L-selectin on leukocytes and PSG...

In this Rapid Communication we report on the autoionization dynamics of the 5d7d doubly excited state in barium in a static electric field. The different experiments and theory show Stark beatings in the autoionization process. Also it appears that the total spin of the two valence electrons plays a major role in the ionization dynamics. Absorption spectroscopy revealed the ionization dynamics ...

Twenty cases of chronic cough originating in the lung and associated with loss of performance were clinically examined. The physical signs observed were compared with those observed in a control series of 38 clinically normal horses. Reduced work tolerance, coughing for more than 3 months and abnormal pulmonary sounds (râles) were primary signs of chronic obstructive pulmonary disease (COPD). F...

This paper addresses the rigorous validation of an integrity policy by means of the application of formal methods and related support tools. We show how the policy, which provides a flexible fault tolerant schema, can be specified using a process algebra and verified using model checking techniques. Actually, we show how this approach allows both the generic validation of a middleware based on ...