pinecone/core-2020-05-10-deduplication huggingface dataset:
Parallel computation of echelon forms

International audienceWe propose efficient parallel algorithms and implementations on shared memory architectures of LU factorization over a finite field. Compared to the corresponding numerical routines, we have identified three main difficulties specific to linear algebra over finite fields. First, the arithmetic complexity could be dominated by modular reductions. Therefore, it is mandatory to delay as much as possible these reductions while mixing fine-grain parallelizations of tiled iterative and recursive algorithms. Second, fast linear algebra variants, e.g., using Strassen-Winograd algorithm, never suffer from instability and can thus be widely used in cascade with the classical algorithms. There, trade-offs are to be made between size of blocks well suited to those fast variants or to load and communication balancing. Third, many applications over finite fields require the rank profile of the matrix (quite often rank deficient) rather than the solution to a linear system. It is thus important to design parallel algorithms that preserve and compute this rank profile. Moreover, as the rank profile is only discovered during the algorithm, block size has then to be dynamic. We propose and compare several block decomposition: tile iterative with left-looking, right-looking and Crout variants, slab and tile recursive. Experiments demonstrate that the tile recursive variant performs better and matches the performance of reference numerical software when no rank deficiency occur. Furthermore, even in the most heterogeneous case, namely when all pivot blocks are rank deficient, we show that it is possbile to maintain a high efficiency
Netamines O–S, five new tricyclic guanidine alkaloids from the Madagascar sponge Biemna laboutei and their antimalarial activity.

International audienceIn our continuing program to isolate new compounds from the Madagascar sponge Biemna laboutei, five new tricyclic guanidine alkaloids, netamines O - S (1-5, resp.), have been identified together with the known compounds netamine E (6) and mirabilin J (7). The structures of all new netamines were assigned on the basis of spectroscopic analyses. Their relative configurations were established by analysis of ROESY data and comparison with literature data. Netamines O, P, and Q, which were isolated in sufficient quantities, were tested for their cytotoxic activities against KB cells and their activities against the malaria parasite Plasmodium falciparum. Netamines O and Q were found to be moderately cytotoxic. Netamines O, P, and Q exhibited antiplasmodial activities with IC50 values of 16.99±4.12, 32.62±3.44, and 8.37±1.35 μM, respectively
Confronting coastal morphodynamics with counter-erosion engineering: the emblematic case of Wissant Bay, Dover Strait

International audienceWissant Bay is a picturesque and highly frequented French coastal resort comprising beaches, dunes, marshes, and bold capes facing the Dover Strait. Situated at the southern approaches to the North Sea, the 8 km-long bay has, arguably, the most rapidly eroding shoreline in metropolitan France. Retreat has largely affected much of the bay shoreline west of Wissant town, with parts of this sector having lost up to 250 m in the last 50 years, whereas a much smaller sector east of the town is a zone of accretion. Various dune, beach and nearshore morphodynamic studies conducted over the last decade have identified chronic sand bleeding from the western sector and longshore transport to the east, within a framework of what appears to be an ongoing shoreline rotation process within a dominant longshore sediment transport cell between the headland of Cape Gris Nez to the west and the bold chalk cliffs of Cape Blanc Nez to the east. Retreat of the narrowing beach-dune barrier poses a threat in the coming years, as there is a likelihood of it being breached by storms. The seawall protecting Wissant town has also been repeatedly damaged since 2000 due to the chronic sand deficit. These changes involve interactions between a nearshore sand bank, a complex macrotidal beach comprising multiple subtidal to intertidal bars and troughs subject to strong longshore sand transport especially during storms, and aeolian dunes. The nearshore bank acts as a dissipater of incident storm wave energy and as a sand source for the multi-barred beaches and dunes, and has been strongly impacted by past massive aggregate extraction. The bank is, in turn, part of a larger system of mobile banks reworked by storms and tidal currents within the framework of a sand circulation system between the eastern English Channel and the southern North Sea. The aim of this work is to confront knowledge acquired on the morphodynamics of the bay with an engineering plan proposed to counter erosion and reestablish shoreline stability. The plan is based essentially on the creation of an 'equilibrium' beach profile, capable of withstanding storms, comprising an enlarged upper beach berm, and constructed through beach nourishment from a nearshore source located 20 km east of Wissant Bay. The plan has not been implemented because of cost. Even if it were to be implemented, its efficiency seems very doubtful because the beach profile simulations on which it is based neglect the complex multi-barred morphology and the overwhelming dominant longshore transport over bars during storms. The plan is also geared towards resolving a local problem of erosion that is embedded in the larger and rather complex spatiotemporal morphodynamics and sediment transport mechanisms evoked above. Wissant Bay is emblematic of the problems of erosion facing many communes in France, and elsewhere. The fight against shoreline erosion generally starts with the commonly insurmountabl
Probabilistic approach for predicting periodic orbits in piecewise affine differential models

