Publications de l'équipe COPRIN

2012

Articles dans des revues avec comité de lecture

Titre

An Interval Extension Based on Occurrence Grouping

Auteurs

Araya Ignacio; Bertrand Neveu; Gilles Trombettoni

Détail

Computing, 2012, 94 (2), pp. 173-188

Accès au texte intégral et bibtex

Communications avec actes

Titre

Calibration of a Fully-Constrained Parallel Cable-Driven Robot

Auteurs

Dit Sandretto Julien Alexandre; David Daney; Marc Gouttefarde

Détail

ROMANSY'2012: 19th CISM-IFToMM Symposium on Robot Design, Dynamics, and Control, Paris, France. pp. 1-8, 2012

Accès au bibtex

Titre

A Contractor Based on Convex Interval Taylor

Auteurs

Ignacio Araya; Gilles Trombettoni; Bertrand Neveu

Détail

Springer. 9th international CPAIOR conference, 2012, Nantes, France. 7298, pp. 1-16, LNCS

Accès au texte intégral et bibtex

Titre

Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints

Auteurs

Araya Ignacio; Gilles Trombettoni; Bertrand Neveu; Gilles Chabert

Détail

GLOBAL OPTIMIZATION WORKSHOP 2012, Jun 2012, Natal, Brazil. pp. 25-29

Accès au texte intégral et bibtex

Titre

IbexOpt : un module d'optimisation globale sous contraintes fiable

Auteurs

Gilles Trombettoni ; Ignacio Araya; Bertrand Neveu; Gilles Chabert

Détail

13e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Apr 2012, Angers, France. 2p

Accès au texte intégral et bibtex

Rapports

Titre

Experimental calibration of an active space telescope with flexure joints

Auteurs

Thibault Gayral ; David Daney

Détail

[Research Report], 2012, pp. 40. RR-8096

Accès au texte intégral et bibtex

Titre

A Contractor Based on Convex Interval Taylor

Auteurs

Ignacio Araya; Gilles Trombettoni ; Bertrand Neveu

Détail

[Research Report], 2012, pp. 23. RR-7887

Accès au texte intégral et bibtex

Titre

Calibration of a fully-constrained parallel cable-driven robot

Auteurs

Julien Alexandre Dit Sandretto; David Daney; Marc Gouttefarde; Cédric Baradat

Détail

[Research Report], 2012, pp. 21. RR-7879

Accès au texte intégral et bibtex

Titre

Interval Methods for Model Qualification: Methodology and Advanced Application

Auteurs

Julien Alexandre Dit Sandretto; Gilles Trombettoni; David Daney

Détail

[Research Report], 2012, pp. 23. RR-7880

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Interval-Analysis-Based Determination of the Wrench-Feasible Workspace of Parallel Cable-Driven Robots

Auteurs

Marc Gouttefarde; David Daney; Jean-Pierre Merlet

Détail

IEEE Transactions on Robotics, 2011, 27 (1), pp. 001-013

Accès au bibtex

Communications avec actes

Titre

Symmetric Games with networking applications

Auteurs

Eitan Altman; Odile Pourtallier; Tania Jimenez; Hisao Kameda

Détail

Roberto Cominetti and Sylvain Sorin and Bruno Tuffin. NetGCOOP 2011 : International conference on NETwork Games, COntrol and OPtimization, Oct 2011, Paris, France. IEEE

Accès au texte intégral et bibtex

Titre

Inner Regions and Interval Linearizations for Global Optimization

Auteurs

Gilles Trombettoni; Araya Ignacio; Bertrand Neveu; Gilles Chabert

Détail

AAAI 2011, Aug 2011, San Francisco, United States.

Accès au texte intégral et bibtex

Titre

Régions intérieures et linéarisations par intervalles en optimisation globale

Auteurs

Gilles Trombettoni; Ignacio Araya; Bertrand Neveu; Gilles Chabert

Détail

Association Française de Programmation par Contraintes. JPFC 2011 - Septièmes Journées Francophones de Programmation par Contraintes, Jun 2011, Lyon, France. pp. 299-306

Accès au texte intégral et bibtex

Communications sans actes

Titre

Indifference prices for carbon emission allowances. The European carbon market context

Auteurs

Mireille Bossy ; Dia El Hadj Ali; Maïzi Nadia; Odile Pourtallier

