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: It is proved that the 20-year-old conjecture that TPTL is strictly more expressive than MTL is proved, and it is shown that T PTL formulae using only modality F can be translated into MTL.
Abstract: TPTL and MTL are two classical timed extensions of LTL . In this paper, we prove the 20-year-old conjecture that TPTL is strictly more expressive than MTL . But we show that, surprisingly, the TPTL formula proposed by Alur and Henzinger for witnessing this conjecture it can be expressed in MTL . More generally, we show that TPTL formulae using only modality F can be translated into MTL .
70 citations
••
TL;DR: In this paper, a high-resolution two-photon excitation microscopy study was conducted to investigate the orientational distributions of molecular ensembles at room temperature. Butt et al. presented a more general approach that combines twophoton fluorescence (TPF) and second harmonic generation (SHG).
Abstract: We present high resolution two-photon excitation microscopy studies combining two-photon fluorescence (TPF) and second harmonic generation (SHG) in order to probe orientational distributions of molecular ensembles at room temperature. A detailed polarization analysis of TPF and SHG signals is used in order to unravel the parameters of the molecular orientational statistical distribution, using a technique which can be extended and generalized to a broad variety of molecular arrangements. A polymer film containing molecules active for TPF and/or SHG emission is studied as a model system. Polarized TPF is shown to provide information on specific properties pertaining to incoherent emission in molecular media, such as excitation transfer. SHG, being highly sensitive to a slight departure from centrosymmetry such as induced by an external electric field in the medium, complements TPF. The response of each signal to a variable excitation polarization allows investigation of molecular behavior in complex enviro...
70 citations
••
04 Jul 2011TL;DR: A new analysis for the length of controlled bad sequences in well-quasi-orderings based on Higman's Lemma is developed, which leads to tight multiply-recursive upper bounds that readily apply to several verification algorithms for well-structured systems.
Abstract: We develop a new analysis for the length of controlled bad sequences in well-quasi-orderings based on Higman's Lemma. This leads to tight multiply-recursive upper bounds that readily apply to several verification algorithms for well-structured systems.
70 citations
••
TL;DR: In this paper, a variational theory of complex rays (VTR) was proposed for calculating the vibrations of slightly damped elastic structures in the medium-frequency range, which allows shape functions to be discontinuous across element boundaries.
Abstract: An approach, called the "Variational Theory of Complex Rays," was proposed recently for calculating the vibrations of slightly damped elastic structures in the medium-frequency range. One key feature of this approach is the use of a new variational formulation of the vibration problem which allows the shape functions to be discontinuous across element boundaries, thus giving this strategy great flexibility and robustness. This method was fully developed for structural vibrations. In this paper, we apply it to acoustics problems. Examples of two-dimensional Helmholtz problems show that this method is very robust and accurate yet requires much less computational effort than the finite element method, which enables one to use it up to much higher frequencies.
70 citations
••
TL;DR: In this paper, a weakly nonlinear analysis of the Froude number, which is the ratio of the upstream uniform velocity to the critical speed of shallow water waves, is presented.
Abstract: Nonlinear waves in a forced channel flow are considered The forcing is due to a bottom obstruction The study is restricted to steady flows A weakly nonlinear analysis shows that for a given obstruction, there are two important values of the Froude number, which is the ratio of the upstream uniform velocity to the critical speed of shallow water waves, FC>1 and FL FC, there are two symmetric solitary waves sustained over the site of forcing, and at F=FC the two solitary waves merge into one; (iv) when F>FC, there is also a one-parameter family of solutions matching the upstream (supercritical) uniform flow with a cnoidal wave downstream; (v) for a particular value of F>FC, the downstream wave can be eliminated and the solution becomes a reversed hydraulic fall (it is the same as solution (ii), except that the flow is reversed!) Flows of type (iv), including the hydraulic fall (v) as a special case, are computed here using the full Euler equations The problem is solved numerically by a boundary-integral-equation method due to Forbes and Schwartz It is confirmed that there is a three-parameter family of solutions with a train of waves downstream The three parameters can be chosen as the Froude number, the obstruction size and the wavelength of the downstream waves This three-parameter family differs from the classical two-parameter family of subcritical flows (i) but includes as a particular case the hydraulic falls (ii) or equivalently (v) computed by Forbes
70 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 |