Skip to Main content Skip to Navigation
  1. Search


...
inria-00074573v1  Reports
Remi Abgrall, Frédéric C. Lafon. Eno schemes on unstructured meshes
[Research Report] RR-2099, INRIA. 1993
...
inria-00074814v1  Reports
Remi Abgrall. A Genuinely multidimensional Riemann solver
[Research Report] RR-1859, INRIA. 1993, pp.20
inria-00572338v1  Conference papers
Patrice Abry, Paulo Gonçalves, Patrick Flandrin. Wavelet-based spectral analysis of 1/f processes
IEEE, Int. Conf. on Acoust., Speech and Signal Proc., Apr 1993, Minneapolis (MN), United States
...
inria-00074748v1  Reports
Marianne Akian, J.L. Menaldi, Agnès Sulem. On the investment-consumption model with transaction costs
[Research Report] RR-1926, INRIA. 1993
hal-01969115v1  Conference papers
Rachid Alami, Raja Chatila, Bernard Espiau. Designing an Intelligent Control Architecture for Autonomous Robot
IEEE International Conference on Advanced Robotics (ICAR), Nov 1993, Tsukuba, Japan
...
inria-00074680v1  Reports
Eitan Altman, Serguei Foss. Polling on a graph with general arrival and service time distribution
[Research Report] RR-1992, INRIA. 1993
...
inria-00074740v1  Reports
Eitan Altman, Zhen Liu. Improving the stability characteristics of asynchronous traffic in FDDI token ring
[Research Report] RR-1934, INRIA. 1993, pp.21
...
inria-00074634v1  Reports
Rumen Andonov, Frédéric Raimbault, Patrice Quinton. Dynamic programming parallel implementations for the knapsack problem
[Research Report] RR-2037, INRIA. 1993
...
inria-00074701v1  Reports
Jacques André, Irène Vatton. Contextual typesetting of mathematical symbols taking care of optical scaling
[Research Report] RR-1972, INRIA. 1993
...
inria-00074702v1  Reports
Jacques André, D. Decouchant, Vincent Quint, Hélène Richy. Vers un atelier éditorial pour les documents structures
[Rapport de recherche] RR-1971, INRIA. 1993
...
hal-00426676v2  Journal articles
Françoise André, Olivier Chéron, Marc Le Fur, Yves Mahéo, Jean-Louis Pazat. Programmation des machines à mémoire distribuée par distribution des données : langages et compilateurs
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1993, 12 (5), pp.563-596
...
inria-00074768v1  Reports
Maria-Virginia Aponte. Extending record typing to type parametric modules with sharing
[Research Report] RR-1905, INRIA. 1993
hal-02455776v1  Conference papers
Maria-Virginia Aponte. Extending record typing to type parametric modules with sharing
the 20th ACM SIGPLAN-SIGACT symposium, 1993, Charleston, United States. pp.465-478, ⟨10.1145/158511.158704⟩
...
inria-00074536v1  Reports
A. Apopstolico, Dany Breslauer, Z. Galil. Parallel detection of all palindromes in a string
[Research Report] RR-2136, INRIA. 1993
...
inria-00074671v1  Reports
Andrea Asperti, Cosimo Laneve. Interaction systems II : the practice of optimal reductions
[Research Report] RR-2001, INRIA. 1993
...
inria-00074644v1  Reports
Edwar F. Jr Assmus, Jennifer D. Key. Codes and finite geometries
[Research Report] RR-2027, INRIA. 1993
...
inria-00074682v1  Reports
Mikhail J. Atallah, Andreas Fabri. On the multisearching problem for hypercubes
[Research Report] RR-1990, INRIA. 1993
...
tel-00723227v1  Theses
Daniel Augot. Étude algèbrique des mots de poids minimum des codes cycliques, méthodes d'algèbre linéaire sur les corps finis.
Théorie de l'information [cs.IT]. Université Pierre et Marie Curie - Paris VI, 1993. Français
...
inria-00074489v1  Reports
N. August, Thierry Mautor. Methode Tabou massivement parallele pour le probleme d'affectation quadratique
[Rapport de recherche] RR-2182, INRIA. 1993
...
inria-00074622v1  Reports
Nicholas Ayache. Volume image processing : results and research challenges
RR-2050, INRIA. 1993
...
inria-00615047v1  Book sections
Nicholas Ayache. Computer Vision Applied to 3D Medical Images: Results, Trends and Future Challenges
Takeo Kanade, Richard Paul. 6th International Symposium on Robotics Research (ISRR'93), MIT-Press, pp.545-563, 1993
inria-00615715v1  Conference papers
Nicholas Ayache, André Guéziec, Jean-Philippe Thirion, Alexis Gourdon. Evaluating 3D Registration of CT-Scan Images Using Crest Lines
Proceedings of SPIE'93, Mathematical Methods in Medical Imaging II, 1993, San Diego, California, USA, United States. pp.60--71
inria-00615710v1  Conference papers
Nicholas Ayache, André Guéziec, Jean-Philippe Thirion. Accurate and Robust Registration of 3D medical images using crest lines
1st Asian Conference on Computer Vision, ACCV'93, 1993, no address, Japan
...
inria-00074712v1  Reports
Ozalp Babaoglu, Michel Raynal. Sequence-based global predicates for distributed computations : definitions and detection algorithms
[Research Report] RR-1961, INRIA. 1993
...
inria-00074729v1  Reports
François Baccelli, Serguei Foss. Stability of Jackson-type queueing networks, I
[Research Report] RR-1945, INRIA. 1993
...
inria-00074656v1  Reports
François Baccelli, Serguei Foss. On the saturation rule for the stability of queues
[Research Report] RR-2015, INRIA. 1993
hal-00014928v1  Conference papers
Jean-Claude Bajard, A. Guyot, Jean-Michel Muller, A. Skaf. Design of a VLSI circuit for on-line evaluation of several elementary functions using their Taylor expansions
Proceedings.-International-Conference-on-Application-Specific-Array-Processors-Cat.-No.93TH0572-8. 1993:, 1993, Venice, Italy. pp.526-35, ⟨10.1109/ASAP.1993.397172⟩
...
inria-00074629v1  Reports
Jean-Pierre Banâtre, Ciaran Bryce. A security proof system for networks of communicating processes
[Research Report] RR-2042, INRIA. 1993
hal-01275700v1  Conference papers
Michel Banâtre, Alain Gefflaut, Christine Morin. Scalable Shared Memory Multiprocessors: Some Ideas to Make them Reliable
Proceedings of the Workshop on Hardware and Software Architectures for Fault Tolerance: Perpectives and Towards a Synthesis, 1993, Le Mont Saint-Michel, France
...
inria-00074708v1  Reports
Michel Banâtre, Alain Gefflaut, Philippe Joubert, Peter Lee, Christine Morin. An architecture for tolerating processor failures in shared-memory multiprocessors
[Research Report] RR-1965, INRIA. 1993
...
hal-00426664v2  Conference papers
Cyrille Bareau, Yves Mahéo, Jean-Louis Pazat. Parallel Program Performance Debugging with the Pandore II Environment
International Conference on Parallel Computing (ParCo'93), Sep 1993, Grenoble, France. pp.241-248
...
inria-00074598v1  Reports
Francisco J. Baron Lopez. Radar visibility optimization under aerodynamic constraint for a wing profile
[Research Report] RR-2073, INRIA. 1993
hal-00008518v1  Books
Michèle Basseville, Igor Nikiforov. Detection of Abrupt Changes - Theory and Application
Prentice Hall, Inc. - http://people.irisa.fr/Michele.Basseville/kniga/, pp.550, 1993
...
inria-00070012v1  Reports
J. M. Christian Bastien, Dominique L. Scapin. Ergonomic criteria for the evaluation of human-computer interfaces
RT-0156, INRIA. 1993, pp.79
...
inria-00074583v1  Reports
Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs. Data-flow synchronous languages
[Research Report] RR-2089, INRIA. 1993
...
inria-00077108v1  Reports
Sophie Bercu, Bernard Delyon. Segmentation et reconnaissance "en-ligne" de mots manuscrits
[Rapport de recherche] RR-1858, INRIA. 1993
...
inria-00074755v1  Reports
Giuseppe Berio, Antonio Di Leva, Piercarlo Giolito, François Vernadat. The M*-object methodology for information system design in CIM environments : the conceptual design phase
[Research Report] RR-1919, INRIA. 1993, pp.31
...
inria-00074558v1  Reports
Jean-Claude Bermond, Zhen Liu, Michel Syska. Mean eccentricities of de Bruijn networks
[Research Report] RR-2114, INRIA. 1993
...
inria-00074661v1  Reports
Michel Bernadou, P. Mato Eiroa, P. Trouve. On the convergence of a D.K.T. method valid for shells of arbitrary shape
[Research Report] RR-2010, INRIA. 1993
...
inria-00074750v1  Reports
Pierre Bernard, Denis Talay, Luciano Tubaro. Rate of convergence of a stochastic particle method for the Kolmogorov equation with variable coefficients
[Research Report] RR-1924, INRIA. 1993
...
inria-00074549v1  Reports
Olivier Bernard, Jean-Luc Gouzé. Transcient behavior of biological loop models with application to the droop model
[Research Report] RR-2123, INRIA. 1993
...
inria-00074651v1  Reports
Pierre Bernhard. Sketch of a theory of nonlinear partial information Min-Max control
[Research Report] RR-2020, INRIA. 1993
...
inria-00074640v1  Reports
Pierre Bernhard. A Min-Max certainty equivalence principle for non-linear discrete-time control problems
[Research Report] RR-2031, INRIA. 1993
...
inria-00074652v1  Reports
Pierre Bernhard, Alain Rapaport. Min-max certainty equivalence principle and differential games
[Research Report] RR-2019, INRIA. 1993
inria-00613995v1  Conference papers
Jean-Paul Berroir, Jacques Lévy-Vehel. Image Analysis through Multifractal Description
Fractal' 93, 1993, London, United Kingdom
...
inria-00074530v1  Reports
Marc Berthod, Hassan Shekarforoush, Michael Werman, Josiane Zerubia. Reconstruction of high resolution 3D visual information
[Research Report] RR-2142, INRIA. 1993
...
inria-00074787v1  Reports
François Beux, Stephane Lanteri, Alain Dervieux, Bernard Larrouturou. Upwind stabilization of Navier-Stokes solvers
[Research Report] RR-1885, INRIA. 1993
...
inria-00074805v1  Reports
François Beux, Alain Dervieux. A Hierarchical approach for shape optimisation
[Research Report] RR-1868, INRIA. 1993
inria-00548430v1  Conference papers
Horst A. Beyer, Roger Mohr. Autocalibration de caméra et contrôle dimensionnel
Colloque sur le Contrôle de Qualité par Vision Artificielle (CQVA '93), May 1993, Le Creusot, France. pp.61--71
...
inria-00074747v1  Reports
A. Bisseret, C. Montarnal. Strategies de linearisation lors de descriptions textuelles de configurations spatiales
RR-1927, INRIA. 1993
...
inria-00074660v1  Reports
Alexander Bockmayr, Stefan Krischer, Andreas Werner. Narrowing strategies for arbitrary canonical rewrite systems
[Research Report] RR-2011, INRIA. 1993
hal-00194691v1  Conference papers
Louis-Jean Boë, Michel Grossetti, Pierre-Eric Mounier-Kuhn, F. Eymerard, M. Cartier et al.  Informatique et parole en France, un quart de siècle après la rencontre
Communication pour le 3° Colloque d'Histoire de l'Informatique, 1993, Sophia-Antipolis, 13-15 octobre 1993, France
...
inria-00074591v1  Reports
Jean-Daniel Boissonnat, André Cerezo, Olivier Devillers, Jacqueline Duquesne, Mariette Yvinec. An Algorithm for constructing the convex hull of a set of spheres in dimension d
[Research Report] RR-2080, INRIA. 1993
...
inria-00074795v1  Reports
Jean-Daniel Boissonnat, Katrin Dobrindt. On-line randomized construction of the upper envelope of triangles and surface patches in R3
[Research Report] RR-1878, INRIA. 1993
hal-01179713v1  Conference papers
Jean-Daniel Boissonnat, Olivier Devillers, Jacqueline Duquesne, Mariette Yvinec. Computing the whole set of Connolly Surfaces
Annual Conference of the Molecular Graphics Society, 1993, ~, France
...
inria-00090668v1  Journal articles
Jean-Daniel Boissonnat, Olivier Devillers, Monique Teillaud. A semidynamic construction of higher-order Voronoi diagrams and its randomized analysis
Algorithmica, Springer Verlag, 1993, 9 (4), pp.329-356. ⟨10.1007/BF01228508⟩
...
inria-00074717v1  Reports
J. Frederic Bonnans. Pseudopower expansion of solutions of generalized equations and constrained optimization problems
[Research Report] RR-1956, INRIA. 1993
...
inria-00074597v1  Reports
J. Frederic Bonnans, Clovis C. Gonzaga. Convergence of interior point algorithms for the monotone linear complementarity problem
[Research Report] RR-2074, INRIA. 1993
...
inria-00074726v1  Reports
J. Frederic Bonnans, Mustapha Bouhtou. The Trust region affine interior point algorithm for convex and nonconvex quadratic programming
[Research Report] RR-1947, INRIA. 1993
...
inria-00074725v1  Reports
J. Frederic Bonnans, Cecilia Pola. A Trust region interior point algorithm for linearly constrained optimization
[Research Report] RR-1948, INRIA. 1993
...
inria-00074647v1  Reports
J. Frederic Bonnans, Roberto Cominetti. Perturbed optimization in Banach spaces I : a general theory based on a weak directional constraint qualification
[Research Report] RR-2024, INRIA. 1993
...
inria-00074819v1  Reports
J. Frederic Bonnans, Alexander D. Ioffe. Second-order sufficiency and quadratic growth for non isolated minima
[Research Report] RR-1853, INRIA. 1993
...
inria-00074821v1  Reports
J. Frederic Bonnans, Jean Charles Gilbert, Claude Lemaréchal, Claudia Sagastizábal. A Family of variable metric proximal methods
[Research Report] RR-1851, INRIA. 1993
...
inria-00074817v1  Reports
Dmitri D. Botvich, Andrei A. Zamiatin. Ergodic properties of queuing networks with batch arrivals and batch service
[Research Report] RR-1855, INRIA. 1993
...
inria-00074699v1  Reports
Paul Boucher, Frédéric Danna, Pascale Sébillot. Compounds: an intelligent tutoring system for learning to use compounds in english
[Research Report] RR-1974, INRIA. 1993
...
inria-00074794v1  Reports
Richard J. Boucherie. Batch routing queuing networks with jump-over blocking
[Research Report] RR-1879, INRIA. 1993
...
inria-00074793v1  Reports
Richard J. Boucherie. A Characterisation of independence for competing Markov chains with applications to stochastic Petri nets
[Research Report] RR-1880, INRIA. 1993
...
inria-00074703v1  Reports
Vincent Bouchitté, Abdelmajid Hilali, Roland Jégou, Jean-Xavier Rampon. Contiguity orders
[Research Report] RR-1970, INRIA. 1993
...
inria-00074611v1  Reports
Vincent Bouchitté, Roland Jégou, Jean-Xavier Rampon. On-line recognition of interval orders
[Research Report] RR-2061, INRIA. 1993
...
inria-00074646v1  Reports
Gérard Boudol. The Lambda-calculus with multiplicities
[Research Report] RR-2025, INRIA. 1993
...
inria-00548429v1  Conference papers
Boubakeur Boufama, Roger Mohr, Françoise Veillon. Euclidean Constraints for Uncalibrated Reconstruction
4th International Conference on Computer Vision (ICCV '93), May 1993, Berlin, Germany. pp.466--470, ⟨10.1109/ICCV.1993.378179⟩
...
inria-00074625v1  Reports
J.F. Bougel, L. Francez, Paul-Louis George. Generation de maillages quadrangulaires en utilisant une methode de type frontal
[Rapport de recherche] RR-2047, INRIA. 1993
...
inria-00074627v1  Reports
Adel Bouhoula, Michaël Rusinowitch. Implicit induction in conditional theories
[Research Report] RR-2045, INRIA. 1993
...
hal-00451820v1  Journal articles
Nicolas Bouleau. Calculs d'espérance par simulation
Matapli, SMAI, 1993, pp.7-12
...
hal-00452279v1  Conference papers
Nicolas Bouleau, Francis Hirsch. Some Results on Lipschitzian Stochastic Differential Equations by Dirichlet Forms Methods.
Classical and modern potential theory, 1993, Bonas, France. pp.125-132
...
inria-00074631v1  Reports
Patricia Bournai, Paul Le Guernic. Un environnement graphique pour le langage SIGNAL
[Rapport de recherche] RR-2040, INRIA. 1993
...
inria-00074704v1  Reports
Patricia Bournai, Bruno Chéron, Thierry Gautier, Bernard Houssais, Paul Le Guernic. SIGNAL Manual
[Research Report] RR-1969, INRIA. 1993
...
inria-00074823v1  Reports
Frédéric Boussinot. Reactive shared variables bases systems
[Research Report] RR-1849, INRIA. 1993
...
inria-00074741v1  Reports
P. Brand, Roger Mohr, P. Bobet. Distorsions optiques : correction dans un modele projectif
RR-1933, INRIA. 1993
...
hal-00717364v1  Journal articles
Pierre Bremaud, Jean-Marc Lasgouttes. Stationary IPA Estimates for Non-Smooth G/G/1/∞ Functionals via Palm Inversion and Level-Crossing Analysis.
Discrete Event Dynamic Systems, Springer Verlag, 1993, 3 (4), pp.347-374. ⟨10.1007/BF01439159⟩
...
inria-00074535v1  Reports
Dany Breslauer. Saving comparisons in the Crochemore-Perrin string matching algorithm
[Research Report] RR-2137, INRIA. 1993
...
inria-00070010v1  Reports
Dany Breslauer. Dictionary-matching on unbounded alphabets : uniform length dictionaries
[Research Report] RT-0159, INRIA. 1993, pp.15
...
inria-00070009v1  Reports
Dany Breslauer. Testing string superprimitivity in parallel
[Research Report] RT-0160, INRIA. 1993, pp.8
...
inria-00074626v1  Reports
E. Briere de l'Isle, Paul-Louis George. Optimisation de maillages tridimensionnels
[Rapport de recherche] RR-2046, INRIA. 1993
...
inria-00074616v1  Reports
E. Briere de l'Isle, Paul-Louis George, Eric Saltel. Mailleur de Voronoi bidimensionnel controle par une carte de tailles
[Rapport de recherche] RR-2056, INRIA. 1993
...
inria-00074841v1  Reports
Pascal Brisset, Olivier Ridoux. The Compilation of lambdaProlog and its execution with MALI
[Research Report] RR-1831, INRIA. 1993
hal-01272427v1  Journal articles
Cyaran. Bryce, Daniel Hagimont, Philippe Joubert, Christine Morin, Gilles Muller et al.  Models and Paradigms for Distributed Systems Structuring - Summary of Sessions
Operating Systems Review, Association for Computing Machinery, 1993, 27 (2), pp.56--60
...
inria-00074709v1  Reports
Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal. Distributed termination detection : General model and algorithms
[Research Report] RR-1964, INRIA. 1993
...
inria-00074776v1  Reports
Michel Buffa, Olivier Faugeras, Zhengyou Zhang. A Stereovision-based navigation system for a mobile robot
[Research Report] RR-1895, INRIA. 1993
...
inria-00074654v1  Reports
M. Bui, Franck Butelle. Construction repartie d'arbre couvrant de diametre minimum
[Rapport de recherche] RR-2017, INRIA. 1993
...
inria-00074666v1  Reports
Paul Camion, Daniel Augot. The Minimal polynomials, characteristic subspaces, normal bases and the frobenius form
[Research Report] RR-2006, INRIA. 1993
hal-00912042v1  Conference papers
Fabien Campillo, François Le Gland. Threshold selection in the GLR test for change detection in partially observed diffusion processes
Proceedings of the 2nd European Control Conference, Groningen 1993, Jun 1993, Groningen, Netherlands. pp.134--138
...
inria-00070016v1  Reports
P. Canalda, Lucile Cognard, M. Mazaud, A. Despland. PAGODE : a back-end generator for RISC machines
RT-0152, INRIA. 1993, pp.76
...
inria-00074623v1  Reports
M. Canales, Bruno Gaujal. Marking optimization and parallelism of marked graphs
RR-2049, INRIA. 1993
...
inria-00537550v1  Conference papers
Marie-Paule Cani. An implicit formulation for precise contact modeling between flexible solids
20th annual conference on Computer graphics and interactive techniques (SIGGRAPH '93)), ACM, Aug 1993, Anaheim, United States. pp.313--320, ⟨10.1145/166117.166157⟩
...
inria-00070017v1  Reports
Patrick Capolsini. Macro C : C code generation within maple
[Technical Report] RT-0151, INRIA. 1993, pp.29
...
inria-00070020v1  Reports
Patrick Capolsini, Stéphane Dalmas, Yves Papegay. Quaterman" : une bibliotheque Maple de calculs et de manipulations sur l'algebre des quaternions
[Rapport Technique] RT-0148, INRIA. 1993, pp.31
...
inria-00074744v2  Reports
Stéphane Caro Dambreville. Éléments pour une typologie des unités textuelles de textes techniques
[Rapport de recherche] RR-1930, INRIA. 1993