Détail

7th International Congress on Industrial and Applied Mathematics - ICIAM 2011, Jul 2011, Vancouver, Canada.

Accès au bibtex

Titre

Carbon Allowances and Electricity Prices: a Game-theory Approach

Auteurs

Mireille Bossy ; René Carmona; Nadia Maïzi; Odile Pourtallier

Détail

7th International Congress on Industrial and Applied Mathematics - ICIAM 2011, Jul 2011, Vancouver, Canada.

Accès au bibtex

Rapports

Titre

An Interval Extension Based on Occurrence Grouping: Method and Properties

Auteurs

Ignacio Araya; Bertrand Neveu; Gilles Trombettoni

Détail

[Research Report], 2011, pp. 26. RR-7806

Accès au texte intégral et bibtex

Titre

Characterizing and approximating eigenvalue sets of symmetric interval matrices

Auteurs

Milan Hladik; David Daney; Elias Tsigaridas

Détail

[Research Report], 2011, pp. 22. RR-7544

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Guaranteed Parameter Set Estimation With Monotone Dynamical Systems Using Hybrid Automata

Auteurs

Nacim Meslem; Nacim Ramdani; Yves Candau

Détail

Reliable Computing, 2010, pp. 88-104

Accès au bibtex

Titre

Improving Inter-Block Backtracking with Interval Newton

Auteurs

Bertrand Neveu; Gilles Trombettoni; Gilles Chabert

Détail

Constraints, 2010, 15 (1), pp. 93-116

Accès au bibtex

Titre

Computing reachable sets for uncertain nonlinear monotone systems

Auteurs

Nacim Ramdani; Nacim Meslem; Yves Candau

Détail

Nonlinear Analysis: Hybrid Systems, 2010, 4 (2), pp. 263-278

Accès au bibtex

Articles de vulgarisation scientifique

Titre

Robotique : des aides abordables pour nos aînés

Auteurs

Jean-Pierre Merlet; David Daney

Détail

La Recherche Les Cahiers de l'Inria, Societé d' éditions scientifiques, 2010, Les 24 plus beaux défis de la science, 446 novembre 2010

Accès au texte intégral et bibtex

Communications avec actes

Titre

Exploitation de la monotonie des fonctions dans la propagation de contraintes sur intervalles

Auteurs

Ignacio Araya; Bertrand Neveu; Gilles Trombettoni

Détail

JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp. 23-31

Accès au texte intégral et bibtex

Titre

Une nouvelle extension de fonctions aux intervalles basée sur le groupement d'occurrences

Auteurs

Ignacio Araya; Bertrand Neveu; Gilles Trombettoni

Détail

JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp. 13-22

Accès au texte intégral et bibtex

Titre

Exploiting Monotonicity in Interval Constraint Propagation

Auteurs

Ignacio Araya; Gilles Trombettoni; Bertrand Neveu

Détail

Association for the Advancement of Artificial Intelligence. Twenty-Fourth AAAI Conference on Artificial Intelligence, Jul 2010, Atlanta, United States. pp. 9-14

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

C-Strategy: A Dynamic Adaptive Strategy for the CLONALG Algorithm

Auteurs

Maria Cristina Riff; Elizabeth Montero; Bertrand Neveu

Détail

Marina L. Gavrilova and C. J. Kenneth Tan. Transactions on Computational Science VIII, Springer-Verlag, pp. 41-55, 2010, Lecture Notes in Computer Science, 978-3-642-16235-0

Accès au texte intégral et bibtex

Thèses

Titre

Manipulateurs parallèles, singularités et analyse statique

Auteurs

Julien Hubert

Détail

Informatique temps réel, robotique et automatique. École Nationale Supérieure des Mines de Paris, Sep. 2010. French

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems

Auteurs

Nacim Ramdani; Nacim Meslem; Yves Candau

Détail

IEEE Transactions on Automatic Control, 2009, 54 (10), pp. 2352 - 2364

Accès au bibtex

Titre

Approximation garantie de l'espace d'état atteignable des systèmes dynamiques continus incertains

Auteurs

Nacim Meslem; Nacim Ramdani; Yves Candau

Détail

Journal Européen des Systèmes Automatisés, 2009, 43 (6), pp. 587-612

