Filter your results
- 4
- 1
- 2
- 2
- 1
- 5
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 5
- 4
- 2
- 1
- 3
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Techniques de spatialisation binaurale pour le guidage de sportifs non-voyantsTraitement des images [eess.IV]. Institut Polytechnique de Paris, 2021. Français. ⟨NNT : 2021IPPAX026⟩
Theses
tel-03297189v1
|
||
A Universal 2-state n-action Adaptive Management SolverProceedings of the AAAI Conference on Artificial Intelligence, Feb 2021, virtual conference, United States. pp.14884-14892
Conference papers
hal-03505465v1
|
|||
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical ProgramsACM Transactions on Embedded Computing Systems (TECS), 2017, Special Issue ESWEEK 2017, CASES 2017, CODES + ISSS 2017 and EMSOFT 2017, 16 (5s), pp.1-19. ⟨10.1145/3126502⟩
Journal articles
hal-01674495v1
|
|||
A scalable algebraic method to infer quadratic invariants of switched systemsInternational Conference on Embedded Software (EMSOFT'2015), Alain Girault, INRIA, Grenoble, France and Nan Guan, Northeastern University, China, Oct 2015, Amsterdam, Netherlands. ⟨10.1109/EMSOFT.2015.7318262⟩
Conference papers
hal-01249320v1
|
|||
A scalable algebraic method to infer quadratic invariants of switched systemsACM Transactions on Embedded Computing Systems (TECS), 2016, Special Issue on ESWEEK2015, 15 (4), ⟨10.1145/2932187⟩
Journal articles
hal-01423744v1
|