Skip to Main content Skip to Navigation


hal-02328996v1  Journal articles
J FleuretteS ChassignolA MoulinA BironJean-Pierre Flandrois. Evolution de la résistance aux antibiotiques des agents infectieux en milieu hospitalier
Bulletin de l'Institut national de la sante et de la recherche medicale, 1970, 25 (5), pp.963-92
hal-00974503v1  Journal articles
Adrien JamiMarc Lenoir. A variational formulation for exterior problems in linear hydrodynamics
Computer Methods in Applied Mechanics and Engineering, Elsevier, 1978, 16 (3), pp.341-359. ⟨10.1016/0045-7825(78)90106-8⟩
halshs-01450587v1  Journal articles
Jean-Paul HatonPhilippe Martin. L'analyse des indices et la détection automatique des traits
Revue d'acoustique, Paris : Information propagande françaises / Groupement des acousticiens de langue française, 1978, pp.209-211
inria-00444517v1  Conference papers
Jean-Michel AyacheB. CarrichonMichel DevyMichel DiazB. Potin et al.  A distributed control system for industrial plants
Euromicro 80 Conference, 1980, London, United Kingdom
hal-00697913v1  Journal articles
R. GranthamChristian Gautier. Genetic distances from mRNA sequences
The Science of Nature Naturwissenschaften, Springer Verlag, 1980, 67, pp.93-94
hal-00697923v1  Journal articles
R. GranthamChristian GautierManolo GouyR. MercierA. Pave. Codon catalog usage and the genome hypothesis
Nucleic Acids Research, Oxford University Press, 1980, 8, pp.R49-R62
inria-00444502v1  Conference papers
Jean-Michel AyacheB. CarrichonJean-Pierre CourtiatMichel DiazMarc Shapiro et al.  Fault Tolerance in Rebus, a Distributed System for Industrial Real Time Control
Symposium on Fault-Tolerant Computing (FTCS-11), Jun 1981, Portland, Maine, USA", United States. pp.224-227
hal-01377815v1  Journal articles
Joël QuinquetonMarc Berthod. A Locally Adaptive Peano Scanning Algorithm
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 1981, 3 (4), pp.403-412
inria-00444654v1  Conference papers
Marc Shapiro. An Experiment in Distributed Program Design, Using Control Enrichment
icdcs, 1982, Miami-Ft. Lauderdale FL, USA, United States
hal-00697906v1  Journal articles
Manolo GouyChristian Gautier. Codon usage in bacteria: correlation with gene expressivity
Nucleic Acids Research, Oxford University Press, 1982, 10, pp.7055-7074. ⟨10.1093/nar/10.22.7055⟩
inria-00444648v1  Conference papers
Marc Shapiro. Une proposition pour Microrèzo,: Girolle, un protocole d'appel de procèdure distante
Gènie Logiciel : le second souffle,?'', Journèes Bigre 1983, 1983, Le Cap d'Agde, France, France
inria-00444510v1  Conference papers
Guy BernardPierre BouchetThierry FleuryMarc ShapiroYves Talhouet. Microrèzo: le projet rèseau local du Centre Mondial
1983 World Conference on Systems, 1983, Caracas, Venezuela
hal-00974524v1  Journal articles
Jacques CahouetMarc Lenoir. Résolution numérique du problème non linéaire de la résistance de vagues bidimensionnelle.
Comptes Rendus de l'Académie des Sciences. Série 2, Mécanique, Physique, Chimie, Sciences de l'Univers, Sciences de la Terre, centre Mersenne, 1983, 297 (12), pp.819-822
inria-00444520v1  Conference papers
Marc Shapiro. The contributions of an object-oriented approach to the programming of distributed applications
Journèe d'étude sur les Langages Orientés Objet, Oct 1983, Le Cap d'Agde, France. pp.149--159
inria-00444653v1  Journal articles
Marc Shapiro. Le service d'appel de procèdure distante Girolle
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1984, 3 (6), pp.435--442
hal-00698110v1  Journal articles
C. PapanicolaouManolo GouyJ. Ninio. An energy model that predicts the correct folding of both the tRNA and the 5S RNA molecules
Nucleic Acids Research, Oxford University Press, 1984, 12, pp.31-44
hal-00697916v1  Journal articles
Manolo GouyF. MilleretC. MugnierM. JacobzoneChristian Gautier. ACNUC: a nucleic acid sequence data base and analysis system
Nucleic Acids Research, Oxford University Press, 1984, 12, pp.121-127
inria-00589980v1  Conference papers
Radu HoraudRobert Bolles. 3DPO Strategy for Matching Three-Dimensional Objects in Range Data
Proceedings IEEE International Conference on Robotics and Automation, Mar 1984, Atlanta, United States. pp.78--85, ⟨10.1109/ROBOT.1984.1087222⟩
inria-00589979v1  Conference papers
Radu HoraudRobert Bolles. Finding Model Objects in Range Data
6th Europeean Conference on Artificial Intelligence (ECAI '84), Sep 1984, Pisa, Italy. pp.649--652
hal-00912071v1  Conference papers
François Le Gland. Monte Carlo methods in nonlinear filtering and importance sampling
Proceedings of the 23rd IEEE Conference on Decision and Control, Las Vegas 1984, IEEE--CSS, Dec 1984, Las Vegas, United States. pp.31-32, ⟨10.1109/CDC.1984.272246⟩
hal-00835120v1  Book sections
Joseph Di Martino. Dynamic Time Warping Algorithms for Isolated and Connected Word Recognition
Renato De Mori and Ching Y. Suen. New Systems and Architectures for Automatic Speech Recognition and Synthesis, 16, Springer Verlag, pp.405-418, 1985, NATO ASI Series, 978-3-642-824494. ⟨10.10071978-3-642-82447-0⟩
hal-00698256v1  Journal articles
Jean ThioulouseF. HoullierJ.C. Onillon. Variables regionalisees et denombrement d'Insectes : cas unidimensionnel
Comptes rendus de l’Académie des sciences. Série III, Sciences de la vie, Elsevier, 1985, 301, pp.423-428
hal-00697903v1  Journal articles
Manolo GouyChristian GautierF. Milleret. System analysis and nucleic acid sequence banks
Biochimie, Elsevier, 1985, 67, pp.433-436
hal-02965509v1  Journal articles
P. SavatierG. TrabuchetC. FaureY. CheblouneManolo Gouy et al.  Evolution of the primate β-globin gene region
Journal of Molecular Biology, Elsevier, 1985, 182 (1), pp.21-29. ⟨10.1016/0022-2836(85)90024-5⟩
hal-00835482v1  Conference papers
Anne BoyerJoseph Di MartinoJean-Paul Haton. Un algorithme de reconnaissance de mots enchaînés avec contraintes syntaxiques
JEP - Actes 14èmes Journées d'Etudes sur la Parole - 1985, Jun 1985, Paris, France
hal-00953982v1  Conference papers
Yves ChiaramellaBruno DefudeMarie-France BruandetDalila Kerkouba. IOTA: a full test information retrieval system
ACM conference on research and development in information retrieval., 1986, Pisa, Italy. pp.207--213
hal-01248236v1  Conference papers
Marc Shapiro. SOS: a distributed Object-Oriented Operating System
SIGOPS European Workshop on ``Making Distributed Systems Work'', 1986, Amsterdam, the, Netherlands. ⟨10.1145/503956.503997⟩
hal-00698071v1  Journal articles
Dominique Mouchiroud. [Relationship between base composition in non-coding DNA of genes and codon composition]
Comptes rendus de l’Académie des sciences. Série III, Sciences de la vie, Elsevier, 1986, 303, pp.743-748
hal-00835479v1  Conference papers
Anne BoyerJoseph Di MartinoJean-Paul Haton. Reconnaissance de la parole multi-locuteur par programmation dynamique
JEP - Actes 15èmes Journées d'Etudes sur la Parole - 1986, May 1986, Aix-en-Provence, France
hal-00835476v1  Conference papers
Joseph Di Martino. Reconnaissance de la parole continue par programmation dynamique
JEP - Actes 15èmes Journées d'Etudes sur la Parole - 1986, May 1986, Aix-en-Provence, France
inria-00589983v1  Conference papers
Radu Horaud. Combining Image and Spatial Reasoning for Model Retrieval
7th European Conference on Artificial Intelligence (ECAI '86), Jul 1986, Brighton, United Kingdom. pp.529--538
inria-00589984v1  Conference papers
Thomas SkordasRadu Horaud. Planning a Strategy for Recognizing Partially Occluded Parts
8th International Conference on Pattern Recognition (ICPR '86), Oct 1986, Paris, France. pp.1080--1083
hal-00583870v1  Conference papers
Bernard CarréGérard Comyn. On multiple classification, points of view and object evolution
Artificial Intelligence and Cognitive Science, 1987, Grenoble, France. pp.49-62
inria-00444597v1  Conference papers
Philippe GautronMarc Shapiro. Two extensions to C++: A Dynamic Link Editor and Inner data
C++ Workshop, USENIX, 1987, Santa Fe, NM, US, United States
inria-00423698v1  Journal articles
C. MathieuC. PuechH. Yahia. Average Efficiency of Data Structures for Binary Image Processing
Information Processing Letters, Elsevier, 1987, 26 (2), pp.89-93
inria-00444652v1  Journal articles
Marc ShapiroVadim AbrossimovPhilippe GautronSabine HabertMesaac Makpangou. SOS : un système d'exploitation rèparti basè sur les objets
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1987, 6 (2), pp.166--169
hal-01248235v1  Journal articles
Marc ShapiroVadim AbrossimovPhilippe GautronSabine HabertMesaac Mounchili Makpangou. SOS~: un système d'exploitation réparti basé sur les objets
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1987, 6 (2), pp.166--169
hal-01117282v1  Reports
Olivier DevillersFrançois X. SillionClaude Puech. CIL : un modèle d’illumination intégrant les réflexions diffuse et spéculaire
[Rapport de recherche] Laboratoire d'Informatique de l'École Normale Supérieure. 1987
inria-00548482v1  Reports
Marc BerthodS. CastanJames L. CrowleyOlivier FaugerasRoger Mohr et al.  Projet ORASIS
[Rapport Technique] 87-R-074, 1987
hal-00857113v1  Conference papers
Bertrand HochetPatrice QuintonYves Robert. Systolic solutions of linear systems over GF(p) with partial pivoting
IEEE 8-th Symposium on Computer Arithmetic, 1987, Unknown, pp.161-168
hal-00835470v1  Conference papers
Anne BoyerJean-Paul HatonJoseph Di Martino. Dynamic time warping and vector quantization in isolated and connected word recognition
ECST - European Conference on Speech Technology - 1987, 1987, Edinburgh, Scotland, United Kingdom. pp.2436-2439
hal-00014976v1  Journal articles
A. GuyotB. HochetJean-Michel Muller. A way to build efficient carry-skip adders
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 1987, Oct. ; C-36(10), pp.1144-52
hal-00014979v1  Conference papers
Michel CosnardA. GuyotB. HochetJean-Michel MullerH. Ouaouicha et al.  The FELIN arithmetic coprocessor chip
Proceedings-of-the-8th-Symposium-on-Computer-Arithmetic-Cat.-No.87CH2419-0, 1987, Como, Italy. pp.107-12
hal-00857110v1  Journal articles
Michel CosnardYves Robert. Algorithmique parallèle: une étude de complexité
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1987, 6 (2), pp.115-125
hal-00857112v1  Conference papers
Michel CosnardYves Robert. Implementing the nullspace algorithm over GF(p) on a ring of processors
2-nd Int. Symposium on Computer and Information Sciences, 1987, Bogazici University, Istanbul, pp.92-110
hal-00857106v1  Journal articles
Michel CosnardYves RobertDenis Trystram. Parallel solution of dense linear systems by diagonalization methods
International Journal of Computer Mathematics, Taylor & Francis, 1987, 22, pp.249-270
hal-00857119v1  Conference papers
Michel CosnardYves RobertMaurice Tchuente. Matching parallel algorithms with architectures: a case study
Highly parallel computers, 1987, Unknown, pp.127-144
hal-00697947v1  Journal articles
D.G. HigginsManolo Gouy. Interfacing similarity search software with the sequence retrieval system ACNUC
Bioinformatics, Oxford University Press (OUP), 1987, 3, pp.239-241
hal-00698074v1  Journal articles
Dominique MouchiroudG. FichantG. Bernardi. Compositional compartmentalization and gene composition in the genome of vertebrates
Journal of Molecular Evolution, Springer Verlag, 1987, 26, pp.198-204
hal-00697910v1  Journal articles
Manolo Gouy. Codon contexts in enterobacterial and coliphage genes
Molecular Biology and Evolution, Oxford University Press (OUP), 1987, 4, pp.426-444. ⟨10.1093/oxfordjournals.molbev.a040450⟩
hal-02332695v1  Journal articles
G. CarretB CharpeA CheruyJean-Pierre FlandroisA. Pavé et al.  [Effect of subinhibitory concentrations of antibiotics on the growth level of bacteria].
Pathologie Biologie, Elsevier Masson, 1987, 35 (5), pp.483-93
hal-02193998v1  Conference papers
Max DauchetS. TisonThierry HeuillardPierre Lescanne. Decidability of the Confluence of Ground Term Rewriting Systems.
LICS 1987 - Second Annual IEEE Symposium on Logic in Computer Science, Jun 1987, Ithaca, New York, United States
hal-00835095v1  Conference papers
Joseph Di Martino. On multi-level machines for continuous speech recognition
IJCAI - Tenth International Joint Conference on Artificial Intelligent - 1987, Aug 1987, Milan, Italy. pp.836-839
inria-00444598v1  Conference papers
Marc Shapiro. The Design of a Distributed Object-Oriented Operating System for Office Applications
Proc. Esprit Technical Week 1988, 1988, Brussels, Belgium, Belgium
hal-00974512v1  Journal articles
Marc LenoirA Tounsi. The Localized Finite Element Method and Its Application to the Two-Dimensional Sea-Keeping Problem
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 1988, 25 (4), pp.729-752. ⟨10.1137/0725044⟩
hal-01443145v1  Book sections
A. BambergerPatrick JolyMichel Kern. Mathematical and Computational Aspects of the Determination of Elastic Surface Waves Along Cylindrical Cavities of General Cross Section
Parker, David F. and Maugin, Gérard A. Recent Developments in Surface Acoustic Waves: Proceedings of European Mechanics Colloquium 226, University of Nottingham, U. K., September 2―5, 1987, Springer Berlin Heidelberg, pp.270--281, 1988, 978-3-642-83508-7. ⟨10.1007/978-3-642-83508-7_28⟩
hal-01443185v1  Book sections
A. BambergerPatrick JolyMichel KernL. NicoletisJ. Quiblier. Low Frequency Propagation of Elastic Waves in a Fluid-Filled Borehole
Parker, David F. and Maugin, Gérard A. Recent Developments in Surface Acoustic Waves: Proceedings of European Mechanics Colloquium 226, University of Nottingham, U. K., September 2―5, 1987, Springer Berlin Heidelberg, pp.282--290, 1988, 978-3-642-83508-7. ⟨10.1007/978-3-642-83508-7_29⟩
hal-01248233v1  Conference papers
Mesaac MakpangouMarc Shapiro. The SOS Object-Oriented Communication Service
Proc. 9th Int. Conf. on Computer Communication, 1988, Tel Aviv, Israel
hal-00870010v1  Journal articles
Hervé GuillardRoger Peyret. On the use of spectral methods for stiff problems
Computer Methods in Applied Mechanics and Engineering, Elsevier, 1988, 66 (1), pp.17-43. ⟨10.1016/0045-7825(88)90058-8⟩
hal-01820533v1  Journal articles
Robert CoriEric SopenaMichel LatteuxYves Roos. 2-Asynchronous Automata
Theoretical Computer Science, Elsevier, 1988, 61, pp.93--102. ⟨10.1016/0304-3975(88)90110-7⟩
hal-00835451v1  Conference papers
Anne BoyerJoseph Di MartinoP. DivouxJean-Paul HatonJean-Francois Mari et al.  Statistical methods in multi-speaker automatic speech recognition
ASMDA - 4th International Symposium on Applied stochastic models and data analysis - 1988, 1988, Nancy, France
hal-00756847v1  Conference papers
Mireille Ducassé. Opium+, a Meta-Debugger for Prolog
European Conference on Artificail Intelligence, 1988, Munich, Germany
hal-00756848v1  Conference papers
Mireille DucasséAnna-Maria Emde. A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques
International Conference on Automated Software Engineering, 1988, Singapour, Singapore
hal-00857009v1  Conference papers
Yves RobertDenis Trystram. Optimal scheduling algorithms for parallel Gaussian elimination
High Performance Computer Systems, 1988, Unknown, pp.41-52
hal-00857003v1  Journal articles
Jean-Claude KönigYves RobertDenis Trystram. Optimalité d'une classe d'algorithmes d'ordonnancement pour la méthode de Gauss en parallèle
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1988, 306, pp.295-298
hal-00857010v1  Conference papers
Yves Robert. Systolic algorithms and architectures
Automata networks in computer science, 1988, Unknown, pp.187-228
hal-00857004v1  Journal articles
Michel CosnardYves Robert. Systolic Givens factorization of dense rectangular matrices
International Journal of Computer Mathematics, Taylor & Francis, 1988, 25, pp.287-298