Skip to Main content Skip to Navigation


...
inria-00000069v1  Conference papers
Christian BessièreRemi ColettaThierry Petit. Apprentissage de Contraintes Globales Implicites
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.249-258
...
hal-00018529v1  Conference papers
Francisco ChávesMarc Daumas. A library of Taylor models for PVS automatic proof checker
Georgia Institute of Technology, 2006, Savannah, Georgia, pp.39-52
...
inria-00069925v1  Reports
Christine Azevedo CosteRoger Pissard-Gibollet. Le contrôleur du robot BIP2000
[Rapport de recherche] RT-0249, INRIA. 2001, pp.144
inria-00078461v1  Journal articles
Christine Azevedo CosteRodolphe Héliot. Rehabilitation of Functional Posture and Walking: Coordination of healthy and Impaired Limbs
Journal of Automatic Control, Elektrotehnički fakultet, Beograd, 2005, 15 - supplément, pp.11-15
...
ensl-00086826v1  Journal articles
Jean-Michel MullerNicolas BrisebarreArnaud Tisserand. Computing machine-efficient polynomial approximations
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2006, 32 (2), pp.236-256. ⟨10.1145/1141885.1141890⟩
...
ensl-00086894v1  Journal articles
Jean-Michel MullerJean-Claude BajardSylvanus Kla. BKM: a new hardware algorithm for complex elementary functions
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 1994, 43 (8), pp.955-963. ⟨10.1109/12.295857⟩
...
ensl-00087002v1  Conference papers
Jean-Michel MullerArnaud TisserandMilos Ercegovac. Simple Seed Architectures for Reciprocal and Square-Root Reciprocal
39th Asilomar Conference on Signals, Systems and Computers, Oct 2005, Pacific Grove, California, United States. pp.1167-1171
lirmm-00090276v1  Conference papers
David Guiraud. Outils Théoriques de l'Automatique au Service de la Modélisation et de la Commande du Système Sensori-Moteur Humain
JNRR: Journées Nationales de la Recherche en Robotique, Oct 2005, Guidel, France
...
lirmm-00091339v1  Conference papers
Maylis DelestJean-Marc FédouGuy Melançon. A Quality Measure for Multi-Level Community Structure
SYNASC'06: 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2006, pp.63-68
...
inria-00099455v1  Conference papers
Bruno GaujalEmmanuel HyonAlain Jean-Marie. Routage en boucle ouverte dans deux files {./M/1} en parallèle
AlgoTel: Aspects Algorithmiques des Télécommunications, May 2002, Mèze, France. pp.59-66
inria-00099506v1  Journal articles
Jörn MiggeAlain Jean-MarieNicolas Navet. Timing analysis of compound scheduling policies: application to Posix1003.1b
Journal of Scheduling, Springer Verlag, 2003, 6 (5), pp.457-482
lirmm-00099913v1  Conference papers
Gaël PagesPhilippe FraisseNacim RamdaniDavid Guiraud. Towards a Reliable Posture Estimation for Standing in Paraplegia
6th IFAC Symposium on Modelling and Control in Biomedical Systems 2006, Sep 2006, Reims (France), pp.63-68
inria-00100135v1  Conference papers
Bruno GaujalEmmanuel HyonAlain Jean-Marie. Optimal routing in two parallel queues
WODES'04: 7th Workshop on Discrete Event Systems, 2004, Reims, France. pp.6
lirmm-00100317v1  Conference papers
Philippe PoignetJean TribouletMickaël SauvéeEtienne DombreEzio Malis et al.  3D Heart Motion Estimation Using Endoscopic Monocular Vision System
MCBMS'06: 6th IFAC Symposium on Modeling and Control in Biomedical Systems, Sep 2006, Reims (France), pp.141-146
lirmm-00100349v1  Conference papers
David GuiraudChristine Azevedo CosteKen YoshidaPhilippe PoignetSamer Mohammed et al.  Towards Modelling the Human Sensory Motor System
MCBMS’06: 6th IFAC Symposium on Modelling and Control in Biomedical Systems, Sep 2006, Reims, France. pp.399-404
inria-00100596v1  Conference papers
Bruno GaujalEmmanuel HyonAlain Jean-Marie. Etude d'une file G/M/1 avec un échantillonnage déterministe d'un processus de Poisson en entrée
VII° Atelier d'Evaluation de Performances, May 2001, Paris, France. pp.27
lirmm-00102834v1  Journal articles
Bruno GaujalEmmanuel HyonAlain Jean-Marie. Optimal Routing in two Parallel Queues with Exponential Service Times
Journal of Economic Behavior and Organization, Elsevier, 2006, 16 (1), pp.71-107
...
lirmm-00105299v1  Journal articles
Valerie BertheAnne Siegel. Tilings Associated with Beta-numeration and Substitutions
Integers : Electronic Journal of Combinatorial Number Theory, State University of West Georgia, Charles University, and DIMATIA, 2005, Proceedings of the 2004 Number Theoretic Algorithms and Related Topics Workshop, 5 (3), pp.A2
lirmm-00105341v1  Journal articles
Olivier BodiniDamien Jamet. Tiling a Pyramidal Polycube with Dominoes
Journal of Automata Languages and Combinatorics, Otto-von-Guericke-Universität Magdeburg, 2005, V nd