1.1k citations
- École PolytechniqueFR461 papers
- Centre National de la Recherche ScientifiqueFR295 papers
- Institut national de recherche en sciences et technologies du numériqueFR118 papers
- Centre Inria de SaclayFR62 papers
- Institut Polytechnique de ParisFR60 papers
- CRANFR28 papers
- Université Paris CitéFR28 papers
- Université Paris-SaclayFR26 papers
- Sorbonne UniversitéFR25 papers
- Université de LorraineFR18 papers
- Université Paris-SudFR17 papers
- École Normale Supérieure de LyonFR14 papers
42 papers · 1 filter
The Multiscale Loop Vertex Expansion
Razvan Gurau, Vincent Rivasseau
The loop vertex expansion (LVE) is a constructive technique which uses only canonical combinatorial tools and no space-time dependent lattices. It works for quantum field theories…
Systematic and multifactor risk models revisited
Michel Fliess, Cédric Join
Systematic and multifactor risk models are revisited via methods which were already successfully developed in signal processing and in automatic control. The results, which bypass…
Mixtures: sequential stability of variational entropy solutions
Ewelina Zatorska
The purpose of this work is to analyze the mathematical model governing motion of -component, heat conducting reactive mixture of compressible gases. We prove sequential stabili…
Abstract Interpretation of Temporal Concurrent Constraint Programs
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e. systems that continuously interact with…
Inverse coefficient problem for Grushin-type parabolic operators
Karine Beauchard, Piermarco Cannarsa
The approach to Lipschitz stability for uniformly parabolic equations introduced by Imanuvilov and Yamamoto in 1998 based on Carleman estimates, seems hard to apply to the case of…
A Heyting Algebra on Dyck Paths of Type and
Henri Mühle
In this article we investigate the lattices of Dyck paths of type and under dominance order, and explicitly describe their Heyting algebra structure. This means that each D…