Search - Archive ouverte HAL Access content directly

Filter your results

47 Results
Image document

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

Handbook of Floating-point Arithmetic (2nd edition)

Jean-Michel Muller , Nicolas Brunie , Florent de Dinechin , Claude-Pierre Jeannerod , Mioara Joldes , et al.
Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩
Books hal-01766584v1
Image document

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
Image document

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
Image document

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

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
Image document

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.
20th IFAC Symposium on Automatic Control in Aerospace, Aug 2016, Sherbrooke, Canada. ⟨10.1016/j.ifacol.2016.09.064⟩
Conference papers hal-01275427v1
Image document

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
Image document

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
Image document

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
Image document

Searching for sinks of Henon map using a multiple-precision GPU arithmetic library

Mioara Joldes , Valentina Popescu , Warwick Tucker
2013, 6p
Reports hal-00957438v1
Image document

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
Image document

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
Image document

Algorithms for manipulating quaternions in floating-point arithmetic

Mioara Joldeş , Jean-Michel Muller
ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-8, ⟨10.1109/ARITH48897.2020.00016⟩
Conference papers hal-02470766v2
Image document

Efficient and accurate computation of upper bounds of approximation errors

Sylvain Chevillard , John Harrison , Mioara Maria Joldes , Christoph Lauter
Theoretical Computer Science, 2011, 412 (16), pp.1523-1543. ⟨10.1016/j.tcs.2010.11.052⟩
Journal articles ensl-00445343v2
Image document

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
Image document

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
Image document

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 of Guidance, Control, and Dynamics, 2019, 42 (8), ⟨10.2514/1.G003558⟩
Journal articles hal-01678768v2
Image document

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

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
Image document

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
Image document

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
Image document

Comments on "Series for Collision Probability in Short-Encounter Model

Denis Arzelier , Florent Bréhard , Mioara Joldes
Journal of Guidance, Control, and Dynamics, 2020, 43 (5), ⟨10.2514/1.G004560⟩
Journal articles hal-02123054v1
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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