A semantic formulation of Lindley and Stark’s >>-lifting is given. We first illustrate our semantic formulation of the >>-lifting in Set with several examples, and apply it to the logical predicates for Moggi’s computational metalanguage. We then abstract the semantic >>-lifting as the lifting of strong monads across bifibrations with lifted symmetric monoidal closed structures.

Studies of the two-dimensional motion of a magnet sphere in the presence of a second, fixed sphere provide a convenient venue for exploring magnet–magnet interactions, inertia, friction, and rich nonlinear dynamical behavior. These studies exploit the equivalence of these magnetic interactions to the interactions between two equivalent point dipoles. We show that magnet–magnet friction plays a ...

Suppose $pi:mathcal{A}rightarrow mathcal{B}$ is a surjective unital $ast$-homomorphism between C*-algebras $mathcal{A}$ and $mathcal{B}$, and $0leq aleq1$ with $ain  mathcal{A}$. We give a sufficient condition that ensures there is a proection $pin mathcal{A}$ such that $pi left( pright) =pi left( aright) $. An easy consequence is a result of [L. G. Brown and G. k. Pedersen, C*-algebras of real...

This paper describes the NMR/MRI magnets that are currently being developed at the MIT Francis Bitter Magnet Laboratory: 1) a 1.3 GHz NMR magnet; 2) a compact NMR magnet assembled from YBCO annuli; and 3) a persistent-mode, fully-protected 0.5-T/800-mm whole-body MRI magnet.

To control and drive a robotic capsule accurately from outside a patient's body, we present a schema in which the capsule enclosing the imaging device, circuits, batteries, etc is looped by a permanent magnet ring that acts as an actuator. A cuboidal permanent magnet situated outside the patient's body attracts or pushes the magnet ring from different directions to make the capsule move or rota...