separation

Abstract. In this work we generalise previous results connecting (rational) Gaudin magnet models and classical separation of variables. It is shown that the connection persists for the case of linear r-matrix algebra which corresponds to the trigonometric

SEPARATION OF VARIABLES AND THE XXZ GAUDIN MAGNET

E.G. KALNINS, V.B. KUZNETSOV and WILLARD MILLER, Jr.Department of Mathematics and Statistics, University of Waikato, Hamilton, New Zealand Department of Mathematics y x University of Amsterdam, Plantage Muidergracht 24, 1018

similar style of reasoning about structured data. They each consist of a structural (separating) composition for reasoning about disjoint subdata, and corresponding structural adjoint(s) for reasoning hypothetically about data. We show how to interpret the

Context Logic as Modal Logic: Completeness and Parametric Inexpressivity

Cristiano Calcagno Philippa Gardner Uri Zarfaty

Department of Computing,Imperial College London

{ccris,pg,udz}@doc.ic.ac.uk

Abstract

Separation Logic,Ambient Logic and Context Logic are based on a similar

We have observed phase separation between the superfluid and the normal component in a strongly interacting Fermi gas with imbalanced spin populations. The in situ distribution of the density difference between two trapped spin components is obtained using

ObservationofPhaseSeparationinaStrongly-InteractingImbalancedFermiGas

Y.Shin, M.W.Zwierlein,C.H.Schunck,A.Schirotzek,andW.Ketterle

DepartmentofPhysics,MIT-HarvardCenterforUltracoldAtoms,andResearchLaboratoryofElectronics,

MassachusettsInstituteofTechnology,Cambridge,Massachus

Liquid phase separation in Gd e Ti and Gd e Zr melts

Steffen Schmitz *,Hans-Günther Lindenkreuz,Norbert Mattern,Wolfgang L?ser,Bernd Büchner

IFW Dresden,PO Box 270116,D-01171Dresden,Germany

a r t i c l e i n f o

Article history:

Received 13November 2009Received in revised form 25January 2010

Accepted 27February 2010

Available online 25March 2010Keywords:

A.Rare-earth intermetallics

B.Phase diagrams B.Glasses,metallic

a b s t r a c t

Liquid phase separation in two binary melt systems,Gd e Zr and Gd e Ti,related to phase separated metal

SeparationandPuri cationTechnology76 (2010) 191–197

ContentslistsavailableatScienceDirect

SeparationandPuri cation

Technology

journalhomepage:/locate/seppu

r

Investigationofthree-liquid-phaseextractionsystemsfortheseparationofTi(IV),Fe(III)andMg(II)

KengXiea,b,c,JunmeiZhaoa,LiangrongYanga,c,PinhuaYua,c,HuizhouLiua,

a

KeyLaboratoryofGreenProcessandEngineering,InstituteofProcessEngineering,ChineseAcademyofSciences,Beijing100190,ChinaNationalEngineeringLaboratoryforHydrometallurgicalCleanerProductionTechnology,Beijing100190,Chinac

Grad