We present an M-theory proof of the anomaly of Freed and Witten which in general shifts the quantisation law for the U(1) gauge field on a D6-brane. The derivation requires an understanding of how fields on the D6-brane lift to Mtheory, together with a localisation formula which we prove using a U(1)-index theorem. We also show how the anomaly is related to the K-theory classification of Ramond...

We lift the notion of nested application conditions from graph transformation systems to the general categorical setting of reactive systems as defined by Leifer and Milner. This serves two purposes: first, we enrich the formalism of reactive systems by adding application conditions for rules; second, it turns out that some constructions for graph transformation systems (such as computing weake...

In this article, we propose two algorithms for determining the Nielsen-Thurston classification of a mapping class ψ on a surface S. We start with a finite generating set X for the mapping class group and a word ψ in 〈X〉. We show that if ψ represents a reducible mapping class in Mod(S) then ψ admits a canonical reduction system whose total length is exponential in the word length of ψ. We use th...

We show by computational solution of the incompressible Navier-Stokes equations with friction force boundary conditions, that the classical inviscid circulation theory by Kutta-Zhukovsky for lift of a wing and laminar viscous boundary layer theory by Prandtl for drag, which have dominated 20th century flight mechanics, do not correctly describe the real turbulent airflow around a wing. We show ...

There is a strong trend at hand toward less dramatic facial rejuvenation surgery. Most of the authors' patients want a cosmetic improvement but not at the cost of prolonged disfigurement or a high risk of complications. In 1999, a very simple but effective rhytidectomy technique, termed an S-lift, was described in the literature and was adopted by the authors. Its basic principle is the suspens...

In this paper we proposed a modeling method of the electrode lift controlling plant of a n ultra high power electric furnace and verified the accuracy of the proposed model by simulation an d field test. Keyword: ultra high power (UHP) electric furnace, electric lift device, electric lift control

BACKGROUND Physiological and psychophysical studies of the effects of lifting frequency have focused on whole-body measurements of fatigue or subjective acceptance of the task and have not considered how spine loads may change as a function of lift frequency or lift time exposure. Our understanding of biomechanical spine loading has been extrapolated from short lifting bouts to the entire work ...