International audiencePiecewise affine models provide a qualitative description of the dynamics of a system, and are often used to study genetic regulatory networks. The state space of a piecewise affine system is partitioned into hyperrectangles, which can be represented as nodes in a directed graph, so that the system's trajectories follow a path in a transition graph.This paper proposes and compares two definitions of probability of transition between two nodes A and B of the graph, based on the volume of the initial conditions on the hyperrectangle A whose trajectories cross to B. The parameters of the system can thus be compared to the observed transitions between two hyperrectangles. This property may become useful to identify sets of parameters for which the system yields a desired periodic orbit with a high probability, or to predict the most likely periodic orbit given a set of parameters, as illustrated by a gene regulatory system composed of two intertwined negative loops
A discrete duality finite volume discretization of the vorticity-velocity-pressure formulation of the 2D Stokes problem on almost arbitrary two-dimensional grids

International audienceWe present an application of the discrete duality finite volume method to the numerical approximation of the vorticity-velocity-pressure formulation of the 2D Stokes equations, associated to various non-standard boundary conditions. The finite volume method is based on the use of discrete differential operators obeying some discrete duality principles. The scheme may be seen as an extension of the classical MAC scheme to almost arbitrary meshes, thanks to an appropriate choice of degrees of freedom. The efficiency of the scheme is illustrated by numerical examples over unstructured triangular and locally refined non-conforming meshes, which confirm the theoretical convergence analysis led in the article
Determination of the cation site distribution of the spinel in multiferroic CoFe2O4 / BaTiO3 layers by X-ray photoelectron spectroscopy

International audienceThe properties of CoFe2O4/BaTiO3 artificial multiferroic multilayers strongly depend on the crystalline structure, the stoichiometry and the cation distribution between octahedral (Oh) and tetrahedral (Td) sites (inversion factor). In the present study, we have investigated epitaxial CoFe2O4 layers grown on BaTiO3, with different Co/Fe ratios. We determined the cation distribution in our samples by X-ray magnetic circular dichroism (XMCD), a well accepted method to do so, and by X-ray photoelectron spectroscopy (XPS), using a fitting method based on physical considerations. We observed that our XPS approach converged on results consistent with XMCD measurements made on the same samples. Thus, within a careful decomposition based on individual chemical environments it is shown that XPS is fully able to determine the actual inversion factor
Physical characterization of molybdenum microtips field emitter arrays

International audienceWe used a dedicated hemispherical energy analyzer to measure energetic and angular distributions of electrons emitted from Molybdenum microtips integrated in a 1 cm<sup>2</sup> Field Emitter Array designed by the CEA/LETI laboratory. Such cathodes typically deliver about 25mA at an extraction voltage of 100V, and are studied in order to replace heated wires as electron sources for space applications. We find that the energy distribution of the beam strongly depends on the extraction voltage, and is therefore expected to vary across the emission life time of the device, at a rate depending both on the alteration of the resistive structure with time, and on the fate of adsorbed contaminants at the tip surface. A semi-empirical model of the emitters is proposed and used to determine parameters of energetic and angular distributions. The energy dispersion of the beam is found to increase from 2eV±20% up to 9eV±20% eV, for extraction voltages varying from 40 to 100 V. The mean angular dispersion of the beam is found to be 42° ±20% when a null electric field is set at the grid extraction surface
Modelling Dynamic Memory Management in Constraint-Based Testing

International audienceConstraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. When programs contain dynamic memory allocation and loops, constraint reasoning becomes challenging as new variables and new constraints should be created during the test data generation process. In this paper, we address this problem by proposing a new constraint model of C programs based on operators that model dynamic memory management. These operators apply powerful deduction rules on abstract states of the memory enhancing the constraint reasoning process. This allows to automatically generate test data respecting complex coverage objectives. We illustrate our approach on a well-known difficult example program that contains dynamic memory allocation/deallocation, structures and loops. We describe our implementation and provide preliminary experimental results on this example that show the highly deductive potential of the approach
Effect of sonication conditions: solvent, time, temperature and reactor type on the preparation of micron sized vermiculite particles

International audienceThe effects of temperature, time, solvent and sonication conditions under air and Argon are described for the preparation of micron and sub-micron sized vermiculite particles in a double-jacketed Rosett-type or cylindrical reactor. The resulting materials were characterized via X-ray powder diffraction (XRD), Field Emission Scanning Electron Microscopy (FE-SEM), Fourier Transform Infrared (FTIR) Spectroscopy, BET surface area analysis, chemical analysis (elemental analysis), thermogravimetry analysis (TGA) and Laser Granulometry. The sonicated vermiculites displayed modified particle morphologies and reduced sizes (observed by scanning electron microscopy and laser granulometry). Under the conditions used in this work, sub-micron sized particles were obtained after 5 h of sonication, whereas longer times promoted aggregation again. Laser granulometry data revealed also that the smallest particles were obtained at high temperature while it is generally accepted that the mechanical effects of ultrasound are optimum at low temperatures according to physical/chemical properties of the used solvent. X-ray diffraction results indicated a reduction of the crystallite size along the basal direction [001]; but structural changes were not observed. Sonication at different conditions also led to surface modifications of the vermiculite particles brought out by BET surface measurements and Infrared Spectroscopy. The results indicated clearly that the efficiency of ultrasound irradiation was significantly affected by different parameters such as temperature, solvent, type of gas and reactor type
Lead isotopes behavior in the fumarolic environment of the Piton de la Fournaise volcano (Reunion Island)

International audienceThe recent activity of the Piton de la Fournaise volcano offers a rare opportunity to address the issue of Pb isotope behavior in volcanic fumaroles, as the composition of the degassing source is accurately and precisely known. Gas sublimates formed between 2007 and 2011 at temperature ranging from 400 to ca. 100 degrees C include Na-K sulfate (aphthitalite), Ca-Cu sulfate (e.g., gypsum), Na sulfate (thenardite), Ca-Mg-Al-Fe fluoride (e.g., ralstonite) and native sulfur. The high-temperature deposits show trace element patterns typical of volcanic gas (with Pb concentration up to 836 ppm) while the low-temperature deposits are depleted in most volatile elements (Pb <1 ppm) with the exception of Pd and Tl (in fluorides) and Se (in native sulfur). Only for low-temperature fluoride samples do Pb isotope compositions plot significantly outside the field of lavas. The isotopic shift is ascribed to leaching ubiquitous unradiogenic phases (e.g., sulfides) by acidic gas condensates. The similarity in Pb isotope signature between lavas and sublimate samples more representative of the gas phase (sulfates) indicates that the net fractionation of Pb isotopes resulting from volatilization and condensation processes is smaller than the precision of Pb isotope measurements (better than 60 ppm/a.m.u.). The absence of net fractionation could result from negligible isotope fractionation during Pb volatilization followed by extensive condensation of gaseous Pb, with possibly significant isotopic fractionation at this stage. Although this scenario has to be refined by more direct measurement of the gas phase, and its general applicability tested, it suggests that a small fraction (<10\%) of initially volatilized Pb ultimately escapes to the atmosphere, while the remaining dominant fraction is trapped in sublimates. As sublimates are rapidly dissolved and entrained by runoff, the fumarolic environment appears as a factory efficiently transferring isotopically unfractionated Pb from magmas towards the hydrological system and seawater. Resolving very small isotopic differences between magmas and their gaseous products remains an analytical challenge. High-precision Pb isotope measurements rest not only on instrumental performance but also on high-yield chemistry, as Pb isotopes drastically fractionate (800 ppm/a.m.u.) upon elution on anionic resin. For 50\% Pb recovery, the estimated isotopic bias is plus or minus 60-80 ppm/a.m.u., depending on which of the early (isotopically light) or late (isotopically heavy) Pb fraction is lost. (c) 2012 Elsevier Ltd. All rights reserved
A numerical study of the hyperbolic manifolds in a priori unstable systems. A comparison with Melnikov approximations

