Remarkable change of tunneling conductance in YBCO films in fields up to 32.4T

We studied the tunneling density of states in YBCO films under strong currents flowing along node directions. The currents were induced by fields of up to 32.4T parallel to the film surface and perpendicular to the $CuO_{2}$ planes. We observed a remarkable change in the tunneling conductance at high fields where the gap-like feature shifts discontinuously from 15meV to a lower bias of 11meV, becoming more pronounced as the field increases. The effect takes place in increasing fields around 9T and the transition back to the initial state occurs around 5T in decreasing fields. We argue that this transition is driven by surface currents induced by the applied magnetic field.Comment: 4 pages, 7 figure

Causality and replication in concurrent processes

The replication operator was introduced by Milner for obtaining a simplified description of recursive processes. The standard interleaving semantics denotes the replication of a process P, written !P, a shorthand for its unbound parallel composition, operationally equivalent to the process P | P | …, with P repeated as many times as needed. Albeit the replication mechanism has become increasingly popular, investigations on its causal semantics has been scarce. In fact, the correspondence between replication and unbound parallelism makes it difficult to recover basic properties usually associated with these semantics, such as the so-called concurrency diamond. In this paper we consider the interleaving semantics for the operator proposed by Sangiorgi and Walker, and we show how to refine it in order to capture causality. Furthermore, we prove it coincident with the standard causal semantics for recursive process studied in the literature, for processes defined by means of constant invocations

Radiative corrections for (e,e′p) reactions at GeV energies

A general framework for applying radiative corrections to (e,e′p) coincidence reactions at GeV energies is presented, with special emphasis to higher-order bremsstrahlung effects, radiation from the scattered hadron, and the validity of peaking approximations. The sensitivity to the assumptions made in practically applying radiative corrections to (e,e′p) data is extensively discussed. The general framework is tested against experimental data of the 1H(e,e′p) reaction at momentum transfer values larger than 1.0 (GeV/c)^2, where radiative processes become a dominant source of uncertainty. The formulas presented here can easily be modified for any other electron-induced coincidence reaction

A Mesolithic settlement site at Howick, Northumberland: a preliminary report

Excavations at a coastal site at Howick during 2000 and 2002 have revealed evidence for a substantial Mesolithic settlement and a Bronze Age cist cemetery. Twenty one radiocarbon determinations of the earlier eighth millennium BP (Cal.) indicate that the Mesolithic site is one of the earliest known in northern Britain. An 8m core of sediment was recovered from stream deposits adjacent to the archaeological site which provides information on local environmental conditions. Howick offers a unique opportunity to understand aspects of hunter-gatherer colonisation and settlement during a period of rapid palaeogeographical change around the margins of the North Sea basin, at a time when it was being progressively inundated by the final stages of the postglacial marine transgression. The cist cemetery will add to the picture of Bronze Age occupation of the coastal strip and again reveals a correlation between the location of Bronze Age and Mesolithic sites which has been observed elsewhere in the region

Longitudinal and Transverse Response Functions in ^(56)Fe(e,e') at Momentum Transfer near 1 GeV/c

Inclusive electron-scattering cross sections have been measured for ^(56)Fe in the quasielastic region at electron energies between 0.9 and 4.3 GeV, at scattering angles of 15° and 85°. Longitudinal and transverse response functions at a q of 1.14 GeV/c have been extracted using a Rosenbluth separation. The experimental Coulomb sum has been obtained with aid of an extrapolation. The longitudinal response function, after correction for Coulomb distortion, is lower than quasifree-scattering-model predictions at the quasielastic peak and on the high-ω side

Graphical Encoding of a Spatial Logic for the pi-Calculus

This paper extends our graph-based approach to the verification of spatial properties of π-calculus specifications. The mechanism is based on an encoding for mobile calculi where each process is mapped into a graph (with interfaces) such that the denotation is fully abstract with respect to the usual structural congruence, i.e., two processes are equivalent exactly when the corresponding encodings yield isomorphic graphs. Behavioral and structural properties of π-calculus processes expressed in a spatial logic can then be verified on the graphical encoding of a process rather than on its textual representation. In this paper we introduce a modal logic for graphs and define a translation of spatial formulae such that a process verifies a spatial formula exactly when its graphical representation verifies the translated modal graph formula

On affine usages in signal-based communication

We describe a type system for a synchronous pi-calculus formalising the notion of affine usage in signal-based communication. In particular, we identify a limited number of usages that preserve affinity and that can be composed. As a main application of the resulting system, we show that typable programs are deterministic