Evidence for Antiferromagnetic Order in La2−x_{2-x}Cex_{x}CuO4_{4} from Angular Magnetoresistance Measurements

We investigated the in-plane angular magnetoresistivity (AMR) of $T^{^{\prime}}$-phase La$_{2-x}$Ce$_{x}$CuO$_{4}$ (LCCO) thin films ($x=0.06-0.15$) fabricated by a pulsed laser deposition technique. The in-plane AMR with $\mathbf{H}\parallel ab$ shows a twofold symmetry instead of the fourfold behavior found in other electron-doped cuprates such as Pr$_{2-x}$Ce$_{x}$CuO$_{4}$ and Nd$_{2-x}$Ce$_{x}$CuO$_{4}$. The twofold AMR disappears above a certain temperature, $T_{D}$. The $T_{D}(x)$ is well above $T_{c}(x)$ for $x=0.06$ ($\sim 110$ K), and decreases with increasing doping, until it is no longer observed above $T_{c}(x)$ at $x=0.15$. This twofold AMR below $T_{D}(x)$ is suggested to originate from an antiferromagnetic or spin density wave order.Comment: to be published in Phys. Rev. B, Vol. 80 (2009

Dense Deformation Field Estimation for Atlas Registration using the Active Contour Framework

In this paper, we propose a new paradigm to carry outthe registration task with a dense deformation fieldderived from the optical flow model and the activecontour method. The proposed framework merges differenttasks such as segmentation, regularization, incorporationof prior knowledge and registration into a singleframework. The active contour model is at the core of ourframework even if it is used in a different way than thestandard approaches. Indeed, active contours are awell-known technique for image segmentation. Thistechnique consists in finding the curve which minimizesan energy functional designed to be minimal when thecurve has reached the object contours. That way, we getaccurate and smooth segmentation results. So far, theactive contour model has been used to segment objectslying in images from boundary-based, region-based orshape-based information. Our registration technique willprofit of all these families of active contours todetermine a dense deformation field defined on the wholeimage. A well-suited application of our model is theatlas registration in medical imaging which consists inautomatically delineating anatomical structures. Wepresent results on 2D synthetic images to show theperformances of our non rigid deformation field based ona natural registration term. We also present registrationresults on real 3D medical data with a large spaceoccupying tumor substantially deforming surroundingstructures, which constitutes a high challenging problem

DSN Data Visualization Suite

The DSN Data Visualization Suite is a set of computer programs and reusable Application Programming Interfaces (APIs) that assist in the visualization and analysis of Deep Space Network (DSN) spacecraft-tracking data, which can include predicted and actual values of downlink frequencies, uplink frequencies, and antenna-pointing angles in various formats that can include tables of values and polynomial coefficients. The data can also include lists of antenna-pointing events, lists of antenna- limit events, and schedules of tracking activities. To date, analysis and correlation of these intricately related data before and after tracking have been difficult and time-consuming. The DSN Data Visualization Suite enables operators to quickly diagnose tracking-data problems before, during, and after tracking. The Suite provides interpolation on demand and plotting of DSN tracking data, correlation of all data on a given temporal point, and display of data with color coding configurable by users. The suite thereby enables rapid analysis of the data prior to transmission of the data to DSN control centers. At the control centers, the same suite enables operators to validate the data before committing the data to DSN subsystems. This software is also Web-enabled to afford its capabilities to international space agencies

Origin of the anomalous Hall Effect in overdoped n-type cuprates: current vertex corrections due to antiferromagnetic fluctuations

The anomalous magneto-transport properties in electron doped (n-type) cuprates were investigated using Hall measurements at THz frequencies. The complex Hall angle was measured in overdoped Pr$_{\rm 2-x}$Ce$_{\rm x}$CuO$_{\rm 4}$ samples (x=0.17 and 0.18) as a continuous function of temperature above $T_c$ at excitation energies 5.24 and 10.5 meV. The results, extrapolated to low temperatures, show that inelastic scattering introduces electron-like contributions to the Hall response. First principle calculations of the Hall angle that include current vertex corrections (CVC) induced by electron interactions mediated by magnetic fluctuations in the Hall conductivity reproduce the temperature, frequency, and doping dependence of the experimental data. These results show that CVC effects are the source of the anomalous Hall transport properties in overdoped n$\text{-}$type cuprates.Comment: 5 pages, 3 figure

Functional Big-step Semantics

When doing an interactive proof about a piece of software, it is important that the underlying programming language’s semantics does not make the proof unnecessarily difficult or unwieldy. Both smallstep and big-step semantics are commonly used, and the latter is typically given by an inductively defined relation. In this paper, we consider an alternative: using a recursive function akin to an interpreter for the language. The advantages include a better induction theorem, less duplication, accessibility to ordinary functional programmers, and the ease of doing symbolic simulation in proofs via rewriting. We believe that this style of semantics is well suited for compiler verification, including proofs of divergence preservation. We do not claim the invention of this style of semantics: our contribution here is to clarify its value, and to explain how it supports several language features that might appear to require a relational or small-step approach. We illustrate the technique on a simple imperative language with C-like for-loops and a break statement, and compare it to a variety of other approaches. We also provide ML and lambda-calculus based examples to illustrate its generality

Phase diagrams of the 2D t-t'-U Hubbard model from an extended mean field method

It is well-known from unrestricted Hartree-Fock computations that the 2D Hubbard model does not have homogeneous mean field states in significant regions of parameter space away from half filling. This is incompatible with standard mean field theory. We present a simple extension of the mean field method that avoids this problem. As in standard mean field theory, we restrict Hartree-Fock theory to simple translation invariant states describing antiferromagnetism (AF), ferromagnetism (F) and paramagnetism (P), but we use an improved method to implement the doping constraint allowing us to detect when a phase separated state is energetically preferred, e.g. AF and F coexisting at the same time. We find that such mixed phases occur in significant parts of the phase diagrams, making them much richer than the ones from standard mean field theory. Our results for the 2D t-t'-U Hubbard model demonstrate the importance of band structure effects.Comment: 6 pages, 5 figure