The effects of a magnetic barrier and a nonmagnetic spacer in tunnel structures

The spin-polarized transport is investigated in a new type of magnetic tunnel junction which consists of two ferromagnetic electrodes separated by a magnetic barrier and a nonmagnetic metallic spacer. Based on the transfer matrix method and the nearly-free-electron-approximation the dependence of the tunnel magnetoresistance (TMR) and electron-spin polarization on the nonmagnetic layer thickness and the applied bias voltage are studied theoretically. The TMR and spin polarization show an oscillatory behavior as a function of the spacer thickness and the bias voltage. The oscillations originate from the quantum well states in the spacer, while the existence of the magnetic barrier gives rise to a strong spin polarization and high values of the TMR. Our results may be useful for the development of spin electronic devices based on coherent transport.Comment: 15 pages, 5 figure

Structural and magnetic properties of [\lbrackErTb]\rbrackmultilayers

Abstract.: We have investigated the structural and magnetic properties of $\lbrack$ Er|Tb $\rbrack$ multilayers by different scattering methods. Diffuse X-ray scattering under grazing incidence reveals the interface structure in $\lbrack$ Er|Tb $\rbrack$ bilayers and trilayers, indicating vertically correlated roughness between the Er and Tb interfaces. The magnetic properties of $\lbrack$ ErnEr|TbnTb $\rbrack$ superlattices have been studied as a function of the superlattice composition (indices denote the number of atomic layers). Coupled ferromagnetic structures exist in all investigated samples. The phase transition temperature varies with the Tb layer thickness. Modulated magnetic order is short range for all samples beside the $\lbrack$ Er20|Tb5 $\rbrack$ superlattice, the sample with the smallest Tb layer thickness. We observe dipolar antiferromagnetic coupling between single ferromagnetic Tb layers in all samples, with the onset of this ordering depending on the Tb layer thickness. Due to competing interactions, exchange coupling is limited to the interface near region. Therefore long range modulated magnetic order is observed in the $\lbrack$ Er20|Tb5 $\rbrack$ superlattice only, where the interface regions overlap. The distinct differences to the magnetic structure of an Er0.8Tb0.2 alloy film are explained by a highly anisotropic arrangement of neighbouring atoms due to the correlated roughnes

Meta-analysis of diagnostic accuracy studies with multiple thresholds – comparison of different approaches

Methods for standard meta-analysis of diagnostic test accuracy studies are well established and understood. For the more complex case in which studies report test accuracy across multiple thresholds, several approaches have recently been proposed. These are based on similar ideas, but make different assumptions. In this article, we apply four different approaches to data from a recent systematic review in the area of nephrology and compare the results. The four approaches use: a linear mixed effects model, a Bayesian multinomial random effects model, a time-to-event model and a nonparametric model, respectively. In the case study data, the accuracy of neutrophil gelatinase-associated lipocalin for the diagnosis of acute kidney injury was assessed in different scenarios, with sensitivity and specificity estimates available for three thresholds in each primary study. All approaches led to plausible and mostly similar summary results. However, we found considerable differences in results for some scenarios, for example, differences in the area under the receiver operating characteristic curve (AUC) of up to 0.13. The Bayesian approach tended to lead to the highest values of the AUC, and the nonparametric approach tended to produce the lowest values across the different scenarios. Though we recommend using these approaches, our findings motivate the need for a simulation study to explore optimal choice of method in various scenarios

Test beam measurement of the first prototype of the fast silicon pixel monolithic detector for the TT-PET project

The TT-PET collaboration is developing a PET scanner for small animals with 30 ps time-of-flight resolution and sub-millimetre 3D detection granularity. The sensitive element of the scanner is a monolithic silicon pixel detector based on state-of-the-art SiGe BiCMOS technology. The first ASIC prototype for the TT-PET was produced and tested in the laboratory and with minimum ionizing particles. The electronics exhibit an equivalent noise charge below 600 e- RMS and a pulse rise time of less than 2 ns, in accordance with the simulations. The pixels with a capacitance of 0.8 pF were measured to have a detection efficiency greater than 99% and, although in the absence of the post-processing, a time resolution of approximately 200 ps

Ultrasonic techniques to obtain dental pulp from impacted third molars

In the dental clinic impacted teeth are frequent findings, especially upper and lower third molars, leading to their exodontia. Among surgical techniques piezosurgery is advantageous for delicate structures in the oral cavity. Extracted teeth, usually di

A monolithic ASIC demonstrator for the Thin Time-of-Flight PET scanner

Time-of-flight measurement is an important advancement in PET scanners to improve image reconstruction with a lower delivered radiation dose. This article describes the monolithic ASIC for the TT-PET project, a novel idea for a high-precision PET scanner for small animals. The chip uses a SiGe Bi-CMOS process for timing measurements, integrating a fully-depleted pixel matrix with a low-power BJT-based front-end per channel, integrated on the same 100 µm thick die. The target timing resolution of the scanner is 30 ps RMS for electrons from the conversion of 511 keV photons. The system will include 1.6 million channels across almost 2000 different chips. A full-featured demonstrator chip with a 3×10 matrix of 500×500 µm2 pixels was fabricated to validate each block. Its design and experimental results are presented here. © 2019 CERN

The Complexity of Flat Freeze LTL

We consider the model-checking problem for freeze LTL on one-counter automata (OCAs). Freeze LTL extends LTL with the freeze quantifier, which allows one to store different counter values of a run in registers so that they can be compared with one another. As the model-checking problem is undecidable in general, we focus on the flat fragment of freeze LTL, in which the usage of the freeze quantifier is restricted. Recently, Lechner et al. showed that model checking for flat freeze LTL on OCAs with binary encoding of counter updates is decidable and in 2NEXPTIME. In this paper, we prove that the problem is, in fact, NEXPTIME-complete no matter whether counter updates are encoded in unary or binary. Like Lechner et al., we rely on a reduction to the reachability problem in OCAs with parameterized tests (OCAPs). The new aspect is that we simulate OCAPs by alternating two-way automata over words. This implies an exponential upper bound on the parameter values that we exploit towards an NP algorithm for reachability in OCAPs with unary updates. We obtain our main result as a corollary