Theory of Double-Sided Flux Decorations

A novel two-sided Bitter decoration technique was recently employed by Yao et al. to study the structure of the magnetic vortex array in high-temperature superconductors. Here we discuss the analysis of such experiments. We show that two-sided decorations can be used to infer {\it quantitative} information about the bulk properties of flux arrays, and discuss how a least squares analysis of the local density differences can be used to bring the two sides into registry. Information about the tilt, compressional and shear moduli of bulk vortex configurations can be extracted from these measurements.Comment: 17 pages, 3 figures not included (to request send email to [email protected]

Low frequency response of a collectively pinned vortex manifold

A low frequency dynamic response of a vortex manifold in type-II superconductor can be associated with thermally activated tunneling of large portions of the manifold between pairs of metastable states (two-level systems). We suggest that statistical properties of these states can be verified by using the same approach for the analysis of thermal fluctuations the behaviour of which is well known. We find the form of the response for the general case of vortex manifold with non-dispersive elastic moduli and for the case of thin superconducting film for which the compressibility modulus is always non-local.Comment: 8 pages, no figures, ReVTeX, the final version. Text strongly modified, all the results unchange

Altered colonic mucosal availability of n-3 and n-6 polyunsaturated fatty acids in ulcerative colitis and the relationship to disease activity

Background and AimsThe polyunsaturated fatty acids (PUFA) arachidonic acid (AA, n-6) and eicosapentaenoic acid (EPA, n-3) are precursors of eicosanoids and other lipid mediators which have critical roles in inflammation. The mediators formed from the different PUFA have different potencies. We hypothesised that metabolic changes associated with colonic mucosal inflammation would modify the bioavailability of the eicosanoid precursors AA and EPA.MethodsColonic mucosa biopsies were obtained from patients with ulcerative colitis and from matched controls. Inflammation was graded endoscopically and histologically. Esterified and non-esterified fatty acids were determined within the biopsies using gas chromatography–mass spectrometry and liquid chromatography–mass spectrometry, respectively.ResultsBiopsy samples were collected from 69 UC patients (54 providing both inflamed and non-inflamed mucosa) and 69 controls. Inflamed mucosa had higher AA (p < 0.001) and lower EPA (p < 0.010) contents and a higher AA:EPA ratio (p < 0.001). Inflamed mucosa also had higher docosapentaenoic acid (DPA) and docosahexaenoic acid (DHA) and lower linoleic acid (LA) and ?-linolenic acid (?-LNA) contents (all p < 0.001), compared to non-inflamed and controls. There were significant correlations between severity of inflammation and contents of AA, DPA and DHA (positive correlations) and of LA, ?-LNA and EPA (negative correlations).ConclusionsHigher AA, AA:EPA ratio, DPA and DHA and lower LA, ?-LNA and EPA are seen in inflamed mucosa in UC and correlate with severity of inflammation. This suggests an alteration in fatty acid metabolism in the inflamed gut mucosa, which may offer novel targets for intervention and should be considered if nutritional strategies are used

Large-scale directed model checking LTL

Abstract. To analyze larger models for explicit-state model checking, directed model checking applies error-guided search, external model checking uses secondary storage media, and distributed model checking exploits parallel exploration on multiple processors. In this paper we propose an external, distributed and directed on-the-fly model checking algorithm to check general LTL properties in the model checker SPIN. Previous attempts restricted to checking safety properties. The worst-case I/O complexity is bounded by O(sort(|F||R|)/p + l · scan(|F||S|)), where S and R are the sets of visited states and transitions in the synchronized product of the Büchi automata for the model and the property specification, F is the number of accepting states, l is the length of the shortest counterexample, and p is the number of processors. The algorithm we propose returns minimal lasso-shaped counterexamples and includes refinements for property-driven exploration.