Accès au bibtex

Titre

Interval analysis for Certified Numerical Solution of Problems in Robotics

Auteurs

Jean-Pierre Merlet

Détail

International Journal of Applied Mathematics and Computer Science, University of Zielona Góra, 2009

Accès au texte intégral et bibtex

Articles de vulgarisation scientifique

Titre

Valuing CO2 Emission Allowances with Stochastic Control

Auteurs

Olivier Davidau; Bossy Mireille; Nadia Maïzi; Odile Pourtallier

Détail

ERCIM News, Ercim, 2009, 78, pp. 24-25

Accès au bibtex

Communications avec actes

Titre

Utilisation de sous-systèmes carrés et denses pour le filtrage de CSP numériques

Auteurs

Ignacio Araya; Gilles Trombettoni; Bertrand Neveu

Détail

Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp. 335-345

Accès au texte intégral et bibtex

Titre

Safe Motion Planning Computation for Databasing Balanced Movement of Humanoid Robots

Auteurs

Sebastien Lengagne; Nacim Ramdani; Philippe Fraisse

Détail

ICRA'09: IEEE International Conference on Robotics and Automation, Kobe, Japan. IEEE, pp. 1669-1674, 2009

Accès au texte intégral et bibtex

Communications sans actes

Titre

Indifference prices for CO2 emission allowances

Auteurs

Davidau Olivier; Bossy Mireille; Nadia Maïzi; Odile Pourtallier

Détail

EURO Conference, Jul 2009, Bonn, Germany.

Accès au bibtex

Rapports

Titre

Towards Integrating Hybrid DAEs with a High-Index DAE Solver

Auteurs

Nedialko S. Nedialkov; Nacim Ramdani

Détail

[Research Report], 2009, pp. 16. RR-6834

Accès au texte intégral et bibtex

Titre

Bounds on eigenvalues and singular values of interval matrices

Auteurs

Milan Hladik; David Daney; Elias P. Tsigaridas

Détail

[Research Report], 2009, pp. 18

Accès au texte intégral et bibtex

Titre

A filtering method for the interval eigenvalue problem

Auteurs

Milan Hladik; David Daney; Elias P. Tsigaridas

Détail

[Research Report], 2009, pp. 14. RR-7057

Accès au texte intégral et bibtex

2008

Communications avec actes

Titre

A New Method for Generating Safe Motions for Humanoid Robots

Auteurs

Sebastien Lengagne; Nacim Ramdani; Philippe Fraisse

Détail

Humanoid'08: IEEE International Conference on Humanoid Robots, Dec 2008, France. pp. N/A

Accès au texte intégral et bibtex

Titre

First Results on the Design of High Speed Parallel Robots in Presence of Uncertainty

Auteurs

Nacim Ramdani; Marc Gouttefarde; François Pierrot; Jean-Pierre Merlet

Détail

IROS'08: International Conference on Intelligent Robots and Systems, Sep 2008, Nice, France. IEEE/RSJ, pp. 2410-2415

Accès au bibtex

Titre

Méthode pour la planification de trajectoires garanties

Auteurs

Sebastien Lengagne; Nacim Ramdani; Philippe Fraisse

Détail

Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes. 2008

Accès au texte intégral et bibtex

Titre

Exploiter les sous-expressions communes dans les CSP numériques

Auteurs

Ignacio Araya; Bertrand Neveu; Gilles Trombettoni

Détail

Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp. 375-384

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Quantifier Elimination versus Generalized Interval Evaluation: a Comparison on a Specific Class of Quantified Constraint

Auteurs

Carlos Grandón; Alexandre Goldsztejn

Détail

Uncertainty and Intelligent Information Systems, World Scientific, pp. 501-511, Jul. 2008

Accès au bibtex

Ouvrages scientifiques

Titre

Intelligent Robots and Systems, 2008. IROS 2008. IEEE/RSJ International Conference on

Auteurs

Jean-Pierre Merlet; Raja Chatila; Christian Laugier

Détail

IEEE, pp. 690, 2008

Accès au bibtex

Rapports

Titre

An Algorithm for the Real Interval Eigenvalue Problem

Auteurs

Milan Hladik; David Daney; Elias P. Tsigaridas

Détail

[Research Report], 2008, pp. 28. RR-6680

Accès au texte intégral et bibtex

