Search - Archive ouverte HAL Access content directly

Filter your results

62 Results
Deposit type : Notice

On the motion planning of rolling surfaces

Abdelkader Chelouah , Yacine Chitour
Forum Mathematicum, 2003, 15 (5), pp.727-758. ⟨10.1515/form.2003.039⟩
Journal articles istex hal-02320843v1

Lambda-Calculus with Director Strings

Ian Mackie , Maribel Fern{á}ndez , François-Régis Sinot
Applicable Algebra in Engineering, Communication and Computing, 2005, Journal of Applicable Algebra in Engineering, Communication and Computing, 15 (6), pp.393--437
Journal articles inria-00133315v1

Planar Graphs, via Well-Orderly Maps and Trees

Nicolas Bonichon , Cyril Gavoille , Nicolas Hanusse , Dominique Poulalhon , Gilles Schaeffer et al.
Other publications hal-00400503v1

MINLP Interface Specification

C.C. Pantelides , Leo Liberti , P. Tsiakis , T. Crombie
CAPE-OPEN Update, 2002, 2, pp.10-13
Journal articles hal-00163564v1

A bijection for loopless triangulations of a polygon with interior points

Dominique Poulalhon , Gilles Schaeffer
International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'02, Foda, O. and Guttmann, T., Jul 2002, Melbourne, Australie, France. 12 p
Conference papers inria-00100860v1

On Minimizing the Weighted Number of Late Jobs in Unit Execution Time Open-Shops

Philippe Baptiste
European Journal of Operational Research, 2003, European Journal of Operational Research, 149, pp.344--354
Journal articles inria-00124173v1

Fast evaluation of holonomic functions

Joris van Der Hoeven
Theoretical Computer Science, 1999, 210 (1), pp.199-215. ⟨10.1016/s0304-3975(98)00102-9⟩
Journal articles hal-02350531v1

A combinatorial approach to jumping particles

Enrica Duchi , Gilles Schaeffer
Journal of Combinatorial Theory, Series A, 2005, 110(1), pp.1-29
Journal articles hal-00019884v1

Simulation versus Markovian Methods in System Dependability Assessment

Eric Chatelet , Yves Dutuit , Christophe Bérenguer , Antoine Rauzy
ICIL'01, 2001, Okinawa, Japan
Conference papers hal-02563542v1

Computing isogenies in $GF(2^n)$

Reynald Lercier
ANTS-II, May 1996, Talence, France. ⟨10.1007/3-540-61581-4_55⟩
Conference papers istex hal-01102045v1

Counting the Number of Points on Elliptic Curves over Finite Fields: Strategies and Performances

Reynald Lercier , François Morain
EUROCRYPT '95, May 1995, Saint-Malo, France. ⟨10.1007/3-540-49264-X_7⟩
Conference papers hal-01102046v1

On the Asymptotic Number of Plane Curves and Alternating Knots

Gilles Schaeffer , Paul Zinn-Justin
Experimental Mathematics, 2004, 13, pp.4
Journal articles hal-00004352v1

Closed Reduction: explicit substitutions without alpha conversion

Maribel Fern{á}ndez , Ian Mackie , François-Régis Sinot
Mathematical Structures in Computer Science, 2005, Mathematical Structures in Computer Science, 15 (2), pp.343--381
Journal articles inria-00133318v1

Separation with streams in the $\Lambda\mu$-calculus

Alexis Saurin
20th Annual IEEE Symposium on Logic In Computer Science - LICS 2005, Jun 2005, Chicago, United States. pp.356-365, ⟨10.1109/LICS.2005.48⟩
Conference papers hal-00527871v1

Reformulation and Convex Relaxation Techniques for Global Optimization

Leo Liberti
4OR: A Quarterly Journal of Operations Research, 2004, 2, pp.255-258
Journal articles hal-00152397v1

Interactive Volume Reconstruction and Measurement on the Grid

