Search - Département STIC Access content directly

Filter your results

94 Results
Domains : math
Image document

A Priori Error Analysis and Spring Arithmetic

Gilles Chabert , Luc Jaulin
SIAM Journal on Scientific Computing, 2009, 31 (3), pp.2214-2230. ⟨10.1137/070696982⟩
Journal articles hal-00428952v1
Image document

An Interval Constraint Programming Approach for Quasi Capture Tube Validation

Abderahmane Bedouhene , Bertrand Neveu , Gilles Trombettoni , Luc Jaulin , Stéphane Le Ménec et al.
CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier, France. pp.18:1--18:17, ⟨10.4230/LIPIcs.CP.2021.18⟩
Conference papers hal-03412799v1
Image document

Information-Theoretic Analysis of Underwater Acoustic OFDM Systems in Highly Dispersive Channels

François-Xavier Socheleau , Milica Stojanovic , Christophe Laot , Jean-Michel Passerieux
Journal of Electrical and Computer Engineering, 2012, 2012 (ID 716720), pp.15. ⟨10.1155/2012/716720⟩
Journal articles hal-00697027v1
Image document

Bracketing the solutions of an ordinary differential equation with uncertain initial conditions

Thomas Le Mézo , Luc Jaulin , Benoit Zerr
Applied Mathematics and Computation, 2018, 318 (1), pp.70-79. ⟨10.1016/j.amc.2017.07.036⟩
Journal articles hal-01574711v1
Image document

Computability of the Avoidance Set and of the Set-Valued Identification Problem

Anthony Welte , Luc Jaulin , Martine Ceberio , Vladik Kreinovich
Journal of Uncertain Systems, 2017, 11, pp.129 - 136
Journal articles hal-01698372v1
Image document

Separator Algebra for State Estimation

Luc Jaulin
SMART 2015, Université de Manchester, Sep 2015, Manchester, United Kingdom
Conference papers hal-01236498v1
Image document

Global Optimization of H ∞ problems: Application to robust control synthesis under structural constraints

Dominique Monnet , Jordan Ninin , Benoit Clement
MACIS, Nov 2015, Berlin, Germany
Conference papers hal-01236171v1

Comparison of interval analysis methods and standard statistical ones in a problem of estimating experimental data with uncertainties

Luc Jaulin , Sergey Kumkov
MSCMQ'2018 (Mathematics, Statistics and Computation to Support Measurement Quality 2018), D.I.Mendeleyev Institute for Metrology (Russia); COOMET, May 2018, Saint Petersbourg, Russia
Conference papers hal-01935907v1

Maximal perimeter, diameter and area of equilateral unit-width convex polygons

Charles Audet , Jordan Ninin
Journal of Global Optimization, 2013, 56 (3), pp.1007-1016. ⟨10.1007/s10898-011-9780-4⟩
Journal articles istex hal-00847259v1
Image document

Optimisation globale basée sur les contracteurs : Application au contrôle aérien

Jordan Ninin
ROADEF 2015, société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2015, Marseille, France
Conference papers hal-01137744v1
Image document

Simulating a random vector conditionally to a subvariety: a generic dichotomous approach

Frédéric Dambreville
2021
Preprints, Working Papers, ... hal-03164754v1
Image document

Inverse Scattering Using a Kohn-Vogelius Formulation and Shape Optimization Method

Thomas Bonnafont , Fabien Caubet
2023 17th European Conference on Antennas and Propagation (EuCAP), Mar 2023, Florence, Italy. pp.1-5, ⟨10.23919/EuCAP57121.2023.10133032⟩
Conference papers hal-04123417v1
Image document

Guaranteed computation of robot trajectories

Simon Rohou , Luc Jaulin , Lyudmila Mihaylova , Fabrice Le Bars , Sandor M Veres et al.
Robotics and Autonomous Systems, 2017, 93, pp.76 - 84. ⟨10.1016/j.robot.2017.03.020⟩
Journal articles hal-01516228v1

Robotic Demonstration of Collision Avoidance Based on Differential Games

Stéphane Le Ménec , Victor Lecointre , Rémi Boutteau , Xavier Savatier , Luc Jaulin et al.
International Symposium on Dynamic Games and Applications, Jul 2014, Amsterdam, Netherlands
Conference papers hal-01713912v1
Image document

Decision-Making and Artificial Intelligence: From Technical Mechanisms to Legal Concepts

