Fonctions constructibles et intégration motivique II

We extend the formalism of an earlier Note to a global setting for which a theorem on fiber integrals and a Fubini theorem are obtained. We compare our formalism to the previous constructions given by Denef and Loeser. To cite this article: R. Cluckers, F. Loeser, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Identification of new catalysts for the asymmetric reduction of imines into chiral amines with polymethylhydrosiloxane using high-throughput screening

The use of high-throughput techniques allowed the rapid identification of new catalysts for the enantioselective reduction of imines using polymethylhydrosiloxane (PMHS) as a reducing agent. By a simple modification of the chiral ligand structure that came out of the screening, the enantioselectivity of the reduction was increased from 40% ee to 60% ee.     

Des équations de Dirac et de Schrödinger pour la transformation de Fourier

Dyson has associated with the Fredholm determinants of the even (resp. odd) Dirichlet kernels a Schrödinger equation on the half-axis and has used, in tandem, the Gel'fand–Levitan and Marchenko methods of inverse scattering theory to study the asymptotics of these determinants. We have proposed following our unearthing of the conductor operator to seek to realize the Fourier transform itself as a scattering, and we obtain here to this end two Dirac systems on the entire real axis which are intrinsically associated, respectively, to the cosine and to the sine transforms. To cite this article: J.-F. Burnol, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Multipole-Bound Molecular Negative Ions

 Within the framework of a simple electrostatic model, as compared to recent experimental results, we here discuss the stability of very weakly bound molecular negative ions. In contrast with the case of conventional valence anions, the excess electron is then located in a very diffuse orbital and is mainly bound by electrostatic dipolar, quadrupolar, and polarization forces, at large distances from the neutral molecular core. By fitting a single repulsion parameter of the model to the available experimental data, it is possible to make quantitative predictions of the excess-electron binding energies in these species. Critical values of the dipole moment, quadrupole moment or polarizability required for the observation of stable multipole-bound negative ions are predicted and compared to available experimental data and ab initio calculations. Received October 24, 2001; accepted for publication November 16, 2001     

Assessment of some iterative methods for non-symmetric linear systems arising in computational fluid dynamics

Various tests have been carried out in order to compare the performances of several methods used to solve the non-symmetric linear systems of equations arising from implicit discretizations of CFD problems, namely the scalar advection-diffusion equation and the compressible Euler equations. The iterative schemes under consideration belong to three families of algorithms: relaxation (Jacobi and Gauss-Seidel), gradient and Newton methods. Two gradient methods have been selected: a Krylov subspace iteration method (GMRES) and a non-symmetric extension of the conjugate gradient method (CGS). Finally, a quasi-Newton method has also been considered (Broyden). The aim of this paper is to provide indications of which appears to be the most adequate method according to the particular circumstances as well as to discuss the implementation aspects of each scheme.     

Radical Couplings as Key Steps for the Preparation of Derivatives of Nonactic Acid

Summary. Free radical couplings from furan, as cheap starting material, were studied in view of developing a rapid strategy en route to the synthesis of derivatives of nonactin. The chain containing the alcohol function was introduced in one or two steps in 86% yield. For the introduction of the second chain with the ester function two different coupling methods were tested. Starting from the advanced intermediates obtained nonactin derivatives can be prepared by catalytic hydrogenation of the furan ring.     

A combinatorial outlook on symmetric functions

We establish a combinatorial interpretation for various operations on symmetric functions, such as plethysm, scalar product, and derivation. Thus we obtain proofs of formulas involving symmetric functions in term of combinatorial constructions on permutations.     

K-Dependence and temperature dependence of N2-, H2-, and He-broadening coefficients for the J = 12-11 transition of acetonitrile CH3CN located near 220.7 GHz

Extensive experiments on the K = 3 component of the J = 12-11 rotational transition of acetonitrile CH₃C¹⁴N, located near 220.7 GHz, were performed at different temperatures in the range 235-350 K. They allow determining the N₂-, H₂-, and He-broadening coefficients, as well as their temperature dependences. More specific measurements on all the K-components of the involved transition perturbed by N₂ at 303 K allow to point out a clear decreasing of the broadening coefficient with increasing K. Narrowing effects are clearly observed, and experimental lines were analysed both with Voigt and speed dependent Voigt profiles; but no exhaustive lineshape study was carried out. All the experimental parameters are compared with results derived from a semiclassical calculation of collisional interactions, including electrostatic, induction, and dispersion energy contributions.     

Homology of proof-nets

This work defines homology groups for proof-structures in multiplicative linear logic (see [Gir1], [Gir2], [Dan]). We will show that these groups characterize proof-nets among arbitrary proof-structures, thus obtaining a new correctness criterion and of course a new polynomial algorithm for testing correctness. This homology also bears information on sequentialization. An unexpected geometrical interpretation of the linear connectives is given in the last section. This paper exclusively focuses onabstract proof-structures, i.e. paired-graphs. The relation with actual proofs is investigated in [Gir1], [Gir2], [Dan], [Ret] and [Tro].