Institution
École normale supérieure de Cachan
Education•Cachan, Île-de-France, France•
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.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: In this paper, a fully-nonlinear weakly dispersive system for the shallow water wave regime is presented, where the effect of surface tension, and that of using a different reference fluid level to describe the velocity field are considered.
85 citations
••
TL;DR: In this article, the mixed spinel phases of the nanocrystalline materials have been confirmed by X-ray diffractograms (XRD) and the sizes of the nanoparticles are estimated from the (3 − 1 1) peaks of the XRD patterns using Debye-Sherrer equation.
85 citations
••
TL;DR: 2D-layered and 3D hybrid perovskites afford similar continuous optical tunability at room temperature and this study confirms that despite a large binding energy of several 100 meV, the 2D excitons present a Wannier character rather than a Frenkel character.
Abstract: We focus here our attention on a particular family of 2D-layered and 3D hybrid perovskite molecular crystals, the mixed perovskites (C6H5–C2H4–NH3)2PbZ4(1–x)Y4x and (CH3–NH3)PbZ3(1–x)Y3x, where Z and Y are halogen ions such as I, Br, and Cl. Studying experimentally the disorder-induced effects on the optical properties of the 2D mixed layered materials, we demonstrate that they can be considered as pseudobinary alloys, exactly like Ga1–xAlxAs, Cd1–xHgxTe inorganic semiconductors, or previously reported 3D mixed hybrid perovskite compounds. 2D-layered and 3D hybrid perovskites afford similar continuous optical tunability at room temperature. Our theoretical analysis allows one to describe the influence of alloying on the excitonic properties of 2D-layered perovskite molecular crystals. This model is further refined by considering different Bohr radii for pure compounds. This study confirms that despite a large binding energy of several 100 meV, the 2D excitons present a Wannier character rather than a Fren...
85 citations
••
TL;DR: In this paper, the main features of a numerical model predicting the behavior of hydrated cement systems subjected to freezing temperatures are presented, where all equations are written at the microscopic scale and then averaged over an elementary volume of the material (mesoscopic scale).
85 citations
•
[...]
TL;DR: In this paper, the satisfiability problem for GNFO and GNFP is 2ExpTime-complete, both on arbitrary structures and on finite structures, and the complexity of the associated model checking problems is also studied.
Abstract: We consider restrictions of first-order logic and of fixpoint logic in which all occurrences of negation are required to be guarded by an atomic predicate. In terms of expressive power, the logics in question, called GNFO and GNFP, extend the guarded fragment of first-order logic and guarded least fixpoint logic, respectively. They also extend the recently introduced unary negation fragments of first-order logic and of least fixpoint logic.
We show that the satisfiability problem for GNFO and for GNFP is 2ExpTime- complete, both on arbitrary structures and on finite structures. We also study the complexity of the associated model checking problems. Finally, we show that GNFO and GNFP are not only computationally well behaved, but also model theoretically: we show that GNFO and GNFP have the tree-like model property and that GNFO has the finite model property, and we characterize the expressive power of GNFO in terms of invariance for an appropriate notion of bisimulation.
85 citations
Authors
Showing all 2722 results
Name | H-index | Papers | Citations |
---|---|---|---|
Shi Xue Dou | 122 | 2028 | 74031 |
Olivier Hermine | 111 | 1026 | 43779 |
John R. Reynolds | 105 | 607 | 50027 |
Shaul Mukamel | 95 | 1030 | 40478 |
Tomás Torres | 88 | 625 | 28223 |
Ifor D. W. Samuel | 74 | 605 | 23151 |
Serge Abiteboul | 73 | 278 | 24576 |
Stéphane Roux | 68 | 627 | 19123 |
Zeger Debyser | 67 | 404 | 16531 |
Louis Nadjo | 64 | 264 | 12596 |
Praveen K. Thallapally | 64 | 190 | 12110 |
Andrew Travers | 63 | 193 | 13537 |
Shoji Takeuchi | 63 | 692 | 14704 |
Bineta Keita | 63 | 274 | 12053 |
Yves Mély | 62 | 368 | 13478 |