2007

Communications avec actes

Titre

Wrench-Feasible Workspace of Parallel Cable-Driven Mechanisms

Auteurs

Marc Gouttefarde; Jean-Pierre Merlet; David Daney

Détail

ICRA'07: International Conference on Robotics and Automation, Apr 2007, Roma, Italy. pp. 1492-1497

Accès au bibtex

Titre

Generalized Interval Projection: A New Technique for Consistent Domain Extension

Auteurs

Carlos Grandón; Gilles Chabert; Bertrand Neveu

Détail

IJCAI'07 - Twentieth International Joint Conference on Artificial Intelligence, 2007, India. pp. 94-99

Accès au texte intégral et bibtex

Titre

Constructive Interval Disjunction

Auteurs

Gilles Trombettoni; Gilles Chabert

Détail

Christian Bessière. CP'07 - 13th International Conference on Principles and Practice of Constraint Programming, 2007, Providence, United States. Springer, 4741, pp. 635-650, LNCS

Accès au texte intégral et bibtex

Titre

A Local Motion Planner for Closed-loop Robots

Auteurs

Jean-Pierre Merlet

Détail

IROS 2007, 2007, San Diego.

Accès au texte intégral et bibtex

Titre

CID : Disjonction Constructive sur Intervalles

Auteurs

Gilles Trombettoni; Gilles Chabert

Détail

Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France. JFPC07

Accès au texte intégral et bibtex

Titre

Un mouvement incrémental pour le problème du strip-packing

Auteurs

Bertrand Neveu; Gilles Trombettoni; Ignacio Araya

Détail

Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France. JFPC07

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Modeling of Parallel Robots

Auteurs

Jean-Pierre Merlet; François Pierrot

Détail

E. Dombre, W. Khalil. Robot Manipulators - Modeling, Performance Analysis and Control, ISTE, pp. 081-139, 2007, Control Systems, Robotics and Manufacturing Series, ISBN-13: 978-1-905209-10-1

Accès au bibtex

Thèses

Titre

Résolution de systèmes de équations de distance avec incertitudes.

Auteurs

Carlos Grandón

Détail

informatique. Université de Nice Sophia-Antipolis, Mar. 2007. English

Accès au texte intégral et bibtex

Titre

Techniques d'intervalles pour la résolution de systèmes d'équations

Auteurs

Gilles Chabert

Détail

informatique. Université de Nice Sophia-Antipolis, Jan. 2007. French

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Kinematics of the wire-driven parallel robot MARIONET using linear actuators

Auteurs

Jean-Pierre Merlet

Détail

Sep. 2007

Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre

Interval Method for Calibration of Parallel Robots: A Vision-based Experimentation

Auteurs

David Daney; Nicolas Andreff; Gilles Chabert; Yves Papegay

Détail

Mechanism and Machine Theory, 2006, 41 (8), pp. 929-944

Accès au bibtex

Titre

Decomposition of Geometric Constraint Systems: a Survey

Auteurs

Christophe Jermann; Gilles Trombettoni; Bertrand Neveu; Pascal Mathis

Détail

International Journal of Computational Geometry and Applications, 2006, 16 (5-6), pp. 379-414

Accès au texte intégral et bibtex

Communications avec actes

Titre

On the regularity of the inverse jacobian of parallel robots

Auteurs

Jean-Pierre Merlet; Peter Donelan

Détail

ARK, Jun 2006, Ljubljana.

Accès au texte intégral et bibtex

Titre

When Interval Analysis Helps Inter-Block Backtracking

Auteurs

Bertrand Neveu; Gilles Chabert; Gilles Trombettoni

Détail

Frederic Benhamou. CP 2006, 12th International Conference on Principles and Practice of Constraint Programming, 2006, Nantes, France. Springer, 4204, pp. 390-405, LNCS

Accès au texte intégral et bibtex

Titre

Determination of the Wrench-Closure Workspace of 6-DOF Parallel Cable-Driven Mechanisms

Auteurs

Marc Gouttefarde; Jean-Pierre Merlet; David Daney

Détail

J. Lenarcic, B. Roth. Advances in Robot Kinematics, Ljubljana, Slovenia. Springer, pp. 315-322, 2006

Accès au bibtex

Autres publications

Titre

Interval Analysis and Reliability in Robotics

