Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

516 Results
Deposit type : Notice

A comprehensive comparison of multiple sequence alignment programs

Julie D Thompson , Frederic Plewniak , Olivier Poch
Nucleic Acids Research, 1999, 27 (13), pp.2682-2690. ⟨10.1093/nar/27.13.2682⟩
Journal articles hal-03989698v1

New Methodology for Analytical and Optimal Design of Fuzzy PID Controllers

Bao-Gang Hu , Raymond G. Gosine , Georges K. I. Mann
IEEE Transactions on Fuzzy Systems, 1999, Fuzzy Systems, IEEE Transactions on, 7 (5), pp.521-539. ⟨10.1109/91.797977⟩
Journal articles inria-00122627v1

Solving a Dial-a-Ride Problem with Constraint Propagation

Eric Domenjoud , Jianyang Zhou
CORS/INFORMS meeting, 1999, Montréal
Conference papers inria-00108047v1

Registration Methods for Harmonious Integration of Real Worlds and Computer Generated Objects

Gilles Simon , Marie-Odile Berger
Advanced Research Workshop on Confluence of Computer Vision and Computer Graphics, Aug 1999, Ljubljana, Slovenia, 3 p
Conference papers inria-00108050v1

A dynamic programming approach to categorial deduction

Philippe de Groote
16th International Conference on Automated Deduction - CADE-16, 1999, Trento, Italy, pp.1--15
Conference papers inria-00100816v1

Optimal Line Bipartitions of Point Sets

Olivier Devillers , Matthew J. Katz
International Journal of Computational Geometry and Applications, 1999, 9 (1), pp.39-51. ⟨10.1142/S0218195999000042⟩
Journal articles hal-00795067v1

High-Speed LANs: New Environments for Parallel and Distributed Applications

Patrick Geoffray , Laurent Lefèvre , Cong-Duc Pham , Loïc Prylli , Olivier Reymann , et al.
Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, Aug 1999, Toulouse, France. pp.633--642, ⟨10.1007/3-540-48311-X_89⟩
Conference papers istex hal-01912353v1

Simian immunodeficiency virus and human immunodeficiency virus type 1 nef proteins show distinct patterns and mechanisms of Src kinase activation.

A Greenway , H Dutartre , K Allen , D Mcphee , D Olive , et al.
Journal of Virology, 1999, 73 (7), pp.6152-8
Journal articles hal-02459367v1

Human immunodeficiency virus type 1 Nef protein sensitizes CD4(+) T lymphoid cells to apoptosis via functional upregulation of the CD95/CD95 ligand pathway.

G Zauli , D Gibellini , P Secchiero , H Dutartre , D Olive , et al.
Blood, 1999, 93 (3), pp.1000-10
Journal articles hal-02459371v1

Animation Levels of Detail Design for Real-Time Virtual Human

Rémi Cozot , Franck Multon , Bernard Valton , Bruno Arnaldi
Eurographics Workshop on Computer Animation and Simulation, 1999, Milan, Italy. pp.35-44, ⟨10.1007/978-3-7091-6423-5_4⟩
Conference papers hal-01142549v1

Comportement individuel et intelligence collective Les bases expérimentales de PRISON

Bruno Beaufils
1999
Other publications hal-00732055v1

Puces et habitations

L. Zenner
Nuisibles et Parasites Information, 1999, 10, pp.26-27
Journal articles hal-00698348v1

A systematic approach to transform OMT diagrams to a B specification

Eric Meyer , Jeanine Souquières
World Congress on Formal Methods in the Development of Computing Systems - FM'99, 1999, Toulouse, France, pp.875-895
Conference papers inria-00098957v1

A Method for Requirements Elicitation and Formal Specification

Maritta Heisel , Jeanine Souquières
18th International Conference on Conceptual Modeling - ER'99, 1999, Paris, France, pp.309-324
Conference papers inria-00098987v1

