Deciding confluence of certain term rewriting systems in polynomial time

We present a characterization of confluence for term rewriting systems, which is then refined for special classes of rewriting systems. The refined characterization is used to obtain a polynomial time algorithm for deciding the confluence of ground term rewrite systems. The same approach also shows the decidability of confluence for shallow and linear term rewriting systems. The decision procedure has a polynomial time complexity under the assumption that the maximum arity of a function symbol in the signature is a constant.     

Thermal diffusivity measurements in porous ceramics by photothermal methods

Received: 16 September 1996/Accepted: 6 January 1997     

Low-frequency noise and inelastic tunneling spectroscopy in Fe(1 1 0)/MgO(1 1 1)/Fe(1 1 0) epitaxial magnetic tunnel junctions

We report on tunnelling magnetoresistance (TMR), current–voltage (IV) characteristics and low-frequency noise in epitaxially grown Fe(1 1 0)/MgO(1 1 1)/Fe(1 1 0) magnetic tunnel junctions (MTJs) with dimensions from 2×2 to 20×20 μm². The evaluated MgO energy barrier (0.50±0.08 eV), the barrier width (13.1±0.5 Å) as well as the resistance times area product (7±1 MΩ μm²) show relatively small variation, confirming a high quality epitaxy and uniformity of all MTJs studied. At low temperatures (T<10 K) inelastic electron tunneling spectroscopy (IETS) shows anomalies related to phonons (symmetric structures below 100 meV) and asymmetric features above 200 meV. We explain the asymmetric features in IETS as due to generation of electron standing waves in one of the Fe electrodes. The noise power, though exhibiting a large variation, was observed to be roughly anti-correlated with the TMR. Surprisingly, for the largest junctions we observed a strong enhancement of the normalized low-frequency noise in the antiparallel magnetic configuration. This behavior could be related to the influence of magnetostriction on the characteristics of the insulating barrier through changes in local barrier defects structure.     

Sustainability in bankruptcy problems

This paper focuses on a new property for bankruptcy rules, calledsustainability, which requires that the agents with small enough claims be fully reimbursed. We show that the constrained equal-awards rule is the only rule that satisfies path independence and sustainability. Exploiting duality relations, we also provide a characterization of the constrained equal-losses rule, as the only one that satisfies composition and independence of residual claims (the dual property of sustainability).     

High order linear initial-value problems and Schauder bases

In this paper we approximate the solution of a linear initial-value problem, making use of a Schauder basis for certain Banach space associated with such a differential problem. In addition, we apply that results in order to calculate numerically the response from a structure modelled by a three degree-of-freedom mass–damper–spring system.     

Unconventional antiferromagnetic correlations of the doped Haldane gapsystem Y 2 BaNi 1 - x Zn x O 5

We make a new proposal to describe the very low temperature susceptibility of the doped Haldane gap compound Y₂BaNi_1-xZn_xO₅. We propose a new mean field model relevant for this compound. The ground state of this mean field model is unconventional because antiferromagnetism coexists with random dimers. We present new susceptibility experiments at very low temperature. We obtain a Curie-Weiss susceptibility χ( T ) ∼ C /(Θ + T ) as expected for antiferromagnetic correlations but we do not obtain a direct signature of antiferromagnetic long range order. We explain how to obtain the “impurity” susceptibility ( T ) by subtracting the Haldane gap contribution to the total susceptibility. In the temperature range [1 K, 300 K] the experimental data are well fitted by T ( T ) = C _imp 1 + T _imp / T . In the temperature range [100 mK, 1 K] the experimental data are well fitted by T ( T ) = A ln( T / T _c ), where T _c increases with x. This fit suggests the existence of a finite Néel temperature which is however too small to be probed directly in our experiments. We also obtain a maximum in the temperature dependence of the ac-susceptibility ( T ) which suggests the existence of antiferromagnetic correlations at very low temperature. Received 17 July 2001     

Substituted m-phenylene bridges as strong ferromagnetic couplers for Cu(II)-bridge-Cu(II) magnetic interactions: new perspectives

Based on a combined theoretical-experimental study, we propose that substituted m-phenylene ligands (m-N-Phi-N) can act as tuneable strong ferromagnetic couplers connecting Cu(II) ions; a new complex presenting that bridge with J close to +15 cm(-1) has been suggested and synthesized.     

Raman spectroscopic and structural studies of indigo and its four 6,6'-dihalogeno analogues

The Raman and electron impact mass spectra of synthetic indigo and its four 6,6'-dihalogeno analogues are reported and discussed. The influence of varying the halogen on these Raman spectra is considered. Particular emphasis is laid on distinguishing indigo from 6,6'-dibromoindigo and differentiating between the dihalogenocompounds, so as to develop protocols for determining whether artefacts are coloured with dyes of marine or terrestrial origin and whether such artefacts are dyed with genuine "Tyrian Purple" or with dihalogenoindigo substitutes that do not contain bromine. The value of even low resolution electron impact mass spectrometry in a forensic context as a means of identifying authentic 6,6'-dibromoindigo and distinguishing it from its dihalogenoanalogues is emphasised