Filtrer vos résultats
- 45
- 4
- 25
- 11
- 5
- 4
- 1
- 1
- 1
- 1
- 3
- 42
- 17
- 7
- 1
- 3
- 2
- 2
- 5
- 6
- 4
- 5
- 5
- 2
- 2
- 1
- 1
- 3
- 4
- 2
- 1
- 48
- 1
- 36
- 32
- 27
- 7
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 49
- 15
- 14
- 10
- 8
- 7
- 7
- 6
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
49 résultats
|
|
|
triés par
|
|
|
Efficient Floating-Point Implementation of the Probit Function on FPGAs31st 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
|
||
|
|
Tight and rigorous error bounds for basic building blocks of double-word arithmeticACM Transactions on Mathematical Software, 2017, 44 (2), pp.1 - 27. ⟨10.1145/3121432⟩
Article dans une revue
hal-01351529v3
|
||
|
|
Model predictive control for rendezvous hovering phases based on a novel description of constrained trajectoriesIFAC World Congress, Jul 2017, Toulouse, France. pp.7490-7495
Communication dans un congrès
hal-01484764v1
|
||
|
|
Fast and reliable computation of the instantaneous orbital collision probability2nd International Stardust Conference STARCON2, ESA European Space Research and Technology Centre (ESTEC), Nov 2022, Noordwijk, Netherlands
Communication dans un congrès
hal-04240944v1
|
||
|
|
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm2024
Pré-publication, Document de travail
hal-04466875v1
|
||
|
|
Handbook of Floating-point Arithmetic (2nd edition)Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩
Ouvrages
hal-01766584v1
|
||
|
|
Exchange algorithm for evaluation and approximation error-optimized polynomialsARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
Communication dans un congrès
hal-02006606v1
|
||
A New Method to Compute the Probability of Collision for Short-term Space EncountersAIAA/AAS Astrodynamics Specialist Conference, Aug 2014, San Diego, United States. 6p., ⟨10.2514/6.2014-4366⟩
Communication dans un congrès
hal-01092420v1
|
|||
|
|
Linearized Impulsive Fixed-Time Fuel-Optimal Space rendezvous: A New Numerical Approach20th IFAC Symposium on Automatic Control in Aerospace, Aug 2016, Sherbrooke, Canada. ⟨10.1016/j.ifacol.2016.09.064⟩
Communication dans un congrès
hal-01275427v1
|
||
|
|
Certified and fast computation of supremum norms of approximation errors[Research Report] LIP RR-2008-37, Laboratoire de l'informatique du parallélisme. 2008, 2+11p
Rapport
hal-02102827v1
|
||
|
|
Multiplicative square root algorithms for FPGAsInternational 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
|
||
|
|
Automatic generation of polynomial-based hardware architectures for function evaluationApplication-specific Systems, Architectures and Processors, Jul 2010, Rennes, France
Communication dans un congrès
ensl-00470506v1
|
||
|
|
Algorithms for manipulating quaternions in floating-point arithmeticARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-8, ⟨10.1109/ARITH48897.2020.00016⟩
Communication dans un congrès
hal-02470766v2
|
||
|
|
Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equationsACM Transactions on Mathematical Software, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩
Article dans une revue
hal-01526272v3
|
||
|
|
Rigorous uniform approximation of D-finite functions using Chebyshev expansionsMathematics of Computation, 2017, 86 (305), pp.1303-1341
Article dans une revue
hal-01022420v1
|
||
|
|
Efficient and accurate computation of upper bounds of approximation errorsTheoretical Computer Science, 2011, 412 (16), pp.1523-1543. ⟨10.1016/j.tcs.2010.11.052⟩
Article dans une revue
ensl-00445343v2
|
||
|
|
Searching for sinks of Henon map using a multiple-precision GPU arithmetic library2013, 6p
Rapport
hal-00957438v1
|
||
|
|
On Moment Problems with Holonomic Functions44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Jul 2019, Pékin, China. pp.66-73
Communication dans un congrès
hal-02006645v1
|
||
|
|
Probabilistic Collision Avoidance for Long-term Space Encounters via Risk SelectionAdvances in Aerospace Guidance, Navigation and Control, 2015
Chapitre d'ouvrage
hal-01995936v1
|
||
|
|
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications5th International Congress on Mathematical Software (ICMS), Jul 2016, Berlin, Germany
Communication dans un congrès
hal-01312858v1
|
||
|
|
Validated Numerics:Algorithms and Practical Applications in AerospaceISSAC '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
|
||
A New Lower Bound on the Hilbert Number for Quartic Systems2019
Pré-publication, Document de travail
hal-02085895v1
|
|||
|
|
Stable Model Predictive Strategy for Rendezvous Hovering Phases Allowing for Control SaturationJournal of Guidance, Control, and Dynamics, 2019, 42 (8), ⟨10.2514/1.G003558⟩
Article dans une revue
hal-01678768v2
|
||
|
|
Validated symbolic-numeric algorithms and practical applications in aerospaceAutomatic. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019
HDR
tel-02178705v1
|
||
|
|
Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters60th IEEE Conference on Decision and Control (CDC 2021), IEEE, Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683445⟩
Communication dans un congrès
hal-03158347v1
|
||
|
|
Chebyshev Interpolation Polynomial-based Tools for Rigorous ComputingISSAC '10, 2010 International Symposium on Symbolic and Algebraic Computation, 2010, Münich, Germany. pp.147-154, ⟨10.1145/1837934.1837966⟩
Communication dans un congrès
ensl-00472509v2
|
||
|
|
Arithmetic algorithms for extended precision using floating-point expansionsIEEE Transactions on Computers, 2016, 65 (4), pp.1197 - 1210. ⟨10.1109/TC.2015.2441714⟩
Article dans une revue
hal-01111551v2
|
||
|
|
Efficient Floating-Point Implementation of the Probit Function on FPGAsJournal of Signal Processing Systems, 2021, 93 (12), pp.1387-1403
Article dans une revue
hal-03385845v1
|
||
|
|
Embedding a SDP-based control algorithm for the orbital rendezvous hovering phasesInternational Conference on Integrated Navigation Systems (ICINS 2018), May 2018, Saint Petersburg, Russia. 10p
Communication dans un congrès
hal-01729956v1
|
||
|
|
Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problemIAC 2018 - 69th International Astronautical Congress; IAF Astrodynamics Symposium, International Astronautical Federation, Oct 2018, Bremen, Germany. pp.1-9
Communication dans un congrès
hal-01830253v1
|
- 1
- 2