Accéder directement au contenu Accéder directement à la navigation


...
hal-00428952v1  Article dans une revue
Gilles ChabertLuc Jaulin. A Priori Error Analysis and Spring Arithmetic
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2009, 31 (3), pp.2214-2230. ⟨10.1137/070696982⟩
hal-00650333v1  Communication dans un congrès
Jan SliwkaLuc JaulinMartine CeberioVladik Kreinovich. Processing Interval Sensor Data in the Presence of Outliers, with Potential Applications to Localizing Underwater Robots
IEEE SMC 2011, Oct 2011, Anchorage, United States. 978-1-4577-0653-0/11/©2011 IEEE p. 2333-2337
hal-00481288v1  Communication dans un congrès
Alexandre GoldsztejnLuc Jaulin. Inner and Outer Approximations of Existentially Quantified Equality Constraints
Twelfth International Conference on Principles and Practice of Constraint Programming, Sep 2006, France. pp.198-212, ⟨10.1007/11889205_16⟩
...
hal-00518507v1  Article dans une revue
Alexandre GoldsztejnLuc Jaulin. Inner approximation of the range of vector-valued functions
Reliable Computing, Springer Verlag, 2010, pp.1-23
...
hal-00428967v1  Communication dans un congrès
Gilles ChabertLuc JaulinXavier Lorca. A Constraint on the Number of Distinct Vectors with Application to Localization
CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 196-210
...
hal-00428970v1  Communication dans un congrès
Gilles ChabertLuc Jaulin. Hull Consistency Under Monotonicity
CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 188-195
...
hal-00428957v1  Article dans une revue
Gilles ChabertLuc Jaulin. Contractor Programming
Artificial Intelligence, Elsevier, 2009, 173, pp.1079-1100. ⟨10.1016/j.artint.2009.03.002⟩
...
hal-00865381v1  Article dans une revue
Julien MercadalZoé DreyCharles Consel. Denotational Semantics of A User-Oriented, Domain-Specific Language
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩
...
inria-00555044v1  Communication dans un congrès
Benoit BaudryPierre BazexJean-Charles DalbinPhilippe DhaussyHubert Dubois et al.  Trust in MDE Components: the DOMINO Experiment
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
hal-01122023v1  Communication dans un congrès
Luc JaulinJordan NininGilles ChabertStéphane Le MenecMohamed Saad Ibn Seddik et al.  Computing capture tubes
SCAN 2014, Université de Wurzburg, Sep 2014, Wurzburg, Germany
...
hal-01194742v1  Communication dans un congrès
Jordan NininGilles Chabert. Global Optimization based on Contractor Programming
XII GLOBAL OPTIMIZATION WORKSHOP, Sep 2014, Malaga, Spain. pp.77-80