Filtrer vos résultats
- 69
- 420
- 35
- 26
- 5
- 2
- 1
- 3
- 2
- 46
- 16
- 3
- 2
- 1
- 42
- 27
- 57
- 12
- 22
- 16
- 9
- 8
- 7
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 20
- 9
- 9
- 6
- 6
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Inférences non-classiques en intelligence articielle. Ebauche de comparaisons sur un exemple3ème Colloque International de l'ARC sur la Cognition et la Connaissance (1988), Association pour la recherche cognitive (Arc), Mar 1988, Toulouse, France. pp.137--230
Communication dans un congrès
hal-04200918v1
|
|||
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
Communication dans un congrès
hal-02193998v1
|
|||
Corynebacterium JK: surgical infections in non-immunosuppressed patientsIntensive Care Medicine, 1988, 15 (1), ⟨10.1007/bf00255631⟩
Article dans une revue
istex
hal-02332688v1
|
|||
Two extensions to C++: A Dynamic Link Editor and Inner dataC++ Workshop, USENIX, 1987, Santa Fe, NM, US, United States
Communication dans un congrès
inria-00444597v1
|
|||
|
|
Early stages of in vitro killing curve of LY146032 and vancomycin for Staphylococcus aureus.Antimicrobial Agents and Chemotherapy, 1988, 32 (4), pp.454-457. ⟨10.1128/AAC.32.4.454⟩
Article dans une revue
hal-02332661v1
|
||
Compositional compartmentalization and gene composition in the genome of vertebratesJournal of Molecular Evolution, 1987, 26, pp.198-204
Article dans une revue
hal-00698074v1
|
|||
Optimal scheduling algorithms for parallel Gaussian eliminationHigh Performance Computer Systems, 1988, Unknown, pp.41-52
Communication dans un congrès
hal-00857009v1
|
|||
Parallel triangularization in modular arithmeticParallel Processing, 1988, Unknown, pp.207-220
Communication dans un congrès
hal-00857008v1
|
|||
On multiple classification, points of view and object evolutionArtificial Intelligence and Cognitive Science, 1987, Grenoble, France. pp.49-62
Communication dans un congrès
hal-00583870v1
|
|||
Mathematical modelling of bacterial growth at subinhibitory levels of aminoglycosidesAnnales de l'Institut Pasteur / Microbiologie, 1988, 139 (5), pp.613-629. ⟨10.1016/0769-2609(88)90159-7⟩
Article dans une revue
istex
hal-02332662v1
|
|||
[An expert system as an aid to the validation of results of the antibiogram. Feasibility study based on the example of Staphylococcus aureus].Pathologie Biologie, 1988, 36 (5), pp.381-5
Article dans une revue
hal-02332664v1
|
|||
[Demonstration of an inoculum effect on the estimation of the minimal inhibitory concentration of LY 146032].Pathologie Biologie, 1988, 36 (5), pp.377-80
Article dans une revue
hal-02332666v1
|
|||
Matching parallel algorithms with architectures: a case studyHighly parallel computers, 1987, Unknown, pp.127-144
Communication dans un congrès
hal-00857119v1
|
|||
On the use of spectral methods for stiff problemsComputer Methods in Applied Mechanics and Engineering, 1988, 66 (1), pp.17-43. ⟨10.1016/0045-7825(88)90058-8⟩
Article dans une revue
istex
hal-00870010v1
|
|||
SCALA: une cellule systolique programmable pour l'algèbre linéaireDeuxième Colloque C3, 1987, Unknown, pp.183-204
Communication dans un congrès
hal-00857114v1
|
|||
Dynamic time warping and vector quantization in isolated and connected word recognitionECST - European Conference on Speech Technology - 1987, 1987, Edinburgh, Scotland, United Kingdom. pp.2436-2439
Communication dans un congrès
hal-00835470v1
|
|||
On multi-level machines for continuous speech recognitionIJCAI - Tenth International Joint Conference on Artificial Intelligent - 1987, Aug 1987, Milan, Italy. pp.836-839
Communication dans un congrès
hal-00835095v1
|
|||
Multiplication rapide en Le_Lisp[Research Report] 1987
Rapport
hal-00917743v1
|
|||
[Use of an expert system as a tool to carry out urinary cyto-bacteriologic tests].Annales de Biologie Clinique, 1988, 46 (8), pp.669-72
Article dans une revue
hal-02332663v1
|
|||
Systolic algorithms and architecturesAutomata networks in computer science, 1988, Unknown, pp.187-228
Communication dans un congrès
hal-00857010v1
|
|||
Systolic Givens factorization of dense rectangular matricesInternational Journal of Computer Mathematics, 1988, 25, pp.287-298
Article dans une revue
hal-00857004v1
|
|||
Mathematical and Computational Aspects of the Determination of Elastic Surface Waves Along Cylindrical Cavities of General Cross SectionParker, 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⟩
Chapitre d'ouvrage
istex
hal-01443145v1
|
|||
|
|
Codon contexts in enterobacterial and coliphage genesMolecular Biology and Evolution, 1987, 4, pp.426-444. ⟨10.1093/oxfordjournals.molbev.a040450⟩
Article dans une revue
hal-00697910v1
|
||
High codon-usage changes in mammalian genesMolecular Biology and Evolution, 1988, 5, pp.192-194
Article dans une revue
hal-00698080v1
|
|||
The compositional distribution of coding sequences and DNA molecules in humans and muridsJournal of Molecular Evolution, 1988, 27, pp.311-320
Article dans une revue
hal-00698076v1
|
|||
An approach to approximate reasoning based on the Dempster rule of combinationInternational Journal of Expert Systems, 1987, 1 (1), pp.67-85
Article dans une revue
hal-04077230v1
|
|||
A way to build efficient carry-skip addersIEEE Transactions on Computers, 1987, Oct. ; C-36(10), pp.1144-52
Article dans une revue
hal-00014976v1
|
|||
Le nouveau présidentEditions Seuil, pp.291, 1987
Ouvrages
hal-03397520v1
|
|||
|
|
RPA190 the gene coding for the largest subunit of yeast RNA polymerase AJournal of Biological Chemistry, 1988, 263 (6), pp.2830-2839. ⟨10.1016/S0021-9258(18)69144-6⟩
Article dans une revue
hal-00698053v1
|
||
Nucleotide sequence 3′ to the human c-myc oncogene; presence of a long inverted repeatGene, 1988, 72 (1-2), pp.105-108. ⟨10.1016/0378-1119(88)90131-x⟩
Article dans une revue
istex
hal-03187305v1
|