Search - Département de mathématiques appliquées Access content directly

Filter your results

5 Results
Domains : info.info-es
Image document

Techniques de spatialisation binaurale pour le guidage de sportifs non-voyants

Sylvain Ferrand
Traitement des images [eess.IV]. Institut Polytechnique de Paris, 2021. Français. ⟨NNT : 2021IPPAX026⟩
Theses tel-03297189v1

A Universal 2-state n-action Adaptive Management Solver

Luz V. Pascal , Marianne Akian , Sam Nicol , Iadine Chades
Proceedings 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 Programs

Xavier Allamigeon , Stéphane Gaubert , Eric Goubault , Sylvie Putot , Nikolas Stott et al.
ACM 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 systems

Xavier Allamigeon , Stéphane Gaubert , Eric Goubault , Sylvie Putot , Nikolas Stott et al.
International 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 systems

Xavier Allamigeon , Stéphane Gaubert , Eric Goubault , Sylvie Putot , Nikolas Stott et al.
ACM Transactions on Embedded Computing Systems (TECS), 2016, Special Issue on ESWEEK2015, 15 (4), ⟨10.1145/2932187⟩
Journal articles hal-01423744v1