84 research outputs found

    Anomalous density of states in a metallic film in proximity with a superconductor

    Full text link
    We investigated the local electronic density of states in superconductor-normal metal (Nb-Au) bilayers using a very low temperature (60 mK) STM. High resolution tunneling spectra measured on the normal metal (Au) surface show a clear proximity effect with an energy gap of reduced amplitude compared to the bulk superconductor (Nb) gap. Within this mini-gap, the density of states does not reach zero and shows clear sub-gap features. We show that the experimental spectra cannot be described with the well-established Usadel equations from the quasi-classical theory.Comment: 4 pages, 5 figure

    On Correctness of Data Structures under Reads-Write Concurrency

    Get PDF
    Abstract. We study the correctness of shared data structures under reads-write concurrency. A popular approach to ensuring correctness of read-only operations in the presence of concurrent update, is read-set validation, which checks that all read variables have not changed since they were first read. In practice, this approach is often too conserva-tive, which adversely affects performance. In this paper, we introduce a new framework for reasoning about correctness of data structures under reads-write concurrency, which replaces validation of the entire read-set with more general criteria. Namely, instead of verifying that all read conditions over the shared variables, which we call base conditions. We show that reading values that satisfy some base condition at every point in time implies correctness of read-only operations executing in parallel with updates. Somewhat surprisingly, the resulting correctness guarantee is not equivalent to linearizability, and is instead captured through two new conditions: validity and regularity. Roughly speaking, the former re-quires that a read-only operation never reaches a state unreachable in a sequential execution; the latter generalizes Lamport’s notion of regular-ity for arbitrary data structures, and is weaker than linearizability. We further extend our framework to capture also linearizability. We illus-trate how our framework can be applied for reasoning about correctness of a variety of implementations of data structures such as linked lists.

    Velocity-space sensitivity of the time-of-flight neutron spectrometer at JET

    Get PDF
    The velocity-space sensitivities of fast-ion diagnostics are often described by so-called weight functions. Recently, we formulated weight functions showing the velocity-space sensitivity of the often dominant beam-target part of neutron energy spectra. These weight functions for neutron emission spectrometry (NES) are independent of the particular NES diagnostic. Here we apply these NES weight functions to the time-of-flight spectrometer TOFOR at JET. By taking the instrumental response function of TOFOR into account, we calculate time-of-flight NES weight functions that enable us to directly determine the velocity-space sensitivity of a given part of a measured time-of-flight spectrum from TOFOR

    Relationship of edge localized mode burst times with divertor flux loop signal phase in JET

    Get PDF
    A phase relationship is identified between sequential edge localized modes (ELMs) occurrence times in a set of H-mode tokamak plasmas to the voltage measured in full flux azimuthal loops in the divertor region. We focus on plasmas in the Joint European Torus where a steady H-mode is sustained over several seconds, during which ELMs are observed in the Be II emission at the divertor. The ELMs analysed arise from intrinsic ELMing, in that there is no deliberate intent to control the ELMing process by external means. We use ELM timings derived from the Be II signal to perform direct time domain analysis of the full flux loop VLD2 and VLD3 signals, which provide a high cadence global measurement proportional to the voltage induced by changes in poloidal magnetic flux. Specifically, we examine how the time interval between pairs of successive ELMs is linked to the time-evolving phase of the full flux loop signals. Each ELM produces a clear early pulse in the full flux loop signals, whose peak time is used to condition our analysis. The arrival time of the following ELM, relative to this pulse, is found to fall into one of two categories: (i) prompt ELMs, which are directly paced by the initial response seen in the flux loop signals; and (ii) all other ELMs, which occur after the initial response of the full flux loop signals has decayed in amplitude. The times at which ELMs in category (ii) occur, relative to the first ELM of the pair, are clustered at times when the instantaneous phase of the full flux loop signal is close to its value at the time of the first ELM

    Cytotoxic effects of FGF2-saporin on bovine epithelial lens cells in vitro.

    No full text
    PURPOSE: To test the ability of two preparations of FGF2-saporin, either FGF2 chemically conjugated to saporin (FGF2-SAP) or genetically engineered FGF2-saporin (rFGF2-SAP) to inhibit the growth of bovine epithelial lens (BEL) cells in vitro when in solution and when immobilized on heparin surface-modified (HSM) polymethylmethacrylate (PMMA) intraocular lenses (IOLs). METHOD: Bovine epithelial lens cells were incubated with various concentrations FGF2-saporin for as long as 4 days. The number of surviving cells was determined by counting the number of nuclei. Because FGF2 binds to heparin, FGF2-saporin was incubated with HSM PMMA IOLs; excess toxin was washed off, and the BEL cells were grown on the FGF2-saporin-treated IOLs (HSM and non-HSM) for 4 days. Cell density was determined by image analysis. RESULTS: Both FGF2-SAP and rFGF2-SAP were highly cytotoxic (nM range), with rFGF2-SAP 10 times less active than FGF2-SAP. FGF2-saporin bound to the surface of HSM IOLs and eluted by 2M NaCl retained its activity. Toxin bound to HSM IOLs killed more than 90% of the BEL cells placed on the IOL surface within 4 days. The ability of FGF2-saporin to prevent the growth of cells on the IOL surface was strictly dependent on the presence of heparin on the IOL. CONCLUSIONS: FGF2-saporin is bound to HSM PMMA IOLs and prevents the growth of epithelial cells on the surface of the lens

    In vivo inhibition of lens regrowth by fibroblast growth factor 2-saporin.

    No full text
    PURPOSE: To investigate the ability of fibroblast growth factor (FGF) 2-saporin to prevent lens regrowth in the rabbit. METHODS: Chemically conjugated and genetically fused FGF2-saporin (made in Escherichia coli) were used. Extracapsular extraction of the lens was performed on the rabbit, and the cytotoxin either was injected directly into the capsule bag or was administered by FGF2-saporin-coated, heparin surface-modified (HSM) polymethylmethacrylate intraocular lenses. The potential of the conjugate was checked by slit lamp evaluation of capsular opacification and by measuring crystallin synthesis. Toxin diffusion and sites of toxin binding were assessed by immunohistochemistry. Possible toxicity was determined by histologic analysis of ocular tissues. RESULTS: FGF2-saporin effectively inhibited lens regrowth when it was injected directly into the capsular bag. However, high concentration of the toxin induced transient corneal edema and loss of pigment in the iris. Intraocular lenses coated with FGF2-saporin reduced lens regrowth and crystallin synthesis without any detectable clinical side effect. After implantation, FGF2-saporin was shown to have bound to the capsules and, to a lesser extent, to the iris; no histologic damage was found on ocular tissues as a result of implantation of drug-loaded HSM intraocular lenses. CONCLUSIONS: Chemically conjugated (FGF2-SAP) and genetically fused FGF2-saporin (rFGF2-SAP) bound to HSM intraocular lenses can prevent lens regrowth in the rabbit
    corecore