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⟩
Article dans une revue
hal-01351529v3
Actions
Partager
Gmail
Facebook
X
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
Communication dans un congrès
hal-01484764v1
Actions
Partager
Gmail
Facebook
X
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⟩
Communication dans un congrès
hal-02875528v1
Actions
Partager
Gmail
Facebook
X
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⟩
Communication dans un congrès
hal-01092420v1
Actions
Partager
Gmail
Facebook
X
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.
Communication dans un congrès
hal-01275427v1
Actions
Partager
Gmail
Facebook
X
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
Rapport
hal-02102827v1
Actions
Partager
Gmail
Facebook
X
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⟩
Communication dans un congrès
ensl-00475779v2
Actions
Partager
Gmail
Facebook
X
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
Communication dans un congrès
ensl-00470506v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Fast and reliable computation of the instantaneous orbital collision probability
Matthieu Masson
,
Denis Arzelier
,
Florent Bréhard
,
Mioara Joldes
2nd International Stardust Conference STARCON2 , ESA European Space Research and Technology Centre (ESTEC), Nov 2022, Noordwijk, Netherlands
Communication dans un congrès
hal-04240944v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm
Denis Arzelier
,
Florent Bréhard
,
Mioara Joldes
,
Marc Mezzarobba
2024
Pré-publication, Document de travail
hal-04466875v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Communication dans un congrès
hal-02006606v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Handbook of Floating-point Arithmetic (2nd edition)
Jean-Michel Muller
,
Nicolas Brunie
,
Florent de Dinechin
,
Claude-Pierre Jeannerod
,
Mioara Joldes
,
et al.
Ouvrages
hal-01766584v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Algorithms for manipulating quaternions in floating-point arithmetic
Mioara Joldeş
,
Jean-Michel Muller
Communication dans un congrès
hal-02470766v2
Actions
Partager
Gmail
Facebook
X
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⟩
Article dans une revue
hal-01526272v3
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Searching for sinks of Henon map using a multiple-precision GPU arithmetic library
Mioara Joldes
,
Valentina Popescu
,
Warwick Tucker
2013, 6p
Rapport
hal-00957438v1
Actions
Partager
Gmail
Facebook
X
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
Article dans une revue
hal-01022420v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Efficient and accurate computation of upper bounds of approximation errors
Sylvain Chevillard
,
John Harrison
,
Mioara Maria Joldes
,
Christoph Lauter
Article dans une revue
ensl-00445343v2
Actions
Partager
Gmail
Facebook
X
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
Communication dans un congrès
hal-02006645v1
Actions
Partager
Gmail
Facebook
X
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
Chapitre d'ouvrage
hal-01995936v1
Actions
Partager
Gmail
Facebook
X
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
Communication dans un congrès
hal-01312858v1
Actions
Partager
Gmail
Facebook
X
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⟩
Communication dans un congrès
hal-03762945v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A New Lower Bound on the Hilbert Number for Quartic Systems
Florent Bréhard
,
Nicolas Brisebarre
,
Mioara Joldes
,
Warwick Tucker
2019
Pré-publication, Document de travail
hal-02085895v1
Actions
Partager
Gmail
Facebook
X
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
Article dans une revue
hal-01678768v2
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Validated symbolic-numeric algorithms and practical applications in aerospace
Mioara Maria Joldes
Automatic. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019
HDR
tel-02178705v1
Actions
Partager
Gmail
Facebook
X
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
Communication dans un congrès
ensl-00334545v1
Actions
Partager
Gmail
Facebook
X
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⟩
Communication dans un congrès
ensl-00545591v2
Actions
Partager
Gmail
Facebook
X
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
Communication dans un congrès
hal-01512417v1
Actions
Partager
Gmail
Facebook
X
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
IFAC World Congress 2023 , Jul 2023, Yokohama, Japan
Communication dans un congrès
hal-03847541v1
Actions
Partager
Gmail
Facebook
X
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
Rapport
hal-01131384v2
Actions
Partager
Gmail
Facebook
X
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
Rapport
hal-02077552v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More