Term Collections in λ and ρ-calculi

The ρ-calculus generalises term rewriting and the λ-calculus by defining abstractions on arbitrary patterns and by using a pattern-matching algorithm which is a parameter of the calculus. In particular, equational theories that do not have unique principal solutions may be used. In the latter case, all the principal solutions of a matching problem are stored in a “structure” that can also be seen as a collection of terms.Motivated by the fact that there are various approaches to the definition of structures in the ρ-calculus, we study in this paper a version of the λ-calculus with term collections.The contributions of this work include a new syntax and operational semantics for a λ-calculus with term collections, which is related to the λ-calculi with strict parallel functions studied by Boudol and Dezani et al. and a proof of the confluence of the β-reduction relation defined for the calculus (which is a suitable extension of the standard rule of β-reduction in the λ-calculus).     

Targeted,Needle‐Free Vaccinations in Skin using Multilayered,Densely‐Packed Dissolving Microprojection Arrays

Targeting of vaccines to abundant immune cell populations within our outer thin skin layers using miniaturized devices—much thinner than a needle and syringe, could improve the efficacy of vaccines (and other immunotherapies). To meet this goal, a densely packed dissolving microprojection array (dissolving Nanopatch) is designed, achieving functional miniaturization by 1) formulating small microneedles (two orders of magnitude smaller than a standard needle and syringe) and 2) multiple layering of the payload within microprojections with tight tolerances (of the order of a micrometer). The formulation method is suitable to many vaccines because it is without harsh or complex chemical processes, and it is performed at low temperatures and at a neutral pH. When the formulated dNPs are applied to skin, consistent and robust penetration is achieved, rapidly targeting the skin strata of interest (<5 min; significantly faster than larger dissolving microneedles that have been previously reported). Resultant diffusion is significantly enhanced within the dermis compared with the epidermis. Using two different antigens (ovalbumin and a commercial trivalent influenza vaccine [Fluvax2008]), the administration of these dissolving patches generate robust systemic immune responses in a mouse model. To the authors' knowledge, this is the first report of successful vaccination with any form of dissolving microneedles. The patches made by this method therefore have the potential for pain‐free, needle‐free, and effective vaccination in humans.     

Microstructure reconstruction of fibrous C/C composites from X-ray microtomography

The precise characterization of the microstructure of fibrous composites is essential for an accurate determination of their properties and behaviour. However, fabrication processes usually introduce serious deviations from simple ideal spatial arrangements of preform fibres and matrix. The characterization of composites has been performed using destructive and non destructive testing techniques, many of them based on image analysis. Carbon fibres in carbon matrix composites, however, pose a difficult challenge to image analysis systems due to the poor contrast between the different phases. We describe a procedure for the reconstruction of the true microstructure of carbon/carbon composites using phase contrast X-ray microtomography, show some results, and discuss its performance.     

Austenite Reconstruction Elucidates Prior Grain Size Dependence of Toughness in a Low Alloy Steel

Texture and grain size distribution of the austenite phase at high temperature have distinct effects on the subsequent transformed microstructure and mechanical properties of steel alloys at room temperature. Measurement of austenite at high temperature is not, however, a trivial task especially if orientation maps are desired. Therefore, a technique for determining austenite texture and grain size that was present at high temperature is highly desirable. In this work, we review several pipe samples intended for use as well casing with large variations in toughness and martensitic microstructures at room temperature. Microstructural analysis of the martensite structures could not easily explain these differences due to how martensite forms from austenite. An algorithm was developed to reconstruct the parent austenite at high temperature from martensite microstructure at room temperature. This technique successfully reconstructed orientation maps for the prior austenite in these samples, demonstrating differences in texture, grain orientation spread, and austenite grain size that could account for the differences in mechanical properties.     

Temperature Modulation Measurements of the Thermal Properties of Nanosystems at Low Temperatures

We report on the dynamic measurements of thermal properties of nanosystems at very low temperatures. These techniques are based on the modulation of the temperature and hence leads to highly sensitive measurements. We will discuss the intrinsic limitations of these methods when the thermal properties of nano-objects are studied at very low temperatures, much below 1 K. Firstly, we will present thermal conductance measurements using the 3ω method. This technique is limited at low temperatures due to the significant increase of the mean free path. Secondly, heat capacity measurements using ac calorimetry are outlined, and again restrictions occur due to the continuous temperature gradient inherent to that technique. Propositions are made in order to overcome these limitations.     

