Exchange algorithm for evaluation and approximation error-optimized polynomials
Denis Arzelier
,
Florent Bréhard
,
Mioara Joldes
ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic , Jun 2019, Kyoto, Japan. pp.1-8
Conference papers
hal-02006606v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Handbook of Floating-point Arithmetic (2nd edition)
Jean-Michel Muller
,
Nicolas Brunie
,
Florent de Dinechin
,
Claude-Pierre Jeannerod
,
Mioara Joldes
,
et al.
Books
hal-01766584v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Model predictive control for rendezvous hovering phases based on a novel description of constrained trajectories
Paulo Ricardo Arantes Gilz
,
Mioara Joldes
,
Christophe Louembet
,
Frédéric Camps
IFAC World Congress , Jul 2017, Toulouse, France. pp.7490-7495
Conference papers
hal-01484764v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Tight and rigorous error bounds for basic building blocks of double-word arithmetic
Mioara Maria Joldes
,
Jean-Michel Muller
,
Valentina Popescu
ACM Transactions on Mathematical Software , 2017, 44 (2), pp.1 - 27.
⟨10.1145/3121432⟩
Journal articles
hal-01351529v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient Floating-Point Implementation of the Probit Function on FPGAs
Mioara Joldes
,
Bogdan Pasca
31st IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP 2020 , Jul 2020, Manchester, United Kingdom.
⟨10.1109/ASAP49362.2020.00036⟩
Conference papers
hal-02875528v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A New Method to Compute the Probability of Collision for Short-term Space Encounters
Romain Serra
,
Denis Arzelier
,
Mioara Joldes
,
Jean-Bernard Lasserre
,
Aude Rondepierre
,
et al.
AIAA/AAS Astrodynamics Specialist Conference , Aug 2014, San Diego, United States. 6p.,
⟨10.2514/6.2014-4366⟩
Conference papers
hal-01092420v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Linearized Impulsive Fixed-Time Fuel-Optimal Space rendezvous: A New Numerical Approach
Denis Arzelier
,
Florent Bréhard
,
Norbert Deak
,
Mioara Joldes
,
Christophe Louembet
,
et al.
Conference papers
hal-01275427v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Certified and fast computation of supremum norms of approximation errors
Sylvain Chevillard
,
Mioara Joldes
,
Christoph Lauter
[Research Report] LIP RR-2008-37, Laboratoire de l'informatique du parallélisme. 2008, 2+11p
Reports
hal-02102827v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multiplicative square root algorithms for FPGAs
Florent de Dinechin
,
Mioara Maria Joldes
,
Bogdan Pasca
,
Guillaume Revy
International Conference on Field Programmable Logic and Applications , Aug 2010, Milano, Italy. pp.14,
⟨10.1109/FPL.2010.112⟩
Conference papers
ensl-00475779v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Automatic generation of polynomial-based hardware architectures for function evaluation
Florent de Dinechin
,
Mioara Joldes
,
Bogdan Pasca
Application-specific Systems, Architectures and Processors , Jul 2010, Rennes, France
Conference papers
ensl-00470506v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Searching for sinks of Henon map using a multiple-precision GPU arithmetic library
Mioara Joldes
,
Valentina Popescu
,
Warwick Tucker
2013, 6p
Reports
hal-00957438v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Rigorous uniform approximation of D-finite functions using Chebyshev expansions
Alexandre Benoit
,
Mioara Joldes
,
Marc Mezzarobba
Mathematics of Computation , 2017, 86 (305), pp.1303-1341
Journal articles
hal-01022420v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations
Florent Bréhard
,
Nicolas Brisebarre
,
Mioara Joldes
ACM Transactions on Mathematical Software , 2018, 44 (4), pp.44:1-44:42.
⟨10.1145/3208103⟩
Journal articles
hal-01526272v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Algorithms for manipulating quaternions in floating-point arithmetic
Mioara Joldeş
,
Jean-Michel Muller
Conference papers
hal-02470766v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient and accurate computation of upper bounds of approximation errors
Sylvain Chevillard
,
John Harrison
,
Mioara Maria Joldes
,
Christoph Lauter
Journal articles
ensl-00445343v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Validated Numerics:Algorithms and Practical Applications in Aerospace
Mioara Joldes
ISSAC '22: International Symposium on Symbolic and Algebraic Computation , Jul 2022, Villeneuve-d'Ascq France, France. pp.1-2,
⟨10.1145/3476446.3535505⟩
Conference papers
hal-03762945v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications
Mioara Joldes
,
Jean-Michel Muller
,
Valentina Popescu
,
Warwick Tucker
5th International Congress on Mathematical Software (ICMS) , Jul 2016, Berlin, Germany
Conference papers
hal-01312858v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Stable Model Predictive Strategy for Rendezvous Hovering Phases Allowing for Control Saturation
Paulo Ricardo Arantes Gilz
,
Mioara Maria Joldes
,
Christophe Louembet
,
Frédéric Camps
Journal articles
hal-01678768v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Validated symbolic-numeric algorithms and practical applications in aerospace
Mioara Maria Joldes
Automatic. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019
Habilitation à diriger des recherches
tel-02178705v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A New Lower Bound on the Hilbert Number for Quartic Systems
Florent Bréhard
,
Nicolas Brisebarre
,
Mioara Joldes
,
Warwick Tucker
2019
Preprints, Working Papers, ...
hal-02085895v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On Moment Problems with Holonomic Functions
Florent Bréhard
,
Mioara Joldes
,
Jean-Bernard Lasserre
44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019) , Jul 2019, Pékin, China. pp.66-73
Conference papers
hal-02006645v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Probabilistic Collision Avoidance for Long-term Space Encounters via Risk Selection
Romain Serra
,
Denis Arzelier
,
Mioara Joldes
,
Aude Rondepierre
Advances in Aerospace Guidance, Navigation and Control , 2015
Book sections
hal-01995936v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Comments on "Series for Collision Probability in Short-Encounter Model
Denis Arzelier
,
Florent Bréhard
,
Mioara Joldes
Journal articles
hal-02123054v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Formal Verification of a Floating-Point Expansion Renormalization Algorithm
Sylvie Boldo
,
Mioara Joldes
,
Jean-Michel Muller
,
Valentina Popescu
8th International Conference on Interactive Theorem Proving (ITP'2017) , Sep 2017, Brasilia, Brazil
Conference papers
hal-01512417v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Parallel floating-point expansions for extended-precision GPU computations
Caroline Collange
,
Mioara Joldes
,
Jean-Michel Muller
,
Valentina Popescu
The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP) , Jul 2016, London, United Kingdom
Conference papers
hal-01298206v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multi-maneuvers algorithms for multi-risk collision avoidance via nonconvex quadratic optimization
Matthieu Masson
,
Denis Arzelier
,
Mioara Joldes
,
Bruno Revelin
,
Jérôme Thomassin
2022
Preprints, Working Papers, ...
hal-03847541v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Certified and fast computation of supremum norms of approximation errors
Sylvain Chevillard
,
Mioara Maria Joldes
,
Christoph Lauter
19th IEEE Symposium on Computer Arithmetic (ARITH 19) , Jun 2009, Portland, United States. pp.169 -- 176
Conference papers
ensl-00334545v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Global Probability of Collision: Problem modeling via occupation measures
Denis Arzelier
,
Florent Bréhard
,
Mioara Joldes
,
Jean-Bernard Lasserre
,
Léo Martire
,
et al.
DAJ/AR/EO-2016-6457, LAAS / CNRS; CNES. 2019
Reports
hal-02077552v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Augmented precision square roots, 2-D norms, and discussion on correctly rounding {x^2+y^2}
Nicolas Brisebarre
,
Mioara Maria Joldes
,
Peter Kornerup
,
Érik Martin-Dorel
,
Jean-Michel Muller
20th IEEE Symposium on Computer Arithmetic (ARITH-20) , Jul 2011, Tübingen, Germany. pp.23-30,
⟨10.1109/ARITH.2011.13⟩
Conference papers
ensl-00545591v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Power Series Expansion based Method to compute the Probability of Collision for Short-term Space Encounters
Romain Serra
,
Denis Arzelier
,
Mioara Joldes
,
Jean-Bernard Lasserre
,
Aude Rondepierre
,
et al.
[Research Report] LAAS-CNRS. 2015
Reports
hal-01131384v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More