École normale supérieure de Cachan

About: École normale supérieure de Cachan is a education organization based out in Cachan, Île-de-France, France. It is known for research contribution in the topics: Decidability & Finite element method. The organization has 2717 authors who have published 5585 publications receiving 175925 citations.

Photophysics of a Series of Efficient Fluorescent pH Probes for Dual‐Emission‐Wavelength Measurements in Aqueous Solutions

Abstract: This paper evaluates the 5-aryl-2-pyridyloxazole backbone to engineer donor-acceptor fluorescent pH probes after one- or two-photon absorption. Parent fluorophores, as well as derivatives that can be used to label biomolecules, can be easily obtained in good yields. These molecules exhibit a large one-photon absorption in the near-UV range, and a strong fluorescence emission that covers the whole visible domain. The 5-aryl-2-pyridyloxazole derivatives also possess significant cross sections for two-photon absorption. Upon pyridine protonation, large shifts were observed in the absorption spectra after one- and two-photon excitation, as well as in the emission spectra. This feature was used to measure the pK(a) of the investigated compounds that range between 2 and 8. In most of the investigated derivatives, the pK(a) increased upon light excitation and protonation exchanges took place during the lifetime of the excited state, as shown by phase-modulation fluorometry analysis. Several 5-aryl-2-pyridyloxazole derivatives are suggested as efficient probes to reliably measure the pH of aqueous solutions by means of ratiometric methods that are dependent on fluorescence emission.

Challenges Facing PFC of a Single-Phase On-Board Charger for Electric Vehicles Based on a Current Source Active Rectifier Input Stage

Abstract: This paper aims to study the power factor (PF) correction scheme for a single-phase on-board charger of electric vehicles. The topology is based on a unidirectional current source active rectifier (CSAR) consisting of four insulated-gate bipolar transistors in series with four diodes followed by a boost converter. Buck-type rectifiers inject low-order input current harmonics into the ac mains. Thus, an inductor–capacitor ( LC ) input filter is employed. The capacitor's reactive energy results in a leading grid current. In order to achieve a unity displacement power factor, a phase shift control is implemented. However, the LC filter is prone to series and parallel resonances coming from the grid disturbances and the converter harmonics, respectively. Therefore, the phase shift control strategy combined with the topology of the CSAR results in a periodical resonance of the input filter. This phenomenon is studied in detail. In order to reduce the grid current's distortion level, an active damping control with resonance frequency tracking that achieves a good PF while meeting the IEC's international standards on harmonic current emissions is presented. An experimental test bench is developed to validate the simulations’ theoretical findings. Compliance with the standards is achieved and system limitations are discussed.

Gradual typing with union and intersection types

Abstract: We propose a type system for functional languages with gradual types and set-theoretic type connectives and prove its soundness. In particular, we show how to lift the definition of the domain and result type of an application from non-gradual types to gradual ones and likewise for the subtyping relation. We also show that deciding subtyping for gradual types can be reduced in linear time to deciding subtyping on non-gradual types and that the same holds true for all subtyping-related decision problems that must be solved for type inference. More generally, this work not only enriches gradual type systems with unions and intersections and with the type precision that arise from their use, but also proposes and advocates a new style of gradual types programming where union and intersection types are used by programmers to instruct the system to perform fewer dynamic checks.

Weak solutions and supersolutions in L 1 for reaction-diffusion systems

Abstract: We prove here that limits of nonnegative solutions to reaction-diffusion systems whose nonlinearities are bounded in \( L^1 \) always converge to supersolutions of the system. The motivation comes from the question of global existence in time of solutions for the wide class of systems preserving positivity and for which the total mass of the solution is uniformly bounded. We prove that, for a large subclass of these systems, weak solutions exist globally.

Techniques for patterning and guidance of primary culture neurons on micro-electrode arrays

Abstract: In this work, two different micro-patterning methods for use in the growth guidance of dissociated primary culture neuron cells are compared: open chemically patterned growth substrates and enclosed micro-fluidic channels. Open, chemically patterned growth substrates are prepared by photolithographically patterning perfluoropolymer barrier structures on glass substrates. Neural pathways are created when poly- l -lysine is selectively adsorbed on the glass to form a cytophilic growth matrix. Adsorption of albumin proteins on the perfluoropolymer regions renders the surface cytophobic. In a second method, a three-dimensional micro-fluidic system, fabricated from PDMS is tested as a way to guide neural growth through total confinement and for cell placement. Both of these methods are tested for alignment and compatibility on a commercially available micro-electrode array (MED64). Biological culture and imaging techniques are considered.