Labelled Proof Nets for the Syntax and Semantics of Natural Languages

Guy Perrier
Logic Journal of the IGPL, 1999, 7 (5), pp.629-654
Journal articles inria-00099011v1

Mechanical Verification of a Generic Incremental ABR Conformance Algorithm

Michaël Rusinowitch , Sorin Stratulat , Francis Klay
Workshop on Modelling & Verification, Dec 1999, Besancon, France, 43 p
Conference papers inria-00099017v1

Generating Propagation Rules for Finite Domains: a Mixed Approach

Christophe Ringeissen , Eric Monfroy
Joint ERCIM/Compulog Net Workshop, 1999, Paphos, Cyprus, pp.150-172
Conference papers inria-00099387v1

Discours causal et rôles thématiques

Laurence Danlos
ouvrage coordonné par M. Plénat. Des structures linguistiques à leur interprétation, mélanges en l'honneur d'André Borillo, Rodopi, 12 p, 1999
Book sections inria-00098804v1

Spécification des communications pour le calcul M-SPMD dans un environnement CORBA

Tawfik Es-Sqalli , Eric Fleury , Eric Dillon , Jacques Guyard
RenPar11, 1999, Rennes, France
Conference papers inria-00098805v1

An algebraic correctness criterion for intuitionistic multiplicative proof-nets

Philippe de Groote
Theoretical Computer Science, 1999, 224 (1-2), pp.115-134. ⟨10.1016/S0304-3975(98)00309-0⟩
Journal articles inria-00098817v1

Reconnaissance de tables de matières

Abdel Belaïd , Laurent Pierron
[Contrat] 99-R-220 || belaid99b, 1999, 19 p
Reports inria-00098840v1

HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic

Gilles Dowek , Thérèse Hardin , Claude Kirchner
Tenth International Conference on Rewriting Techniques & Applications - RTA'99, Jul 1999, Trento, Italy, 14 p
Conference papers inria-00098847v1

Finding Maximal Repetitions in a Word in Linear Time

Roman Kolpakov , Gregory Kucherov
1999 Symposium on Foundations of Computer Science - FOCS'99, IEEE Computer Society, 1999, New-York, USA, pp.596--604
Conference papers inria-00098853v1

MIB (Management Information Base) pour IPv6

Isabelle Chrisment , Olivier Festor
Gisèle Cizault. IPv6: Théorie et pratique, O'Reilly, 325 p, 1999
Book sections inria-00098857v1

Un environnement de simulation orienté Agents : apport des modèles stochastiques et du parallélisme

Makram Bouzid , Vincent Chevrier , Stéphane Vialle , François Charpillet
Ingénierie des SMA - JFIADSMA'99, 1999, Ile de la Réunion, pp.329-330
Conference papers inria-00098863v1

Object-oriented applications development: using UML and B

Eric Meyer
Workshop on Modelling & Verification, Dec 1999, Besançon, France, 3 p
Conference papers inria-00098867v1

Parler n'est pas suffisant", point de vue sur les interfaces orales

Jean-Marie Pierrel
Pour la science, 1999, 264
Journal articles inria-00098879v1

Les 4P de la Portabilité de Réalité Virtuelle : Théorie et Expérience

Didier Fass
Journées ReViCo : Réalité Virtuelle et Cognition, Ecole nationale supérieurer des télécommunications Paris, 1999, Paris, France, pp.57 - 70
Conference papers inria-00098912v1

The Manta and the Kanuk: Novel 4-DOF Parallel Mechanisms for Industrial Handling.

Luc Rolland
International Mechanical Engineering Congress & Exposition, American Society of Mechanical Engineers, 1999, Nashville, USA, pp.831-844
Conference papers inria-00098914v1

Designing an editorial platform for a multilingual terminology the experience provided by the DHYDRO project

Laurent Romary
The 4th EUROLAN Summer School on Human Language Technology, 1999, Iasi, Roumania
Conference papers inria-00098928v1