Diltiazem slow-release and left-ventricular hypertrophy: a volumetric approach of left ventricular mass using magnetic resonance imaging

AIMS: This study was designed to assess the changes in left ventricular mass (LVM) in hypertensive patients with left ventricular hypertrophy under drug therapy with once-daily slow-release diltiazem. Magnetic resonance imaging (MRI) was used for this purpose because of its higher reproducibility than M-mode or two-dimensional echocardiography. METHODS: Patients suffering from essential hypertension were included if their baseline LVM index (LVMI) was > or = 105 g/m2 in male or > or = 85 g/m2 in female patients, ie, equal or higher to the median values observed in hypertensive patients in our institution. MRI consisted in a true short-axis, electrocardiogram (ECG) gated spin-echo slice acquisition at baseline, after 3 and 6 months of therapy (M0, M3, and M6). Data were stored on magnetic tapes and read subsequently under blind conditions and the control of an external auditor. RESULTS: Thirty-five patients were included. Of these, 14 patients (40%) were not previously treated. Inter- and intra-observer variability for LVMI measurement were 5.6 +/- 4.3% and 2.1 +/- 3.0%, respectively. Mean baseline LVMI was 110 +/- 16 g/m2 in male and 96 +/- 16 g/m2 in female patients. It decreased by 3.6% at M3 (P = 0.05) and by 6.0% at M6 (P = 0.02). A trend towards a greater LVMI reduction was observed in previously untreated patients. CONCLUSION: This study confirms that MRI is a reproducible technique for the measurement of LVM. It demonstrates a significant reduction in LVMI as early as the 3rd month of therapy in hypertensive patients treated with once-daily sustained release (SR) diltiazem, although baseline LVMI in the majority of participating patients was only moderately increased.     

Precoagulation-microfiltration for wastewater reuse

A range of coagulant chemicals and doses, up to 2 mg/L, were trialled on a microfiltration-based indirect potable reuse (IPR) pilot plant to evaluate their impact on membrane reversible and irreversible fouling. Jar tests revealed these doses to have negligible impact on organic matter removal, whilst scoping pilot trials showed them to have a positive impact on fouling rates. Initial trials carried out over a 6-h period suggested that ferric sulphate was the most promising of the coagulants tested with regards to irreversible fouling. Extended five-day trials using ferric sulphate at 0.5 mg/L were conducted at fluxes of 40-50 l/(m²h) (LMH). Operation at 50 LMH without coagulant resulted in rapid fouling and a subsequent shortening of the chemical cleaning interval. The addition of the ferric coagulant resulted in a reduction in both reversible and irreversible fouling to those levels experienced at 40 LMH, enabling sustainable operation. The use of low levels of coagulant thus enables the pilot plant to operate at a 25% increased flux, equating to a 20% reduction in membrane area and overall savings of >0.1 p per m³ for a seven year membrane life.     

MRI semeiology of segmental contraction abnormalities in arrhythmogenic dysplasia of the right ventricle

The diagnosis of localized arrhythmogenic right ventricular dysplasia may be difficult to ascertain. Aside from electrophysiological arguments, visualization of an abnormal right ventricular contraction pattern is of crucial importance for diagnosis. Cine-MR is almost the only examination method which offers detailed informations on the right ventricular contraction pattern. Nine observations of segmental right ventricular contraction abnormalities assessed by cine-MR are described here: dyskinesia of the distal part of the anterior wall (2), of the inferior wall (2), of the right ventricular outflow tract (2); akinesia of the outflow tract (2) and of the inferior wall (1). Morphological abnormalities of the right ventricle are always associated with contraction abnormalities but seem to be less disease specific. Patients should be more readily referred for a cine-MR examination when the diagnosis of localized right ventricular dysplasia is suspected. Cine-MR sequences related to these observations may be reached via Internet at:http:@alsace.u-strasbg.fr/cardio/coeur.htm.     

Contribution of the fractal dimension to multiscale adaptive filtering of SAR imagery

Radar images can show great variability from pixel to pixel, which is an obstacle to effective processing. This variability, due to speckle created by the radar wave coherence, necessitates the use of more adapted filters. Previous studies have shown that multiresolution wavelet analysis yields better results but produces artefacts due to multiscale decomposition. This paper proposes a method that reduces these effects by introducing the fractal dimension. The resultant filter combines wavelet decomposition and variance change model based on the level of variance estimated by studying the fractal dimension of the image.