From the 1 of 1.1k papers with an AI index.
29.3k citations
- F. Rossi2 profiles18 · h 27
- F. Bach17 · h 108
- S. Tixeuil2 profiles16 · h 35
- Laurent Romary3 profiles15 · h 26
- Konstantin Avrachenkov2 profiles13 · h 41
- S. Vérel13 · h 28
- Francis Bach2 profiles12
- Marc Schoenauer2 profiles12 · h 49
- B. Mourrain10 · h 44
- Fabien Mathieu2 profiles10 · h 15
- Laetitia Vermeulen-Jourdan10 · h 26
- M. Fliess2 profiles10 · h 51
- Centre National de la Recherche ScientifiqueFR132 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR126 papers
- Centre Inria de SaclayFR115 papers
- Centre Inria de l'Université de LilleFR61 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR44 papers
- Université Grenoble AlpesFR41 papers
- Centre Inria de l'université de BordeauxFR39 papers
- Sorbonne UniversitéFR38 papers
- École PolytechniqueFR30 papers
- Institut Élie Cartan de LorraineFR29 papers
- LIP6FR29 papers
- Centre Inria de l'Université de LorraineFR28 papers
59 papers · 1 filter
On some open questions in bilinear quantum control
Ugo Boscain, Thomas Chambrion, Mario Sigalotti
The aim of this paper is to provide a short introduction to modern issues in the control of infinite dimensional closed quantum systems, driven by the bilinear Schrödinger equation…
A new proof of the uniqueness of the flow for ordinary differential equations with BV vector fields
Maxime Hauray, Claude Le Bris
We provide in this article a new proof of the uniqueness of the flow solution to ordinary differential equations with vector-fields that have divergence in (or in $…
Implementing hash-consed structures in Coq
Thomas Braibant, Jacques-Henri Jourdan, David Monniaux
We report on three different approaches to use hash-consing in programs certified with the Coq system, using binary decision diagrams (BDD) as running example. The use cases includ…
Tight Performance Bounds for Approximate Modified Policy Iteration with Non-Stationary Policies
Boris Lesner, Bruno Scherrer
We consider approximate dynamic programming for the infinite-horizon stationary -discounted optimal control problem formalized by Markov Decision Processes. While in the exact c…
Object Tracking in Videos: Approaches and Issues
Duc Phu Chau, François Bremond, Monique Thonnat
Mobile object tracking has an important role in the computer vision applications. In this paper, we use a tracked target-based taxonomy to present the object tracking algorithms. T…
Sensitivity indices for multivariate outputs
Fabrice Gamboa, Alexandre Janon, Thierry Klein +1
We define and study a generalization of Sobol sensitivity indices for the case of a vector output.