Auteurs

Jean-Pierre Merlet

Détail

Mar. 2006

Accès au texte intégral et bibtex

Rapports

Titre

Using game theory for the electricity market

Auteurs

Mireille Bossy; Nadia Maïzi; Geert Jan Olsder; Odile Pourtallier; Etienne Tanré

Détail

[Research Report], 2006. RR-5274

Accès au texte intégral et bibtex

Titre

A Specific Quantifier Elimination for Inner Box Test in Distance Constraints with Uncertainties

Auteurs

Carlos Grandón; Bertrand Neveu

Détail

[Research Report], 2006. RR-5883

Accès au texte intégral et bibtex

Titre

On solving the direct kinematics problem for parallel robots

Auteurs

Jean-Charles Faugère; Jean-Pierre Merlet; Fabrice Rouillier

Détail

[Research Report], 2006. RR-5923

Accès au texte intégral et bibtex

2005

Articles dans des revues avec comité de lecture

Titre

Interval method for calibration of parallel robots : a vision-baded experimentation.

Auteurs

David Daney; Nicolas Andreff; Yves Papegay

Détail

Mechanism and machine theory 0094-11X, 2005, pp. 1

Accès au bibtex

Communications avec actes

Titre

Optimal design of robots

Auteurs

Jean-Pierre Merlet

Détail

Robotics: Science and systems, Jun 2005, Boston.

Accès au texte intégral et bibtex

Titre

IGC : Une nouvelle consistance partielle pour les CSPs continus

Auteurs

Gilles Chabert; Gilles Trombettoni; Bertrand Neveu

Détail

Christine Solnon. Premières Journées Francophones de Programmation par Contraintes, Jun 2005, Lens. Université d'Artois, Premières Journées Francophones de Programmation par Contraintes, pp. 199-210

Accès au texte intégral et bibtex

Titre

Une Stratégie de Résolution Orientée par la Topologie des CSPs Numériques

Auteurs

Heikel Batnini; Michel Rueher; Claude Michel

Détail

Christine Solnon. Premières Journées Francophones de Programmation par Contraintes, Jun 2005, Lens. Université d'Artois, Premières Journées Francophones de Programmation par Contraintes, pp. 211-218

Accès au texte intégral et bibtex

Titre

Kinematics and synthesis of cams-coupled parallel robots

Auteurs

Jean-Pierre Merlet

Détail

International Workshop on Computational Kinematics, May 2005, Cassino.

Accès au texte intégral et bibtex

Titre

Jacobian, manipulability, condition number and accuracy of parallelrobots

Auteurs

Jean-Pierre Merlet

Détail

ISRR, Oct 2005, San Francisco.

Accès au texte intégral et bibtex

Titre

Legs Interference Checking of Parallel Robots over a Given Workspace or Trajectory

Auteurs

Jean-Pierre Merlet

Détail

Int. Conf. on Robotics and Automation, May 2006, Orlando. IEEE, Conference on International Robotics and Automation. Orlando, FL, USA. IEEE Robotics and Autom. Soc. 15-19 May 2006, pp. 757-762

Accès au texte intégral et bibtex

Conférences invitées

Titre

The necessity of optimal design for parallel machines and a possible certified methodology

Auteurs

Jean-Pierre Merlet

Détail

Robotic Systems for Handling and Assembly, May 2005, Braunschweig.

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Electricity Prices in a Game Theory Context

Auteurs

Mireille Bossy; Nadia Maïzi; Geert Jan Olsder; Odile Pourtallier; Etienne Tanré

Détail

Alain Haurie, Georges Zaccour. Dynamic Games ; Theory and Applications, Springer, p. 135-159 - ISBN 978-0-387-24601-7, 2005, GERAD 25th anniversary series ; 10

Accès au bibtex

Thèses

Titre

Definition et Applications des Extensions des
Fonctions Reelles aux Intervalles Généralisés; reformulation de la theorie des intervalles modaux.

Auteurs

Alexandre Goldsztejn

Détail

informatique. Université de Nice Sophia-Antipolis, Nov. 2005. French

Accès au texte intégral et bibtex

2004

Articles dans des revues avec comité de lecture

Titre

An Interval Analysis Based Study for the Design and the Comparison of 3-DOF Parallel Kinematic Machines

