Potential influence of microorganisms on the corrosion of carbon steel in the French high- and intermediate-level long-lived radioactive waste disposal context

In the context of the high-level radioactive waste disposal CIGEO, the corrosion rate due to microbially influenced corrosion (MIC) has to be evaluated. In France, it is envisaged to dispose of high- and intermediate-level long-lived radioactive waste at a depth of 500 m in a deep geological disposal, drilled in the Callovo-Oxfordian claystone (Cox) formation. To do so, a carbon steel casing will be inserted inside disposal cells, which are horizontal tunnels drilled in the Cox. A specific cement grout will be injected between the carbon steel casing and the claystone. A study was conducted to evaluate the possibility of MIC on carbon steel in the foreseeable high radioactive waste disposal. The corrosiveness of various environments was investigated at 50°C and 80°C with or without microorganisms enriched from samples of Andra's underground research laboratory. The monitoring of corrosion during the experiments was ensured using gravimetric method and real-time corrosion monitoring using sensors based on the measurements of the electrical resistance. The corrosion data were completed with microbiological analyses including cultural and molecular characterizations.     

Supporting students’ participation in authentic proof activities in computer supported collaborative learning (CSCL) environments

In this paper, I review both mathematics education and CSCL literature and discuss how we can better take advantage of CSCL tools for developing mathematical proof skills. I introduce a model of proof in school mathematics that incorporates both empirical and deductive ways of knowing. I argue that two major forces have given rise to this conception of proving: a particular learning perspective promoted in reform documents and a genre of computer tools, namely dynamic geometry software, which affords this perspective of learning within the context of mathematical proof. Tracing the move from absolutism to fallibilism in the philosophy of mathematics, I highlight the vital role of community in the production of mathematical knowledge. This leads me to an examination of a certain CSCL tool whose design is guided by knowledge-building pedagogy. I argue that knowledge building is a suitable pedagogical approach for the proof model presented in this paper. Furthermore, I suggest software modifications that will better support learners’ participation in authentic proof tasks.     

Fast multi-scale detection of overlapping communities using local criteria

Many systems can be described using graphs, or networks. Detecting communities in these networks can provide information about the underlying structure and functioning of the original systems. Yet this detection is a complex task and a large amount of work was dedicated to it in the past decade. One important feature is that communities can be found at several scales, or levels of resolution, indicating several levels of organisation. Therefore a graph may have several community structures. Also networks tend to be large and hence require efficient processing. In this work, we present a new algorithm with linear complexity for the fast detection of communities across scales using a local criterion. We exploit the local aspect of the criterion to enable parallel computation and improve the execution speed further. The algorithm is tested against very large generated multi-scale networks and experiments demonstrate its efficiency and accuracy.     

Variable-coherence tomography for inverse scattering problems

We propose a technique for determining the pair-correlation function of a quasi-homogeneous medium. The method uses the variation of the spatial-coherence properties of the incident beam to generate two separate volumes of coherence where the field is correlated. Using this specially prepared beam, we reconstruct experimentally the correlation function of a scattering potential by recording the scattered intensity in only one direction.     

Propagation of partially coherent beams through particulate media

When propagating through particulate media, optical beams are degraded owing to scattering. We found that the ratio between the width of the distorted beam and the width of the initial beam decreases when the spatial coherence of the incident beam is reduced. These experimental observations are well described within the paraxial approximation of the transport theory.     

Synthesis and characterization of chloro-sulphide glass-ceramics containing neodymium(III) ions

In this paper, we describe the preparation of Nd³⁺ doped glass-ceramics in the (GeS₂)₇₀-(Ga₂S₃)₂₀-(CsCl)₁₀ system. Neodymium has been introduced as metallic powder or incorporated as sulphide. Appropriate heat treatments of the base-glass lead to glass-ceramics with controllable crystal sizes that are transparent in the visible and infrared spectral ranges. X-ray diffraction as well as electron diffraction techniques were used to investigate the crystallization process. Differential scanning calorimetry indicates that neodymium ions are poor nucleating agents in this glass compared to erbium ions. Luminescence measurements were also performed and point out that although the ceramization process increases significantly the luminescence efficiency, the neodymium ions are only partially incorporated in the nanocrystals.     

Frequency allocation problem in a SDMA satellite communication system

Spatial Division Multiple Access (SDMA) is a principle of radio resource sharing that relies on the division of the space dimension into separated communication channels. SDMA basically relies on adaptive and dynamic beam-forming associated to a clever algorithm in charge of resource allocation. As satellite communication systems move towards an increasing number of users and a larger throughput for each of them, SDMA is one of the most promising techniques that can reach these two goals. This paper studies static Frequency Assignment Problems (FAP) in a satellite communication system involving a gateway connected to a terrestrial network and some user terminals located in a service area. Two scenarios are considered: one based on SDMA and the other based on usual spot coverage. We propose original integer linear programming formulations and greedy allocation algorithms for the FAP which involves unusual cumulative interference constraints. By considering the link budget of each user, the objective is to maximize the number of users that the system can serve. We show through computational experiments on realistic data that the FAP associated with the SDMA system can be solved efficiently, yielding substantial improvement compared to the traditional system.     

Use of volatile compound metabolic signatures in poultry liver to back-trace dietary exposure to rapidly metabolized xenobiotics

The study investigated the feasibility of using volatile compound signatures of liver tissues in poultry to detect previous dietary exposure to different types of xenobiotic. Six groups of broiler chickens were fed a similar diet either noncontaminated or contaminated with polychlorinated dibenzo-p-dioxins/-furans (PCDD/Fs; 3.14 pg WHO-TEQ/g feed, 12% moisture), polychlorinated biphenyls (PCBs; 0.08 pg WHO-TEQ/g feed, 12% moisture), polybrominated diphenyl ethers (PBDEs; 1.63 ng/g feed, 12% moisture), polycyclic aromatic hydrocarbons (PAHs; 0.72 μg/g fresh matter), or coccidiostats (0.5 mg/g feed, fresh matter). Each chicken liver was analyzed by solid-phase microextraction - mass spectrometry (SPME-MS) for volatile compound metabolic signature and by gas chromatography - high resolution mass spectrometry (GC-HRMS), gas chromatography - tandem mass spectrometry (GC-MS/MS), and liquid chromatography - tandem mass spectrometry (LC-MS/MS) to quantify xenobiotic residues. Volatile compound signature evidenced a liver metabolic response to PAH although these rapidly metabolized xenobiotics are undetectable in this organ by the reference methods. Similarly, the volatile compound metabolic signature enabled to differentiate the noncontaminated chickens from those contaminated with PBDEs or coccidiostats. In contrast, no clear signature was pointed out for slowly metabolized compounds such as PCDD/Fs and PCBs although their residues were found in liver at 50.93 (±6.71) and 0.67 (±0.1) pg WHO-TEQ/g fat, respectively.     

Weakly supervised approaches for quality estimation

Currently, quality estimation (QE) is mostly addressed using supervised learning approaches. In this paper we show that unsupervised and weakly supervised approaches (using a small training set) perform almost as well as supervised ones, for a significantly lower cost. More generally, we study the various possible definitions, parameters, evaluation methods and approaches for QE, in order to show that there are multiple possible configurations for this task.