|
|
Contrôle d'exécution réactif de mouvements de véhicules en environnement dynamique structuré
Philippe Garnier
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1995. Français. ⟨NNT : ⟩
Theses
tel-00005045v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A New Set of Tools to Describe and Tune Trajectories
Jean-Dominique Gascuel
,
Christophe Lyon
Computer Animation'95, 1995, Genève, Switzerland
Conference papers
inria-00510121v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Feature-based Control of Visibility Error: A Multi-Resolution Clustering Algorithm for Global Illumination
François X. Sillion
,
George Drettakis
SIGGRAPH 95 Conference Proceedings, ACM SIGGRAPH, 1995, Los angeles, United States. pp.145--152
Conference papers
inria-00510125v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Oriented Particles: A Tool for Shape Memory Objects Modelling
Jean-Christophe Lombardo
,
Claude Puech
Graphics Interface'95, May 1995, Quebec, Canada. pp.255-262
Conference papers
inria-00510134v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Incremental Algorithms for Finding the Convex Hulls of Circles and the Lower Envelopes of Parabolas
Olivier Devillers
,
Mordecai Golin
Journal articles
inria-00413163v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Specifying and verifying a transformer station in Signal and SignalGTi
Hervé Marchand
,
Eric Rutten
,
Mazen Samaan
[Research Report] RR-2521, INRIA. 1995
Reports
inria-00074157v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Identification and matrix rational $H^2$ approximation : a gradient algorithm based on Schur analysis
Pascale Fulcheri
,
Martine Olivi
RR-2520, INRIA. 1995
Reports
inria-00074158v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Cover-Preserving Embeddings of Bipartite Orders into Boolean Lattices
Jutta Mitas
,
Klaus Reuter
[Research Report] RR-2512, INRIA. 1995
Reports
inria-00074166v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Taylor Expansions for Poisson Driven $(\max,+)$-Linear Systems
François Baccelli
,
Volker Schmidt
RR-2494, INRIA. 1995
Reports
inria-00074181v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Control Problems with State Constraints for the Penrose-Fife Phase-field model
Werner Horn
,
Jan Sokolowski
,
Jürgen Sprekels
[Research Report] RR-2491, INRIA. 1995, pp.22
Reports
inria-00074184v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
$\lambda\upsilon$, a calculus of explicit substitutions which preserves strong normalisation
Zine-El-Abidine Benaissa
,
Daniel Briaud
,
Pierre Lescanne
,
Jocelyne Rouyer-Degli
[Research Report] RR-2477, INRIA. 1995
Reports
inria-00074197v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Formal Verification of Concurrent programs: How to specify UNITY using the Larch Prover
Boutheina Chetali
[Research Report] RR-2475, INRIA. 1995
Reports
inria-00074199v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
PARA++ : C++ Bindings for Message Passing Libraries : User Guide
Olivier Coulaud
,
Eric Dillon
[Technical Report] RT-0174, INRIA. 1995, pp.26
Reports
inria-00071200v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Construction of Continuous Functions with Prescribed Local Regularity
Khalid Daoudi
,
Jacques Lévy Véhel
,
Yves Meyer
[Research Report] RR-2763, INRIA. 1995
Reports
inria-00073928v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Mailleur bidimensionnel de Delaunay gouverné par une carte de métriques. Partie II: Applications
Houman Borouchaki
,
Paul-Louis George
,
Frédéric Hecht
,
Patrick Laug
,
Bijan Mohammadi
,
et al.
[Rapport de recherche] RR-2760, INRIA. 1995
Reports
inria-00073932v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Optimization of Positive Generalized Polynomials under $l^p$ Constraints
Laurent Baratchart
,
Marc Berthod
,
Loïc Pottier
RR-2750, INRIA. 1995
Reports
inria-00073942v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Implementing Non-Linear Constraints with Cooperative Solvers
Eric Monfroy
,
Michaël Rusinowitch
,
René Schott
[Research Report] RR-2747, INRIA. 1995, pp.22
Reports
inria-00073945v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Upwind Schemes for the Two-Dimensional Shallow Water Equations with Variable Depth Using Unstructured Meshes
Alfredo Bermúdez
,
Alain Dervieux
,
Jean-Antoine Desideri
,
Maria Elena Vázquez
RR-2738, INRIA. 1995
Reports
inria-00073955v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Scaling Heterogeneous Databases and the Design of Disco
Anthony Tomasic
,
Louiqa Raschid
,
Patrick Valduriez
[Research Report] RR-2704, INRIA. 1995
Reports
inria-00073986v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Note on Convex Combinations of Stable Polynomials
Vincent Blondel
[Research Report] RR-2694, INRIA. 1995
Reports
inria-00073996v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Reactive Object Model for Concurrent Engineering Design
Toan Nguyen
[Research Report] RR-2692, INRIA. 1995
Reports
inria-00073999v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Mises à jour destructives dans les grammaires attribuées
Étienne Duris
,
Didier Parigot
,
Martin Jourdan
[Rapport de recherche] RR-2686, INRIA. 1995
Reports
inria-00074005v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On the Dimension of the Hull
Nicolas Sendrier
[Research Report] RR-2682, INRIA. 1995
Reports
inria-00074009v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An Adaptive Local Grid Refinement Method for Nonlinear Filtering
Zhiqiang Cai
,
François Le Gland
,
Huilong Zhang
[Rapport de recherche] RR-2679, INRIA. 1995
Reports
inria-00074012v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Quantification vectorielle par emboîtage d'une hiérarchie de réseaux réguliers de points
Vincent Ricordel
,
Claude Labit
[Rapport de recherche] RR-2667, INRIA. 1995
Reports
inria-00074023v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Understanding the Shape Properties of Trihedral Polyhedra
Charlie Rothwell
,
Julien Stern
RR-2661, INRIA. 1995
Reports
inria-00074028v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A new method for the generation of strong prime numbers
Yannick Saouter
[Research Report] RR-2657, INRIA. 1995
Reports
inria-00074032v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Matching Micro-Kernels to Modern Applications using Fine-Grained Memory Protection
Ciaran Bryce
,
Gilles Muller
[Research Report] RR-2647, INRIA. 1995
Reports
inria-00074043v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Hierarchical Production Planning for General Jobs Shops : Part 2 : Evaluation and Application
Anshu Mehra
,
Ioannis Minis
,
Jean-Marie Proth
[Research Report] RR-2634, INRIA. 1995, pp.34
Reports
inria-00074053v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Hierarchical Production Planning for General Jobs Shops : Part 1 : Modeling
Anshu Mehra
,
Ioannis Minis
,
Jean-Marie Proth
[Research Report] RR-2633, INRIA. 1995, pp.42
Reports
inria-00074054v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|