Auteurs

Damien Chablat; Philippe Wenger; Félix Majou; Jean-Pierre Merlet

Détail

International Journal of Robotics Research, 2004, 23 (6), pp. 615-624

Accès au texte intégral et bibtex

Communications avec actes

Titre

A Comparative Study between Two Three-DOF Parallel Kinematic Machines using Kinetostatic Criteria and Interval Analysis

Auteurs

Damien Chablat; Philippe Wenger; Jean-Pierre Merlet

Détail

Tian Huang. Apr 2004, Tianjin, China. IFTOMM, pp. 1-6

Accès au texte intégral et bibtex

Titre

A local planner for closed-loop robot

Auteurs

Jean-Pierre Merlet

Détail

IEEE ICRA, Apr 2007, Rome.

Accès au texte intégral et bibtex

Rapports

Titre

Exhaustive enumeration of Kochen-Specker vector systems

Auteurs

Mladen Pavicic; Jean-Pierre Merlet; Norman Megill

Détail

[Research Report], 2004, pp. 39. RR-5388

Accès au texte intégral et bibtex

Titre

New Light on Arc Consistency over Continuous Domains

Auteurs

Gilles Chabert; Gilles Trombettoni; Bertrand Neveu

Détail

[Report], 2004, pp. 26. RR-5365

Accès au texte intégral et bibtex

2003

Communications avec actes

Titre

VOTE: Group Editors Analyzing Tool

Auteurs

Abdessamad Imine; Pascal Molli; Gérald Oster; Pascal Urso

Détail

Fourth International Workshop on First-Order Theorem Proving - FTP'03, 2003, Valencia, Spain. Elsevier, FTP'2003, 4th International Workshop on First-Order Theorem Proving (in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming), 86/1, pp. 153-161, Electronic Notes in Theoretical Computer Science

Accès au bibtex

Titre

Scene Modeling Based on Constraint System Decomposition Techniques

Auteurs

Marta Wilczkowiak; Gilles Trombettoni; Christophe Jermann; Peter Sturm; Edmond Boyer

Détail

9th IEEE International Conference on Computer Vision (ICCV '03), Oct 2003, Nice, France. IEEE Computer Society, Proceedings Ninth IEEE International Conference on Computer Vision, 2, pp. 1004-1010

Accès au texte intégral et bibtex

Titre

Scene Reconstruction Based on Constraints: Details on the Equation System Decomposition

Auteurs

Gilles Trombettoni; Marta Wilczkowiak

Détail

Francesca Rossi. 9th International Conference on Principles and Practice of Constraint Programming (CP '03), Sep 2003, Kinsale, Ireland. Springer-Verlag, 2833, pp. 956-961, Lecture Notes in Computer Science (LNCS)

Accès au texte intégral et bibtex

2002

Communications avec actes

Titre

Workspace Analysis of the Orthoglide using Interval Analysis

Auteurs

Damien Chablat; Philippe Wenger; Jean-Pierre Merlet

Détail

2002, Caldes de Malavella, Spain. Kluwer Academic Publishers, pp. 1-10

Accès au texte intégral et bibtex

Rapports

Titre

New Low Cost and Undedicated Genetic Operators title

Auteurs

Blaise Madeline

Détail

[Report], 2002. RR-4573

Accès au texte intégral et bibtex

Titre

"Term Partition" for Mathematical Induction

Auteurs

Pascal Urso; Emmanuel Kounalis

Détail

[Research Report], 2002. RR-4565

Accès au texte intégral et bibtex

Thèses

Titre

Résolution de contraintes géométriques par rigidifications récursive et propagation d'intervalles

Auteurs

Christophe Jermann

Détail

informatique. Université de Nice Sophia-Antipolis, Dec. 2002. French

Accès au texte intégral et bibtex

Titre

Algorithmes évolutionnaires et résolution de problèmes de satisfaction de contraintes en domaines finis

Auteurs

Blaise Madeline

Détail

informatique. Université de Nice Sophia-Antipolis, Dec. 2002. French

Accès au texte intégral et bibtex

Titre

Généralisations et méthodes correctes pour l'induction mathématique

Auteurs

Pascal Urso

Détail

informatique. Université de Nice Sophia-Antipolis, Mar. 2002. French

Accès au texte intégral et bibtex