We perform molecular dynamics simulations of a nematic liquid crystal flowing around a colloidal particle. We study the flow-induced modifications of the topological defects in the liquid crystal due to the presence of the colloid. We show that flow distorts Boojum defects into an asymmetrically larger downstream lobe, and that Saturn ring defects are convected downstream along the flow directi...

Data on the composition and thermal structure, and the Lyman-alpha dayglow of Saturn when analyzed in conjunction with photochemical models of the hydrocarbons and the atomic hydrogen g reduction yield the homopause value of the eddy diffusion coefficient to be approximately 10 cm2 s-l. The equatorial value of the eddy diffusion coefficient at the homopause of Saturn is thus found to be approxi...

Saturn is a boolean satisfiability (SAT) based framework for static bug detection. It targets software written in C and is designed to support a wide range of property checkers. The goal of the Saturn project is to realize SAT’s potential for precise checking on very large software systems. Intraprocedurally, Saturn uses a bit-level representation to faithfully model common program constructs. ...

I report a novel theory that nonuniform viscous frictional force in the solar nebula accounts for the largest mass of Jupiter and Saturn and their largest amount of H and He among the planets, two outstanding facts that are unsolved puzzles in our understanding of origin of the Solar System. It is shown that the nebula model of uniform viscosity does not match the present planet masses. By stud...

We present a new stationary, asymptotically flat solution of 5D EinsteinMaxwell gravity describing a Saturn-like black object: a rotating black hole surrounded by a rotating dipole black ring. The solution is generated by combining the vacuum black Saturn solution and the vacuum black ring solution with appropriately chosen parameters. Some basic properties of the solution are analyzed and the ...

We consider the e†ect of gravitational perturbations from Jupiter on the dynamics of asteroids, when Jupiter is itself perturbed by Saturn. The presence of Saturn introduces a number of additional frequencies into JupiterÏs orbit. These frequencies in turn produce chaos in narrow regions on either side of the chaotic zones associated with the mean motion resonances between the asteroids and Jup...