Filtrer vos résultats
- 51
- 42
- 45
- 33
- 12
- 1
- 1
- 1
- 74
- 12
- 11
- 1
- 2
- 7
- 2
- 6
- 1
- 4
- 6
- 3
- 3
- 9
- 4
- 6
- 4
- 5
- 6
- 13
- 5
- 2
- 4
- 90
- 3
- 54
- 31
- 9
- 7
- 6
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 93
- 21
- 13
- 12
- 8
- 8
- 8
- 8
- 7
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
93 résultats
|
Revisiting the upper bounding process in a safe Branch and Bound algorithm14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.598-602
Communication dans un congrès
hal-00297086v1
|
||
|
An Efficient Algorithm for a Sharp Approximation of Universally Quantified InequalitiesACM symposium on Applied computing, Mar 2008, Fortaleza, Ceara, Brazil. pp.134-139
Communication dans un congrès
hal-00297250v1
|
||
Certified Parallelotope Continuation for One-ManifoldsSIAM Journal on Numerical Analysis, 2013, 51 (6), pp.3373-3401
Article dans une revue
hal-01408525v1
|
|||
|
Modal Intervals Revisited Part 2: A Generalized Interval Mean-Value Extension2008
Pré-publication, Document de travail
hal-00294222v1
|
||
On the approximation of linear AE-solution sets12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2006, Germany. pp.18-18, ⟨10.1109/SCAN.2006.33⟩
Communication dans un congrès
hal-00481284v1
|
|||
|
Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems19th International Conference on Principles and Practice of Constraint Programming (CP'13), 2013, Sweden. pp.774-789
Communication dans un congrès
hal-00867986v1
|
||
|
Second order sliding mode twisting controller tuning based on two-level optimization processConference on Decision and Control, Dec 2022, Cancun, Mexico
Communication dans un congrès
hal-03963726v1
|
||
|
Singularity Conditions for Continuum Parallel RobotsIEEE Transactions on Robotics, 2022, 38 (1), pp.507-525. ⟨10.1109/TRO.2021.3076830⟩
Article dans une revue
hal-03210572v1
|
||
Méthode de continuation par parallélépipèdes : application à l'optimisation globale continue bi-objectifCongrès annuel de la société française de recherche opérationnelle et d'aide à la décision (ROADEF), 2012, Unknown, Unknown Region
Communication dans un congrès
hal-01408599v1
|
|||
Interval-based projection method for under-constrained numerical cspsAnnual meeting of JSSST, 2012, Unknown, Unknown Region. pp.number 4B-2
Communication dans un congrès
hal-01408600v1
|
|||
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical SystemsSecond Workshop on Reachability Problems in Computational Models, Sep 2008, United Kingdom. pp.87-102
Communication dans un congrès
hal-00431183v1
|
|||
Interval-based Solving of Hybrid Constraint Systems3rd IFAC Conference on Analysis and Design of Hybrid Systems, Sep 2009, Spain. pp.144-149
Communication dans un congrès
hal-00481169v1
|
|||
Modal Intervals Revisited Part 2: A Generalized Interval Mean-Value ExtensionReliable Computing electronic edition, 2012, 16, pp.184-209
Article dans une revue
hal-00832810v1
|
|||
Including Ordinary Differential Equations Based Constraints in the Standard CP FrameworkPrinciples and Practice of Constraint Programming, CP2010, Sep 2010, St Andrews, United Kingdom. pp.221--235
Communication dans un congrès
hal-00520054v1
|
|||
A Parallelotope Method for Hybrid System SimulationReliable Computing electronic edition, 2016, Volume 23 (Special issue in honor of Ray Moore, 1929-2015), 23, pp.163-185
Article dans une revue
hal-02938568v1
|
|||
|
R-Min: a Fast Collaborative Underactuated Parallel Robot for Pick-and-Place OperationsIEEE 2020 International Conference on Robotics and Automation (ICRA 2020), May 2020, Paris, France
Communication dans un congrès
hal-02491783v1
|
||
|
A New Model for the Multiple Constant Multiplication Problem2021
Pré-publication, Document de travail
hal-03454510v1
|
||
Tinkerbell Is ChaoticSIAM Journal on Applied Dynamical Systems, 2011, 10 (4), pp.1480-1501
Article dans une revue
hal-00835176v1
|
|||
|
Box consistency through Adaptive Shaving25th Symposium On Applied Computing, Mar 2010, Sierre, Switzerland. pp.2049-2054
Communication dans un congrès
hal-00428678v1
|
||
Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr Existence TestsComputing, 2007, 79 (1), pp.53-60
Article dans une revue
hal-00431164v1
|
|||
|
Modal Intervals Revisited Part 1: A Generalized Interval Natural Extension2008
Pré-publication, Document de travail
hal-00294219v1
|
||
Extension of Hansen-Bliek's Method to Right-Quantified Linear SystemsReliable Computing, 2007, 13 (4), pp.325-349
Article dans une revue
hal-00431161v1
|
|||
Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalitiesJournal of Computational and Applied Mathematics, 2014, pp.543-560
Article dans une revue
hal-00911289v1
|
|||
|
Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equationThe 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Sep 2018, Tokyo, Japan
Communication dans un congrès
hal-02008057v1
|
||
|
Design of optimal multiplierless digital filtersUniversité de Nantes. 2020
Rapport
hal-03940617v1
|
||
|
Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimizationEuropean Journal of Operational Research, 2017, 260 (3), pp.934-948. ⟨10.1016/j.ejor.2016.05.045⟩
Article dans une revue
hal-01401321v1
|
||
|
Stability Analysis and Reconfiguration Strategy for Multi-agent D-formation Control23rd CISM IFToMM Symposium on Robot Design, Dynamics and Control (RoManSy 2020), Sep 2020, Sapporo, Japan
Communication dans un congrès
hal-02849991v1
|
||
|
Solving under-constrained numerical constraint satisfaction problems with IBEXThe 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Sep 2018, Tokyo, Japan
Communication dans un congrès
hal-02008026v1
|
||
|
Topology Optimization of a Reactionless Four-bar Linkage7th IFToMM International Workshop on Computational Kinematics (CK2017), May 2017, Poitiers, France
Communication dans un congrès
hal-01479410v1
|
||
|
Certified Detection of Parallel Robot Assembly Mode under Type 2 Singularity Crossing Trajectories2017 IEEE International Conference on Robotics and Automation (ICRA 2017), May 2017, Singapour, Singapore. ⟨10.1109/ICRA.2017.7989720⟩
Communication dans un congrès
hal-01435808v1
|