Two-Up, One-Down Ideal Cascades for Isotope Separation

The Electromyographic Changes of Abdominal Muscles in Two Sit-up Movement for One Minute

ABSTRACT Muscles have an important role in daily physical works and with increasing knowledge of them we could have appropriate physical position and achieving success in sports. The purpose of this research is to study of electromyographic changes of two abdominal muscle (Rectus abdominus and external oblique) in two kinds of sit- up in one minute. The subjects were 15 healthy students and n...

Isotope Effects, Isotope Separation and Isotope Fractionation

Electrochemical isotope effect and lithium isotope separation.

A large electrochemical isotopic effect is observed upon the electrodeposition of lithium from solutions of propylene carbonate producing isotopically light metal deposits. The magnitude of fractionation is controlled by the applied overpotential and is largest close to equilibrium. Calculated partition function ratios for tetrahedrally coordinated lithium complexes and metallic lithium predict...

Two for the Price of One: Lifting Separation Logic Assertions

Recently, data abstraction has been studied in thecontext of separation logic, with noticeable practicalsuccesses: the developed logics have enabled cleanproofs of tricky challenging programs, such as subject-observer patterns, and they have become the basis of ef-ficient verification tools for Java (jStar), C (VeriFast)and Hoare Type Theory (Ynot). In this paper, we giv...

Novel PEFC Application for Deuterium Isotope Separation

The use of a polymer electrolyte fuel cell (PEFC) with a Nafion membrane for isotopic separation of deuterium (D) was investigated. Mass analysis at the cathode side indicated that D diffused through the membrane and participated in an isotope exchange reaction. The exchange of D with protium (H) in H₂O was facilitated by a Pt catalyst. The anodic data showed that the separation efficiency was ...