Trombettoni, Gilles, 1969-....
VIAF ID: 194926529 ( Personal )
Permalink: http://viaf.org/viaf/194926529
Preferred Forms
Works
Title | Sources |
---|---|
Actes des quatrièmes journées francophones de programmation par contraintes : 4-6 juin 2008, Nantes | |
Algorithmes de maintien de solution par propagation locale pour les systèmes de contraintes | |
Amarrage collaboratif automatique et sécurisé d'un robot sur une plateforme mobile : preuve par analyse par intervalles de la faisabilité d'un problème d'amarrage sous-marin. | |
Automatic Test Generation for Numerical Software in the Context of Aircraft Certification. | |
Certified calibration of parallel cable-driven robots. | |
Conception interactive d'environnements urbains durables à base de résolution de contraintes | |
Constructive and Linear (Meta)-Kernelisations on Sparse Graphs. | |
Contributions à l'algèbre linéaire exacte sur corps finis et au chiffrement homomorphe | |
Contributions in sparse linear algebra on finite fields and homomorphic encryption. | |
Cumulative scheduling with overloads of resource : Global constraint and decompositions. | |
Étalonnage des robots à câbles : identification et qualification | |
Exploiting common subexpressions and monotonicity of functions for filtering algorithms over intervals. | |
Flexible Scheduling for Agile Earth Observing Satellites | |
Génération automatique de tests logiciels dans le contexte de la certification aéronautique | |
Guaranteed Deterministic Global Optimization using Constraint Programming through Algebraic, Functional and Piecewise Differential Constraints. | |
Interactive design of sustainable cities with constraints solving. | |
Interval analysis for loop detection in the trajectory of a mobile robot. | |
(Méta)-noyaux constructifs et linéaires dans les graphes peu denses | |
Méthodes à intervalles et stratégies de parcours d'arbre pour l'optimisation globale | |
Méthodes intervalles pour le placement d’objets courbes. | |
Multi-Constrained Quality of Service Routing in Networks | |
Optimisation du parcours intra-parcellaire pour l'échantillonnage en production végétale | |
Optimisation Globale Déterministe Garantie sous Contraintes Algébriqueset Différentielles par Morceaux | |
optimization of the intra-plot sampling route in crop production. | |
Ordonnancement cumulatif avec dépassements de capacité : Contrainte globale et décompositions | |
Packing curved objects with interval methods | |
Production au sol de plans flexibles pour des satellites agiles d'observation de la terre. | |
Reliable robot localization : a constraint programming approach over dynamical systems | |
Résolution de contraintes géométriques par rigidification récursive et propagation d'intervalles | |
Routage avec contraintes de Qualité de Service multiple dans les réseaux. | |
Safe & collaborative autonomous underwater docking : interval methods for proving the feasibility of an underwater docking problem | |
Study and development of relocation solutions of underwater objects by underwater heterogeneous vehicles. | |
Techniques d'intervalles pour la résolution de systèmes d'équations |