International audienceUsing numerical methods we study the hyperbolic manifolds in a model of a priori unstable dynamical system. We compare the numerically computed manifolds with their analytic expression obtained with the Melnikov approximation. We find that, at small values of the perturbing parameter, the topology of the numerically computed stable and unstable manifolds is the same as in their Melnikov approximation. Increasing the value of the perturbing parameter, we find that the stable and unstable manifolds have a peculiar topological transition. We find that this transition occurs near those values of the perturbing parameter for which the error terms of Melnikov approximations have a sharp increment. The transition value is also correlated with a change in the behaviour of dynamical quantities, such as the largest Lyapunov exponent and the diffusion coefficient
Modelling and back-analysing failures in steep limestone cliffs

International audienceThe observation of 12 rock fall scars in steep limestone cliffs has shown that the fallen masses were stable as a result of relatively small rock bridges. These results demonstrate that consideration of rock bridges is necessary for a realistic evaluation of stability. Limit equilibrium methods of analysis are presented for sliding and toppling, for both isostatic and hyperstatic conditions. These methods are illustrated with four case histories. The results of nine back-analyses of rock falls with volumes between 24 and 3500 m3 are presented. The rock cohesion obtained from back-analysis appears to be significantly lower than the cohesion obtained from classical laboratory tests. This discrepancy can be attributed to several factors including: a spatial and temporal scale effect, the oversimplified modelling (two-dimensional limit equilibrium) and some uncertainties affecting the geometrical data. When analysing the stability of a cliff with a limit equilibrium method, the authors suggest dividing the cohesion by a "scale and method" factor of 3
Rhombohedral calcite precipitation from CO2-H2O-Ca(OH)2 slurry under supercritical and gas CO2 media

International audienceThe formation of solid calcium carbonate (CaCO3) from aqueous solutions or slurries containing calcium and carbon dioxide (CO2) is a complex process of considerable importance in the ecological, geochemical and biological areas. Moreover, the demand for powdered CaCO3 has increased considerably recently in various fields of industry. The aim of this study was therefore to synthesize fine particles of calcite with controlled morphology by hydrothermal carbonation of calcium hydroxide at high CO2 pressure (initial PCO2=55 bar) and at moderate and high temperature (30 and 90°C). The morphology of precipitated particles was identified by transmission electron microscopy (TEM/EDS) and scanning electron microscopy (SEM/EDS). In addition, an X-ray diffraction analysis was performed to investigate the carbonation efficiency and purity of the solid product. Carbonation of dispersed calcium hydroxide ( ) in the presence of supercritical (PT=90 bar, T=90°C) or gaseous (PT=55 bar, T=30°C) CO2 led to the precipitation of sub-micrometric isolated particles (<1µm) and micrometric agglomerates (<5µm) of calcite. For this study, the carbonation efficiency (Ca(OH)2-CaCO3 conversion) was not significantly affected by PT conditions after 24 h of reaction. In contrast, the initial rate of calcium carbonate precipitation increased from 4.3 mol/h in the "90bar-90°C" system to 15.9 mol/h in the "55bar-30°C" system. The use of high CO2 pressure may therefore be desirable for increasing the production rate of CaCO3, carbonation efficiency and purity, to approximately 48 kg/m3h, 95% and 96.3%, respectively in this study. The dissipated heat for this exothermic reaction was estimated by calorimetry to be -32 kJ/mol in the "90bar-90°C" system and -42 kJ/mol in the "55bar-30°C" system
Impact of soil moisture-climate feedbacks on CMIP5 projections: First results from the GLACE-CMIP5 experiment

