É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.

Nominal techniques in Isabelle/HOL

Abstract: In this paper we define an inductive set that is bijective with the α-equated lambda-terms. Unlike de-Bruijn indices, however, our inductive definition includes names and reasoning about this definition is very similar to informal reasoning on paper. For this we provide a structural induction principle that requires to prove the lambda-case for fresh binders only. The main technical novelty of this work is that it is compatible with the axiom-of-choice (unlike earlier nominal logic work by Pitts et al); thus we were able to implement all results in Isabelle/HOL and use them to formalise the standard proofs for Church-Rosser and strong-normalisation.

Correcteurs proportionnels-intégraux généralisés

Abstract: For constant linear systems we are introducing integral reconstructors and generalized proportional-integral controllers , which permit to bypass the derivative term in the classic PID controllers and more generally the usual asymptotic observers. Our approach, which is mainly of algebraic flavour, is based on the module-theoretic framework for linear systems and on operational calculus in Mikusinski's setting. Several examples are discussed.

Molecules-oligomers-nanowires-graphene nanoribbons: a bottom-up stepwise on-surface covalent synthesis preserving long-range order.

Abstract: We report on a stepwise on-surface polymerization reaction leading to oriented graphene nanoribbons on Au(111) as the final product. Starting from the precursor 4,4″-dibromo-p-terphenyl and using the Ullmann coupling reaction followed by dehydrogenation and C–C coupling, we have developed a fine-tuned, annealing-triggered on-surface polymerization that allows us to obtain an oriented nanomesh of graphene nanoribbons via two well-defined intermediate products, namely, p-phenylene oligomers with reduced length dispersion and ordered submicrometric molecular wires of poly(p-phenylene). A fine balance involving gold catalytic activity in the Ullmann coupling, appropriate on-surface molecular mobility, and favorable topochemical conditions provided by the used precursor leads to a high degree of long-range order that characterizes each step of the synthesis and is rarely observed for surface organic frameworks obtained via Ullmann coupling.

Solid-State Physics Perspective on Hybrid Perovskite Semiconductors

Abstract: In this review we examine recent theoretical investigations on 2D and 3D hybrid perovskites (HOPs) that combine classical solid-state physics concepts and density functional theory (DFT) simulations as a tool for studying their optoelectronic properties. Such an approach allows one to define a new class of semiconductors, where the pseudocubic high-temperature perovskite structure plays a central role. Bloch states and k.p. Hamiltonians yield new insight into the influence of lattice distortions, including loss of inversion symmetry, as well as spin–orbit coupling. Electronic band folding and degeneracy, effective masses, and optical absorption are analyzed. Concepts of Bloch and envelope functions, as well as confinement potential, are discussed in the context of layered HOP and 3D HOP heterostructures. Screening and dielectric confinements are important for room-temperature optical properties of 3D and layered HOP, respectively. Nonradiative Auger effects are analyzed for the first time close to the ele...