Cecile Germain-Renaud , Angel Osorio , Romain Texier
Methods of Information in Medicine, 2005, 44 (2), pp.227-232
Journal articles inria-00288872v1

Modèles et Algorithmes en Ordonnancement: Exercices et Problèmes Corrigés

Christian Artigues , Philippe Baptiste , Jacques Carlier , Philippe Chrétienne , Christelle Guéret et al.
Ellipses, 227 p, 2004, 978-2729821715
Books inria-00108094v1

Finding Good Random Elliptic Curves for Cryptosystems Defined Over $GF(2^n)$

Reynald Lercier
EUROCRYPT '97, May 1997, Konstanz, Germany. pp.379-392, ⟨10.1007/3-540-69053-0_26⟩
Conference papers hal-01102043v1


Annick Valibouze , Marc Giusti
Workshop "on Open Source Computer Algebra", May 2002, Lyon, France. pp.ONLINE
Conference papers hal-00556949v1

Random Planar Lattices and Integrated SuperBrownian Excursion

Philippe Chassaing , Gilles Schaeffer
Probability Theory and Related Fields, 2004, 128(2), pp.161-212. ⟨10.1007/s00440-003-0297-8⟩
Journal articles hal-00005090v1

Solving the p-center problem with tabu search and variable neighborhood search

Nenad Mladenovic , Martine Labbé , Pierre Hansen
Networks, 2003, 42 (1), pp.48-64. ⟨10.1002/net.10081⟩
Journal articles hal-01255590v1

Algorithms for computing isogenies between elliptic curves

Reynald Lercier , François Morain
Computational Perspectives on Number Theory, 1995, Chicago, United States. pp.77-96
Conference papers hal-01102041v1

A game semantics for proof search, preliminary results

Alexis Saurin , Dale Miller
Twenty-first Conference on the Mathematical Foundations of Programming Semantics - MFPS XXI, May 2005, Birmingham, United Kingdom. pp.543-563, ⟨10.1016/j.entcs.2005.11.072⟩
Conference papers hal-00527881v1

An Interaction Net Implementation of Additive and Multiplicative Structures

Ian Mackie
Journal of Logic and Computation, 2005, Journal of Logic and Computation, 15 (2), pp.219--237
Journal articles inria-00133311v1

Airspace sectorization with constraints

Huy Tran Dac , Philippe Baptiste
RAIRO - Operations Research, 2005, 39, pp.105--122
Journal articles inria-00123795v1

Ten notes on equal-processing-time scheduling

Philippe Baptiste , Peter Brucker , Sigrid Knust , Vadim Timkovski
4OR: A Quarterly Journal of Operations Research, 2004, 4OR: Quarterly Journal of the Belgian, French and Italian Operations Research Societies, pp.111--127
Journal articles inria-00124157v1

Constraint-Based Scheduling: Applying Constraint Programming to Scheduling Problems

Philippe Baptiste , Claude Le Pape , Wim Nuijten
Kluwer, 2001, International Series in Operations Research and Management Science, 978-0792374084
Books inria-00123562v1

Artificial evolution : 6th International Conference, Evolution Artificielle, EA 2003, Marseille, France, October 27-30, 2003 ; revised selected papers

Marc Schoenauer , Pierre Liardet , Pierre Collet , Evelyne Lutton , Cyril Fonlupt et al.
Liardet, Pierre; Collet, Pierre; Fonlupt, Cyril; Lutton, Evelyne; Schoenauer, Marc. Springer, pp.409, 2004, LNCS 2936, 3540215239
Books inria-00000846v1

Towards a Functional Formalism for Modelling Complex Industrial Systems

Simon Bliudze , Daniel Krob
European Conference on Complex Systems, Nov 2005, Paris, France. pp.163-176, ⟨10.1159/000093688⟩
Conference papers hal-00282877v1

Modular Curves of Composite Level

Andreas Enge , Reinhard Schertz
Acta Arithmetica, 2005, 118 (2), pp.129-141
Journal articles inria-00386309v1