About classical logic and imperative programming

We consider a -calculus system in second-orderclassical logic, in which execution of -terms is weak head reduction (call-by-name). By means of some simple examples, we show how it can modelize some aspects of imperative programming languages, such as assignment and escape instructions. A crucial tool is the notion ofstorage operator, for which a simple type is given.     

Étude de la précision de l’estimation de la densité spectrale de puissance croisée,obtenue par transformation de fourier de la fonction de corrélation

The authors compare two different estimators of the crosscorrelation function and show that they give equivalent estimators in the frequency domain. They calculate the first and second order moments of the estimator of the cross-spectral-density (DSPC)due to the statistical errors and the quantification of inputs. From these general formulas, they perform numerical calculations for a particular case and they compare them to practical measurements. They show the interesting fact, that the variance of the statistical errors on the dspc is inferior by estimating its phase than by estimating its module. Furthermore, the quantification of the inputs may influence the variance of the phase of the DSPC estimated.     

A land cover classification product over France at 1 km resolution using SPOT4/VEGETATION data

The present study focuses on the development of a new land cover classification product over France at 1 km resolution. It is based on data sets from the Earth observing system SPOT4/VEGETATION. The satellite measurements are aimed at supporting regional efforts to set up global mosaics on new land cover products. They have been acquired in the frame of the Global Land Cover 2000 project. The instrument design relies on advanced technology, which leads to an improved radiometric and geometric resolution data. Such characteristics allow taking full benefit of the daily repetitiveness of the VEGETATION wide field-of-view sensor without the drawback of a variable pixel size on the image edge. Several physical processing steps are successively operated to the images on a per-pixel basis to remove detector blindness, to filter cloud contamination, and finally to correct both atmospheric and surface anisotropy effects. A new thematic map using the K-means clustering method has been built. First, the results of the satellite-based land cover classification has been successfully compared with the Coordination of Information on the Environment (CORINE) database which serves as a reference to appraise the reliability of the study. Then, it has been inter-compared with land cover products derived from MODIS and AVHRR sensors. For this, an aggregative scheme particularly focused on major land units (forest, grassland, cropland) adopted in order to yield a whole mapping at the same geographic projection and space resolution. The discrepancies between maps enhance the quality of the proposed product, thanks to the use of advanced data processing and a more appropriate method.     

Ligand Binding to Dynamically Populated G-Quadruplex DNA

Several small-molecule ligands specifically bind and stabilize G-quadruplex (G4) nucleic acid structures, which are considered to be promising therapeutic targets. G4s are polymorphic structures of varying stability, and their formation is dynamic. Here, we investigate the mechanisms of ligand binding to dynamically populated human telomere G4 DNA by using the bisquinolinium based ligand Phen-DC3 and a combination of single-molecule FRET microscopy, ensemble FRET and CD spectroscopies. Different cations are used to tune G4 polymorphism and folding dynamics. We find that ligand binding occurs to pre-folded G4 structures and that Phen-DC3 also induces G4 formation in unfolded single strands. Following ligand binding to dynamically populated G4s, the DNA undergoes pronounced conformational redistributions that do not involve direct ligand-induced G4 conformational interconversion. On the contrary, the redistribution is driven by ligand-induced G4 folding and trapping of dynamically populated short-lived conformation states. Thus, ligand-induced stabilization does not necessarily require the initial presence of stably folded G4s.     

The optimization of gamma spectra processing in prompt gamma neutron activation analysis (PGNAA)

The uncertainty of the elemental analysis is one of the major factors governing the utility of on-line Prompt Gamma Neutron Activation Analysis (PGNAA) in the blending and sorting of bulk materials. In this paper, a general method applicable to Gamma spectra processing is presented and applied to PGNAA in mineral industry. Based on the Fourier transform of spectra and their de-correlation in the Fourier space (the improvement of the conditioning of the correlation matrix), processing of overlapping of characteristic peaks minimizes the propagation of random errors, which optimizes the accuracy and decreases the detection limits of elemental analyses. In comparison with classical methods based on the linear combinations of relevant regions of spectra the improvement may be considerable, especially when several elements are interfering. The method is applied to four case stories covering both borehole logging and on-line analysis on conveyor belt of raw materials.     

How much do water deficits alter the nitrogen nutrition status of forage crops?

