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, the authors studied the long-time behavior of periodic scalar first-order conservation laws with stochastic forcing in any space dimension and showed the existence of an invariant measure for sub-cubic fluxes.
Abstract: Under an hypothesis of non-degeneracy of the flux, we study the long-time behaviour of periodic scalar first-order conservation laws with stochastic forcing in any space dimension. For sub-cubic fluxes, we show the existence of an invariant measure. Moreover for sub-quadratic fluxes we show uniqueness and ergodicity of the invariant measure. Also, since this invariant measure is supported by $$L^p$$
for some $$p$$
small, we are led to generalize to the stochastic case the theory of $$L^1$$
solutions developed by Chen and Perthame (Ann Inst H Poincare Anal Non Lineaire 20(4):645–668, 2003).
66 citations
••
TL;DR: In this article, a constitutive model for quasi-brittle materials subjected to cyclic loadings is presented, and the main features are the asymmetry between tension and compression, permanent strains and unilateral effect, ensuring not only the relevancy but also the reliability of numerical predictions.
66 citations
••
18 Aug 2009TL;DR: Very satisfactory 3D-reconstructions are obtained, from the point of view of the accuracy of the reconstructions, and no prior segmentation of the scene into parts without discontinuity is required anymore.
Abstract: We show how to integrate the normal field of a surface in the presence of discontinuities by three different ways. We obtain very satisfactory 3D-reconstructions, from the point of view of the accuracy of the reconstructions. As an important consequence, no prior segmentation of the scene into parts without discontinuity is required anymore. Finally, we test the three proposed methods of integration in the framework of photometric stereo, a technique which aims at computing the normal field of a scene surface from several images of this scene lighted under different directions.
66 citations
••
24 Aug 2015
TL;DR: A novel methodology for formally verified property-based testing is introduced and implemented as a foundational verification framework for QuickChick, a port of QuickCheck to Coq, demonstrating that the methodology is modular and scalable and that it requires minimal changes to existing code.
Abstract: Integrating property-based testing with a proof assistant creates an interesting opportunity: reusable or tricky testing code can be formally verified using the proof assistant itself. In this work we introduce a novel methodology for formally verified property-based testing and implement it as a foundational verification framework for QuickChick, a port of QuickCheck to Coq. Our framework enables one to verify that the executable testing code is testing the right Coq property. To make verification tractable, we provide a systematic way for reasoning about the set of outcomes a random data generator can produce with non-zero probability, while abstracting away from the actual probabilities. Our framework is firmly grounded in a fully verified implementation of QuickChick itself, using the same underlying verification methodology. We also apply this methodology to a complex case study on testing an information-flow control abstract machine, demonstrating that our verification methodology is modular and scalable and that it requires minimal changes to existing code.
66 citations
••
TL;DR: In this paper, the authors compared the performance and computational cost of three different error estimators, namely, element equilibration, star-patch and EESPT, with respect to three different criteria, namely the quality of associated error estimator, computational cost and easiness of practical implementation into commercial finite element codes.
Abstract: Robust global/goal-oriented error estimation is used nowadays to control the approximate finite element solutions obtained from simulation. In the context of Computational Mechanics, the construction of admissible stress fields (\ie stress tensors which verify the equilibrium equations) is required to set up strict and guaranteed error bounds (using residual based error estimators) and plays an important role in the quality of the error estimates. This work focuses on the different procedures used in the calculation of admissible stress fields, which is a crucial and technically complicated point. The three main techniques that currently exist, called the element equilibration technique (EET), the star-patch equilibration technique (SPET), and the element equilibration + star-patch technique (EESPT), are investigated and compared with respect to three different criteria, namely the quality of associated error estimators, computational cost and easiness of practical implementation into commercial finite element codes. The numerical results which are presented focus on industrial problems; they highlight the main advantages and drawbacks of the different methods and show that the behavior of the three estimators, which have the same convergence rate as the exact global error, is consistent. Two- and three-dimensional experiments have been carried out in order to compare the performance and the computational cost of the three different approaches. The analysis of the results reveals that the SPET is more accurate than EET and EESPT methods, but the corresponding computational cost is higher. Overall, the numerical tests prove the interest of the hybrid method EESPT and show that it is a correct compromise between quality of the error estimate, practical implementation and computational cost. Furthermore, the influence of the cost function involved in the EET and the EESPT is studied in order to optimize the estimators.
66 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 |