Laurène Mazeau , Jordan Ninin
Marie-Eve Arbour; Lara Khoury. Concilier la sécurité des produits et la responsabilité civile à l'ère du risque et de l'incertitude, Éditions Yvon Blais, 2019, 9782897305543
Book sections hal-02565053v1
Image document

Kalman Filter-Based Real-Time Implementable Optimization of the Fuel Efficiency of Solid Oxide Fuel Cells

Andreas Rauh
Clean Technologies, 2021, 3, pp.206 - 226. ⟨10.3390/cleantechnol3010012⟩
Journal articles hal-03164776v1
Image document

Transformation of Uncertain Linear Systems with Real Eigenvalues into Cooperative Form: The Case of Constant and Time-Varying Bounded Parameters

Andreas Rauh , Julia Kersten
Algorithms, 2021, 14 (3), pp.85. ⟨10.3390/a14030085⟩
Journal articles hal-03164789v1
Image document

Une méthode de génération de colonnes pour la planification des capteurs dans un processus de collecte d'informations

Duc-Manh Nguyen , Frédéric Dambreville , Abdelmalek Toumi , Jean-Christophe Cexus , Ali Khenchaf et al.
Conférence ROADEF 2013, Feb 2013, Troyes, France. 2 p
Conference papers hal-00802721v1
Image document

Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations

Andreas Rauh , Auguste Bourgois , Luc Jaulin , Julia Kersten
2021 International Conference on Control, Automation and Diagnosis (ICCAD), Nov 2021, Grenoble, France. pp.1-6, ⟨10.1109/ICCAD52417.2021.9638755⟩
Conference papers hal-03494430v1
Image document

Reliability Assessment of an Unscented Kalman Filter by Using Ellipsoidal Enclosure Techniques

Andreas Rauh , Stefan Wirtensohn , Patrick Hoher , Johannes Reuter , Luc Jaulin et al.
Mathematics , 2022, 10 (16), pp.3011. ⟨10.3390/math10163011⟩
Journal articles hal-03758036v2
Image document

An Ellipsoidal Predictor-Corrector State Estimation Scheme for Linear Continuous-Time Systems With Bounded Parameters and Bounded Measurement Errors

Andreas Rauh , Simon Rohou , Luc Jaulin
Frontiers in Control Engineering, 2022, ⟨10.3389/fcteg.2022.785795⟩
Journal articles hal-03619435v1

Mise en œuvre des probabilités et des statistiques

Ali Mansour , Christophe Osswald
Ellipses, 552 p., 2019, 9782340032965
Books hal-02303379v1

Improving Model Checking with Context Modelling

Philippe Dhaussy , Frédéric Boniol , Jean-Charles Roger , Luka Leroux
Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩
Journal articles hal-00738735v1
Image document

A reliable affine relaxation method for global optimization

Jordan Ninin , Frédéric Messine , Pierre Hansen
4OR: A Quarterly Journal of Operations Research, 2015, 13 (3), pp.247-277. ⟨10.1007/s10288-014-0269-0⟩
Journal articles hal-01194735v1
Image document

Global Optimization for Sparse Solution of Least Squares Problems

Ramzi Ben Mhenni , Sébastien Bourguignon , Jordan Ninin
2019
Preprints, Working Papers, ... hal-02066368v1
Image document

Achievable Rates of Underwater Acoustic OFDM Systems over Highly Dispersive Channels

François-Xavier Socheleau , Milica Stojanovic , Christophe Laot , Jean-Michel Passerieux
European Conference on Underwater Acoustics, Jul 2012, Edinburgh, United Kingdom. pp.1-8
Conference papers hal-00697033v1

DOA estimation in structured phase-noisy environments

Angélique Drémeau , Cédric Herzet
42nd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2017), Mar 2017, La Nouvelle Orléans, LA, United States. pp.3176-3180, ⟨10.1109/ICASSP.2017.7952742⟩
Conference papers hal-01702246v1

A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation

Papa Issa Diallo , Joël Champeau , Loïc Lagadec
SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
Conference papers hal-00912574v1
Image document

Optimisation globale pour la résolution de problèmes parcimonieux en norme $l_0$

Sébastien Bourguignon , Jordan Ninin , Hervé Carfantan , Marcel Mongeau
Assemblée Générale du GDR ISIS, Mar 2015, Lyon, France.
Conference poster hal-01194776v1

The Small Octagons of MaximalWidth

Charles Audet , Pierre Hansen , Frédéric Messine , Jordan Ninin
Discrete and Computational Geometry, 2013, 49 (3), pp.589-600. ⟨10.1007/s00454-013-9489-x⟩
Journal articles hal-00847250v1