Water deficits alter the nitrogen nutrition of crops. In grasslands, this has a major impact on both forage yield and nitrogen fluxes in the soil. It is important to assess the N balance in order to adjust fertilization to the expected needs of the crop and thus minimize any environmentally negative impacts of crops. Grassland species, including grasses, display a diverse ability to utilise soil resources. Nitrogen fluxes and the nitrogen absorption by grass swards of two species with contrasting rooting depths were computed using the appropriate module from the STICS simulation platform. In the case of the deep-rooted species, tall fescue, soil mineral N fluxes to the roots were very close to N uptake values, consistent with its nitrogen nutrition index being lower than one. In the case of the shallow-rooted species Italian ryegrass, there was a large excess in terms of N supply, which was also consistent with its non-limiting nitrogen nutrition index. In both species, and even when nitrogen demands for growth were fully satisfied, the nitrogen nutrition index was closely and linearly related to the soil mineral N flux to roots.     

Iterative PET Image Reconstruction Using Translation Invariant Wavelet Transform

The present work describes a Bayesian maximum a posteriori (MAP) method using a statistical multiscale wavelet prior model. Rather than using the orthogonal discrete wavelet transform (DWT), this prior is built on the translation invariant wavelet transform (TIWT). The statistical modeling of wavelet coefficients relies on the generalized Gaussian distribution. Image reconstruction is performed in spatial domain with a fast block sequential iteration algorithm. We study theoretically the TIWT MAP method by analyzing the Hessian of the prior function to provide some insights on noise and resolution properties of image reconstruction. We adapt the key concept of local shift invariance and explore how the TIWT MAP algorithm behaves with different scales. It is also shown that larger support wavelet filters do not offer better performance in contrast recovery studies. These theoretical developments are confirmed through simulation studies. The results show that the proposed method is more attractive than other MAP methods using either the conventional Gibbs prior or the DWT-based wavelet prior.     

Selectivity of high surface area Ce0.68Zr0.32O2 for the new generation of TWC under environments with different redox character

A number of experiments were carried out with fresh and aged high surface area Ce_0.68Zr_0.32O₂ mixed oxide samples with complex feed-streams in order to determine their performance as three way catalyst (TWC). The results confirmed the oxygen storage capacity (OSC) of these samples, which favour NO conversion in cycled versus stationary stoichiometric operation. Several experiments carried out with different feed-streams have shown that a pre-reducing treatment can significantly improve both NO reduction at low-temperature and selectivity to N₂, which can be very useful to reduce the emission of nitrogen oxides immediately after starting the automobile. Although a significant reduction of the specific surface area of the mixed oxide takes place during ageing at 1173 K, it has been shown that the performance of the sample remains similar or even better than when fresh, due to an increased OSC. Thus, the reduction of CO and hydrocarbon emissions during start could be achieved by situating the catalytic converter nearer the exhaust to the engine, where the catalyst will be heated faster.     

Pr-doped ZBLA fluoride glasses for visible laser emission

Praseodymium doped Fluoride glasses were studied in order to fabricate compact solid state laser sources emitting in the visible range for lighting application and for quantum information processing. The objective of this study is focused on red, green and orange emissions. ZBLA bulk glasses (57%ZrF₄ - 34%BaF₂ - (5 − x)%LaF₃ - 4%AlF₃ - x%PrF₃) have been synthesized under dry argon atmosphere. Physicochemical and optical properties such as density, glass transition temperature, composition, transmission and refractive index have been investigated. Spectroscopic studies have been performed to optimize the rare earth doping level in order to reach the best compromise respecting a good optical quality, a highest lifetime and efficient emission intensity at 635, 605 and 520 nm. Spectroscopic measurements have been carried out on bulk samples with Pr³⁺ concentrations ranging from 0.1 to 3 mol% and first characterizations of ion exchanged Pr: ZBLA waveguides are reported.     

Structure,homogeneity ranges,magnetic, and electrical properties of the ordered Laves phases RENi4Mg with MgCu4Sn type structure

New ordered Laves phases RENi₄Mg (RE = Sc, Sm, Tb–Lu) were synthesized from the elements in sealed tantalum ampoules in an induction furnace. Six of the structures were refined on the basis of X-ray single crystal data. The diffraction experiments gave hint for small homogeneity ranges RE_1+xNi₄Mg_1?x. Magnetic susceptibility measurements show Curie–Weiss behavior for RE = Gd, Dy, Ho, Tm, Yb and the resulting effective magnetic moments suggest both stable trivalent states for all RE and a non-magnetic state for Ni. Gd_1+xNi₄Mg_1?x (x ≈ 0.12) orders antiferromagnetically at a Néel temperature of T_N = 4.6(5) K. Resistivity measurements reflect the metallic nature of these compounds.