scispace - formally typeset
Search or ask a question
Institution

École normale supérieure de Cachan

EducationCachan, Î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
More filters
Journal ArticleDOI
TL;DR: In this article, an efficient rectenna based on a dual Schottky diodes converter at 2.45 GHz was designed for wireless sensor applications, where no input lowpass filter and no via-hole connections are required.
Abstract: An efficient rectenna based on a dual Schottky diodes converter has been designed at 2.45 GHz. The proposed rectifying circuit is well suitable for wireless sensor applications because no input lowpass filter and no via-hole connections are required, resulting in a more simple structure. A simulation mixing an electromagnetic and circuit analysis has been first used to optimise the rectifier. In addition, the performances of the rectenna has been correctly predicted and characterised using an FDTD formulation extended to lumped circuit elements. The realised rectenna exhibits 83% efficiency over a 1050 V resistive load at a power density of 0.31 mW/cm 2 .

61 citations

Journal ArticleDOI
TL;DR: In this paper, a 3D finite-element analysis of a double excitation synchronous machine is presented, and the principle of operation and design aspects of this machine are presented.
Abstract: This paper presents 3-D finite-element analysis of a new double excitation synchronous machine. It is shown that the machine has true field regulation capability. The principle of operation and design aspects of this new machine are presented in the paper. Comparison of 3-D FEA with an experimental study done on a prototype having a different rotor structure is also investigated.

61 citations

Journal ArticleDOI
TL;DR: The photophysical properties of a Keggin-type polyoxometalate covalently bounded to a benzospiropyran (BSPR) unit have been investigated and it is revealed that both closed and open forms are emissive with distinct spectral features and that the fluorescence of the BSPR unit of the hybrid is considerably enhanced compared to B SPR parent compounds.
Abstract: The photophysical properties of a Keggin-type polyoxometalate (POM) covalently bounded to a benzospiropyran (BSPR) unit have been investigated. These studies reveal that both closed and open forms are emissive with distinct spectral features (λem (closed form)=530 nm, λem (open form)=670 nm) and that the fluorescence of the BSPR unit of the hybrid is considerably enhanced compared to BSPR parent compounds. While the fluorescence excitation energy of the BSPR reference compounds (370 nm) is close to the intense absorption responsible of the photochromic character (350 nm), the fluorescence excitation of the hybrid is shifted to lower energy (400 nm), improving the population of the emissive state. Combined NOESY NMR and theoretical calculations of the closed form of the hybrid give an intimate understanding of the conformation adopted by the hybrid and show that the nitroaryl moieties of the BSPR is folded toward the POM, which should affect the electronic properties of the BSPR.

61 citations

Book ChapterDOI
22 Sep 2003
TL;DR: This study shows that checking whether a probabilistic system satisfies an ω-automaton with positive probability can be solved in linear time for this kind of automata, and extends the study to the evaluation of this probability.
Abstract: Most verification problems on finite systems may be formulated and solved optimally using automata based techniques. Nonetheless LTL verification of (finite) probabilistic systems, i.e. deciding whether a probabilistic system almost surely satisfies an LTL formula, remains one of the few exceptions to this rule. As a matter of fact, existing automata-based solutions to this problem lead to double EXPTIME algorithms, while Courcoubetis and Yannakakis provide an optimal one in single EXPTIME. In this study, we remedy this exception. Our optimal automata based method proceeds in two steps: we present a minimal translation from LTL to ω-automata and point out appropriate properties on these automata; we then show that checking whether a probabilistic system satisfies an ω-automaton with positive probability can be solved in linear time for this kind of automata. Moreover we extend our study to the evaluation of this probability. Finally, we discuss some experimentations with our implementation of these techniques: the ProbaTaf tool.

61 citations

Journal ArticleDOI
TL;DR: In this paper, a general method for coupling non-matching linear finite element meshes in transient dynamic analysis is described, based on Schur's dual formulation whose main advantage is to provide equilibrium as well as kinematic continuity throughout the interface.
Abstract: This paper describes a general method for coupling non-matching linear finite element meshes in transient dynamic analysis. We propose a method based on Schur's dual formulation whose main advantage is to provide equilibrium as well as kinematic continuity throughout the interface. The essence of our work lies in the particular discretization of the space of Lagrange multipliers and in the validation of the method through two- and three-dimensional static calculations as well as two-dimensional dynamic calculations. An example is also presented and the results are compared to those of the mortar method. Copyright © 2002 John Wiley & Sons, Ltd.

61 citations


Authors

Showing all 2722 results

NameH-indexPapersCitations
Shi Xue Dou122202874031
Olivier Hermine111102643779
John R. Reynolds10560750027
Shaul Mukamel95103040478
Tomás Torres8862528223
Ifor D. W. Samuel7460523151
Serge Abiteboul7327824576
Stéphane Roux6862719123
Zeger Debyser6740416531
Louis Nadjo6426412596
Praveen K. Thallapally6419012110
Andrew Travers6319313537
Shoji Takeuchi6369214704
Bineta Keita6327412053
Yves Mély6236813478
Network Information
Related Institutions (5)
École Polytechnique Fédérale de Lausanne
98.2K papers, 4.3M citations

92% related

École Normale Supérieure
99.4K papers, 3M citations

91% related

Georgia Institute of Technology
119K papers, 4.6M citations

91% related

University of Paris-Sud
52.7K papers, 2.1M citations

90% related

University of Paris
174.1K papers, 5M citations

90% related

Performance
Metrics
No. of papers from the Institution in previous years
YearPapers
20233
202222
202121
202029
201958
201879