Filtrer vos résultats
- 10
- 8
- 9
- 5
- 4
- 18
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 4
- 1
- 2
- 1
- 17
- 1
- 14
- 3
- 18
- 5
- 4
- 2
- 2
- 2
- 2
- 2
18 résultats
|
|
|
triés par
|
|
|
How do you compute the midpoint of an interval?ACM Transactions on Mathematical Software, 2014, 40 (2), ⟨10.1145/2493882⟩
Article dans une revue
hal-00576641v2
|
||
|
|
Box consistency through Adaptive Shaving25th Symposium On Applied Computing, Mar 2010, Sierre, Switzerland. pp.2049-2054
Communication dans un congrès
hal-00428678v1
|
||
On the Selection of a Transversal to Solve Nonlinear Systems with Interval Arithmetic6th International Conference on Computational Science (ICCS 2006), 2006, Reading, United Kingdom. pp.332-339
Communication dans un congrès
hal-00480789v1
|
|||
|
|
A Reinforcement Learning Approach to Interval Constraint PropagationConstraints, 2008, 13 (1-2), p.206-226. ⟨10.1007/s10601-007-9027-7⟩
Article dans une revue
hal-00421423v1
|
||
|
|
Generating Random Floating-Point Numbers by Dividing Integers: a Case StudyProceedings of ICCS 2020, Jun 2020, Amsterdam, Netherlands
Communication dans un congrès
hal-02427338v1
|
||
Robust controller and pre-filter design using QFT and interval constraint techniquesInternational workshop on constraint programming and decision making workshop (CoProd), 2014, Unknown, Unknown Region
Communication dans un congrès
hal-01408596v1
|
|||
Review of Finite Precision Number systems and Arithmetic, by Peter Kornerup and David W. MatulaMathematical Reviews, 2011, pp.MR2732337
Article dans une revue
hal-01397526v1
|
|||
Interval Multivalued Inverse Functions: Relational Interval Arithmetic and its Use13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, 2008, El Paso, TX, United States
Communication dans un congrès
hal-00422053v1
|
|||
|
|
Interval Extensions of Multivalued Inverse Functions2007
Pré-publication, Document de travail
hal-00288457v1
|
||
Review of Modal Interval Analysis — New Tools for Numerical Information, by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Lambert Jorba, and Josep VehiMathematical Reviews, 2014, pp.MR3135234
Article dans une revue
hal-01397525v1
|
|||
Simultaneous automated design of structured QFT controller and prefilter using nonlinear programmingInternational Journal of Robust and Nonlinear Control, 2017, 27 (15), pp.2529-2548. ⟨10.1002/rnc.3695⟩
Article dans une revue
hal-01408593v1
|
|||
|
|
A Data-Parallel Algorithm to Reliably Solve Systems of Nonlinear EquationsNinth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT '08), 2008, Dunedin, New Zealand. pp.39-46, ⟨10.1109/PDCAT.2008.26⟩
Communication dans un congrès
hal-00288207v1
|
||
|
|
La propagation d'intervalles vue comme un problème de bandit-manchot non stationnaireJournées Francophones de Programmation par Contraintes, 2006, Nîmes - Ecole des Mines d'Alès
Communication dans un congrès
inria-00085772v1
|
||
|
|
When (3x/3) and 3(x/3) are not equal to x2016
Pré-publication, Document de travail
hal-01451457v1
|
||
Review of The End of Error: Unum Computing, by John L. Gustafson2015
Pré-publication, Document de travail
hal-01397523v1
|
|||
|
|
Towards Good C++ Interval Libraries: Tricks AND Traits2000
Pré-publication, Document de travail
hal-00430568v1
|
||
A Data-Parallel Algorithm to Enforce Box ConsistencyConstraint Programming and Decision Making Workshop (CoProd 2008), Oct 2008, El Paso, TX, United States
Communication dans un congrès
hal-00480787v1
|
|||
|
|
Fast and Correct SIMD Algorithms for Interval ArithmeticPARA '08, 2008, Trondheim, Norway. pp.????--????
Communication dans un congrès
hal-00288456v1
|