International audienceThe Global Land-Atmosphere Climate Experiment-Coupled Model Intercomparison Project phase 5 (GLACE-CMIP5) is a multimodel experiment investigating the impact of soil moisture-climate feedbacks in CMIP5 projections. We present here first GLACE-CMIP5 results based on five Earth System Models, focusing on impacts of projected changes in regional soil moisture dryness (mostly increases) on late 21st century climate. Projected soil moisture changes substantially impact climate in several regions in both boreal and austral summer. Strong and consistent effects are found on temperature, especially for extremes (about 1-1.5 K for mean temperature and 2-2.5 K for extreme daytime temperature). In the Northern Hemisphere, effects on mean and heavy precipitation are also found in most models, but the results are less consistent than for temperature. A direct scaling between soil moisture-induced changes in evaporative cooling and resulting changes in temperature mean and extremes is found in the simulations. In the Mediterranean region, the projected soil moisture changes affect about 25% of the projected changes in extreme temperature. Key Points GLACE-CMIP5 quantifies soil moisture feedbacks in climate projections Impacts on late 21st century temperature and precipitation mean and extremes Effects of about 25% for temperature extremes in Mediterranean region © 2013 The Authors. Geophysical Research Letters published by Wiley on behalf of the American Geophysical Union
Uncertainty in an emissions-constrained world

Our study focuses on uncertainty in greenhouse gas (GHG) emissions from anthropogenic sources, including land use and land-use change activities. We aim to understand the relevance of diagnostic (retrospective) and prognostic (prospective) uncertainty in an emissions-temperature setting that seeks to constrain global warming and to link uncertainty consistently across temporal scales. We discuss diagnostic and prognostic uncertainty in a systems setting that allows any country to understand its national and near-term mitigation and adaptation efforts in a globally consistent and long-term context. Cumulative emissions are not only constrained and globally binding but exhibit quantitative uncertainty; and whether or not compliance with an agreed temperature target will be achieved is also uncertain. To facilitate discussions, we focus on two countries, the USA and China. While our study addresses whether or not future increase in global temperature can be kept below 2, 3, or 4 degrees C targets, its primary aim is to use those targets to demonstrate the relevance of both diagnostic and prognostic uncertainty. We show how to combine diagnostic and prognostic uncertainty to take more educated (precautionary) decisions for reducing emissions toward an agreed temperature target; and how to perceive combined diagnostic and prognostic uncertainty-related risk. Diagnostic uncertainty is the uncertainty contained in inventoried emission estimates and relates to the risk that true GHG emissions are greater than inventoried emission estimates reported in a specified year; prognostic uncertainty refers to cumulative emissions between a start year and a future target year, and relates to the risk that an agreed temperature target is exceeded
Detecting broken PT-symmetry

A fundamental problem in the theory of PT-invariant quantum systems is to determine whether a given system 'respects' this symmetry or not. If not, the system usually develops non-real eigenvalues. It is shown in this contribution how to algorithmically detect the existence of complex eigenvalues for a given PT-symmetric matrix. The procedure uses classical results from stability theory which qualitatively locate the zeros of real polynomials in the complex plane. The interest and value of the present approach lies in the fact that it avoids diagonalization of the Hamiltonian at hand