No. title/pages date update file name 1 A note on the elliptic integrals and elliptic functions ellipsoid-may04.tex 3 A note on " Potential flow of a second order fluid over a sphere or an ellipse " ellipse-wang-joseph-apr27.tex 4 A note on flows of a second order fluid around an ellipsoid ellipse-may31a.tex 5 A note on flows of a second order fluid around an ellipsoid of revolution/11pages

Abstract We introduce Hyper 2 LTL, a temporal logic for the specification of hyperproperties that allows second-order quantification over sets traces. Unlike first-order logics hyperproperties, such as HyperLTL, LTL can express complex epistemic properties like common knowledge, Mazurkiewicz trace theory, and asynchronous hyperproperties. The model checking problem is, in general, undecidable. ...

Analytic expressions were derived for the compressibility factor and residual internal energy of the square-well plus Sutherland fluid. In this derivation, we used the second order Barker-Henderson perturbation theory based on the macroscopic compressibility approximation together with an analytical expression for radial distribution function of the reference hard sphere fluid. These properties...