É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 & Nonlinear system. The organization has 2717 authors who have published 5585 publications receiving 175925 citations.

Forward Analysis for WSTS, Part II: Complete WSTS

Abstract: We describe a simple, conceptual forward analysis procedure for infinity-complete WSTS S. This computes the so-called clover of a state. When S is the completion of a WSTS X, the clover in S is a finite description of the downward closure of the reachability set. We show that such completions are infinity-complete exactly when X is an omega-2-WSTS, a new robust class of WSTS. We show that our procedure terminates in more cases than the generalized Karp-Miller procedure on extensions of Petri nets and on lossy channel systems. We characterize the WSTS where our procedure terminates as those that are clover-flattable. Finally, we apply this to well-structured counter systems.

ABAB homoleptic bis(phthalocyaninato)lutetium(III) complex: toward the real octupolar cube and giant quadratic hyperpolarizability.

Abstract: The concept of octupolar molecules has considerably enlarged the engineering of second-order nonlinear optical materials by giving access to 2D and 3D architectures However, if the archetype of octupolar symmetry is a cube with alternating donor and acceptor groups at the corners, no translation of this ideal structure into a real molecule has been realized to date This may be achieved by designing a bis(phthalocyaninato)lutetium(III) double-decker complex with a crosswise ABAB phthalocyanine bearing alternating electron-donor and electron-acceptor groups In this communication, we present the first step toward this goal with the synthesis, crystal structure determination, and measurement of the molecular first-order hyperpolarizability β by harmonic light diffusion, of an original lutetium(III) sandwich complex displaying the required ABAB-type alternation for one face of the cube This structure is characterized by an intense absorption in the near-IR due to an intervalence transition and exhibits the

Pitfalls and their remedies in time-resolved fluorescence spectroscopy and microscopy.

Abstract: Time-resolved fluorescence spectroscopy and microscopy in both time and frequency domains provide very useful and accurate information on dynamic processes. Good quality data are essential in obtaining reliable parameter estimates. Distortions of the fluorescence response due to artifacts may have disastrous consequences. We provide here a concise overview of potential difficulties encountered under daily laboratory circumstances in the use of time- and frequency-domain equipment as well as practical remedies against common error conditions, elucidated with several graphs to aid the researcher in visual inspection and quality-control of collected data. A range of artifacts due to sample preparation or to optical and electronic pitfalls are discussed, as are remedies against them. Also recommended data analysis strategies are described.